cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #7598 from ethereum/updatePolyfill

Browse Source 
[EWasm] Update polyfill and set name.
This commit is contained in:
Alex Beregszaszi 2019-10-31 20:54:57 +00:00 committed by GitHub
commit 1bd2b202e9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 141 additions and 85 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

168
libyul/backends/wasm/EVMToEWasmTranslator.cpp
View File

@ -48,7 +48,7 @@ namespace
{ {
static string const polyfill{R"({ static string const polyfill{R"({
function or_bool(a, b, c, d) -> r { function or_bool(a, b, c, d) -> r {
r := i64.ne(0, i64.or(i64.or(a, b), i64.or(c, d))) r := i64.or(i64.or(a, b), i64.or(c, d))
} }
// returns a + y + c plus carry value on 64 bit values. // returns a + y + c plus carry value on 64 bit values.
// c should be at most 1 // c should be at most 1
@ -205,9 +205,7 @@ function cmp(a, b) -> r {
switch i64.lt_u(a, b) switch i64.lt_u(a, b)
case 1 { r := 0xffffffffffffffff } case 1 { r := 0xffffffffffffffff }
default { default {
switch i64.gt_u(a, b) r := i64.ne(a, b)
case 1 { r := 1 }
default { r := 0 }
} }
} }
@ -218,10 +216,7 @@ function lt(x1, x2, x3, x4, y1, y2, y3, y4) -> z1, z2, z3, z4 {
case 0 { case 0 {
switch cmp(x3, y3) switch cmp(x3, y3)
case 0 { case 0 {
switch cmp(x4, y4) z4 := i64.lt_u(x4, y4)
case 0 { z4 := 0 }
case 1 { z4 := 0 }
default { z4 := 1 }
} }
case 1 { z4 := 0 } case 1 { z4 := 0 }
default { z4 := 1 } default { z4 := 1 }
@ -245,13 +240,78 @@ function sgt(x1, x2, x3, x4, y1, y2, y3, y4) -> z1, z2, z3, z4 {
z1, z2, z3, z4 := slt(y1, y2, y3, y4, x1, x2, x3, x4) z1, z2, z3, z4 := slt(y1, y2, y3, y4, x1, x2, x3, x4)
} }
function shl(x1, x2, x3, x4, y1, y2, y3, y4) -> z1, z2, z3, z4 { function shl_single(a, amount) -> x, y {
// TODO implement // amount < 64
unreachable() x := i64.shr_u(a, i64.sub(64, amount))
y := i64.shl(a, amount)
} }
function shl(x1, x2, x3, x4, y1, y2, y3, y4) -> z1, z2, z3, z4 {
if i64.and(i64.eqz(x1), i64.eqz(x2)) {
if i64.eqz(x3) {
if i64.lt_u(x4, 256) {
if i64.ge_u(x4, 128) {
y1 := y3
y2 := y4
y3 := 0
y4 := 0
x4 := i64.sub(x4, 128)
}
if i64.ge_u(x4, 64) {
y1 := y2
y2 := y3
y3 := y4
y4 := 0
x4 := i64.sub(x4, 64)
}
let t, r
t, z4 := shl_single(y4, x4)
r, z3 := shl_single(y3, x4)
z3 := i64.or(z3, t)
t, z2 := shl_single(y2, x4)
z2 := i64.or(z2, r)
r, z1 := shl_single(y1, x4)
z1 := i64.or(z1, t)
}
}
}
}
function shr_single(a, amount) -> x, y {
// amount < 64
y := i64.shl(a, i64.sub(64, amount))
x := i64.shr_u(a, amount)
}
function shr(x1, x2, x3, x4, y1, y2, y3, y4) -> z1, z2, z3, z4 { function shr(x1, x2, x3, x4, y1, y2, y3, y4) -> z1, z2, z3, z4 {
// TODO implement if i64.and(i64.eqz(x1), i64.eqz(x2)) {
unreachable() if i64.eqz(x3) {
if i64.lt_u(x4, 256) {
if i64.ge_u(x4, 128) {
y4 := y2
y3 := y1
y2 := 0
y1 := 0
x4 := i64.sub(x4, 128)
}
if i64.ge_u(x4, 64) {
y4 := y3
y3 := y2
y2 := y1
y1 := 0
x4 := i64.sub(x4, 64)
}
let t
z4, t := shr_single(y4, x4)
z3, t := shr_single(y3, x4)
z4 := i64.or(z4, t)
z2, t := shr_single(y2, x4)
z3 := i64.or(z3, t)
z1, t := shr_single(y1, x4)
z2 := i64.or(z2, t)
}
}
}
} }
function sar(x1, x2, x3, x4, y1, y2, y3, y4) -> z1, z2, z3, z4 { function sar(x1, x2, x3, x4, y1, y2, y3, y4) -> z1, z2, z3, z4 {
// TODO implement // TODO implement
@ -291,45 +351,36 @@ function keccak256(x1, x2, x3, x4, y1, y2, y3, y4) -> z1, z2, z3, z4 {
} }
function address() -> z1, z2, z3, z4 { function address() -> z1, z2, z3, z4 {
let t1, t2, t3, t4 := save_temp_mem_32()
eth.getAddress(0) eth.getAddress(0)
z1, z2, z3, z4 := mload(0, 0, 0, 0) z1, z2, z3, z4 := mload_internal(0)
restore_temp_mem_32(t1, t2, t3, t4)
} }
function balance(x1, x2, x3, x4) -> z1, z2, z3, z4 { function balance(x1, x2, x3, x4) -> z1, z2, z3, z4 {
// TODO implement // TODO implement
unreachable() unreachable()
} }
function origin() -> z1, z2, z3, z4 { function origin() -> z1, z2, z3, z4 {
let t1, t2, t3, t4 := save_temp_mem_32()
eth.getTxOrigin(0) eth.getTxOrigin(0)
z1, z2, z3, z4 := mload(0, 0, 0, 0) z1, z2, z3, z4 := mload_internal(0)
restore_temp_mem_32(t1, t2, t3, t4)
} }
function caller() -> z1, z2, z3, z4 { function caller() -> z1, z2, z3, z4 {
let t1, t2, t3, t4 := save_temp_mem_32()
eth.getCaller(0) eth.getCaller(0)
z1, z2, z3, z4 := mload(0, 0, 0, 0) z1, z2, z3, z4 := mload_internal(0)
restore_temp_mem_32(t1, t2, t3, t4)
} }
function callvalue() -> z1, z2, z3, z4 { function callvalue() -> z1, z2, z3, z4 {
let t1, t2, t3, t4 := save_temp_mem_32()
eth.getCallValue(0) eth.getCallValue(0)
z1, z2, z3, z4 := mload(0, 0, 0, 0) z1, z2, z3, z4 := mload_internal(0)
restore_temp_mem_32(t1, t2, t3, t4)
} }
function calldataload(x1, x2, x3, x4) -> z1, z2, z3, z4 { function calldataload(x1, x2, x3, x4) -> z1, z2, z3, z4 {
let t1, t2, t3, t4 := save_temp_mem_32()
eth.callDataCopy(0, u256_to_i32(x1, x2, x3, x4), 32) eth.callDataCopy(0, u256_to_i32(x1, x2, x3, x4), 32)
z1, z2, z3, z4 := mload(0, 0, 0, 0) z1, z2, z3, z4 := mload_internal(0)
restore_temp_mem_32(t1, t2, t3, t4)
} }
function calldatasize() -> z1, z2, z3, z4 { function calldatasize() -> z1, z2, z3, z4 {
z4 := eth.getCallDataSize() z4 := eth.getCallDataSize()
} }
function calldatacopy(x1, x2, x3, x4, y1, y2, y3, y4, z1, z2, z3, z4) { function calldatacopy(x1, x2, x3, x4, y1, y2, y3, y4, z1, z2, z3, z4) {
eth.callDataCopy( eth.callDataCopy(
u256_to_i32ptr(x1, x2, x3, x4), // scratch - TODO: overflow check
i64.add(u256_to_i32ptr(x1, x2, x3, x4), 64),
u256_to_i32(y1, y2, y3, y4), u256_to_i32(y1, y2, y3, y4),
u256_to_i32(z1, z2, z3, z4) u256_to_i32(z1, z2, z3, z4)
) )
@ -337,14 +388,13 @@ function calldatacopy(x1, x2, x3, x4, y1, y2, y3, y4, z1, z2, z3, z4) {
// Needed? // Needed?
function codesize() -> z1, z2, z3, z4 { function codesize() -> z1, z2, z3, z4 {
let t1, t2, t3, t4 := save_temp_mem_32()
eth.getCodeSize(0) eth.getCodeSize(0)
z1, z2, z3, z4 := mload(0, 0, 0, 0) z1, z2, z3, z4 := mload_internal(0)
restore_temp_mem_32(t1, t2, t3, t4)
} }
function codecopy(x1, x2, x3, x4, y1, y2, y3, y4, z1, z2, z3, z4) { function codecopy(x1, x2, x3, x4, y1, y2, y3, y4, z1, z2, z3, z4) {
eth.codeCopy( eth.codeCopy(
u256_to_i32ptr(x1, x2, x3, x4), // scratch - TODO: overflow check
i64.add(u256_to_i32ptr(x1, x2, x3, x4), 64),
u256_to_i32(y1, y2, y3, y4), u256_to_i32(y1, y2, y3, y4),
u256_to_i32(z1, z2, z3, z4) u256_to_i32(z1, z2, z3, z4)
) )
@ -355,10 +405,8 @@ function datacopy(x1, x2, x3, x4, y1, y2, y3, y4, z1, z2, z3, z4) {
} }
function gasprice() -> z1, z2, z3, z4 { function gasprice() -> z1, z2, z3, z4 {
let t1, t2, t3, t4 := save_temp_mem_32()
eth.getTxGasPrice(0) eth.getTxGasPrice(0)
z1, z2, z3, z4 := mload(0, 0, 0, 0) z1, z2, z3, z4 := mload_internal(0)
restore_temp_mem_32(t1, t2, t3, t4)
} }
function extcodesize(x1, x2, x3, x4) -> z1, z2, z3, z4 { function extcodesize(x1, x2, x3, x4) -> z1, z2, z3, z4 {
// TODO implement // TODO implement
@ -378,7 +426,8 @@ function returndatasize() -> z1, z2, z3, z4 {
} }
function returndatacopy(x1, x2, x3, x4, y1, y2, y3, y4, z1, z2, z3, z4) { function returndatacopy(x1, x2, x3, x4, y1, y2, y3, y4, z1, z2, z3, z4) {
eth.returnDataCopy( eth.returnDataCopy(
u256_to_i32ptr(x1, x2, x3, x4), // scratch - TODO: overflow check
i64.add(u256_to_i32ptr(x1, x2, x3, x4), 64),
u256_to_i32(y1, y2, y3, y4), u256_to_i32(y1, y2, y3, y4),
u256_to_i32(z1, z2, z3, z4) u256_to_i32(z1, z2, z3, z4)
) )
@ -399,10 +448,8 @@ function number() -> z1, z2, z3, z4 {
z4 := eth.getBlockNumber() z4 := eth.getBlockNumber()
} }
function difficulty() -> z1, z2, z3, z4 { function difficulty() -> z1, z2, z3, z4 {
let t1, t2, t3, t4 := save_temp_mem_32()
eth.getBlockDifficulty(0) eth.getBlockDifficulty(0)
z1, z2, z3, z4 := mload(0, 0, 0, 0) z1, z2, z3, z4 := mload_internal(0)
restore_temp_mem_32(t1, t2, t3, t4)
} }
function gaslimit() -> z1, z2, z3, z4 { function gaslimit() -> z1, z2, z3, z4 {
z4 := eth.getBlockGasLimit() z4 := eth.getBlockGasLimit()
@ -463,6 +510,12 @@ function restore_temp_mem_64(t1, t2, t3, t4, t5, t6, t7, t8) {
} }
function mload(x1, x2, x3, x4) -> z1, z2, z3, z4 { function mload(x1, x2, x3, x4) -> z1, z2, z3, z4 {
let pos := u256_to_i32ptr(x1, x2, x3, x4) let pos := u256_to_i32ptr(x1, x2, x3, x4)
// Make room for the scratch space
// TODO do we need to check for overflow?
pos := i64.add(pos, 64)
z1, z2, z3, z4 := mload_internal(pos)
}
function mload_internal(pos) -> z1, z2, z3, z4 {
z1 := endian_swap(i64.load(pos)) z1 := endian_swap(i64.load(pos))
z2 := endian_swap(i64.load(i64.add(pos, 8))) z2 := endian_swap(i64.load(i64.add(pos, 8)))
z3 := endian_swap(i64.load(i64.add(pos, 16))) z3 := endian_swap(i64.load(i64.add(pos, 16)))
@ -470,10 +523,16 @@ function mload(x1, x2, x3, x4) -> z1, z2, z3, z4 {
} }
function mstore(x1, x2, x3, x4, y1, y2, y3, y4) { function mstore(x1, x2, x3, x4, y1, y2, y3, y4) {
let pos := u256_to_i32ptr(x1, x2, x3, x4) let pos := u256_to_i32ptr(x1, x2, x3, x4)
i64.store(pos, endian_swap(x1)) // Make room for the scratch space
i64.store(i64.add(pos, 8), endian_swap(x2)) // TODO do we need to check for overflow?
i64.store(i64.add(pos, 16), endian_swap(x3)) pos := i64.add(pos, 64)
i64.store(i64.add(pos, 24), endian_swap(x4)) mstore_internal(pos, y1, y2, y3, y4)
}
function mstore_internal(pos, y1, y2, y3, y4) {
i64.store(pos, endian_swap(y1))
i64.store(i64.add(pos, 8), endian_swap(y2))
i64.store(i64.add(pos, 16), endian_swap(y3))
i64.store(i64.add(pos, 24), endian_swap(y4))
} }
function mstore8(x1, x2, x3, x4, y1, y2, y3, y4) { function mstore8(x1, x2, x3, x4, y1, y2, y3, y4) {
// TODO implement // TODO implement
@ -485,19 +544,15 @@ function msize() -> z1, z2, z3, z4 {
unreachable() unreachable()
} }
function sload(x1, x2, x3, x4) -> z1, z2, z3, z4 { function sload(x1, x2, x3, x4) -> z1, z2, z3, z4 {
let t1, t2, t3, t4, t5, t6, t7, t8 := save_temp_mem_64() mstore_internal(0, x1, x2, x3, x4)
mstore(0, 0, 0, 0, x1, x2, x3, x4) eth.storageLoad(0, 32)
eth.storageLoad(0, 16) z1, z2, z3, z4 := mload_internal(32)
z1, z2, z3, z4 := mload(0, 0, 0, 16)
restore_temp_mem_64(t1, t2, t3, t4, t5, t6, t7, t8)
} }
function sstore(x1, x2, x3, x4, y1, y2, y3, y4) { function sstore(x1, x2, x3, x4, y1, y2, y3, y4) {
let t1, t2, t3, t4, t5, t6, t7, t8 := save_temp_mem_64() mstore_internal(0, x1, x2, x3, x4)
mstore(0, 0, 0, 0, x1, x2, x3, x4) mstore_internal(32, y1, y2, y3, y4)
mstore(0, 0, 0, 32, y1, y2, y3, y4)
eth.storageStore(0, 32) eth.storageStore(0, 32)
restore_temp_mem_64(t1, t2, t3, t4, t5, t6, t7, t8)
} }
// Needed? // Needed?
@ -615,13 +670,15 @@ function selfdestruct(a1, a2, a3, a4) {
function return(x1, x2, x3, x4, y1, y2, y3, y4) { function return(x1, x2, x3, x4, y1, y2, y3, y4) {
eth.finish( eth.finish(
u256_to_i32ptr(x1, x2, x3, x4), // scratch - TODO: overflow check
i64.add(u256_to_i32ptr(x1, x2, x3, x4), 64),
u256_to_i32(y1, y2, y3, y4) u256_to_i32(y1, y2, y3, y4)
) )
} }
function revert(x1, x2, x3, x4, y1, y2, y3, y4) { function revert(x1, x2, x3, x4, y1, y2, y3, y4) {
eth.revert( eth.revert(
u256_to_i32ptr(x1, x2, x3, x4), // scratch - TODO: overflow check
i64.add(u256_to_i32ptr(x1, x2, x3, x4), 64),
u256_to_i32(y1, y2, y3, y4) u256_to_i32(y1, y2, y3, y4)
) )
} }
@ -653,6 +710,7 @@ Object EVMToEWasmTranslator::run(Object const& _object)
ast.statements.emplace_back(ASTCopier{}.translate(st)); ast.statements.emplace_back(ASTCopier{}.translate(st));
Object ret; Object ret;
ret.name = _object.name;
ret.code = make_shared<Block>(move(ast)); ret.code = make_shared<Block>(move(ast));
ret.analysisInfo = make_shared<AsmAnalysisInfo>(); ret.analysisInfo = make_shared<AsmAnalysisInfo>();

58
test/cmdlineTests/standard_eWasm_requested/output.json
View File

@ -5,22 +5,22 @@
(func $main (func $main
(local $_1 i64) (local $_1 i64)
(local $pos i64)
(local $_2 i64) (local $_2 i64)
(local $_3 i64)
(local $hi i64) (local $hi i64)
(local $y i64) (local $y i64)
(local $hi_1 i64) (local $hi_1 i64)
(local.set $_1 (i64.const 0)) (local.set $_1 (i64.const 0))
(local.set $pos (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (i64.const 64))) (local.set $_2 (i64.add (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (i64.const 64)) (i64.const 64)))
(local.set $_2 (i64.const 65280)) (local.set $_3 (i64.const 65280))
(local.set $hi (i64.shl (i64.or (i64.shl (i64.or (i64.and (i64.shl (local.get $_1) (i64.const 8)) (local.get $_2)) (i64.and (i64.shr_u (local.get $_1) (i64.const 8)) (i64.const 255))) (i64.const 16)) (call $endian_swap_16 (i64.shr_u (local.get $_1) (i64.const 16)))) (i64.const 32))) (local.set $hi (i64.shl (i64.or (i64.shl (i64.or (i64.and (i64.shl (local.get $_1) (i64.const 8)) (local.get $_3)) (i64.and (i64.shr_u (local.get $_1) (i64.const 8)) (i64.const 255))) (i64.const 16)) (call $endian_swap_16 (i64.shr_u (local.get $_1) (i64.const 16)))) (i64.const 32)))
(local.set $y (i64.or (local.get $hi) (call $endian_swap_32 (i64.shr_u (local.get $_1) (i64.const 32))))) (local.set $y (i64.or (local.get $hi) (call $endian_swap_32 (i64.shr_u (local.get $_1) (i64.const 32)))))
(i64.store (local.get $pos) (local.get $y)) (i64.store (local.get $_2) (local.get $y))
(i64.store (i64.add (local.get $pos) (i64.const 8)) (local.get $y)) (i64.store (i64.add (local.get $_2) (i64.const 8)) (local.get $y))
(i64.store (i64.add (local.get $pos) (i64.const 16)) (local.get $y)) (i64.store (i64.add (local.get $_2) (i64.const 16)) (local.get $y))
(local.set $hi_1 (i64.shl (i64.or (i64.shl (i64.or (i64.and (i64.shl (i64.const 64) (i64.const 8)) (local.get $_2)) (i64.and (i64.shr_u (i64.const 64) (i64.const 8)) (i64.const 255))) (i64.const 16)) (call $endian_swap_16 (i64.shr_u (i64.const 64) (i64.const 16)))) (i64.const 32))) (local.set $hi_1 (i64.shl (i64.or (i64.shl (i64.or (i64.and (i64.shl (i64.const 128) (i64.const 8)) (local.get $_3)) (i64.and (i64.shr_u (i64.const 128) (i64.const 8)) (i64.const 255))) (i64.const 16)) (call $endian_swap_16 (i64.shr_u (i64.const 128) (i64.const 16)))) (i64.const 32)))
(i64.store (i64.add (local.get $pos) (i64.const 24)) (i64.or (local.get $hi_1) (call $endian_swap_32 (i64.shr_u (i64.const 64) (i64.const 32))))) (i64.store (i64.add (local.get $_2) (i64.const 24)) (i64.or (local.get $hi_1) (call $endian_swap_32 (i64.shr_u (i64.const 128) (i64.const 32)))))
(call $eth.revert (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (local.get $_1)) (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (local.get $_1))) (call $eth.revert (i64.add (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (local.get $_1)) (i64.const 64)) (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (local.get $_1)))
) )
(func $u256_to_i32 (func $u256_to_i32
@ -68,12 +68,10 @@
(func $main (func $main
(local $_1 i64) (local $_1 i64)
(local $pos i64) (local $_2 i64)
(local $hi i64) (local $hi i64)
(local $y i64) (local $y i64)
(local $hi_1 i64) (local $hi_1 i64)
(local $hi_2 i64)
(local $_2 i64)
(local $_3 i64) (local $_3 i64)
(local $_4 i64) (local $_4 i64)
(local $_5 i64) (local $_5 i64)
@ -81,32 +79,32 @@
(local $_7 i64) (local $_7 i64)
(local $_8 i64) (local $_8 i64)
(local $_9 i64) (local $_9 i64)
(local $_10 i64)
(local.set $_1 (i64.const 0)) (local.set $_1 (i64.const 0))
(local.set $pos (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (i64.const 64))) (local.set $_2 (i64.add (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (i64.const 64)) (i64.const 64)))
(local.set $hi (i64.shl (i64.or (i64.shl (i64.or (i64.and (i64.shl (local.get $_1) (i64.const 8)) (i64.const 65280)) (i64.and (i64.shr_u (local.get $_1) (i64.const 8)) (i64.const 255))) (i64.const 16)) (call $endian_swap_16 (i64.shr_u (local.get $_1) (i64.const 16)))) (i64.const 32))) (local.set $hi (i64.shl (i64.or (i64.shl (i64.or (i64.and (i64.shl (local.get $_1) (i64.const 8)) (i64.const 65280)) (i64.and (i64.shr_u (local.get $_1) (i64.const 8)) (i64.const 255))) (i64.const 16)) (call $endian_swap_16 (i64.shr_u (local.get $_1) (i64.const 16)))) (i64.const 32)))
(local.set $y (i64.or (local.get $hi) (call $endian_swap_32 (i64.shr_u (local.get $_1) (i64.const 32))))) (local.set $y (i64.or (local.get $hi) (call $endian_swap_32 (i64.shr_u (local.get $_1) (i64.const 32)))))
(i64.store (local.get $pos) (local.get $y)) (i64.store (local.get $_2) (local.get $y))
(i64.store (i64.add (local.get $pos) (i64.const 8)) (local.get $y)) (i64.store (i64.add (local.get $_2) (i64.const 8)) (local.get $y))
(i64.store (i64.add (local.get $pos) (i64.const 16)) (local.get $y)) (i64.store (i64.add (local.get $_2) (i64.const 16)) (local.get $y))
(local.set $hi_1 (i64.shl (call $endian_swap_16 (i64.const 64)) (i64.const 16))) (local.set $hi_1 (i64.shl (call $endian_swap_32 (i64.const 128)) (i64.const 32)))
(local.set $hi_2 (i64.shl (i64.or (local.get $hi_1) (call $endian_swap_16 (i64.shr_u (i64.const 64) (i64.const 16)))) (i64.const 32))) (i64.store (i64.add (local.get $_2) (i64.const 24)) (i64.or (local.get $hi_1) (call $endian_swap_32 (i64.shr_u (i64.const 128) (i64.const 32)))))
(i64.store (i64.add (local.get $pos) (i64.const 24)) (i64.or (local.get $hi_2) (call $endian_swap_32 (i64.shr_u (i64.const 64) (i64.const 32)))))
(block (block
(local.set $_2 (datasize \"C_2_deployed\")) (local.set $_3 (datasize \"C_2_deployed\"))
(local.set $_3 (global.get $global_)) (local.set $_4 (global.get $global_))
(local.set $_4 (global.get $global__1)) (local.set $_5 (global.get $global__1))
(local.set $_5 (global.get $global__2)) (local.set $_6 (global.get $global__2))
) )
(block (block
(local.set $_6 (dataoffset \"C_2_deployed\")) (local.set $_7 (dataoffset \"C_2_deployed\"))
(local.set $_7 (global.get $global_)) (local.set $_8 (global.get $global_))
(local.set $_8 (global.get $global__1)) (local.set $_9 (global.get $global__1))
(local.set $_9 (global.get $global__2)) (local.set $_10 (global.get $global__2))
) )
(call $eth.codeCopy (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (local.get $_1)) (call $u256_to_i32 (local.get $_6) (local.get $_7) (local.get $_8) (local.get $_9)) (call $u256_to_i32 (local.get $_2) (local.get $_3) (local.get $_4) (local.get $_5))) (call $eth.codeCopy (i64.add (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (local.get $_1)) (i64.const 64)) (call $u256_to_i32 (local.get $_7) (local.get $_8) (local.get $_9) (local.get $_10)) (call $u256_to_i32 (local.get $_3) (local.get $_4) (local.get $_5) (local.get $_6)))
(call $eth.finish (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (local.get $_1)) (call $u256_to_i32 (local.get $_2) (local.get $_3) (local.get $_4) (local.get $_5))) (call $eth.finish (i64.add (call $u256_to_i32 (local.get $_1) (local.get $_1) (local.get $_1) (local.get $_1)) (i64.const 64)) (call $u256_to_i32 (local.get $_3) (local.get $_4) (local.get $_5) (local.get $_6)))
) )
(func $u256_to_i32 (func $u256_to_i32