1267def sm86EncodeLoadGlobal =
1268 (lambda unrestricted guard : (family SM86InstructionGuard) .
1269 (lambda unrestricted destination : (family SM86Register) .
1270 (lambda unrestricted address : (family SM86Register) .
1271 (lambda unrestricted offset : (family SM86Unsigned32) .
1272 (lambda unrestricted control : (family SM86Control) .
1273 (sm86EncodeInstructionFields
1274 sm86OpcodeLoadGlobal
1275 guard
1276 control
1277 (sm86InstructionPrependField
1278 sm86InstructionNaturalSixteen
1279 sm86InstructionNaturalEight
1280 (sm86RegisterNatural destination)
1281 (sm86InstructionPrependField
1282 sm86InstructionNaturalTwentyFour
1283 sm86InstructionNaturalEight
1284 (sm86RegisterNatural address)
1285 (sm86InstructionPrependField
1286 sm86InstructionNaturalThirtyTwo
1287 sm86InstructionNaturalEight
1288 (byte-to-nat (byte 4))
1289 (sm86InstructionPrependField
1290 sm86InstructionNaturalForty
1291 sm86GlobalOffsetFieldBits
1292 (sm86Unsigned32Natural offset)
1293 (sm86InstructionOneWord32Field
1294 sm86InstructionNaturalSixtyFour
1295 (constructor
1296 SM86Unsigned32
1297 SM86Unsigned32Value
1298 (byte 0)
1299 (byte 25)
1300 (byte 30)
1301 (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.