1247def sm86EncodeLoadGlobalWide =
1248 (lambda unrestricted guard : (family SM86InstructionGuard) .
1249 (lambda unrestricted destination : (family SM86Register) .
1250 (lambda unrestricted address : (family SM86Register) .
1251 (lambda unrestricted offset : (family SM86Unsigned32) .
1252 (lambda unrestricted control : (family SM86Control) .
1253 (sm86EncodeInstructionFields
1254 sm86OpcodeLoadGlobal
1255 guard
1256 control
1257 (sm86InstructionPrependField
1258 sm86InstructionNaturalSixteen
1259 sm86InstructionNaturalEight
1260 (sm86RegisterNatural destination)
1261 (sm86InstructionPrependField
1262 sm86InstructionNaturalTwentyFour
1263 sm86InstructionNaturalEight
1264 (sm86RegisterNatural address)
1265 (sm86InstructionPrependField
1266 sm86InstructionNaturalThirtyTwo
1267 sm86InstructionNaturalEight
1268 (byte-to-nat (byte 4))
1269 (sm86InstructionPrependField
1270 sm86InstructionNaturalForty
1271 sm86InstructionNaturalTwentyFour
1272 (sm86Unsigned32Natural offset)
1273 (sm86InstructionOneWord32Field
1274 sm86InstructionNaturalSixtyFour
1275 (constructor
1276 SM86Unsigned32
1277 SM86Unsigned32Value
1278 (byte 0)
1279 (byte 29)
1280 (byte 30)
1281 (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.