574def greedyArgmaxSM86ValidateCandidateProgram : (family SM86Program) =
575 (greedyArgmaxSM86Next
576 (constructor
577 SM86InstructionBody
578 SM86ShiftRightImmediate
579 greedyArgmaxSM86R14
580 greedyArgmaxSM86R10
581 (byte 23)
582 sm86SafeControl)
583 (greedyArgmaxSM86Next
584 (constructor
585 SM86InstructionBody
586 SM86LogicThreeInputTruthTable
587 greedyArgmaxSM86R14
588 greedyArgmaxSM86R14
589 greedyArgmaxSM86R11
590 (byte 192)
591 sm86SafeControl)
592 (greedyArgmaxSM86Next
593 (constructor
594 SM86InstructionBody
595 SM86PredicateGreaterThanImmediate
596 greedyArgmaxSM86P1
597 greedyArgmaxSM86R14
598 greedyArgmaxSM86U254
599 sm86SafeControl)
600 (greedyArgmaxSM86Next
601 (constructor
602 SM86InstructionBody
603 SM86MoveImmediate
604 greedyArgmaxSM86R13
605 greedyArgmaxSM86UFloatZero
606 sm86SafeControl)
607 (greedyArgmaxSM86When
608 greedyArgmaxSM86P1
609 (constructor
610 SM86InstructionBody
611 SM86MoveImmediate
612 greedyArgmaxSM86R13
613 greedyArgmaxSM86UFloatOne
614 sm86SafeControl)
615 (greedyArgmaxSM86Next
616 (constructor
617 SM86InstructionBody
618 SM86FloatAdd
619 greedyArgmaxSM86R12
620 greedyArgmaxSM86R12
621 greedyArgmaxSM86R13
622 sm86SafeControl)
623 (greedyArgmaxSM86When
624 greedyArgmaxSM86P1
625 (constructor
626 SM86InstructionBody
627 SM86MoveImmediate
628 greedyArgmaxSM86R10
629 greedyArgmaxSM86UFloatNegativeInfinity
630 sm86SafeControl)
631 sm86ProgramEmpty)))))))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.