1383def sm86EncodeLoadGlobalWide =
1384 (lambda unrestricted guard : (family SM86InstructionGuard) .
1385 (lambda unrestricted destination : (family SM86Register) .
1386 (lambda unrestricted address : (family SM86Register) .
1387 (lambda unrestricted offset : (family SM86Unsigned32) .
1388 (lambda unrestricted control : (family SM86Control) .
1389 (sm86EncodeInstructionFields
1390 sm86OpcodeLoadGlobal
1391 guard
1392 control
1393 (sm86InstructionPrependField
1394 sm86InstructionNaturalSixteen
1395 sm86InstructionNaturalEight
1396 (sm86RegisterNatural destination)
1397 (sm86InstructionPrependField
1398 sm86InstructionNaturalTwentyFour
1399 sm86InstructionNaturalEight
1400 (sm86RegisterNatural address)
1401 (sm86InstructionPrependField
1402 sm86InstructionNaturalThirtyTwo
1403 sm86InstructionNaturalEight
1404 (byte-to-nat (byte 4))
1405 (sm86InstructionPrependField
1406 sm86InstructionNaturalForty
1407 sm86GlobalOffsetFieldBits
1408 (sm86Unsigned32Natural offset)
1409 (sm86InstructionOneWord32Field
1410 sm86InstructionNaturalSixtyFour
1411 (constructor
1412 SM86Unsigned32
1413 SM86Unsigned32Value
1414 (byte 0)
1415 (byte 29)
1416 (byte 30)
1417 (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.