1211def sm86EncodeLoadGlobal =
1212 (lambda unrestricted guard : (family SM86InstructionGuard) .
1213 (lambda unrestricted destination : (family SM86Register) .
1214 (lambda unrestricted address : (family SM86Register) .
1215 (lambda unrestricted offset : (family SM86Unsigned32) .
1216 (lambda unrestricted control : (family SM86Control) .
1217 (sm86EncodeInstructionFields
1218 sm86OpcodeLoadGlobal
1219 guard
1220 control
1221 (sm86InstructionPrependField
1222 sm86InstructionNaturalSixteen
1223 sm86InstructionNaturalEight
1224 (sm86RegisterNatural destination)
1225 (sm86InstructionPrependField
1226 sm86InstructionNaturalTwentyFour
1227 sm86InstructionNaturalEight
1228 (sm86RegisterNatural address)
1229 (sm86InstructionPrependField
1230 sm86InstructionNaturalThirtyTwo
1231 sm86InstructionNaturalEight
1232 (byte-to-nat (byte 4))
1233 (sm86InstructionPrependField
1234 sm86InstructionNaturalForty
1235 sm86InstructionNaturalTwentyFour
1236 (sm86Unsigned32Natural offset)
1237 (sm86InstructionOneWord32Field
1238 sm86InstructionNaturalSixtyFour
1239 (constructor
1240 SM86Unsigned32
1241 SM86Unsigned32Value
1242 (byte 0)
1243 (byte 25)
1244 (byte 30)
1245 (byte 12)))))))))))))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.