don't emulate Hash

OffchainLabs · Nov 17, 2021 · 72b92c7 · 72b92c7
1 parent 1667b0c
commit 72b92c7
Show file tree

Hide file tree

Showing 17 changed files with 22 additions and 18 deletions.
diff --git a/arb_os/arbos-upgrade.mexe b/arb_os/arbos-upgrade.mexe
diff --git a/arb_os/arbos.mexe b/arb_os/arbos.mexe
diff --git a/arb_os/upgrade.json b/arb_os/upgrade.json
diff --git a/minitests/callgraph/other.mini b/minitests/callgraph/other.mini
@@ -11,7 +11,7 @@ public func start() -> uint {
 
 func back_edge() -> uint {
     let a = externally_used;
-    if a == externally_used { 4 } else { 4 }
+    if a == externally_used { 4 } else { 4 } // trick the optimizer
 }
 
 func unused() -> uint {

diff --git a/replayTests/evm_direct_deploy_add.aoslog b/replayTests/evm_direct_deploy_add.aoslog
diff --git a/replayTests/evm_direct_deploy_and_call_add.aoslog b/replayTests/evm_direct_deploy_and_call_add.aoslog
diff --git a/replayTests/evm_direct_deploy_and_compressed_call_add.aoslog b/replayTests/evm_direct_deploy_and_compressed_call_add.aoslog
diff --git a/replayTests/evm_eval_sha256.aoslog b/replayTests/evm_eval_sha256.aoslog
@@ -1 +1 @@
-{"format_version":1,"inbox":[{"Tuple":[{"Int":"4"},{"Int":"186a0"},{"Int":"989680"},{"Int":"0"},{"Int":"0"},{"Int":"77359400"},{"Int":"40"},{"Buffer":"625a539a292ffb7be735d7db3f6b9b9c88b9ced262ae58163dfb75ba308551f2000000000000000000000000000000000000000000000000000000000000a4b1"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"401"},{"Int":"1"},{"Int":"77359400"},{"Int":"a2"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000cc"}]}],"logs":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"0"},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"1"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"112a8800"}]},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"1111000000000000000000000000000000001512"},{"Int":"7da3cdb0e6719e006a5ddcdc497343c054123d623187d251ac2652299e398e26"},{"Tuple":[{"Int":"a2"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000cc"}]},{"Tuple":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"2e8"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"20"},{"Buffer":"1dd8312636f6a0bf3d21fa2855e63072507453e93a5ced4301b364e91c9d87d6"}]},{"Tuple":[]}]},{"Tuple":[{"Int":"dd"},{"Int":"0"}]},{"Tuple":[{"Int":"dd"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"2e8"},{"Int":"0"},{"Int":"dd"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"401"}]}],"sends":[],"total_gas":1032650}
+{"format_version":1,"inbox":[{"Tuple":[{"Int":"4"},{"Int":"186a0"},{"Int":"989680"},{"Int":"0"},{"Int":"0"},{"Int":"77359400"},{"Int":"40"},{"Buffer":"625a539a292ffb7be735d7db3f6b9b9c88b9ced262ae58163dfb75ba308551f2000000000000000000000000000000000000000000000000000000000000a4b1"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"401"},{"Int":"1"},{"Int":"77359400"},{"Int":"a2"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000cc"}]}],"logs":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"0"},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"1"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"112a8800"}]},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"1111000000000000000000000000000000001512"},{"Int":"7da3cdb0e6719e006a5ddcdc497343c054123d623187d251ac2652299e398e26"},{"Tuple":[{"Int":"a2"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000cc"}]},{"Tuple":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"2e8"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"20"},{"Buffer":"1dd8312636f6a0bf3d21fa2855e63072507453e93a5ced4301b364e91c9d87d6"}]},{"Tuple":[]}]},{"Tuple":[{"Int":"dd"},{"Int":"0"}]},{"Tuple":[{"Int":"dd"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"2e8"},{"Int":"0"},{"Int":"dd"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"401"}]}],"sends":[],"total_gas":1103781}
diff --git a/replayTests/evm_test_arbsys.aoslog b/replayTests/evm_test_arbsys.aoslog
diff --git a/replayTests/evm_test_arbsys_direct.aoslog b/replayTests/evm_test_arbsys_direct.aoslog
diff --git a/replayTests/evm_test_create.aoslog b/replayTests/evm_test_create.aoslog
diff --git a/replayTests/evm_test_function_table_access.aoslog b/replayTests/evm_test_function_table_access.aoslog
@@ -1 +1 @@
-{"format_version":1,"inbox":[{"Tuple":[{"Int":"4"},{"Int":"186a0"},{"Int":"989680"},{"Int":"0"},{"Int":"0"},{"Int":"77359400"},{"Int":"40"},{"Buffer":"625a539a292ffb7be735d7db3f6b9b9c88b9ced262ae58163dfb75ba308551f2000000000000000000000000000000000000000000000000000000000000a4b1"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"},{"Int":"1"},{"Int":"77359400"},{"Int":"e5"},{"Buffer":"010000000000000000000000000000000000000000000000000000000000989680000000000000000000000000000000000000000000000000000000007735940000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000000000ce2ae1590000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000a0123ca0cd2008398968000000000000000000000000000000000000000000000"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"},{"Int":"2"},{"Int":"77359400"},{"Int":"a5"},{"Buffer":"0100000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000006800000000000000000000000000000000000000000000000000000000000000008898706800000000000000000000000070ac7e36af4ff81688f712fb738bbbc1b7349bbf"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"},{"Int":"3"},{"Int":"77359400"},{"Int":"c5"},{"Buffer":"010000000000000000000000000000000000000000000000000000000000989680000000000000000000000000000000000000000000000000000000007735940000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000000000b464631b00000000000000000000000070ac7e36af4ff81688f712fb738bbbc1b7349bbf0000000000000000000000000000000000000000000000000000000000000000"}]}],"logs":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"0"},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"1"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"112a8800"}]},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"70ac7e36af4ff81688f712fb738bbbc1b7349bbf"},{"Int":"205bae445d323d41c2a70638ff83cb0c4359544903850978ded8943e052cf973"},{"Tuple":[{"Int":"e5"},{"Buffer":"010000000000000000000000000000000000000000000000000000000000989680000000000000000000000000000000000000000000000000000000007735940000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000000000ce2ae1590000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000a0123ca0cd2008398968000000000000000000000000000000000000000000000"}]},{"Tuple":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"4a8"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"0"},{"Buffer":""}]},{"Tuple":[]}]},{"Tuple":[{"Int":"f1"},{"Int":"0"}]},{"Tuple":[{"Int":"f1"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"4a8"},{"Int":"0"},{"Int":"f1"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"70ac7e36af4ff81688f712fb738bbbc1b7349bbf"},{"Int":"5fa80452b166d50ac062987ccf92fbd09d4d791a0828f45943bd937cb4ec5085"},{"Tuple":[{"Int":"a5"},{"Buffer":"0100000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000006800000000000000000000000000000000000000000000000000000000000000008898706800000000000000000000000070ac7e36af4ff81688f712fb738bbbc1b7349bbf"}]},{"Tuple":[{"Tuple":[{"Int":"2"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"414"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"20"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000000001"}]},{"Tuple":[]}]},{"Tuple":[{"Int":"a0"},{"Int":"0"}]},{"Tuple":[{"Int":"191"},{"Int":"1"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"414"},{"Int":"0"},{"Int":"a0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"70ac7e36af4ff81688f712fb738bbbc1b7349bbf"},{"Int":"6da21496ee3c71e35693bb2fb88efaa21b54d17c105fc747d0ca398ed7bab9d4"},{"Tuple":[{"Int":"c5"},{"Buffer":"010000000000000000000000000000000000000000000000000000000000989680000000000000000000000000000000000000000000000000000000007735940000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000000000b464631b00000000000000000000000070ac7e36af4ff81688f712fb738bbbc1b7349bbf0000000000000000000000000000000000000000000000000000000000000000"}]},{"Tuple":[{"Tuple":[{"Int":"3"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"494"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"60"},{"Buffer":"23ca0cd20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000989680"}]},{"Tuple":[]}]},{"Tuple":[{"Int":"b5"},{"Int":"0"}]},{"Tuple":[{"Int":"246"},{"Int":"2"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"494"},{"Int":"0"},{"Int":"b5"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"}]}],"sends":[],"total_gas":1197343}
+{"format_version":1,"inbox":[{"Tuple":[{"Int":"4"},{"Int":"186a0"},{"Int":"989680"},{"Int":"0"},{"Int":"0"},{"Int":"77359400"},{"Int":"40"},{"Buffer":"625a539a292ffb7be735d7db3f6b9b9c88b9ced262ae58163dfb75ba308551f2000000000000000000000000000000000000000000000000000000000000a4b1"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"},{"Int":"1"},{"Int":"77359400"},{"Int":"e5"},{"Buffer":"010000000000000000000000000000000000000000000000000000000000989680000000000000000000000000000000000000000000000000000000007735940000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000000000ce2ae1590000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000a0123ca0cd2008398968000000000000000000000000000000000000000000000"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"},{"Int":"2"},{"Int":"77359400"},{"Int":"a5"},{"Buffer":"0100000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000006800000000000000000000000000000000000000000000000000000000000000008898706800000000000000000000000070ac7e36af4ff81688f712fb738bbbc1b7349bbf"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"},{"Int":"3"},{"Int":"77359400"},{"Int":"c5"},{"Buffer":"010000000000000000000000000000000000000000000000000000000000989680000000000000000000000000000000000000000000000000000000007735940000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000000000b464631b00000000000000000000000070ac7e36af4ff81688f712fb738bbbc1b7349bbf0000000000000000000000000000000000000000000000000000000000000000"}]}],"logs":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"0"},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"1"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"112a8800"}]},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"70ac7e36af4ff81688f712fb738bbbc1b7349bbf"},{"Int":"205bae445d323d41c2a70638ff83cb0c4359544903850978ded8943e052cf973"},{"Tuple":[{"Int":"e5"},{"Buffer":"010000000000000000000000000000000000000000000000000000000000989680000000000000000000000000000000000000000000000000000000007735940000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000000000ce2ae1590000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000a0123ca0cd2008398968000000000000000000000000000000000000000000000"}]},{"Tuple":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"4a8"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"0"},{"Buffer":""}]},{"Tuple":[]}]},{"Tuple":[{"Int":"f1"},{"Int":"0"}]},{"Tuple":[{"Int":"f1"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"4a8"},{"Int":"0"},{"Int":"f1"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"70ac7e36af4ff81688f712fb738bbbc1b7349bbf"},{"Int":"5fa80452b166d50ac062987ccf92fbd09d4d791a0828f45943bd937cb4ec5085"},{"Tuple":[{"Int":"a5"},{"Buffer":"0100000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000006800000000000000000000000000000000000000000000000000000000000000008898706800000000000000000000000070ac7e36af4ff81688f712fb738bbbc1b7349bbf"}]},{"Tuple":[{"Tuple":[{"Int":"2"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"414"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"20"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000000001"}]},{"Tuple":[]}]},{"Tuple":[{"Int":"a0"},{"Int":"0"}]},{"Tuple":[{"Int":"191"},{"Int":"1"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"414"},{"Int":"0"},{"Int":"a0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"70ac7e36af4ff81688f712fb738bbbc1b7349bbf"},{"Int":"6da21496ee3c71e35693bb2fb88efaa21b54d17c105fc747d0ca398ed7bab9d4"},{"Tuple":[{"Int":"c5"},{"Buffer":"010000000000000000000000000000000000000000000000000000000000989680000000000000000000000000000000000000000000000000000000007735940000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000000000b464631b00000000000000000000000070ac7e36af4ff81688f712fb738bbbc1b7349bbf0000000000000000000000000000000000000000000000000000000000000000"}]},{"Tuple":[{"Tuple":[{"Int":"3"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"494"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"60"},{"Buffer":"23ca0cd20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000989680"}]},{"Tuple":[]}]},{"Tuple":[{"Int":"b5"},{"Int":"0"}]},{"Tuple":[{"Int":"246"},{"Int":"2"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"494"},{"Int":"0"},{"Int":"b5"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"5f9b7e36af4ff81688f712fb738bbbc1b7348aae"}]}],"sends":[],"total_gas":1268474}
diff --git a/replayTests/evm_xcontract_call_using_batch.aoslog b/replayTests/evm_xcontract_call_using_batch.aoslog
diff --git a/replayTests/evm_xcontract_call_with_constructors.aoslog b/replayTests/evm_xcontract_call_with_constructors.aoslog
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"format_version":1,"inbox":[{"Tuple":[{"Int":"4"},{"Int":"186a0"},{"Int":"989680"},{"Int":"0"},{"Int":"0"},{"Int":"77359400"},{"Int":"40"},{"Buffer":"625a539a292ffb7be735d7db3f6b9b9c88b9ced262ae58163dfb75ba308551f2000000000000000000000000000000000000000000000000000000000000a4b1"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"401"},{"Int":"1"},{"Int":"77359400"},{"Int":"a2"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000cc"}]}],"logs":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"0"},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"1"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"112a8800"}]},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"1111000000000000000000000000000000001512"},{"Int":"7da3cdb0e6719e006a5ddcdc497343c054123d623187d251ac2652299e398e26"},{"Tuple":[{"Int":"a2"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000cc"}]},{"Tuple":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"2e8"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"20"},{"Buffer":"1dd8312636f6a0bf3d21fa2855e63072507453e93a5ced4301b364e91c9d87d6"}]},{"Tuple":[]}]},{"Tuple":[{"Int":"dd"},{"Int":"0"}]},{"Tuple":[{"Int":"dd"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"2e8"},{"Int":"0"},{"Int":"dd"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"401"}]}],"sends":[],"total_gas":1032650}
		{"format_version":1,"inbox":[{"Tuple":[{"Int":"4"},{"Int":"186a0"},{"Int":"989680"},{"Int":"0"},{"Int":"0"},{"Int":"77359400"},{"Int":"40"},{"Buffer":"625a539a292ffb7be735d7db3f6b9b9c88b9ced262ae58163dfb75ba308551f2000000000000000000000000000000000000000000000000000000000000a4b1"}]},{"Tuple":[{"Int":"3"},{"Int":"186a0"},{"Int":"989680"},{"Int":"401"},{"Int":"1"},{"Int":"77359400"},{"Int":"a2"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000cc"}]}],"logs":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"0"},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"1"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"112a8800"}]},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"},{"Int":"0"}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"3"},{"Int":"1"},{"Int":"186a0"},{"Int":"989680"},{"Int":"1111000000000000000000000000000000001512"},{"Int":"7da3cdb0e6719e006a5ddcdc497343c054123d623187d251ac2652299e398e26"},{"Tuple":[{"Int":"a2"},{"Buffer":"0000000000000000000000000000000000000000000000000000000000009896800000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000cc"}]},{"Tuple":[{"Tuple":[{"Int":"1"},{"Int":"0"},{"Int":"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"}]},{"Tuple":[{"Int":"1"},{"Tuple":[{"Tuple":[{"Int":"0"}]},{"Int":"2e8"}]}]},{"Int":"0"},{"Tuple":[{"Int":"0"}]}]}]},{"Tuple":[{"Int":"0"},{"Tuple":[{"Int":"20"},{"Buffer":"1dd8312636f6a0bf3d21fa2855e63072507453e93a5ced4301b364e91c9d87d6"}]},{"Tuple":[]}]},{"Tuple":[{"Int":"dd"},{"Int":"0"}]},{"Tuple":[{"Int":"dd"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Tuple":[{"Int":"1"},{"Int":"2e8"},{"Int":"0"},{"Int":"dd"}]},{"Tuple":[{"Int":"0"},{"Int":"0"},{"Int":"0"},{"Int":"0"}]},{"Int":"0"},{"Int":"0"}]},{"Int":"401"}]}],"sends":[],"total_gas":1103781}