1347def sm86EncodeLoadGlobal =
1348 (lambda unrestricted guard : (family SM86InstructionGuard) .
1349 (lambda unrestricted destination : (family SM86Register) .
1350 (lambda unrestricted address : (family SM86Register) .
1351 (lambda unrestricted offset : (family SM86Unsigned32) .
1352 (lambda unrestricted control : (family SM86Control) .
1353 (sm86EncodeInstructionFields
1354 sm86OpcodeLoadGlobal
1355 guard
1356 control
1357 (sm86InstructionPrependField
1358 sm86InstructionNaturalSixteen
1359 sm86InstructionNaturalEight
1360 (sm86RegisterNatural destination)
1361 (sm86InstructionPrependField
1362 sm86InstructionNaturalTwentyFour
1363 sm86InstructionNaturalEight
1364 (sm86RegisterNatural address)
1365 (sm86InstructionPrependField
1366 sm86InstructionNaturalThirtyTwo
1367 sm86InstructionNaturalEight
1368 (byte-to-nat (byte 4))
1369 (sm86InstructionPrependField
1370 sm86InstructionNaturalForty
1371 sm86GlobalOffsetFieldBits
1372 (sm86Unsigned32Natural offset)
1373 (sm86InstructionOneWord32Field
1374 sm86InstructionNaturalSixtyFour
1375 (constructor
1376 SM86Unsigned32
1377 SM86Unsigned32Value
1378 (byte 0)
1379 (byte 25)
1380 (byte 30)
1381 (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.