1303def sm86EncodeLoadGlobalWide =
1304 (lambda unrestricted guard : (family SM86InstructionGuard) .
1305 (lambda unrestricted destination : (family SM86Register) .
1306 (lambda unrestricted address : (family SM86Register) .
1307 (lambda unrestricted offset : (family SM86Unsigned32) .
1308 (lambda unrestricted control : (family SM86Control) .
1309 (sm86EncodeInstructionFields
1310 sm86OpcodeLoadGlobal
1311 guard
1312 control
1313 (sm86InstructionPrependField
1314 sm86InstructionNaturalSixteen
1315 sm86InstructionNaturalEight
1316 (sm86RegisterNatural destination)
1317 (sm86InstructionPrependField
1318 sm86InstructionNaturalTwentyFour
1319 sm86InstructionNaturalEight
1320 (sm86RegisterNatural address)
1321 (sm86InstructionPrependField
1322 sm86InstructionNaturalThirtyTwo
1323 sm86InstructionNaturalEight
1324 (byte-to-nat (byte 4))
1325 (sm86InstructionPrependField
1326 sm86InstructionNaturalForty
1327 sm86GlobalOffsetFieldBits
1328 (sm86Unsigned32Natural offset)
1329 (sm86InstructionOneWord32Field
1330 sm86InstructionNaturalSixtyFour
1331 (constructor
1332 SM86Unsigned32
1333 SM86Unsigned32Value
1334 (byte 0)
1335 (byte 29)
1336 (byte 30)
1337 (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.