1341def nativePhysicalNativeLoopBlock =
1342 (lambda unrestricted tail : (family X86NativeAssembly) .
1343 (nativePhysicalNativeLabel
1344 nativePhysicalNativeLabelLoop
1345 (nativePhysicalNativeEmit
1346 (nativePhysicalNativeTest
1347 (constructor X86NativeRegister64 X86NativeR13)
1348 (constructor X86NativeRegister64 X86NativeR13))
1349 (nativePhysicalNativeJumpCondition
1350 (constructor X86NativeCondition X86NativeConditionZero)
1351 nativePhysicalNativeLabelDone
1352 (nativePhysicalNativeEmit
1353 (nativePhysicalNativeCompare
1354 (constructor X86NativeRegister64 X86NativeR12)
1355 (constructor X86NativeRegister64 X86NativeR14))
1356 (nativePhysicalNativeJumpCondition
1357 (constructor X86NativeCondition X86NativeConditionBelow)
1358 nativePhysicalNativeLabelRecordEndValid
1359 (nativePhysicalNativeJump
1360 nativePhysicalNativeLabelFatalBounds
1361 (nativePhysicalNativeLabel
1362 nativePhysicalNativeLabelRecordEndValid
1363 (nativePhysicalNativeEmit
1364 (nativePhysicalNativeLoad64
1365 (constructor X86NativeRegister64 X86NativeRAX)
1366 (constructor X86NativeRegister64 X86NativeR14)
1367 nativePhysicalNativeD8)
1368 (nativePhysicalNativeEmit
1369 (nativePhysicalNativeCompareImmediate
1370 (constructor X86NativeRegister64 X86NativeRAX)
1371 (nativePhysicalNativeI32Byte (nat-to-byte nativePhysicalImageCommandHeaderBytes)))
1372 (nativePhysicalNativeJumpCondition
1373 (constructor X86NativeCondition X86NativeConditionBelow)
1374 nativePhysicalNativeLabelFatalRecord
1375 (nativePhysicalNativeLabel
1376 nativePhysicalNativeLabelRecordExtentValid
1377 (nativePhysicalNativeEmit
1378 (nativePhysicalNativeMove
1379 (constructor X86NativeRegister64 X86NativeR14)
1380 (constructor X86NativeRegister64 X86NativeR11))
1381 (nativePhysicalNativeEmit
1382 (nativePhysicalNativeAdd
1383 (constructor X86NativeRegister64 X86NativeRAX)
1384 (constructor X86NativeRegister64 X86NativeR11))
1385 (nativePhysicalNativeEmit
1386 (nativePhysicalNativeCompare
1387 (constructor X86NativeRegister64 X86NativeR12)
1388 (constructor X86NativeRegister64 X86NativeR11))
1389 (nativePhysicalNativeJumpCondition
1390 (constructor X86NativeCondition X86NativeConditionAbove)
1391 nativePhysicalNativeLabelFatalBounds
1392 (nativePhysicalNativeEmit
1393 (nativePhysicalNativeLoad64
1394 (constructor X86NativeRegister64 X86NativeR10)
1395 (constructor X86NativeRegister64 X86NativeR14)
1396 (nativePhysicalNativeDisplacementByte (byte 32)))
1397 (nativePhysicalNativeEmit
1398 (nativePhysicalNativeLoad64
1399 (constructor X86NativeRegister64 X86NativeR11)
1400 (constructor X86NativeRegister64 X86NativeR14)
1401 (nativePhysicalNativeDisplacementByte (byte 40)))
1402 (nativePhysicalNativeEmit
1403 (nativePhysicalNativeAdd
1404 (constructor X86NativeRegister64 X86NativeR11)
1405 (constructor X86NativeRegister64 X86NativeR10))
1406 (nativePhysicalNativeEmit
1407 (nativePhysicalNativeLoad64
1408 (constructor X86NativeRegister64 X86NativeR11)
1409 (constructor X86NativeRegister64 X86NativeR14)
1410 (nativePhysicalNativeDisplacementByte (byte 48)))
1411 (nativePhysicalNativeEmit
1412 (nativePhysicalNativeAdd
1413 (constructor X86NativeRegister64 X86NativeR11)
1414 (constructor X86NativeRegister64 X86NativeR10))
1415 (nativePhysicalNativeRecordFixedPart
1416 (constructor X86NativeRegister64 X86NativeR10)
1417 (constructor X86NativeRegister64 X86NativeR11)
1418 (nativePhysicalNativeEmit
1419 (nativePhysicalNativeCompare
1420 (constructor X86NativeRegister64 X86NativeRAX)
1421 (constructor X86NativeRegister64 X86NativeR10))
1422 (nativePhysicalNativeJumpCondition
1423 (constructor X86NativeCondition X86NativeConditionNotZero)
1424 nativePhysicalNativeLabelFatalRecord
1425 (nativePhysicalNativeEmit
1426 (nativePhysicalNativeLoad64
1427 (constructor X86NativeRegister64 X86NativeR10)
1428 (constructor X86NativeRegister64 X86NativeR14)
1429 (nativePhysicalNativeDisplacementByte (byte 48)))
1430 (nativePhysicalNativeEmit
1431 (nativePhysicalNativeTest
1432 (constructor X86NativeRegister64 X86NativeR10)
1433 (constructor X86NativeRegister64 X86NativeR10))
1434 (nativePhysicalNativeJumpCondition
1435 (constructor X86NativeCondition X86NativeConditionZero)
1436 nativePhysicalNativeLabelFatalRecord
1437 (nativePhysicalNativeEmit
1438 (nativePhysicalNativeLoad64
1439 (constructor X86NativeRegister64 X86NativeRAX)
1440 (constructor X86NativeRegister64 X86NativeR14)
1441 nativePhysicalNativeD0)
1442 (nativePhysicalNativeEmit
1443 (nativePhysicalNativeCompareImmediate
1444 (constructor X86NativeRegister64 X86NativeRAX)
1445 (nativePhysicalNativeI32Byte (byte 1)))
1446 (nativePhysicalNativeJumpCondition
1447 (constructor X86NativeCondition X86NativeConditionZero)
1448 nativePhysicalNativeLabelDispatchSystemCall
1449 (nativePhysicalNativeEmit
1450 (nativePhysicalNativeCompareImmediate
1451 (constructor X86NativeRegister64 X86NativeRAX)
1452 (nativePhysicalNativeI32Byte (byte 2)))
1453 (nativePhysicalNativeJumpCondition
1454 (constructor X86NativeCondition X86NativeConditionZero)
1455 nativePhysicalNativeLabelDispatchCopy
1456 (nativePhysicalNativeEmit
1457 (nativePhysicalNativeCompareImmediate
1458 (constructor X86NativeRegister64 X86NativeRAX)
1459 (nativePhysicalNativeI32Byte (byte 3)))
1460 (nativePhysicalNativeJumpCondition
1461 (constructor X86NativeCondition X86NativeConditionZero)
1462 nativePhysicalNativeLabelDispatchRoutine
1463 (nativePhysicalNativeEmit
1464 (nativePhysicalNativeCompareImmediate
1465 (constructor X86NativeRegister64 X86NativeRAX)
1466 (nativePhysicalNativeI32Byte (byte 4)))
1467 (nativePhysicalNativeJumpCondition
1468 (constructor X86NativeCondition X86NativeConditionZero)
1469 nativePhysicalNativeLabelDispatchFence
1470 (nativePhysicalNativeEmit
1471 (nativePhysicalNativeCompareImmediate
1472 (constructor X86NativeRegister64 X86NativeRAX)
1473 (nativePhysicalNativeI32Byte (byte 5)))
1474 (nativePhysicalNativeJumpCondition
1475 (constructor X86NativeCondition X86NativeConditionZero)
1476 nativePhysicalNativeLabelDispatchTelemetry
1477 (nativePhysicalNativeEmit
1478 (nativePhysicalNativeCompareImmediate
1479 (constructor X86NativeRegister64 X86NativeRAX)
1480 (nativePhysicalNativeI32Byte (byte 6)))
1481 (nativePhysicalNativeJumpCondition
1482 (constructor X86NativeCondition X86NativeConditionZero)
1483 nativePhysicalNativeLabelDispatchAssert
1484 (nativePhysicalNativeEmit
1485 (nativePhysicalNativeCompareImmediate
1486 (constructor X86NativeRegister64 X86NativeRAX)
1487 (nativePhysicalNativeI32Byte (byte 7)))
1488 (nativePhysicalNativeJumpCondition
1489 (constructor X86NativeCondition X86NativeConditionZero)
1490 nativePhysicalNativeLabelDispatchHalt
1491 (nativePhysicalNativeEmit
1492 (nativePhysicalNativeCompareImmediate
1493 (constructor X86NativeRegister64 X86NativeRAX)
1494 (nativePhysicalNativeI32Byte (byte 8)))
1495 (nativePhysicalNativeJumpCondition
1496 (constructor X86NativeCondition X86NativeConditionZero)
1497 nativePhysicalNativeLabelDispatchAssertOneOf
1498 (nativePhysicalNativeEmit
1499 (nativePhysicalNativeCompareImmediate
1500 (constructor X86NativeRegister64 X86NativeRAX)
1501 (nativePhysicalNativeI32Byte (byte 9)))
1502 (nativePhysicalNativeJumpCondition
1503 (constructor X86NativeCondition X86NativeConditionZero)
1504 nativePhysicalNativeLabelDispatchRepeatBegin
1505 (nativePhysicalNativeEmit
1506 (nativePhysicalNativeCompareImmediate
1507 (constructor X86NativeRegister64 X86NativeRAX)
1508 (nativePhysicalNativeI32Byte (byte 10)))
1509 (nativePhysicalNativeJumpCondition
1510 (constructor X86NativeCondition X86NativeConditionZero)
1511 nativePhysicalNativeLabelDispatchRepeatEnd
1512 (nativePhysicalNativeEmit
1513 (nativePhysicalNativeCompareImmediate
1514 (constructor X86NativeRegister64 X86NativeRAX)
1515 (nativePhysicalNativeI32Byte (byte 11)))
1516 (nativePhysicalNativeJumpCondition
1517 (constructor X86NativeCondition X86NativeConditionZero)
1518 nativePhysicalNativeLabelDispatchStore
1519 (nativePhysicalNativeEmit
1520 (nativePhysicalNativeCompareImmediate
1521 (constructor X86NativeRegister64 X86NativeRAX)
1522 (nativePhysicalNativeI32Byte (byte 12)))
1523 (nativePhysicalNativeJumpCondition
1524 (constructor X86NativeCondition X86NativeConditionZero)
1525 nativePhysicalNativeLabelDispatchFenceWait
1526 (nativePhysicalNativeEmit
1527 (nativePhysicalNativeCompareImmediate
1528 (constructor X86NativeRegister64 X86NativeRAX)
1529 (nativePhysicalNativeI32Byte (byte 13)))
1530 (nativePhysicalNativeJumpCondition
1531 (constructor X86NativeCondition X86NativeConditionZero)
1532 nativePhysicalNativeLabelDispatchAdd
1533 (nativePhysicalNativeSkipDispatch
1534 (nativePhysicalNativeRepeatEndWhenDispatch
1535 (nativePhysicalNativeFloat64Dispatch
1536 (nativePhysicalNativeJump
1537 nativePhysicalNativeLabelFatalRecord
1538 tail))))))))))))))))))))))))))))))))))))))))))))))))))))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.