| (module |
| (type $i (func (result i32))) |
| (type $v (func)) |
| (type $vi (func (param i32))) |
| (import "spectest" "print" (func $print (param i32))) |
| (memory $0 1 1) |
| (export "mem" (memory $0)) |
| (start $main) |
| (func $check (type $i) (result i32) |
| (if |
| (i32.eq |
| (i32.load |
| (i32.const 4) |
| ) |
| (i32.const 120) |
| ) |
| (unreachable) |
| ) |
| (i32.store |
| (i32.const 4) |
| (i32.add |
| (i32.load |
| (i32.const 4) |
| ) |
| (i32.const 4) |
| ) |
| ) |
| (call $print |
| (i32.sub |
| (i32.const 0) |
| (i32.load offset=4 |
| (i32.load |
| (i32.const 4) |
| ) |
| ) |
| ) |
| ) |
| (i32.load offset=4 |
| (i32.load |
| (i32.const 4) |
| ) |
| ) |
| ) |
| (func $main (type $v) |
| (local $0 i32) |
| (local $1 i32) |
| (i32.store |
| (i32.const 8) |
| (i32.const 67) |
| ) |
| (i32.store |
| (i32.const 12) |
| (i32.const 131) |
| ) |
| (i32.store |
| (i32.const 16) |
| (i32.const 49) |
| ) |
| (i32.store |
| (i32.const 20) |
| (i32.const 36) |
| ) |
| (i32.store |
| (i32.const 24) |
| (i32.const 112) |
| ) |
| (i32.store |
| (i32.const 28) |
| (i32.const 161) |
| ) |
| (i32.store |
| (i32.const 32) |
| (i32.const 62) |
| ) |
| (i32.store |
| (i32.const 36) |
| (i32.const 166) |
| ) |
| (i32.store |
| (i32.const 40) |
| (i32.const 16) |
| ) |
| (i32.store |
| (i32.const 44) |
| (i32.const 88) |
| ) |
| (i32.store |
| (i32.const 48) |
| (i32.const 176) |
| ) |
| (i32.store |
| (i32.const 52) |
| (i32.const 152) |
| ) |
| (i32.store |
| (i32.const 56) |
| (i32.const 161) |
| ) |
| (i32.store |
| (i32.const 60) |
| (i32.const 194) |
| ) |
| (i32.store |
| (i32.const 64) |
| (i32.const 117) |
| ) |
| (i32.store |
| (i32.const 68) |
| (i32.const 180) |
| ) |
| (i32.store |
| (i32.const 72) |
| (i32.const 60) |
| ) |
| (i32.store |
| (i32.const 76) |
| (i32.const 166) |
| ) |
| (i32.store |
| (i32.const 80) |
| (i32.const 55) |
| ) |
| (i32.store |
| (i32.const 84) |
| (i32.const 183) |
| ) |
| (i32.store |
| (i32.const 88) |
| (i32.const 150) |
| ) |
| (i32.store |
| (i32.const 92) |
| (i32.const 73) |
| ) |
| (i32.store |
| (i32.const 96) |
| (i32.const 196) |
| ) |
| (i32.store |
| (i32.const 100) |
| (i32.const 143) |
| ) |
| (i32.store |
| (i32.const 104) |
| (i32.const 76) |
| ) |
| (i32.store |
| (i32.const 108) |
| (i32.const 182) |
| ) |
| (i32.store |
| (i32.const 112) |
| (i32.const 97) |
| ) |
| (i32.store |
| (i32.const 116) |
| (i32.const 140) |
| ) |
| (i32.store |
| (i32.const 120) |
| (i32.const 126) |
| ) |
| (i32.store |
| (i32.const 124) |
| (i32.const 3) |
| ) |
| (block |
| (block $block$10$break |
| (block $block$4$break |
| (block $block$3$break |
| (block |
| (call $print |
| (i32.const 0) |
| ) |
| (set_local $0 |
| (call $check) |
| ) |
| ) |
| (if |
| (i32.eq |
| (i32.rem_u |
| (get_local $0) |
| (i32.const 4) |
| ) |
| (i32.const 0) |
| ) |
| (br $block$3$break) |
| (if |
| (i32.eq |
| (i32.rem_u |
| (get_local $0) |
| (i32.const 4) |
| ) |
| (i32.const 2) |
| ) |
| (block |
| (block |
| (call $print |
| (i32.const 7) |
| ) |
| (set_local $0 |
| (call $check) |
| ) |
| ) |
| (if |
| (i32.eq |
| (i32.rem_u |
| (get_local $0) |
| (i32.const 3) |
| ) |
| (i32.const 0) |
| ) |
| (br $block$3$break) |
| (br $block$10$break) |
| ) |
| ) |
| (br $block$4$break) |
| ) |
| ) |
| ) |
| (block |
| (block |
| (call $print |
| (i32.const 2) |
| ) |
| (set_local $0 |
| (call $check) |
| ) |
| ) |
| (if |
| (i32.eq |
| (i32.rem_u |
| (get_local $0) |
| (i32.const 2) |
| ) |
| (i32.const 0) |
| ) |
| (br $block$4$break) |
| (br $block$10$break) |
| ) |
| ) |
| ) |
| (loop $shape$6$continue |
| (block |
| (call $print |
| (i32.const 3) |
| ) |
| (set_local $0 |
| (call $check) |
| ) |
| ) |
| (block |
| (br $shape$6$continue) |
| ) |
| ) |
| ) |
| (block |
| (block |
| (call $print |
| (i32.const 9) |
| ) |
| (set_local $0 |
| (call $check) |
| ) |
| ) |
| ) |
| ) |
| ) |
| ) |
| (module |
| (type $i (func (result i32))) |
| (type $v (func)) |
| (type $vi (func (param i32))) |
| (import "spectest" "print" (func $print (param i32))) |
| (memory $0 1 1) |
| (export "mem" (memory $0)) |
| (start $main) |
| (func $check (type $i) (result i32) |
| (if |
| (i32.eq |
| (i32.load |
| (i32.const 4) |
| ) |
| (i32.const 120) |
| ) |
| (unreachable) |
| ) |
| (i32.store |
| (i32.const 4) |
| (i32.add |
| (i32.load |
| (i32.const 4) |
| ) |
| (i32.const 4) |
| ) |
| ) |
| (call $print |
| (i32.sub |
| (i32.const 0) |
| (i32.load offset=4 |
| (i32.load |
| (i32.const 4) |
| ) |
| ) |
| ) |
| ) |
| (i32.load offset=4 |
| (i32.load |
| (i32.const 4) |
| ) |
| ) |
| ) |
| (func $main (type $v) |
| (local $0 i32) |
| (i32.store |
| (i32.const 8) |
| (i32.const 67) |
| ) |
| (i32.store |
| (i32.const 12) |
| (i32.const 131) |
| ) |
| (i32.store |
| (i32.const 16) |
| (i32.const 49) |
| ) |
| (i32.store |
| (i32.const 20) |
| (i32.const 36) |
| ) |
| (i32.store |
| (i32.const 24) |
| (i32.const 112) |
| ) |
| (i32.store |
| (i32.const 28) |
| (i32.const 161) |
| ) |
| (i32.store |
| (i32.const 32) |
| (i32.const 62) |
| ) |
| (i32.store |
| (i32.const 36) |
| (i32.const 166) |
| ) |
| (i32.store |
| (i32.const 40) |
| (i32.const 16) |
| ) |
| (i32.store |
| (i32.const 44) |
| (i32.const 88) |
| ) |
| (i32.store |
| (i32.const 48) |
| (i32.const 176) |
| ) |
| (i32.store |
| (i32.const 52) |
| (i32.const 152) |
| ) |
| (i32.store |
| (i32.const 56) |
| (i32.const 161) |
| ) |
| (i32.store |
| (i32.const 60) |
| (i32.const 194) |
| ) |
| (i32.store |
| (i32.const 64) |
| (i32.const 117) |
| ) |
| (i32.store |
| (i32.const 68) |
| (i32.const 180) |
| ) |
| (i32.store |
| (i32.const 72) |
| (i32.const 60) |
| ) |
| (i32.store |
| (i32.const 76) |
| (i32.const 166) |
| ) |
| (i32.store |
| (i32.const 80) |
| (i32.const 55) |
| ) |
| (i32.store |
| (i32.const 84) |
| (i32.const 183) |
| ) |
| (i32.store |
| (i32.const 88) |
| (i32.const 150) |
| ) |
| (i32.store |
| (i32.const 92) |
| (i32.const 73) |
| ) |
| (i32.store |
| (i32.const 96) |
| (i32.const 196) |
| ) |
| (i32.store |
| (i32.const 100) |
| (i32.const 143) |
| ) |
| (i32.store |
| (i32.const 104) |
| (i32.const 76) |
| ) |
| (i32.store |
| (i32.const 108) |
| (i32.const 182) |
| ) |
| (i32.store |
| (i32.const 112) |
| (i32.const 97) |
| ) |
| (i32.store |
| (i32.const 116) |
| (i32.const 140) |
| ) |
| (i32.store |
| (i32.const 120) |
| (i32.const 126) |
| ) |
| (i32.store |
| (i32.const 124) |
| (i32.const 3) |
| ) |
| (block $block$10$break |
| (block $block$4$break |
| (call $print |
| (i32.const 0) |
| ) |
| (if |
| (i32.rem_u |
| (tee_local $0 |
| (call $check) |
| ) |
| (i32.const 4) |
| ) |
| (if |
| (i32.eq |
| (i32.rem_u |
| (get_local $0) |
| (i32.const 4) |
| ) |
| (i32.const 2) |
| ) |
| (block |
| (call $print |
| (i32.const 7) |
| ) |
| (br_if $block$10$break |
| (i32.rem_u |
| (call $check) |
| (i32.const 3) |
| ) |
| ) |
| ) |
| (br $block$4$break) |
| ) |
| ) |
| (call $print |
| (i32.const 2) |
| ) |
| (br_if $block$10$break |
| (i32.rem_u |
| (call $check) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (loop $shape$6$continue |
| (call $print |
| (i32.const 3) |
| ) |
| (drop |
| (call $check) |
| ) |
| (br $shape$6$continue) |
| ) |
| ) |
| (call $print |
| (i32.const 9) |
| ) |
| (drop |
| (call $check) |
| ) |
| ) |
| ) |