742def exactCrossEntropyPartialSuffixFor =
743 (lambda unrestricted rows : Nat .
744 (exactCrossEntropySM86AlwaysNext
745 (constructor
746 SM86InstructionBody
747 SM86PredicateGreaterThanImmediate
748 exactCrossEntropyPartialP0
749 exactCrossEntropyPartialR0
750 exactCrossEntropyPartialU0
751 sm86SafeControl)
752 (exactCrossEntropySM86AlwaysNext
753 (constructor
754 SM86InstructionBody
755 SM86IntegerAddThreeImmediate
756 exactCrossEntropyPartialR10
757 exactCrossEntropyPartialR1
758 (sm86Unsigned32FromNaturalTruncated rows)
759 sm86SafeControl)
760 (exactCrossEntropySM86AlwaysNext
761 (constructor
762 SM86InstructionBody
763 SM86IntegerMultiplyAddWideConstant
764 exactCrossEntropyPartialR12
765 exactCrossEntropyPartialR10
766 exactCrossEntropyPartialR2
767 (byte 0)
768 exactCrossEntropyRowsOffset160
769 sm86SafeControl)
770 (exactCrossEntropySM86Next
771 (exactCrossEntropyPartialWhenNotP0
772 (constructor
773 SM86InstructionBody
774 SM86StoreGlobal
775 exactCrossEntropyPartialR12
776 exactCrossEntropyPartialR8
777 exactCrossEntropyPartialU0
778 sm86SafeControl))
779 (exactCrossEntropySM86AlwaysNext
780 (constructor SM86InstructionBody SM86Exit sm86SafeControl)
781 exactCrossEntropySM86End))))))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.