521def sm86EncodeIntegerMultiplyAddImmediate =
522 (lambda unrestricted guard : (family SM86InstructionGuard) .
523 (lambda unrestricted destination : (family SM86Register) .
524 (lambda unrestricted left : (family SM86Register) .
525 (lambda unrestricted immediate : (family SM86Unsigned32) .
526 (lambda unrestricted addend : (family SM86Register) .
527 (lambda unrestricted control : (family SM86Control) .
528 (sm86EncodeInstructionFields
529 sm86OpcodeIntegerMultiplyAddImmediate
530 guard
531 control
532 (sm86InstructionPrependField
533 sm86InstructionNaturalSixteen
534 sm86InstructionNaturalEight
535 (sm86RegisterNatural destination)
536 (sm86InstructionPrependField
537 sm86InstructionNaturalTwentyFour
538 sm86InstructionNaturalEight
539 (sm86RegisterNatural left)
540 (sm86InstructionPrependWord32Field
541 sm86InstructionNaturalThirtyTwo
542 immediate
543 (sm86InstructionPrependField
544 sm86InstructionNaturalSixtyFour
545 sm86InstructionNaturalEight
546 (sm86RegisterNatural addend)
547 (sm86InstructionOneWord24Field
548 sm86InstructionNaturalSeventyTwo
549 (byte 2)
550 (byte 142)
551 (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.