553def sm86EncodeIntegerMultiplyAddConstant =
554 (lambda unrestricted guard : (family SM86InstructionGuard) .
555 (lambda unrestricted destination : (family SM86Register) .
556 (lambda unrestricted left : (family SM86Register) .
557 (lambda unrestricted bank : Byte .
558 (lambda unrestricted offset : (family SM86Unsigned32) .
559 (lambda unrestricted addend : (family SM86Register) .
560 (lambda unrestricted control : (family SM86Control) .
561 (sm86EncodeInstructionFields
562 sm86OpcodeIntegerMultiplyAddConstant
563 guard
564 control
565 (sm86InstructionPrependField
566 sm86InstructionNaturalSixteen
567 sm86InstructionNaturalEight
568 (sm86RegisterNatural destination)
569 (sm86InstructionPrependField
570 sm86InstructionNaturalTwentyFour
571 sm86InstructionNaturalEight
572 (sm86RegisterNatural left)
573 (sm86InstructionPrependField
574 sm86InstructionNaturalThirtyEight
575 sm86InstructionNaturalSixteen
576 (sm86Unsigned32Natural offset)
577 (sm86InstructionPrependField
578 sm86InstructionNaturalFiftyFour
579 sm86InstructionNaturalFive
580 (byte-to-nat bank)
581 (sm86InstructionPrependField
582 sm86InstructionNaturalSixtyFour
583 sm86InstructionNaturalEight
584 (sm86RegisterNatural addend)
585 (sm86InstructionOneWord24Field
586 sm86InstructionNaturalSeventyTwo
587 (byte 2)
588 (byte 142)
589 (byte 7)))))))))))))))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.