240 lines
2.9 KiB
Plaintext
240 lines
2.9 KiB
Plaintext
;; CONTRACT all_instructions
|
|
|
|
;; Dont expect this contract to typecheck or run.
|
|
;; Just used to check assembler rountrip of all instruction.
|
|
|
|
FUNCTION foo () : {tuple, []}
|
|
RETURN
|
|
|
|
RETURNR a
|
|
|
|
CALL "foo"
|
|
|
|
CALL_R arg125 foo 0
|
|
|
|
CALL_T "foo"
|
|
|
|
CALL_TR arg245 foo 4711
|
|
|
|
CALL_GTR arg245 foo 0 100
|
|
|
|
CALL_GR arg245 foo 0 4711
|
|
|
|
JUMP 5514251025295783441695716053282666408426
|
|
|
|
JUMPIF arg196 0x12c651665
|
|
|
|
SWITCH_V2 a 63 33
|
|
|
|
SWITCH_V3 var4 0x1d61723dd 79 7
|
|
|
|
SWITCH_VN arg0 [1, 2, 3]
|
|
|
|
PUSH var80
|
|
|
|
DUPA
|
|
|
|
DUP a
|
|
|
|
POP a
|
|
|
|
STORE arg183 var225
|
|
|
|
INCA
|
|
|
|
INC a
|
|
|
|
DECA
|
|
|
|
DEC a
|
|
|
|
ADD a a a
|
|
|
|
SUB arg35 arg165 var74
|
|
|
|
MUL 44 35 "foo"
|
|
|
|
DIV 263838340369912686645632650718169038811 a a
|
|
|
|
MOD var113 arg80 arg207
|
|
|
|
POW a a a
|
|
|
|
LT a 78 var81
|
|
|
|
GT arg19 4729414120208894485838100532547810615352 var175
|
|
|
|
EQ 85 a arg164
|
|
|
|
ELT a arg226 a
|
|
|
|
EGT a 1 var250
|
|
|
|
NEQ a a a
|
|
|
|
AND var255 0x294a24f6 var189
|
|
|
|
OR (| [2,0] | 0 | ( (), (42) ) |) arg168 var107
|
|
|
|
NOT arg124 a
|
|
|
|
TUPLE 5019186157739257888756115213149493826410
|
|
|
|
ELEMENT arg148 var25 a
|
|
|
|
MAP_EMPTY a
|
|
|
|
MAP_LOOKUP a a a
|
|
|
|
MAP_LOOKUPD var112 arg35 a var112
|
|
|
|
MAP_UPDATE false a a a
|
|
|
|
MAP_DELETE arg180 a var1
|
|
|
|
MAP_MEMBER a { true => 4} 94
|
|
|
|
MAP_FROM_LIST () a
|
|
|
|
NIL arg91
|
|
|
|
IS_NIL a var6
|
|
|
|
CONS arg185 "foo" a
|
|
|
|
HD a var124
|
|
|
|
TL arg223 a
|
|
|
|
LENGTH var216 a
|
|
|
|
APPEND { 203961992615221001243597889146034217896 => 0x1f53a1843} 281217554184165828643225535776787296845 a
|
|
|
|
STR_JOIN a a 7144184027126178769820155907121270843348
|
|
|
|
INT_TO_STR var238 a
|
|
|
|
ADDR_TO_STR a arg216
|
|
|
|
STR_REVERSE a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
|
|
|
|
INT_TO_ADDR arg127 var207
|
|
|
|
VARIANT a a 0x1f7b72200 a
|
|
|
|
VARIANT_TEST a arg217 a
|
|
|
|
VARIANT_ELEMENT a arg103 arg108
|
|
|
|
BITS_NONEA
|
|
|
|
BITS_NONE a
|
|
|
|
BITS_ALLA
|
|
|
|
BITS_ALL a
|
|
|
|
BITS_ALL_N a arg135
|
|
|
|
BITS_SET arg150 a { 0x1a715e2a6 => 3}
|
|
|
|
BITS_CLEAR arg98 a arg164
|
|
|
|
BITS_TEST a a (| [0,0,3] | 2 | (1, "foo", ()) |)
|
|
|
|
BITS_SUM a a
|
|
|
|
BITS_OR var20 var186 a
|
|
|
|
BITS_AND a 4 arg203
|
|
|
|
BITS_DIFF var200 arg247 var20
|
|
|
|
ADDRESS a
|
|
|
|
BALANCE a
|
|
|
|
ORIGIN arg216
|
|
|
|
CALLER a
|
|
|
|
GASPRICE arg119
|
|
|
|
BLOCKHASH a arg110
|
|
|
|
CALL_VALUE a
|
|
|
|
BENEFICIARY var163
|
|
|
|
TIMESTAMP a
|
|
|
|
GENERATION 242795038229506961431398379342231049652
|
|
|
|
MICROBLOCK arg43
|
|
|
|
DIFFICULTY var24
|
|
|
|
GASLIMIT arg220
|
|
|
|
GAS var35
|
|
|
|
LOG0 a
|
|
|
|
LOG1 arg86 arg208
|
|
|
|
LOG2 a a (| [0,1,3] | 2 | (1, "foo", ()) |)
|
|
|
|
LOG3 arg15 arg211 var139 arg44
|
|
|
|
LOG4 a a 9 a a
|
|
|
|
DEACTIVATE
|
|
|
|
SPEND @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv var136
|
|
|
|
ORACLE_REGISTER arg29 48 ((| [0,1,3] | 2 | (1, "foo", ()) |)) arg65 { <> => false} <>
|
|
|
|
ORACLE_QUERY
|
|
|
|
ORACLE_RESPOND
|
|
|
|
ORACLE_EXTEND
|
|
|
|
ORACLE_GET_ANSWER
|
|
|
|
ORACLE_GET_QUESTION
|
|
|
|
ORACLE_QUERY_FEE
|
|
|
|
AENS_RESOLVE
|
|
|
|
AENS_PRECLAIM
|
|
|
|
AENS_CLAIM
|
|
|
|
AENS_UPDATE
|
|
|
|
AENS_TRANSFER
|
|
|
|
AENS_REVOKE
|
|
|
|
ECVERIFY
|
|
|
|
SHA3 a
|
|
|
|
SHA256 a
|
|
|
|
BLAKE2B a
|
|
|
|
ABORT a
|
|
|
|
EXIT var120
|
|
|
|
NOP
|
|
|
|
RETURNR ()
|
|
|
|
BALANCE_OTHER a arg0
|
|
|
|
SETELEMENT a 2 (1, "two", 3) 2
|