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