1403def reductionSM86ParameterizedIdentityMiddle =
1404 (lambda unrestricted thread : (family SM86Register) .
1405 (lambda unrestricted accumulator : (family SM86Register) .
1406 (lambda unrestricted scratch : (family SM86Register) .
1407 (lambda unrestricted identity : (family SM86Register) .
1408 (lambda unrestricted identityBits : (family SM86Unsigned32) .
1409 (constructor
1410 SM86Program
1411 SM86ProgramNext
1412 (sm86Instruction
1413 (constructor
1414 SM86InstructionBody
1415 SM86MoveImmediate
1416 scratch
1417 reductionSM86U31
1418 sm86SafeControl))
1419 (constructor
1420 SM86Program
1421 SM86ProgramNext
1422 (sm86Instruction
1423 (constructor
1424 SM86InstructionBody
1425 SM86LogicThreeInputTruthTable
1426 scratch
1427 thread
1428 scratch
1429 (byte 192)
1430 sm86SafeControl))
1431 (constructor
1432 SM86Program
1433 SM86ProgramNext
1434 (sm86Instruction
1435 (constructor
1436 SM86InstructionBody
1437 SM86MoveImmediate
1438 identity
1439 identityBits
1440 sm86SafeControl))
1441 (constructor
1442 SM86Program
1443 SM86ProgramNext
1444 (sm86Instruction
1445 (constructor
1446 SM86InstructionBody
1447 SM86PredicateGreaterThanImmediate
1448 reductionSM86P0
1449 thread
1450 reductionSM86U31
1451 sm86SafeControl))
1452 (constructor
1453 SM86Program
1454 SM86ProgramNext
1455 (reductionSM86NotP0
1456 (constructor
1457 SM86InstructionBody
1458 SM86StoreShared
1459 scratch
1460 identity
1461 reductionSM86U0
1462 sm86SafeControl))
1463 (constructor
1464 SM86Program
1465 SM86ProgramNext
1466 (sm86Instruction
1467 (constructor SM86InstructionBody SM86BarrierSynchronize sm86SafeControl))
1468 (constructor
1469 SM86Program
1470 SM86ProgramNext
1471 (sm86Instruction
1472 (constructor
1473 SM86InstructionBody
1474 SM86PredicateGreaterThanImmediate
1475 reductionSM86P0
1476 scratch
1477 reductionSM86U0
1478 sm86SafeControl))
1479 (constructor
1480 SM86Program
1481 SM86ProgramNext
1482 (sm86Instruction
1483 (constructor
1484 SM86InstructionBody
1485 SM86ShiftRightImmediate
1486 identity
1487 thread
1488 (byte 5)
1489 sm86SafeControl))
1490 (constructor
1491 SM86Program
1492 SM86ProgramNext
1493 (reductionSM86NotP0
1494 (constructor
1495 SM86InstructionBody
1496 SM86StoreShared
1497 identity
1498 accumulator
1499 reductionSM86U0
1500 reductionSM86Read4))
1501 (constructor
1502 SM86Program
1503 SM86ProgramNext
1504 (sm86Instruction
1505 (constructor
1506 SM86InstructionBody
1507 SM86BarrierSynchronize
1508 sm86SafeControl))
1509 (constructor
1510 SM86Program
1511 SM86ProgramNext
1512 (sm86Instruction
1513 (constructor
1514 SM86InstructionBody
1515 SM86MoveImmediate
1516 scratch
1517 reductionSM86U31
1518 reductionSM86Wait4))
1519 (constructor
1520 SM86Program
1521 SM86ProgramNext
1522 (sm86Instruction
1523 (constructor
1524 SM86InstructionBody
1525 SM86LogicThreeInputTruthTable
1526 scratch
1527 thread
1528 scratch
1529 (byte 192)
1530 sm86SafeControl))
1531 (constructor
1532 SM86Program
1533 SM86ProgramNext
1534 (sm86Instruction
1535 (constructor
1536 SM86InstructionBody
1537 SM86LoadShared
1538 accumulator
1539 scratch
1540 reductionSM86U0
1541 reductionSM86Set2))
1542 (constructor SM86Program SM86ProgramEnd)))))))))))))))))))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.