solidity/test/cmdlineTests/standard_ewasm_requested/output.json
Daniel Kirchner 8bb371ffa9 Update tests.
2021-04-06 14:14:47 +02:00

271 lines
12 KiB
JSON

{"contracts":{"A":{"C":{"ewasm":{"wasm":"0061736d01000000014e0d6000006000017e6000017f60017e017e60017e017f60047e7e7e7e017f60057e7e7e7e7e0060067e7e7e7e7e7e0060087e7e7e7e7e7e7e7e0060017f0060017f017f60027f7f0060037f7f7f00026e0508657468657265756d08636f6465436f7079000c08657468657265756d06726576657274000b08657468657265756d0c67657443616c6c56616c7565000908657468657265756d0666696e697368000b08657468657265756d1167657452657475726e4461746153697a650002030f0e00020405050a0a0101030701060805030100010610037e0142000b7e0142000b7e0142000b071102066d656d6f72790200046d61696e000500be030c435f335f6465706c6f7965640061736d010000000117056000006000017f60017e017f60017f017f60027f7f0002300208657468657265756d06726576657274000408657468657265756d1167657452657475726e4461746153697a65000103060500020203030503010001060100071102066d656d6f72790200046d61696e00020ab80205ab0103017e027f057e02404200210020002000200084200084520440000b200042c000422088520440000b42c000a72101200141c0006a210220022001490440000b2000a71006ad422086210320032000422088a71006ad84210420022004370000200241086a2004370000200241106a2004370000428001a71006ad4220862105200241186a2005428001422088a71006ad843700001001ad21061001ad2107200710042006100310000b0b2901017f024042004200420084420084520440000b42002000422088520440000b2000a721010b20010b2001027f0240200010032102200241c0006a210120012002490440000b0b20010b1f01017f024020004108744180fe0371200041087641ff01717221010b20010b1e01027f02402000100541107421022002200041107610057221010b20010b0abd050e820202027f157e024010062100200041c0006a210120012000490440000b100c210220012002370000200141086a2002370000200141106a2002370000200141186a100d370000410010024100290000100e2103410041086a290000100e2104410041106a290000100e210520032004842005410041186a290000100e8484504504400240101021062300210723012108230221090b02401010210a2300210b2301210c2302210d0b200a200b200c200d200620072008200910120b42b103210e02401010210f2300211023012111230221120b200f201020112012429302200e100f0240101021132300211423012115230221160b2013201420152016200e10110b0b2b01017f024042004200420084420084520440000b420042c000422088520440000b42c000a721000b20000b2901017f024042004200420084420084520440000b42002000422088520440000b2000a721010b20010b2901017f024042002000200184200284520440000b42002003422088520440000b2003a721040b20040b2601027f0240200020012002200310082105200541c0006a210420042005490440000b0b20040b1f01017f024020004108744180fe0371200041087641ff01717221010b20010b1e01027f02402000100a411074210220022000411076100a7221010b20010b2201027e02404200a7100bad422086210120014200422088a7100bad8421000b20000b2401027e0240428001a7100bad42208621012001428001422088a7100bad8421000b20000b2201027e02402000a7100bad422086210220022000422088a7100bad8421010b20010b1900024020002001200220031009200410072005100710000b0b1a01047e02401004ad21030b20012400200224012003240220000b15000240200020012002200310092004100710030b0b1b000240200020012002200310092004200520062007100810010b0b","wast":"(module
;; custom section for sub-module
;; The Keccak-256 hash of the text representation of \"C_3_deployed\": 209b9bb495bde13c626083b6782d7b5456ba10f34312f3bfe1ba8017cdf60c12
;; (@custom \"C_3_deployed\" \"0061736d010000000117056000006000017f60017e017f60017f017f60027f7f0002300208657468657265756d06726576657274000408657468657265756d1167657452657475726e4461746153697a65000103060500020203030503010001060100071102066d656d6f72790200046d61696e00020ab80205ab0103017e027f057e02404200210020002000200084200084520440000b200042c000422088520440000b42c000a72101200141c0006a210220022001490440000b2000a71006ad422086210320032000422088a71006ad84210420022004370000200241086a2004370000200241106a2004370000428001a71006ad4220862105200241186a2005428001422088a71006ad843700001001ad21061001ad2107200710042006100310000b0b2901017f024042004200420084420084520440000b42002000422088520440000b2000a721010b20010b2001027f0240200010032102200241c0006a210120012002490440000b0b20010b1f01017f024020004108744180fe0371200041087641ff01717221010b20010b1e01027f02402000100541107421022002200041107610057221010b20010b\")
(import \"ethereum\" \"codeCopy\" (func $eth.codeCopy (param i32 i32 i32)))
(import \"ethereum\" \"revert\" (func $eth.revert (param i32 i32)))
(import \"ethereum\" \"getCallValue\" (func $eth.getCallValue (param i32)))
(import \"ethereum\" \"finish\" (func $eth.finish (param i32 i32)))
(import \"ethereum\" \"getReturnDataSize\" (func $eth.getReturnDataSize (result i32)))
(memory $memory (export \"memory\") 1)
(export \"main\" (func $main))
(global $global_ (mut i64) (i64.const 0))
(global $global__1 (mut i64) (i64.const 0))
(global $global__2 (mut i64) (i64.const 0))
(func $main
(local $p i32)
(local $r i32)
(local $_1 i64)
(local $z1 i64)
(local $z2 i64)
(local $z3 i64)
(local $_2 i64)
(local $_3 i64)
(local $_4 i64)
(local $_5 i64)
(local $_6 i64)
(local $_7 i64)
(local $_8 i64)
(local $_9 i64)
(local $_10 i64)
(local $_11 i64)
(local $_12 i64)
(local $_13 i64)
(local $_14 i64)
(local $_15 i64)
(local $_16 i64)
(local $_17 i64)
(local $_18 i64)
(block $label_
(local.set $p (call $u256_to_i32_610))
(local.set $r (i32.add (local.get $p) (i32.const 64)))
(if (i32.lt_u (local.get $r) (local.get $p)) (then
(unreachable)))
(local.set $_1 (call $bswap64_366))
(i64.store (local.get $r) (local.get $_1))
(i64.store (i32.add (local.get $r) (i32.const 8)) (local.get $_1))
(i64.store (i32.add (local.get $r) (i32.const 16)) (local.get $_1))
(i64.store (i32.add (local.get $r) (i32.const 24)) (call $bswap64_367))
(call $eth.getCallValue (i32.const 0))
(local.set $z1 (call $bswap64 (i64.load (i32.const 0))))
(local.set $z2 (call $bswap64 (i64.load (i32.add (i32.const 0) (i32.const 8)))))
(local.set $z3 (call $bswap64 (i64.load (i32.add (i32.const 0) (i32.const 16)))))
(if (i32.eqz (i64.eqz (i64.or (i64.or (local.get $z1) (local.get $z2)) (i64.or (local.get $z3) (call $bswap64 (i64.load (i32.add (i32.const 0) (i32.const 24)))))))) (then
(block
(local.set $_2 (call $returndatasize_462))
(local.set $_3 (global.get $global_))
(local.set $_4 (global.get $global__1))
(local.set $_5 (global.get $global__2))
)
(block
(local.set $_6 (call $returndatasize_462))
(local.set $_7 (global.get $global_))
(local.set $_8 (global.get $global__1))
(local.set $_9 (global.get $global__2))
)
(call $revert (local.get $_6) (local.get $_7) (local.get $_8) (local.get $_9) (local.get $_2) (local.get $_3) (local.get $_4) (local.get $_5))))
(local.set $_10 (datasize \"C_3_deployed\"))
(block
(local.set $_11 (call $returndatasize_462))
(local.set $_12 (global.get $global_))
(local.set $_13 (global.get $global__1))
(local.set $_14 (global.get $global__2))
)
(call $codecopy (local.get $_11) (local.get $_12) (local.get $_13) (local.get $_14) (dataoffset \"C_3_deployed\") (local.get $_10))
(block
(local.set $_15 (call $returndatasize_462))
(local.set $_16 (global.get $global_))
(local.set $_17 (global.get $global__1))
(local.set $_18 (global.get $global__2))
)
(call $return (local.get $_15) (local.get $_16) (local.get $_17) (local.get $_18) (local.get $_10))
)
)
(func $u256_to_i32_610
(result i32)
(local $v i32)
(block $label__3
(if (i64.ne (i64.const 0) (i64.or (i64.or (i64.const 0) (i64.const 0)) (i64.const 0))) (then
(unreachable)))
(if (i64.ne (i64.const 0) (i64.shr_u (i64.const 64) (i64.const 32))) (then
(unreachable)))
(local.set $v (i32.wrap_i64 (i64.const 64)))
)
(local.get $v)
)
(func $u256_to_i32_612
(param $x4 i64)
(result i32)
(local $v i32)
(block $label__4
(if (i64.ne (i64.const 0) (i64.or (i64.or (i64.const 0) (i64.const 0)) (i64.const 0))) (then
(unreachable)))
(if (i64.ne (i64.const 0) (i64.shr_u (local.get $x4) (i64.const 32))) (then
(unreachable)))
(local.set $v (i32.wrap_i64 (local.get $x4)))
)
(local.get $v)
)
(func $u256_to_i32
(param $x1 i64)
(param $x2 i64)
(param $x3 i64)
(param $x4 i64)
(result i32)
(local $v i32)
(block $label__5
(if (i64.ne (i64.const 0) (i64.or (i64.or (local.get $x1) (local.get $x2)) (local.get $x3))) (then
(unreachable)))
(if (i64.ne (i64.const 0) (i64.shr_u (local.get $x4) (i64.const 32))) (then
(unreachable)))
(local.set $v (i32.wrap_i64 (local.get $x4)))
)
(local.get $v)
)
(func $to_internal_i32ptr
(param $x1 i64)
(param $x2 i64)
(param $x3 i64)
(param $x4 i64)
(result i32)
(local $r i32)
(local $p i32)
(block $label__6
(local.set $p (call $u256_to_i32 (local.get $x1) (local.get $x2) (local.get $x3) (local.get $x4)))
(local.set $r (i32.add (local.get $p) (i32.const 64)))
(if (i32.lt_u (local.get $r) (local.get $p)) (then
(unreachable)))
)
(local.get $r)
)
(func $bswap16
(param $x i32)
(result i32)
(local $y i32)
(block $label__7
(local.set $y (i32.or (i32.and (i32.shl (local.get $x) (i32.const 8)) (i32.const 65280)) (i32.and (i32.shr_u (local.get $x) (i32.const 8)) (i32.const 255))))
)
(local.get $y)
)
(func $bswap32
(param $x i32)
(result i32)
(local $y i32)
(local $hi i32)
(block $label__8
(local.set $hi (i32.shl (call $bswap16 (local.get $x)) (i32.const 16)))
(local.set $y (i32.or (local.get $hi) (call $bswap16 (i32.shr_u (local.get $x) (i32.const 16)))))
)
(local.get $y)
)
(func $bswap64_366
(result i64)
(local $y i64)
(local $hi i64)
(block $label__9
(local.set $hi (i64.shl (i64.extend_i32_u (call $bswap32 (i32.wrap_i64 (i64.const 0)))) (i64.const 32)))
(local.set $y (i64.or (local.get $hi) (i64.extend_i32_u (call $bswap32 (i32.wrap_i64 (i64.shr_u (i64.const 0) (i64.const 32)))))))
)
(local.get $y)
)
(func $bswap64_367
(result i64)
(local $y i64)
(local $hi i64)
(block $label__10
(local.set $hi (i64.shl (i64.extend_i32_u (call $bswap32 (i32.wrap_i64 (i64.const 128)))) (i64.const 32)))
(local.set $y (i64.or (local.get $hi) (i64.extend_i32_u (call $bswap32 (i32.wrap_i64 (i64.shr_u (i64.const 128) (i64.const 32)))))))
)
(local.get $y)
)
(func $bswap64
(param $x i64)
(result i64)
(local $y i64)
(local $hi i64)
(block $label__11
(local.set $hi (i64.shl (i64.extend_i32_u (call $bswap32 (i32.wrap_i64 (local.get $x)))) (i64.const 32)))
(local.set $y (i64.or (local.get $hi) (i64.extend_i32_u (call $bswap32 (i32.wrap_i64 (i64.shr_u (local.get $x) (i64.const 32)))))))
)
(local.get $y)
)
(func $codecopy
(param $x1 i64)
(param $x2 i64)
(param $x3 i64)
(param $x4 i64)
(param $y4 i64)
(param $z4 i64)
(block $label__12
(call $eth.codeCopy (call $to_internal_i32ptr (local.get $x1) (local.get $x2) (local.get $x3) (local.get $x4)) (call $u256_to_i32_612 (local.get $y4)) (call $u256_to_i32_612 (local.get $z4)))
)
)
(func $returndatasize_462
(result i64)
(local $z1 i64)
(local $z2 i64)
(local $z3 i64)
(local $z4 i64)
(block $label__13
(local.set $z4 (i64.extend_i32_u (call $eth.getReturnDataSize)))
)
(global.set $global_ (local.get $z2))
(global.set $global__1 (local.get $z3))
(global.set $global__2 (local.get $z4))
(local.get $z1)
)
(func $return
(param $x1 i64)
(param $x2 i64)
(param $x3 i64)
(param $x4 i64)
(param $y4 i64)
(block $label__14
(call $eth.finish (call $to_internal_i32ptr (local.get $x1) (local.get $x2) (local.get $x3) (local.get $x4)) (call $u256_to_i32_612 (local.get $y4)))
)
)
(func $revert
(param $x1 i64)
(param $x2 i64)
(param $x3 i64)
(param $x4 i64)
(param $y1 i64)
(param $y2 i64)
(param $y3 i64)
(param $y4 i64)
(block $label__15
(call $eth.revert (call $to_internal_i32ptr (local.get $x1) (local.get $x2) (local.get $x3) (local.get $x4)) (call $u256_to_i32 (local.get $y1) (local.get $y2) (local.get $y3) (local.get $y4)))
)
)
)
"}}}},"sources":{"A":{"id":0}}}