diff options
Diffstat (limited to 'test/memorygrowth.fromasm.imprecise')
-rw-r--r-- | test/memorygrowth.fromasm.imprecise | 1317 |
1 files changed, 635 insertions, 682 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise index 6e3124830..44a4bd01d 100644 --- a/test/memorygrowth.fromasm.imprecise +++ b/test/memorygrowth.fromasm.imprecise @@ -962,50 +962,47 @@ ) ) (loop $while-in$11 - (block $while-out$10 - (if - (tee_local $7 - (i32.load - (tee_local $8 - (i32.add - (get_local $11) - (i32.const 20) - ) + (if + (tee_local $7 + (i32.load + (tee_local $8 + (i32.add + (get_local $11) + (i32.const 20) ) ) ) - (block - (set_local $11 - (get_local $7) - ) - (set_local $0 - (get_local $8) - ) - (br $while-in$11) + ) + (block + (set_local $11 + (get_local $7) + ) + (set_local $0 + (get_local $8) ) + (br $while-in$11) ) - (if - (tee_local $7 - (i32.load - (tee_local $8 - (i32.add - (get_local $11) - (i32.const 16) - ) + ) + (if + (tee_local $7 + (i32.load + (tee_local $8 + (i32.add + (get_local $11) + (i32.const 16) ) ) ) - (block - (set_local $11 - (get_local $7) - ) - (set_local $0 - (get_local $8) - ) + ) + (block + (set_local $11 + (get_local $7) + ) + (set_local $0 + (get_local $8) ) - (br $while-out$10) + (br $while-in$11) ) - (br $while-in$11) ) ) (if @@ -1608,90 +1605,88 @@ (i32.const 0) ) (loop $while-in$18 - (block $while-out$17 - (if - (i32.lt_u - (tee_local $29 - (i32.sub - (tee_local $27 - (i32.and - (i32.load offset=4 - (get_local $19) - ) - (i32.const -8) + (if + (i32.lt_u + (tee_local $29 + (i32.sub + (tee_local $27 + (i32.and + (i32.load offset=4 + (get_local $19) ) + (i32.const -8) ) - (get_local $2) ) + (get_local $2) ) - (get_local $7) ) - (if - (i32.eq - (get_local $27) - (get_local $2) + (get_local $7) + ) + (if + (i32.eq + (get_local $27) + (get_local $2) + ) + (block + (set_local $36 + (get_local $29) ) - (block - (set_local $36 - (get_local $29) - ) - (set_local $18 - (get_local $19) - ) - (set_local $17 - (get_local $19) - ) - (set_local $7 - (i32.const 90) - ) - (br $label$break$a) + (set_local $18 + (get_local $19) ) - (block - (set_local $4 - (get_local $29) - ) - (set_local $0 - (get_local $19) - ) + (set_local $17 + (get_local $19) + ) + (set_local $7 + (i32.const 90) ) + (br $label$break$a) ) (block (set_local $4 - (get_local $7) + (get_local $29) ) (set_local $0 - (get_local $5) + (get_local $19) ) ) ) - (set_local $27 - (select - (get_local $25) - (tee_local $29 - (i32.load offset=20 - (get_local $19) - ) + (block + (set_local $4 + (get_local $7) + ) + (set_local $0 + (get_local $5) + ) + ) + ) + (set_local $27 + (select + (get_local $25) + (tee_local $29 + (i32.load offset=20 + (get_local $19) ) - (i32.or - (i32.eqz - (get_local $29) - ) - (i32.eq - (get_local $29) - (tee_local $19 - (i32.load + ) + (i32.or + (i32.eqz + (get_local $29) + ) + (i32.eq + (get_local $29) + (tee_local $19 + (i32.load + (i32.add (i32.add - (i32.add - (get_local $19) - (i32.const 16) - ) - (i32.shl - (i32.shr_u - (get_local $3) - (i32.const 31) - ) - (i32.const 2) + (get_local $19) + (i32.const 16) + ) + (i32.shl + (i32.shr_u + (get_local $3) + (i32.const 31) ) + (i32.const 2) ) ) ) @@ -1699,52 +1694,51 @@ ) ) ) - (if - (tee_local $29 - (i32.eqz - (get_local $19) - ) + ) + (if + (tee_local $29 + (i32.eqz + (get_local $19) ) - (block - (set_local $40 - (get_local $4) - ) - (set_local $12 - (get_local $27) - ) - (set_local $38 - (get_local $0) - ) - (set_local $7 - (i32.const 86) - ) - (br $while-out$17) + ) + (block + (set_local $40 + (get_local $4) ) - (block - (set_local $7 - (get_local $4) - ) - (set_local $25 - (get_local $27) - ) - (set_local $3 - (i32.shl - (get_local $3) - (i32.xor - (i32.and - (get_local $29) - (i32.const 1) - ) + (set_local $12 + (get_local $27) + ) + (set_local $38 + (get_local $0) + ) + (set_local $7 + (i32.const 86) + ) + ) + (block + (set_local $7 + (get_local $4) + ) + (set_local $25 + (get_local $27) + ) + (set_local $3 + (i32.shl + (get_local $3) + (i32.xor + (i32.and + (get_local $29) (i32.const 1) ) + (i32.const 1) ) ) - (set_local $5 - (get_local $0) - ) ) + (set_local $5 + (get_local $0) + ) + (br $while-in$18) ) - (br $while-in$18) ) ) ) @@ -1941,84 +1935,81 @@ (i32.const 90) ) (loop $while-in$20 - (block $while-out$19 - (set_local $7 - (i32.const 0) - ) - (set_local $3 - (i32.lt_u - (tee_local $5 - (i32.sub - (i32.and - (i32.load offset=4 - (get_local $18) - ) - (i32.const -8) + (set_local $7 + (i32.const 0) + ) + (set_local $3 + (i32.lt_u + (tee_local $5 + (i32.sub + (i32.and + (i32.load offset=4 + (get_local $18) ) - (get_local $2) + (i32.const -8) ) + (get_local $2) ) - (get_local $36) ) + (get_local $36) ) - (set_local $12 - (select - (get_local $5) - (get_local $36) + ) + (set_local $12 + (select + (get_local $5) + (get_local $36) + (get_local $3) + ) + ) + (set_local $5 + (select + (get_local $18) + (get_local $17) + (get_local $3) + ) + ) + (if + (tee_local $3 + (i32.load offset=16 + (get_local $18) + ) + ) + (block + (set_local $36 + (get_local $12) + ) + (set_local $18 (get_local $3) ) + (set_local $17 + (get_local $5) + ) + (br $while-in$20) ) - (set_local $5 - (select + ) + (if + (tee_local $18 + (i32.load offset=20 (get_local $18) - (get_local $17) - (get_local $3) ) ) - (if - (tee_local $3 - (i32.load offset=16 - (get_local $18) - ) + (block + (set_local $36 + (get_local $12) ) - (block - (set_local $36 - (get_local $12) - ) - (set_local $18 - (get_local $3) - ) - (set_local $17 - (get_local $5) - ) - (br $while-in$20) + (set_local $17 + (get_local $5) ) + (br $while-in$20) ) - (if - (tee_local $18 - (i32.load offset=20 - (get_local $18) - ) - ) - (block - (set_local $36 - (get_local $12) - ) - (set_local $17 - (get_local $5) - ) + (block + (set_local $22 + (get_local $12) ) - (block - (set_local $22 - (get_local $12) - ) - (set_local $9 - (get_local $5) - ) - (br $while-out$19) + (set_local $9 + (get_local $5) ) ) - (br $while-in$20) ) ) ) @@ -2116,50 +2107,47 @@ ) ) (loop $while-in$24 - (block $while-out$23 - (if - (tee_local $16 - (i32.load - (tee_local $14 - (i32.add - (get_local $11) - (i32.const 20) - ) + (if + (tee_local $16 + (i32.load + (tee_local $14 + (i32.add + (get_local $11) + (i32.const 20) ) ) ) - (block - (set_local $11 - (get_local $16) - ) - (set_local $0 - (get_local $14) - ) - (br $while-in$24) + ) + (block + (set_local $11 + (get_local $16) + ) + (set_local $0 + (get_local $14) ) + (br $while-in$24) ) - (if - (tee_local $16 - (i32.load - (tee_local $14 - (i32.add - (get_local $11) - (i32.const 16) - ) + ) + (if + (tee_local $16 + (i32.load + (tee_local $14 + (i32.add + (get_local $11) + (i32.const 16) ) ) ) - (block - (set_local $11 - (get_local $16) - ) - (set_local $0 - (get_local $14) - ) + ) + (block + (set_local $11 + (get_local $16) ) - (br $while-out$23) + (set_local $0 + (get_local $14) + ) + (br $while-in$24) ) - (br $while-in$24) ) ) (if @@ -2795,6 +2783,7 @@ (set_local $14 (get_local $3) ) + (br $while-in$32) ) (block (set_local $6 @@ -2806,10 +2795,8 @@ (set_local $7 (i32.const 145) ) - (br $while-out$31) ) ) - (br $while-in$32) ) ) (if @@ -3284,13 +3271,12 @@ ) ) (if - (i32.eqz - (tee_local $13 - (i32.load offset=8 - (get_local $13) - ) + (tee_local $13 + (i32.load offset=8 + (get_local $13) ) ) + (br $while-in$36) (block (set_local $7 (i32.const 171) @@ -3298,7 +3284,6 @@ (br $label$break$c) ) ) - (br $while-in$36) ) ) (if @@ -3925,21 +3910,16 @@ ) ) (if - (i32.eqz - (tee_local $1 - (i32.load offset=8 - (get_local $1) - ) + (tee_local $1 + (i32.load offset=8 + (get_local $1) ) ) - (block - (set_local $37 - (i32.const 1656) - ) - (br $while-out$48) + (br $while-in$49) + (set_local $37 + (i32.const 1656) ) ) - (br $while-in$49) ) ) (if @@ -4338,50 +4318,47 @@ ) ) (loop $while-in$60 - (block $while-out$59 - (if - (tee_local $20 - (i32.load - (tee_local $13 - (i32.add - (get_local $11) - (i32.const 20) - ) + (if + (tee_local $20 + (i32.load + (tee_local $13 + (i32.add + (get_local $11) + (i32.const 20) ) ) ) - (block - (set_local $11 - (get_local $20) - ) - (set_local $0 - (get_local $13) - ) - (br $while-in$60) + ) + (block + (set_local $11 + (get_local $20) ) + (set_local $0 + (get_local $13) + ) + (br $while-in$60) ) - (if - (tee_local $20 - (i32.load - (tee_local $13 - (i32.add - (get_local $11) - (i32.const 16) - ) + ) + (if + (tee_local $20 + (i32.load + (tee_local $13 + (i32.add + (get_local $11) + (i32.const 16) ) ) ) - (block - (set_local $11 - (get_local $20) - ) - (set_local $0 - (get_local $13) - ) + ) + (block + (set_local $11 + (get_local $20) ) - (br $while-out$59) + (set_local $0 + (get_local $13) + ) + (br $while-in$60) ) - (br $while-in$60) ) ) (if @@ -5015,6 +4992,7 @@ (set_local $6 (get_local $17) ) + (br $while-in$70) ) (block (set_local $48 @@ -5026,10 +5004,8 @@ (set_local $7 (i32.const 276) ) - (br $while-out$69) ) ) - (br $while-in$70) ) ) (if @@ -5727,6 +5703,7 @@ (set_local $17 (get_local $6) ) + (br $while-in$76) ) (block (set_local $26 @@ -5738,10 +5715,8 @@ (set_local $7 (i32.const 302) ) - (br $while-out$75) ) ) - (br $while-in$76) ) ) (if @@ -6423,58 +6398,55 @@ ) ) (loop $while-in$5 - (block $while-out$4 - (if - (tee_local $11 - (i32.load - (tee_local $6 - (i32.add - (get_local $1) - (i32.const 20) - ) + (if + (tee_local $11 + (i32.load + (tee_local $6 + (i32.add + (get_local $1) + (i32.const 20) ) ) ) - (block - (set_local $1 - (get_local $11) - ) - (set_local $4 - (get_local $6) - ) - (br $while-in$5) + ) + (block + (set_local $1 + (get_local $11) + ) + (set_local $4 + (get_local $6) ) + (br $while-in$5) ) - (if - (tee_local $11 - (i32.load - (tee_local $6 - (i32.add - (get_local $1) - (i32.const 16) - ) + ) + (if + (tee_local $11 + (i32.load + (tee_local $6 + (i32.add + (get_local $1) + (i32.const 16) ) ) ) - (block - (set_local $1 - (get_local $11) - ) - (set_local $4 - (get_local $6) - ) + ) + (block + (set_local $1 + (get_local $11) ) - (block - (set_local $6 - (get_local $1) - ) - (set_local $10 - (get_local $4) - ) - (br $while-out$4) + (set_local $4 + (get_local $6) + ) + (br $while-in$5) + ) + (block + (set_local $6 + (get_local $1) + ) + (set_local $10 + (get_local $4) ) ) - (br $while-in$5) ) ) (if @@ -7097,50 +7069,47 @@ ) ) (loop $while-in$13 - (block $while-out$12 - (if - (tee_local $11 - (i32.load - (tee_local $1 - (i32.add - (get_local $0) - (i32.const 20) - ) + (if + (tee_local $11 + (i32.load + (tee_local $1 + (i32.add + (get_local $0) + (i32.const 20) ) ) ) - (block - (set_local $0 - (get_local $11) - ) - (set_local $4 - (get_local $1) - ) - (br $while-in$13) + ) + (block + (set_local $0 + (get_local $11) + ) + (set_local $4 + (get_local $1) ) + (br $while-in$13) ) - (if - (tee_local $11 - (i32.load - (tee_local $1 - (i32.add - (get_local $0) - (i32.const 16) - ) + ) + (if + (tee_local $11 + (i32.load + (tee_local $1 + (i32.add + (get_local $0) + (i32.const 16) ) ) ) - (block - (set_local $0 - (get_local $11) - ) - (set_local $4 - (get_local $1) - ) + ) + (block + (set_local $0 + (get_local $11) + ) + (set_local $4 + (get_local $1) ) - (br $while-out$12) + (br $while-in$13) ) - (br $while-in$13) ) ) (if @@ -7728,6 +7697,7 @@ (set_local $1 (get_local $12) ) + (br $while-in$19) ) (block (set_local $18 @@ -7739,10 +7709,8 @@ (set_local $0 (i32.const 127) ) - (br $while-out$18) ) ) - (br $while-in$19) ) ) (if @@ -7878,22 +7846,21 @@ ) ) (loop $while-in$21 - (block $while-out$20 - (if - (tee_local $2 - (i32.load - (get_local $0) - ) + (if + (tee_local $2 + (i32.load + (get_local $0) ) + ) + (block (set_local $0 (i32.add (get_local $2) (i32.const 8) ) ) - (br $while-out$20) + (br $while-in$21) ) - (br $while-in$21) ) ) (i32.store @@ -8091,121 +8058,122 @@ (set_local $1 (i32.const 8) ) - (br $while-out$0) - ) - ) - (set_local $10 - (i32.sub - (get_local $5) - (get_local $6) ) - ) - (set_local $3 - (if - (i32.gt_u - (get_local $6) - (tee_local $5 - (i32.load offset=4 - (get_local $4) - ) + (block + (set_local $10 + (i32.sub + (get_local $5) + (get_local $6) ) ) - (block - (i32.store - (get_local $9) - (tee_local $7 - (i32.load - (get_local $8) - ) - ) - ) - (i32.store - (get_local $14) - (get_local $7) - ) - (set_local $6 - (i32.sub + (set_local $3 + (if + (i32.gt_u (get_local $6) - (get_local $5) - ) - ) - (set_local $7 - (i32.add - (get_local $4) - (i32.const 8) + (tee_local $5 + (i32.load offset=4 + (get_local $4) + ) + ) ) - ) - (set_local $15 - (i32.add - (get_local $3) - (i32.const -1) + (block + (i32.store + (get_local $9) + (tee_local $7 + (i32.load + (get_local $8) + ) + ) + ) + (i32.store + (get_local $14) + (get_local $7) + ) + (set_local $6 + (i32.sub + (get_local $6) + (get_local $5) + ) + ) + (set_local $7 + (i32.add + (get_local $4) + (i32.const 8) + ) + ) + (set_local $15 + (i32.add + (get_local $3) + (i32.const -1) + ) + ) + (i32.load offset=12 + (get_local $4) + ) ) - ) - (i32.load offset=12 - (get_local $4) - ) - ) - (if - (i32.eq - (get_local $3) - (i32.const 2) - ) - (block - (i32.store - (get_local $9) - (i32.add - (i32.load + (if + (i32.eq + (get_local $3) + (i32.const 2) + ) + (block + (i32.store (get_local $9) + (i32.add + (i32.load + (get_local $9) + ) + (get_local $6) + ) ) - (get_local $6) + (set_local $7 + (get_local $4) + ) + (set_local $15 + (i32.const 2) + ) + (get_local $5) + ) + (block + (set_local $7 + (get_local $4) + ) + (set_local $15 + (get_local $3) + ) + (get_local $5) ) ) - (set_local $7 - (get_local $4) - ) - (set_local $15 - (i32.const 2) - ) - (get_local $5) ) - (block - (set_local $7 - (get_local $4) - ) - (set_local $15 - (get_local $3) + ) + (i32.store + (get_local $7) + (i32.add + (i32.load + (get_local $7) ) - (get_local $5) + (get_local $6) ) ) - ) - ) - (i32.store - (get_local $7) - (i32.add - (i32.load + (i32.store offset=4 (get_local $7) + (i32.sub + (get_local $3) + (get_local $6) + ) ) - (get_local $6) - ) - ) - (i32.store offset=4 - (get_local $7) - (i32.sub - (get_local $3) - (get_local $6) + (set_local $4 + (get_local $7) + ) + (set_local $3 + (get_local $15) + ) + (set_local $5 + (get_local $10) + ) + (br $while-in$1) ) ) - (set_local $4 - (get_local $7) - ) - (set_local $3 - (get_local $15) - ) - (set_local $5 - (get_local $10) - ) - (br $while-in$1) ) ) (if @@ -8396,49 +8364,46 @@ (get_local $1) ) (loop $while-in$3 - (block $while-out$2 - (if - (i32.eqz - (get_local $3) + (if + (i32.eqz + (get_local $3) + ) + (block + (set_local $2 + (get_local $0) ) - (block - (set_local $2 - (get_local $0) - ) - (set_local $3 - (i32.const 0) - ) - (br $label$break$b - (get_local $1) - ) + (set_local $3 + (i32.const 0) + ) + (br $label$break$b + (get_local $1) ) ) - (if - (i32.eq - (i32.load8_s - (i32.add - (get_local $0) - (tee_local $7 - (i32.add - (get_local $3) - (i32.const -1) - ) + ) + (if + (i32.eq + (i32.load8_s + (i32.add + (get_local $0) + (tee_local $7 + (i32.add + (get_local $3) + (i32.const -1) ) ) ) - (i32.const 10) - ) - (block - (set_local $4 - (get_local $3) - ) - (br $while-out$2) ) + (i32.const 10) + ) + (set_local $4 + (get_local $3) + ) + (block (set_local $3 (get_local $7) ) + (br $while-in$3) ) - (br $while-in$3) ) ) (br_if $label$break$a @@ -8537,45 +8502,40 @@ (get_local $3) ) (loop $while-in$2 - (block $while-out$1 - (if - (i32.eqz - (i32.load8_s - (get_local $0) - ) + (if + (i32.eqz + (i32.load8_s + (get_local $0) ) - (block - (set_local $5 - (get_local $4) - ) - (br $label$break$a) + ) + (block + (set_local $5 + (get_local $4) ) + (br $label$break$a) ) - (if - (i32.eqz - (i32.and - (tee_local $4 - (tee_local $0 - (i32.add - (get_local $0) - (i32.const 1) - ) - ) + ) + (if + (i32.and + (tee_local $4 + (tee_local $0 + (i32.add + (get_local $0) + (i32.const 1) ) - (i32.const 3) - ) - ) - (block - (set_local $2 - (get_local $0) - ) - (set_local $1 - (i32.const 4) ) - (br $while-out$1) ) + (i32.const 3) ) (br $while-in$2) + (block + (set_local $2 + (get_local $0) + ) + (set_local $1 + (i32.const 4) + ) + ) ) ) ) @@ -8599,8 +8559,8 @@ (get_local $2) ) (loop $while-in$4 - (block $while-out$3 - (if + (if + (i32.eqz (i32.and (i32.xor (i32.and @@ -8618,15 +8578,16 @@ (i32.const -16843009) ) ) - (br $while-out$3) + ) + (block (set_local $1 (i32.add (get_local $1) (i32.const 4) ) ) + (br $while-in$4) ) - (br $while-in$4) ) ) (if @@ -8645,22 +8606,21 @@ (get_local $1) ) (loop $while-in$6 - (block $while-out$5 - (if - (i32.load8_s - (tee_local $1 - (i32.add - (get_local $2) - (i32.const 1) - ) + (if + (i32.load8_s + (tee_local $1 + (i32.add + (get_local $2) + (i32.const 1) ) ) + ) + (block (set_local $2 (get_local $1) ) - (br $while-out$5) + (br $while-in$6) ) - (br $while-in$6) ) ) ) @@ -8749,62 +8709,55 @@ (get_local $0) ) (loop $while-in$3 - (block $while-out$2 - (set_local $0 - (if - (i32.gt_s - (i32.load offset=76 - (get_local $1) - ) - (i32.const -1) - ) - (call $Ya + (set_local $0 + (if + (i32.gt_s + (i32.load offset=76 (get_local $1) ) - (i32.const 0) - ) - ) - (set_local $2 - (if - (i32.gt_u - (i32.load offset=20 - (get_local $1) - ) - (i32.load offset=28 - (get_local $1) - ) - ) - (i32.or - (call $$a - (get_local $1) - ) - (get_local $2) - ) - (get_local $2) + (i32.const -1) ) - ) - (if - (get_local $0) - (call $Ta + (call $Ya (get_local $1) ) + (i32.const 0) ) + ) + (set_local $2 (if - (i32.eqz - (tee_local $1 - (i32.load offset=56 - (get_local $1) - ) + (i32.gt_u + (i32.load offset=20 + (get_local $1) + ) + (i32.load offset=28 + (get_local $1) ) ) - (block - (set_local $0 - (get_local $2) + (i32.or + (call $$a + (get_local $1) ) - (br $while-out$2) + (get_local $2) + ) + (get_local $2) + ) + ) + (if + (get_local $0) + (call $Ta + (get_local $1) + ) + ) + (if + (tee_local $1 + (i32.load offset=56 + (get_local $1) ) ) (br $while-in$3) + (set_local $0 + (get_local $2) + ) ) ) ) @@ -9177,75 +9130,75 @@ ) ) (loop $while-in$3 - (block $while-out$2 - (br_if $while-out$2 - (i32.lt_s - (get_local $2) - (i32.const 4) - ) - ) - (i32.store - (get_local $0) - (i32.load - (get_local $1) - ) + (if + (i32.ge_s + (get_local $2) + (i32.const 4) ) - (set_local $0 - (i32.add + (block + (i32.store (get_local $0) - (i32.const 4) + (i32.load + (get_local $1) + ) ) - ) - (set_local $1 - (i32.add - (get_local $1) - (i32.const 4) + (set_local $0 + (i32.add + (get_local $0) + (i32.const 4) + ) ) - ) - (set_local $2 - (i32.sub - (get_local $2) - (i32.const 4) + (set_local $1 + (i32.add + (get_local $1) + (i32.const 4) + ) + ) + (set_local $2 + (i32.sub + (get_local $2) + (i32.const 4) + ) ) + (br $while-in$3) ) - (br $while-in$3) ) ) ) ) (loop $while-in$5 - (block $while-out$4 - (br_if $while-out$4 - (i32.le_s - (get_local $2) - (i32.const 0) - ) - ) - (i32.store8 - (get_local $0) - (i32.load8_s - (get_local $1) - ) + (if + (i32.gt_s + (get_local $2) + (i32.const 0) ) - (set_local $0 - (i32.add + (block + (i32.store8 (get_local $0) - (i32.const 1) + (i32.load8_s + (get_local $1) + ) ) - ) - (set_local $1 - (i32.add - (get_local $1) - (i32.const 1) + (set_local $0 + (i32.add + (get_local $0) + (i32.const 1) + ) ) - ) - (set_local $2 - (i32.sub - (get_local $2) - (i32.const 1) + (set_local $1 + (i32.add + (get_local $1) + (i32.const 1) + ) ) + (set_local $2 + (i32.sub + (get_local $2) + (i32.const 1) + ) + ) + (br $while-in$5) ) - (br $while-in$5) ) ) (get_local $3) @@ -9320,70 +9273,70 @@ ) ) (loop $while-in$1 - (block $while-out$0 - (br_if $while-out$0 - (i32.ge_s - (get_local $0) - (get_local $3) - ) - ) - (i32.store8 + (if + (i32.lt_s (get_local $0) - (get_local $1) + (get_local $3) ) - (set_local $0 - (i32.add + (block + (i32.store8 (get_local $0) - (i32.const 1) + (get_local $1) + ) + (set_local $0 + (i32.add + (get_local $0) + (i32.const 1) + ) ) + (br $while-in$1) ) - (br $while-in$1) ) ) ) ) (loop $while-in$3 - (block $while-out$2 - (br_if $while-out$2 - (i32.ge_s - (get_local $0) - (get_local $6) - ) - ) - (i32.store + (if + (i32.lt_s (get_local $0) - (get_local $5) + (get_local $6) ) - (set_local $0 - (i32.add + (block + (i32.store (get_local $0) - (i32.const 4) + (get_local $5) + ) + (set_local $0 + (i32.add + (get_local $0) + (i32.const 4) + ) ) + (br $while-in$3) ) - (br $while-in$3) ) ) ) ) (loop $while-in$5 - (block $while-out$4 - (br_if $while-out$4 - (i32.ge_s - (get_local $0) - (get_local $4) - ) - ) - (i32.store8 + (if + (i32.lt_s (get_local $0) - (get_local $1) + (get_local $4) ) - (set_local $0 - (i32.add + (block + (i32.store8 (get_local $0) - (i32.const 1) + (get_local $1) + ) + (set_local $0 + (i32.add + (get_local $0) + (i32.const 1) + ) ) + (br $while-in$5) ) - (br $while-in$5) ) ) (i32.sub |