Skip to content

Instantly share code, notes, and snippets.

@regehr

regehr/gist:74bc92ad72f663bba3b23362ed7adc94

Created May 1, 2018 01:49
Show Gist options
  • Save regehr/74bc92ad72f663bba3b23362ed7adc94 to your computer and use it in GitHub Desktop.
Save regehr/74bc92ad72f663bba3b23362ed7adc94 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
-----------------------------------------------------------
; start LHS (in $2)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 128))
%1 = sub %0, 128:i32
; (i32.add(get_local $3)(i32.const 128))
%2 = add %1, 128:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $11)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 160))
%1 = sub %0, 160:i32
; (i32.add(get_local $3)(i32.const 160))
%2 = add %1, 160:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $12)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $14)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $16)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $20)
%0:i32 = var
; (i32.sub(get_local $25)(i32.const 96))
%1 = sub %0, 96:i32
; (i32.add(get_local $5)(i32.const 96))
%2 = add %1, 96:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $21)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $22)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $28)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $29)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $30)
%0:i32 = var
; (i32.add(get_local $1)(i32.const 1))
%1 = add %0, 1:i32
; (i32.add(get_local $2)(i32.const -1))
%2 = add %1, -1:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $34)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $44)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $2)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $45)
%0:i64 = var
%1:i64 = var
; (i64.xor(get_local $3)(get_local $1))
%2 = xor %0, %1
%3:i64 = var
; (i64.and(get_local $2)(i64.const 9223372036854775807))
%4 = and %3, 9223372036854775807:i64
; (i64.xor(get_local $9)(i64.const 9223090561878065152))
%5 = xor %4, 9223090561878065152:i64
; (i64.or(get_local $1)(get_local $76))
%6 = or %1, %5
; (i64.eq(get_local $77)(i64.const 0))
%7 = eq %6, 0:i64
pc %7 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $45)
%0:i64 = var
%1:i64 = var
; (i64.xor(get_local $3)(get_local $1))
%2 = xor %0, %1
%3:i64 = var
%4:i64 = var
; (i64.xor(get_local $4)(get_local $2))
%5 = xor %3, %4
; (i64.xor(get_local $85)(i64.const -9223372036854775808))
%6 = xor %5, -9223372036854775808:i64
; (i64.or(get_local $82)(get_local $86))
%7 = or %2, %6
; (i64.eq(unreachable)(unreachable))
%8 = eq %7, 0:i64
; (select(i64.const 0)(get_local $1)(get_local $6))
%9 = select %8, 0:i64, %1
; (i64.and(get_local $2)(i64.const 9223372036854775807))
%10 = and %4, 9223372036854775807:i64
; (i64.xor(get_local $9)(i64.const 9223090561878065152))
%11 = xor %10, 9223090561878065152:i64
; (i64.or(get_local $1)(get_local $76))
%12 = or %1, %11
; (i64.eq(get_local $77)(i64.const 0))
%13 = eq %12, 0:i64
pc %13 1:i1
infer %9
; RHS inferred successfully
result 0:i64
-----------------------------------------------------------
; start LHS (in $45)
%0:i32 = var
; (i32.sub(get_local $13)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $5)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $46)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $4)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $48)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $51)
%0:i32 = var
%1:i32 = var
; (i32.sub(get_local $2)(get_local $3))
%2 = sub %0, %1
; (i32.lt_u(get_local $4)(i32.const 256))
%3 = ult %2, 256:i32
%4:i32 = zext %3
; (i32.eq(unreachable)(unreachable))
%5 = eq %4, 0:i32
%6:i32 = zext %5
; (i32.eq(unreachable)(unreachable))
%7 = eq %6, 0:i32
infer %7
; RHS inferred successfully
result %3
-----------------------------------------------------------
; start LHS (in $51)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 256))
%1 = sub %0, 256:i32
; (i32.add(get_local $5)(i32.const 256))
%2 = add %1, 256:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $54)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $56)
%0:i32 = var
; (i32.add(get_local $8)(i32.const 1))
%1 = add %0, 1:i32
; (i32.and(get_local $4)(i32.const 65535))
%2 = and %1, 65535:i32
; (i32.eq(get_local $5)(i32.const 200))
%3 = eq %2, 200:i32
; (i32.lt_u(i32.const 200)(get_local $5))
%4 = ult 200:i32, %2
pc %4 1:i1
infer %3
; RHS inferred successfully
result 0:i1
-----------------------------------------------------------
; start LHS (in $56)
%0 = block 2
%1:i32 = var
; (i32.add(get_local $8)(i32.const 1))
%2 = add %1, 1:i32
; (i32.and(get_local $4)(i32.const 65535))
%3 = and %2, 65535:i32
; (i32.lt_u(i32.const 200)(get_local $5))
%4 = ult 200:i32, %3
blockpc %0 0 %4 1:i1
%5:i32 = zext %4
; (i32.eq(unreachable)(unreachable))
%6 = eq %5, 0:i32
blockpc %0 1 %6 1:i1
; (i32.and(get_local $4)(i32.const 65535))
%7 = and %2, 65535:i32
; (i32.lt_u(i32.const 225)(get_local $18))
%8 = ult 225:i32, %7
%9:i32 = zext %8
%10 = phi %0, 0:i32, %9
infer %10
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $58)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $4)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $61)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $63)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $65)
%0:i64 = var
%1:i64 = var
; (i64.or(get_local $2)(get_local $0))
%2 = or %0, %1
%3:i64 = var
; (i64.and(get_local $3)(i64.const 9223372036854775807))
%4 = and %3, 9223372036854775807:i64
%5:i64 = var
; (i64.and(get_local $1)(i64.const 9223372036854775807))
%6 = and %5, 9223372036854775807:i64
; (i64.or(get_local $6)(get_local $5))
%7 = or %4, %6
; (i64.or(get_local $27)(get_local $30))
%8 = or %2, %7
; (i64.eq(unreachable)(unreachable))
%9 = eq %8, 0:i64
%10:i64 = zext %9
; (i64.eq(unreachable)(unreachable))
%11 = eq %10, 0:i64
%12:i64 = zext %11
; (i64.eq(unreachable)(unreachable))
%13 = eq %12, 0:i64
infer %13
; RHS inferred successfully
result %9
-----------------------------------------------------------
; start LHS (in $66)
%0:i32 = var
; (i32.sub(get_local $10)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $6)(i32.const 32))
%2 = add %1, 32:i32
%3:i32 = var
; (i32.add(get_local $2)(i32.const 1))
%4 = add %3, 1:i32
%5:i32 = var
; (i32.sub(get_local $97)(get_local $99))
%6 = sub %4, %5
; (i32.lt_s(get_local $100)(i32.const 201))
%7 = slt %6, 201:i32
pc %7 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $69)
%0 = block 2
%1:i32 = var
; (i32.ne(unreachable)(unreachable))
%2 = ne %1, 0:i32
blockpc %0 0 %2 1:i1
; (i32.eq(unreachable)(unreachable))
%3 = eq %1, 0:i32
blockpc %0 1 %3 1:i1
; (i32.add(get_local $2)(i32.const -287))
%4 = add %1, -287:i32
; (i32.le_u(get_local $35)(i32.const 2))
%5 = ule %4, 2:i32
%6:i32 = zext %5
%7 = phi %0, 0:i32, %6
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $69)
%0 = block 2
%1:i32 = var
; (i32.ne(unreachable)(unreachable))
%2 = ne %1, 0:i32
blockpc %0 0 %2 1:i1
; (i32.eq(unreachable)(unreachable))
%3 = eq %1, 0:i32
blockpc %0 1 %3 1:i1
%4 = block 4
; (i32.le_s(i32.const 256)(get_local $2))
%5 = sle 256:i32, %1
%6:i32 = zext %5
%7:i32 = zext %5
%8:i32 = zext %5
%9 = phi %4, %6, %7, %8, 0:i32
%10 = phi %0, 0:i32, %9
infer %10
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $69)
%0 = block 2
%1:i32 = var
; (i32.ne(unreachable)(unreachable))
%2 = ne %1, 0:i32
blockpc %0 0 %2 1:i1
; (i32.eq(unreachable)(unreachable))
%3 = eq %1, 0:i32
blockpc %0 1 %3 1:i1
%4 = block 4
; (i32.shl(get_local $2)(i32.const 2))
%5 = shl %1, 2:i32
%6 = phi %4, 0:i32, %5, %5, 0:i32
%7 = phi %0, 0:i32, %6
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $69)
%0 = block 2
%1:i32 = var
; (i32.ne(unreachable)(unreachable))
%2 = ne %1, 0:i32
blockpc %0 0 %2 1:i1
; (i32.eq(unreachable)(unreachable))
%3 = eq %1, 0:i32
blockpc %0 1 %3 1:i1
%4 = block 4
; (i32.le_s(i32.const 285)(get_local $2))
%5 = sle 285:i32, %1
%6:i32 = zext %5
%7:i32 = zext %5
%8 = phi %4, 0:i32, %6, %7, 0:i32
%9 = phi %0, 0:i32, %8
infer %9
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $70)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $75)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $78)
%0:i32 = var
; (i32.sub(get_local $8)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $7)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $79)
%0:i32 = var
; (i32.sub(get_local $9)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $7)(i32.const 16))
%2 = add %1, 16:i32
%3 = block 2
%4:i32 = var
; (i32.shl(get_local $6)(i32.const 1))
%5 = shl %4, 1:i32
; (i32.le_s(i32.const 4)(get_local $4))
%6 = sle 4:i32, %5
; (select(get_local $4)(i32.const 4)(get_local $22))
%7 = select %6, %5, 4:i32
%8:i32 = var
%9 = phi %3, %7, %8
; (i32.add(get_local $4)(i32.const 1))
%10 = add %9, 1:i32
%11:i32 = var
; (i32.div_u(i32.const -3)(get_local $3))
%12 = udiv -3:i32, %11
; (i32.le_u(get_local $28)(get_local $30))
%13 = ule %10, %12
pc %13 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $81)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $2)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $85)
%0:i64 = var
; (i64.and(get_local $5)(i64.const 9223372036854775807))
%1 = and %0, 9223372036854775807:i64
; (i64.eq(unreachable)(unreachable))
%2 = eq %1, 0:i64
%3:i64 = zext %2
; (i64.eq(unreachable)(unreachable))
%4 = eq %3, 0:i64
%5:i64 = zext %4
; (i64.eq(unreachable)(unreachable))
%6 = eq %5, 0:i64
infer %6
; RHS inferred successfully
result %2
-----------------------------------------------------------
; start LHS (in $85)
%0:i32 = var
; (i32.sub(get_local $8)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $91)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
; (i32.lt_u(get_local $0)(i32.const 11))
%1 = ult %0, 11:i32
; (i32.add(get_local $0)(i32.const 11))
%2 = add %0, 11:i32
; (i32.and(get_local $22)(i32.const -8))
%3 = and %2, -8:i32
; (select(i32.const 16)(get_local $23)(get_local $25))
%4 = select %1, 16:i32, %3
; (i32.shr_u(get_local $6)(i32.const 3))
%5 = lshr %4, 3:i32
; (i32.shl(i32.const 2)(get_local $2))
%6 = shl 2:i32, %5
; (i32.sub(i32.const 0)(get_local $3))
%7 = sub 0:i32, %6
; (i32.or(get_local $3)(get_local $183))
%8 = or %6, %7
infer %8
; RHS inferred successfully
result %7
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
; (i32.and(get_local $269)(get_local $10))
%1 = and %0, %0
; (i32.sub(i32.const 0)(get_local $0))
%2 = sub 0:i32, %1
; (i32.and(get_local $0)(get_local $276))
%3 = and %1, %2
; (i32.add(get_local $277)(i32.const -1))
%4 = add %3, -1:i32
; (i32.shr_u(get_local $0)(i32.const 12))
%5 = lshr %4, 12:i32
; (i32.and(get_local $280)(i32.const 16))
%6 = and %5, 16:i32
; (i32.shr_u(get_local $0)(get_local $2))
%7 = lshr %4, %6
; (i32.shr_u(get_local $0)(i32.const 5))
%8 = lshr %7, 5:i32
; (i32.and(get_local $286)(i32.const 8))
%9 = and %8, 8:i32
; (i32.shr_u(get_local $0)(get_local $4))
%10 = lshr %7, %9
; (i32.shr_u(get_local $0)(i32.const 2))
%11 = lshr %10, 2:i32
; (i32.and(get_local $295)(i32.const 4))
%12 = and %11, 4:i32
; (i32.shr_u(get_local $0)(get_local $5))
%13 = lshr %10, %12
; (i32.shr_u(get_local $0)(i32.const 1))
%14 = lshr %13, 1:i32
; (i32.and(get_local $303)(i32.const 2))
%15 = and %14, 2:i32
; (i32.shr_u(get_local $0)(get_local $8))
%16 = lshr %13, %15
; (i32.shr_u(get_local $0)(i32.const 1))
%17 = lshr %16, 1:i32
; (i32.and(get_local $311)(i32.const 1))
%18 = and %17, 1:i32
infer %18
; RHS inferred successfully
result %17
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
; (i32.sub(i32.const 0)(get_local $9))
%1 = sub 0:i32, %0
; (i32.and(get_local $9)(get_local $328))
%2 = and %0, %1
; (i32.add(get_local $329)(i32.const -1))
%3 = add %2, -1:i32
; (i32.shr_u(get_local $0)(i32.const 12))
%4 = lshr %3, 12:i32
; (i32.and(get_local $332)(i32.const 16))
%5 = and %4, 16:i32
; (i32.shr_u(get_local $0)(get_local $2))
%6 = lshr %3, %5
; (i32.shr_u(get_local $0)(i32.const 5))
%7 = lshr %6, 5:i32
; (i32.and(get_local $338)(i32.const 8))
%8 = and %7, 8:i32
; (i32.shr_u(get_local $0)(get_local $3))
%9 = lshr %6, %8
; (i32.shr_u(get_local $0)(i32.const 2))
%10 = lshr %9, 2:i32
; (i32.and(get_local $347)(i32.const 4))
%11 = and %10, 4:i32
; (i32.shr_u(get_local $0)(get_local $4))
%12 = lshr %9, %11
; (i32.shr_u(get_local $0)(i32.const 1))
%13 = lshr %12, 1:i32
; (i32.and(get_local $355)(i32.const 2))
%14 = and %13, 2:i32
; (i32.shr_u(get_local $0)(get_local $5))
%15 = lshr %12, %14
; (i32.shr_u(get_local $0)(i32.const 1))
%16 = lshr %15, 1:i32
; (i32.and(get_local $363)(i32.const 1))
%17 = and %16, 1:i32
infer %17
; RHS inferred successfully
result %16
-----------------------------------------------------------
; start LHS (in $98)
%0 = block 2
%1:i32 = var
; (i32.ne(unreachable)(unreachable))
%2 = ne %1, 0:i32
blockpc %0 0 %2 1:i1
; (i32.eq(unreachable)(unreachable))
%3 = eq %1, 0:i32
blockpc %0 1 %3 1:i1
; (i32.shr_u(get_local $8)(i32.const 3))
%4 = lshr %1, 3:i32
; (i32.shl(get_local $2)(i32.const 3))
%5 = shl %4, 3:i32
%6 = phi %0, 0:i32, %5
infer %6
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
%1:i32 = var
; (i32.shr_u(get_local $6)(i32.const 3))
%2 = lshr %0, 3:i32
; (i32.shr_u(get_local $7)(get_local $2))
%3 = lshr %1, %2
; (i32.xor(get_local $0)(i32.const -1))
%4 = xor %3, -1:i32
; (i32.and(get_local $35)(i32.const 1))
%5 = and %4, 1:i32
; (i32.add(get_local $36)(get_local $2))
%6 = add %5, %2
; (i32.shl(get_local $3)(i32.const 3))
%7 = shl %6, 3:i32
; (i32.add(get_local $0)(i32.const 17440))
%8 = add %7, 17440:i32
; (i32.eq(get_local $4)(get_local $6))
%9 = eq %0, %8
%10:i32 = zext %9
infer %10
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
; (i32.add(get_local $4)(i32.const 8))
%1 = add %0, 8:i32
; (i32.and(get_local $1194)(i32.const 7))
%2 = and %1, 7:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.sub(i32.const -8)(get_local $4))
%4 = sub -8:i32, %0
; (i32.and(get_local $1191)(i32.const 7))
%5 = and %4, 7:i32
; (select(get_local $1192)(i32.const 0)(get_local $1195))
%6 = select %3, %5, 0:i32
infer %6
; RHS inferred successfully
result %5
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
; (i32.add(get_local $3)(i32.const 8))
%1 = add %0, 8:i32
; (i32.and(get_local $1230)(i32.const 7))
%2 = and %1, 7:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.sub(i32.const -8)(get_local $3))
%4 = sub -8:i32, %0
; (i32.and(get_local $1227)(i32.const 7))
%5 = and %4, 7:i32
; (select(get_local $1228)(i32.const 0)(get_local $1231))
%6 = select %3, %5, 0:i32
infer %6
; RHS inferred successfully
result %5
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
; (i32.add(get_local $4)(i32.const 8))
%1 = add %0, 8:i32
; (i32.and(get_local $1279)(i32.const 7))
%2 = and %1, 7:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.sub(i32.const -8)(get_local $4))
%4 = sub -8:i32, %0
; (i32.and(get_local $1276)(i32.const 7))
%5 = and %4, 7:i32
; (select(get_local $1277)(i32.const 0)(get_local $1280))
%6 = select %3, %5, 0:i32
infer %6
; RHS inferred successfully
result %5
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
; (i32.add(get_local $2)(i32.const 8))
%1 = add %0, 8:i32
; (i32.and(get_local $1291)(i32.const 7))
%2 = and %1, 7:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.sub(i32.const -8)(get_local $2))
%4 = sub -8:i32, %0
; (i32.and(get_local $1288)(i32.const 7))
%5 = and %4, 7:i32
; (select(get_local $1289)(i32.const 0)(get_local $1292))
%6 = select %3, %5, 0:i32
infer %6
; RHS inferred successfully
result %5
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
; (i32.add(get_local $4)(i32.const 8))
%1 = add %0, 8:i32
; (i32.and(get_local $1350)(i32.const 7))
%2 = and %1, 7:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.sub(i32.const -8)(get_local $4))
%4 = sub -8:i32, %0
; (i32.and(get_local $1347)(i32.const 7))
%5 = and %4, 7:i32
; (select(get_local $1348)(i32.const 0)(get_local $1351))
%6 = select %3, %5, 0:i32
infer %6
; RHS inferred successfully
result %5
-----------------------------------------------------------
; start LHS (in $98)
%0:i32 = var
; (i32.add(get_local $2)(i32.const -39))
%1 = add %0, -39:i32
; (i32.and(get_local $1373)(i32.const 7))
%2 = and %1, 7:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.sub(i32.const 39)(get_local $2))
%4 = sub 39:i32, %0
; (i32.and(get_local $1370)(i32.const 7))
%5 = and %4, 7:i32
; (select(get_local $1371)(i32.const 0)(get_local $1374))
%6 = select %3, %5, 0:i32
infer %6
; RHS inferred successfully
result %5
-----------------------------------------------------------
; start LHS (in $102)
%0:i32 = var
; (i32.sub(get_local $14)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $7)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $104)
%0:i32 = var
; (i32.sub(get_local $11)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $8)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $106)
%0 = block 2
%1:i32 = var
; (i32.ne(get_local $3)(i32.const 31))
%2 = ne %1, 31:i32
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
; (i32.shl(i32.const 1)(get_local $3))
%5 = shl 1:i32, %1
; (i32.shl(get_local $526)(i32.const 5))
%6 = shl %5, 5:i32
%7 = phi %0, 0:i32, %6
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $108)
%0:i32 = var
; (i32.add(get_local $0)(i32.const -48))
%1 = add %0, -48:i32
; (i32.lt_u(get_local $45)(i32.const 10))
%2 = ult %1, 10:i32
%3:i32 = zext %2
; (i32.ne(get_local $46)(i32.const 0))
%4 = ne %3, 0:i32
infer %4
; RHS inferred successfully
result %2
-----------------------------------------------------------
; start LHS (in $108)
%0:i32 = var
; (i32.add(get_local $0)(i32.const -48))
%1 = add %0, -48:i32
; (i32.lt_u(get_local $45)(i32.const 10))
%2 = ult %1, 10:i32
%3:i32 = zext %2
; (i32.ne(get_local $46)(i32.const 0))
%4 = ne %3, 0:i32
%5:i32 = zext %4
infer %5
; RHS inferred successfully
result %3
-----------------------------------------------------------
; start LHS (in $108)
%0:i32 = var
; (i32.add(get_local $0)(i32.const -48))
%1 = add %0, -48:i32
; (i32.lt_u(get_local $72)(i32.const 10))
%2 = ult %1, 10:i32
%3:i32 = zext %2
; (i32.ne(get_local $73)(i32.const 0))
%4 = ne %3, 0:i32
infer %4
; RHS inferred successfully
result %2
-----------------------------------------------------------
; start LHS (in $108)
%0:i32 = var
; (i32.add(get_local $0)(i32.const -48))
%1 = add %0, -48:i32
; (i32.lt_u(get_local $72)(i32.const 10))
%2 = ult %1, 10:i32
%3:i32 = zext %2
; (i32.ne(get_local $73)(i32.const 0))
%4 = ne %3, 0:i32
%5:i32 = zext %4
infer %5
; RHS inferred successfully
result %3
-----------------------------------------------------------
; start LHS (in $109)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $113)
%0:i32 = var
; (i32.sub(get_local $9)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $5)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $124)
%0:i32 = var
; (i32.sub(get_local $10)(i32.const 48))
%1 = sub %0, 48:i32
; (i32.add(get_local $6)(i32.const 48))
%2 = add %1, 48:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $126)
%0:i32 = var
; (i32.sub(get_local $11)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $4)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $127)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $131)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $5)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $132)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $136)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $5)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $137)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $143)
%0:i32 = var
; (i32.add(get_local $3)(i32.const -32))
%1 = add %0, -32:i32
; (i32.add(get_local $4)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $143)
%0:i32 = var
; (i32.add(get_local $3)(i32.const -32))
%1 = add %0, -32:i32
; (i32.add(get_local $4)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $146)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(get_local $3)(i32.const 0))
%6 = slt %5, 0:i32
%7:i32 = var
; (i32.ne(unreachable)(unreachable))
%8 = ne %7, 0:i32
pc %8 1:i1
infer %6
; RHS inferred successfully
result 1:i1
-----------------------------------------------------------
; start LHS (in $146)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(get_local $3)(i32.const 0))
%6 = slt %5, 0:i32
%7:i32 = zext %6
infer %7
; RHS inferred successfully
result 1:i32
-----------------------------------------------------------
; start LHS (in $146)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(get_local $3)(i32.const 0))
%6 = slt %5, 0:i32
%7:i32 = zext %6
infer %7
; RHS inferred successfully
result 1:i32
-----------------------------------------------------------
; start LHS (in $146)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(get_local $3)(i32.const 0))
%6 = slt %5, 0:i32
%7:i32 = zext %6
infer %7
; RHS inferred successfully
result 1:i32
-----------------------------------------------------------
; start LHS (in $146)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 48))
%1 = sub %0, 48:i32
; (i32.add(get_local $2)(i32.const 48))
%2 = add %1, 48:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $152)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $4)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $153)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $156)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 1088))
%1 = sub %0, 1088:i32
; (i32.add(get_local $3)(i32.const 1088))
%2 = add %1, 1088:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $174)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $3)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $3)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $301)(get_local $3)(get_local $6))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $3)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $3)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $407)(get_local $3)(get_local $6))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $2)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $2)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $691)(get_local $2)(get_local $3))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $2)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $2)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $758)(get_local $2)(get_local $3))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $3)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $3)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $835)(get_local $3)(get_local $6))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $3)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $3)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $931)(get_local $3)(get_local $6))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $3)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $3)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $1054)(get_local $3)(get_local $6))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $2)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $2)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $1107)(get_local $2)(get_local $3))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $3)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $3)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $1140)(get_local $3)(get_local $5))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $3)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $3)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $1171)(get_local $3)(get_local $6))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $181)
%0:i32 = var
; (i32.shr_u(get_local $1)(i32.const 23))
%1 = lshr %0, 23:i32
; (i32.and(get_local $2)(i32.const 256))
%2 = and %1, 256:i32
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
; (i32.and(get_local $2)(i32.const 255))
%4 = and %1, 255:i32
; (select(get_local $1369)(get_local $2)(get_local $3))
%5 = select %3, %4, %1
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $183)
%0:i32 = var
; (i32.add(get_local $11)(i32.const -64))
%1 = add %0, -64:i32
; (i32.sub(get_local $5)(i32.const -64))
%2 = sub %1, -64:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $197)
%0:i32 = var
; (i32.sub(get_local $9)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $5)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $200)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $202)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
%3:i32 = var
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
pc %4 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $203)
%0:i32 = var
; (i32.sub(get_local $8)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $4)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $211)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 528))
%1 = sub %0, 528:i32
; (i32.add(get_local $2)(i32.const 528))
%2 = add %1, 528:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $214)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $5)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $228)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $2)(i32.const 32))
%2 = add %1, 32:i32
%3:i32 = var
; (i32.eq(get_local $17)(i32.const 288))
%4 = eq %3, 288:i32
pc %4 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $231)
%0:i32 = var
; (i32.sub(get_local $8)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $5)(i32.const 16))
%2 = add %1, 16:i32
%3:i32 = var
%4:i32 = var
; (i32.lt_u(get_local $24)(get_local $7))
%5 = ult %3, %4
pc %5 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $235)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $2)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $238)
%0:i32 = var
; (i32.add(get_local $3)(i32.const 1))
%1 = add %0, 1:i32
; (i32.add(get_local $3)(i32.const -1))
%2 = add %1, -1:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $241)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 288))
%1 = sub %0, 288:i32
; (i32.add(get_local $3)(i32.const 288))
%2 = add %1, 288:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $252)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 80))
%1 = sub %0, 80:i32
; (i32.add(get_local $4)(i32.const 80))
%2 = add %1, 80:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $254)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 80))
%1 = sub %0, 80:i32
; (i32.add(get_local $2)(i32.const 80))
%2 = add %1, 80:i32
%3:i32 = var
; (i32.eq(get_local $60)(i32.const 61))
%4 = eq %3, 61:i32
pc %4 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $257)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $259)
%0:i32 = var
; (i32.sub(get_local $9)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $7)(i32.const 32))
%2 = add %1, 32:i32
%3:i32 = var
; (i32.ne(get_local $4)(i32.const 255))
%4 = ne %3, 255:i32
pc %4 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $261)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $3)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $265)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $3)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $274)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const 8)(get_local $0))
%2 = ult 8:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
; (i32.lt_u(i32.const 16)(get_local $0))
%5 = ult 16:i32, %1
%6:i32 = zext %5
%7 = phi %0, 0:i32, %6
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $276)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $2)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $277)
%0:i32 = var
; (i32.sub(get_local $14)(i32.const 192))
%1 = sub %0, 192:i32
; (i32.add(get_local $4)(i32.const 192))
%2 = add %1, 192:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $278)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $279)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $282)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $289)
%0 = block 2
%1:i32 = var
; (i32.ne(unreachable)(unreachable))
%2 = ne %1, 0:i32
blockpc %0 0 %2 1:i1
; (i32.eq(unreachable)(unreachable))
%3 = eq %1, 0:i32
blockpc %0 1 %3 1:i1
; (i32.shl(get_local $4)(i32.const 4))
%4 = shl %1, 4:i32
%5 = phi %0, 0:i32, %4
infer %5
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $296)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $3)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $297)
%0:i32 = var
; (i32.add(get_local $3)(i32.const 1))
%1 = add %0, 1:i32
; (i32.sub(get_local $2)(i32.const 1))
%2 = sub %1, 1:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $297)
%0 = block 2
%1:i32 = var
%2:i32 = var
%3 = phi %0, %1, %2
; (i32.add(get_local $4)(i32.const 1))
%4 = add %3, 1:i32
; (i32.sub(get_local $6)(i32.const 1))
%5 = sub %4, 1:i32
infer %5
; RHS inferred successfully
result %3
-----------------------------------------------------------
; start LHS (in $301)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $302)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $303)
%0 = block 2
%1:i32 = var
; (i32.add(get_local $4)(i32.const -12))
%2 = add %1, -12:i32
; (i32.lt_u(i32.const 2)(get_local $76))
%3 = ult 2:i32, %2
blockpc %0 0 %3 1:i1
%4:i32 = zext %3
; (i32.eq(unreachable)(unreachable))
%5 = eq %4, 0:i32
blockpc %0 1 %5 1:i1
%6 = block 2
; (i32.ne(unreachable)(unreachable))
%7 = ne %1, 0:i32
blockpc %6 0 %7 1:i1
; (i32.eq(unreachable)(unreachable))
%8 = eq %1, 0:i32
blockpc %6 1 %8 1:i1
%9:i32 = var
; (i32.sub(get_local $7)(i32.const 48))
%10 = sub %9, 48:i32
; (i32.add(get_local $3)(i32.const 24))
%11 = add %10, 24:i32
%12 = phi %6, 0:i32, %11
%13 = phi %0, 0:i32, %12
infer %13
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $303)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 48))
%1 = sub %0, 48:i32
; (i32.add(get_local $3)(i32.const 48))
%2 = add %1, 48:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $304)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $4)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $305)
%0 = block 2
%1:i32 = var
; (i32.and(get_local $3)(i32.const 2047))
%2 = and %1, 2047:i32
; (i32.ne(get_local $2)(i32.const 2047))
%3 = ne %2, 2047:i32
blockpc %0 0 %3 1:i1
%4:i32 = zext %3
; (i32.eq(unreachable)(unreachable))
%5 = eq %4, 0:i32
blockpc %0 1 %5 1:i1
; (i32.eq(unreachable)(unreachable))
%6 = eq %2, 0:i32
%7:i32 = zext %6
%8 = phi %0, 0:i32, %7
infer %8
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $311)
%0:i32 = var
; (i32.sub(get_local $12)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $2)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $318)
%0:i32 = var
; (i32.add(get_local $13)(i32.const -64))
%1 = add %0, -64:i32
; (i32.sub(get_local $3)(i32.const -64))
%2 = sub %1, -64:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $320)
%0:i64 = var
; (i64.and(get_local $5)(i64.const 9223372002495037440))
%1 = and %0, 9223372002495037440:i64
; (i64.lt_u(get_local $12)(i64.const 4604249089280835585))
%2 = ult %1, 4604249089280835585:i64
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
%5:i32 = zext %4
; (i32.eq(unreachable)(unreachable))
%6 = eq %5, 0:i32
infer %6
; RHS inferred successfully
result %2
-----------------------------------------------------------
; start LHS (in $320)
%0:i64 = var
; (i64.and(get_local $5)(i64.const 9223372002495037440))
%1 = and %0, 9223372002495037440:i64
; (i64.lt_u(get_local $12)(i64.const 4604249089280835585))
%2 = ult %1, 4604249089280835585:i64
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
%5:i32 = zext %4
; (i32.eq(unreachable)(unreachable))
%6 = eq %5, 0:i32
infer %6
; RHS inferred successfully
result %2
-----------------------------------------------------------
; start LHS (in $322)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $323)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $328)
%0 = block 2
%1:i32 = var
%2:i32 = var
%3 = phi %0, %1, %2
; (i32.eq(get_local $4)(i32.const 45))
%4 = eq %3, 45:i32
%5:i32 = zext %4
; (i32.eq(unreachable)(unreachable))
%6 = eq %5, 0:i32
%7:i32 = zext %6
; (i32.eq(unreachable)(unreachable))
%8 = eq %7, 0:i32
infer %8
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $329)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 80))
%1 = sub %0, 80:i32
; (i32.add(get_local $3)(i32.const 80))
%2 = add %1, 80:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $331)
%0:i32 = var
; (i32.sub(get_local $29)(i32.const 192))
%1 = sub %0, 192:i32
; (i32.add(get_local $5)(i32.const 192))
%2 = add %1, 192:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $331)
%0:i32 = var
; (i32.sub(get_local $29)(i32.const 192))
%1 = sub %0, 192:i32
; (i32.add(get_local $5)(i32.const 192))
%2 = add %1, 192:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $333)
%0:i32 = var
; (i32.sub(get_local $11)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $336)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 128))
%1 = sub %0, 128:i32
; (i32.add(get_local $4)(i32.const 128))
%2 = add %1, 128:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $337)
%0:i32 = var
; (i32.eq(unreachable)(unreachable))
%1 = eq %0, 0:i32
%2:i32 = var
; (i32.lt_u(get_local $5)(get_local $4))
%3 = ult %2, %0
pc %3 1:i1
infer %1
; RHS inferred successfully
result 0:i1
-----------------------------------------------------------
; start LHS (in $339)
%0 = block 2
%1:i32 = var
; (i32.ne(get_local $0)(i32.const -1))
%2 = ne %1, -1:i32
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = block 3
%6 = phi %5, -1:i32, -1:i32, %1
%7 = phi %0, -1:i32, %6
infer %7
; RHS inferred successfully
result 4294967295:i32
-----------------------------------------------------------
; start LHS (in $346)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $1))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(i32.const 0)(get_local $1))
%6 = slt 0:i32, %5
infer %6
; RHS inferred successfully
result 0:i1
-----------------------------------------------------------
; start LHS (in $351)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $352)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 144))
%1 = sub %0, 144:i32
; (i32.add(get_local $4)(i32.const 144))
%2 = add %1, 144:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $353)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $355)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 1056))
%1 = sub %0, 1056:i32
; (i32.add(get_local $1)(i32.const 1056))
%2 = add %1, 1056:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $356)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $358)
%0:i32 = var
; (i32.sub(get_local $8)(i32.const 1056))
%1 = sub %0, 1056:i32
; (i32.add(get_local $1)(i32.const 1056))
%2 = add %1, 1056:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $360)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 1056))
%1 = sub %0, 1056:i32
; (i32.add(get_local $1)(i32.const 1056))
%2 = add %1, 1056:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $361)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $365)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 1040))
%1 = sub %0, 1040:i32
; (i32.add(get_local $1)(i32.const 1040))
%2 = add %1, 1040:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $366)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 1040))
%1 = sub %0, 1040:i32
; (i32.add(get_local $2)(i32.const 1040))
%2 = add %1, 1040:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $373)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $375)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $378)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $379)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $1)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $380)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 48))
%1 = sub %0, 48:i32
; (i32.add(get_local $1)(i32.const 48))
%2 = add %1, 48:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $381)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $1)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $383)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $384)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $1)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $386)
%0:i32 = var
; (i32.eq(get_local $1)(i32.const 1))
%1 = eq %0, 1:i32
%2:i32 = zext %1
; (i32.ne(get_local $12)(i32.const 0))
%3 = ne %2, 0:i32
%4:i32 = var
; (i32.ne(unreachable)(unreachable))
%5 = ne %4, 0:i32
pc %5 1:i1
infer %3
; RHS inferred successfully
result %1
-----------------------------------------------------------
; start LHS (in $387)
%0:i32 = var
; (i32.sub(get_local $2)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $389)
%0:i32 = var
; (i32.sub(get_local $2)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $1)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $390)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 96))
%1 = sub %0, 96:i32
; (i32.add(get_local $1)(i32.const 96))
%2 = add %1, 96:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $412)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $418)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $431)
%0:i32 = var
; (i32.add(get_local $7)(i32.const -64))
%1 = add %0, -64:i32
; (i32.sub(get_local $3)(i32.const -64))
%2 = sub %1, -64:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $451)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $461)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 48))
%1 = sub %0, 48:i32
; (i32.add(get_local $2)(i32.const 48))
%2 = add %1, 48:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $463)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 80))
%1 = sub %0, 80:i32
; (i32.add(get_local $4)(i32.const 80))
%2 = add %1, 80:i32
%3:i32 = var
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
pc %4 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $464)
%0:i32 = var
; (i32.add(get_local $6)(i32.const -64))
%1 = add %0, -64:i32
; (i32.sub(get_local $5)(i32.const -64))
%2 = sub %1, -64:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $469)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $477)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $2)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $495)
%0:i32 = var
; (i32.add(get_local $9)(i32.const -64))
%1 = add %0, -64:i32
; (i32.sub(get_local $4)(i32.const -64))
%2 = sub %1, -64:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $502)
%0:i32 = var
; (i32.eq(unreachable)(unreachable))
%1 = eq %0, 0:i32
%2:i32 = zext %1
; (i32.ne(get_local $29)(i32.const 0))
%3 = ne %2, 0:i32
%4:i32 = var
; (i32.ne(unreachable)(unreachable))
%5 = ne %4, 0:i32
pc %5 1:i1
infer %3
; RHS inferred successfully
result %1
-----------------------------------------------------------
; start LHS (in $505)
%0:i32 = var
; (i32.add(get_local $8)(i32.const -48))
%1 = add %0, -48:i32
; (i32.lt_u(get_local $70)(i32.const 10))
%2 = ult %1, 10:i32
%3:i32 = zext %2
; (i32.ne(get_local $71)(i32.const 0))
%4 = ne %3, 0:i32
infer %4
; RHS inferred successfully
result %2
-----------------------------------------------------------
; start LHS (in $505)
%0:i32 = var
; (i32.add(get_local $8)(i32.const -48))
%1 = add %0, -48:i32
; (i32.lt_u(get_local $70)(i32.const 10))
%2 = ult %1, 10:i32
%3:i32 = zext %2
; (i32.ne(get_local $71)(i32.const 0))
%4 = ne %3, 0:i32
%5:i32 = zext %4
infer %5
; RHS inferred successfully
result %3
-----------------------------------------------------------
; start LHS (in $513)
%0:i32 = var
; (i32.eq(unreachable)(unreachable))
%1 = eq %0, 0:i32
%2:i32 = zext %1
; (i32.ne(get_local $29)(i32.const 0))
%3 = ne %2, 0:i32
%4:i32 = var
; (i32.ne(unreachable)(unreachable))
%5 = ne %4, 0:i32
pc %5 1:i1
infer %3
; RHS inferred successfully
result %1
-----------------------------------------------------------
; start LHS (in $517)
%0:i32 = var
; (i32.ne(get_local $4)(i32.const -1))
%1 = ne %0, -1:i32
; (i32.ne(get_local $4)(i32.const -1))
%2 = ne %0, -1:i32
pc %2 1:i1
infer %1
; RHS inferred successfully
result 1:i1
-----------------------------------------------------------
; start LHS (in $517)
%0:i32 = var
; (i32.ne(get_local $4)(i32.const -1))
%1 = ne %0, -1:i32
%2:i32 = zext %1
; (i32.shl(get_local $41)(i32.const 2))
%3 = shl %2, 2:i32
; (i32.ne(get_local $4)(i32.const -1))
%4 = ne %0, -1:i32
pc %4 1:i1
infer %3
; RHS inferred successfully
result 4:i32
-----------------------------------------------------------
; start LHS (in $517)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $523)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $2)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $524)
%0:i32 = var
%1:i32 = var
; (i32.eq(get_local $15)(get_local $1))
%2 = eq %0, %1
%3:i32 = zext %2
; (i32.ne(get_local $0)(i32.const 0))
%4 = ne %3, 0:i32
infer %4
; RHS inferred successfully
result %2
-----------------------------------------------------------
; start LHS (in $529)
%0:i32 = var
; (i32.sub(get_local $2)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $533)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 1056))
%1 = sub %0, 1056:i32
; (i32.add(get_local $2)(i32.const 1056))
%2 = add %1, 1056:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $534)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $3)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $535)
%0 = block 2
%1:i32 = var
; (i32.ne(unreachable)(unreachable))
%2 = ne %1, 0:i32
blockpc %0 0 %2 1:i1
; (i32.eq(unreachable)(unreachable))
%3 = eq %1, 0:i32
blockpc %0 1 %3 1:i1
; (i32.eq(get_local $2)(i32.const 1))
%4 = eq %1, 1:i32
%5:i32 = zext %4
%6 = phi %0, 0:i32, %5
infer %6
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $539)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $542)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $4)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $543)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $549)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $551)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $563)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $564)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $0))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(get_local $0)(i32.const 0))
%6 = slt %5, 0:i32
infer %6
; RHS inferred successfully
result 1:i1
-----------------------------------------------------------
; start LHS (in $564)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $0))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(get_local $0)(i32.const 0))
%6 = slt %5, 0:i32
%7:i32 = zext %6
infer %7
; RHS inferred successfully
result 1:i32
-----------------------------------------------------------
; start LHS (in $564)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $0))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(get_local $0)(i32.const 0))
%6 = slt %5, 0:i32
%7:i32 = zext %6
infer %7
; RHS inferred successfully
result 1:i32
-----------------------------------------------------------
; start LHS (in $564)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $3)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $566)
%0:i64 = var
; (i64.eq(unreachable)(unreachable))
%1 = eq %0, 0:i64
%2:i64 = zext %1
; (i64.eq(unreachable)(unreachable))
%3 = eq %2, 0:i64
%4:i64 = zext %3
; (i64.eq(unreachable)(unreachable))
%5 = eq %4, 0:i64
infer %5
; RHS inferred successfully
result %1
-----------------------------------------------------------
; start LHS (in $567)
%0:i64 = var
; (i64.eq(unreachable)(unreachable))
%1 = eq %0, 0:i64
%2:i64 = zext %1
; (i64.eq(unreachable)(unreachable))
%3 = eq %2, 0:i64
%4:i64 = zext %3
; (i64.eq(unreachable)(unreachable))
%5 = eq %4, 0:i64
infer %5
; RHS inferred successfully
result %1
-----------------------------------------------------------
; start LHS (in $568)
%0:i32 = var
%1 = block 2
; (i32.sub(get_local $10)(get_local $17))
%2 = sub %0, %0
; (i32.le_s(get_local $424)(i32.const 7))
%3 = sle %2, 7:i32
blockpc %1 0 %3 1:i1
%4:i32 = zext %3
; (i32.eq(unreachable)(unreachable))
%5 = eq %4, 0:i32
blockpc %1 1 %5 1:i1
%6:i32 = var
; (i32.mul(get_local $12)(i32.const 10))
%7 = mul %6, 10:i32
%8 = phi %1, 10:i32, %7
; (i32.div_u(get_local $10)(get_local $12))
%9 = udiv %0, %8
; (i32.mul(get_local $15)(get_local $12))
%10 = mul %9, %8
; (i32.sub(get_local $10)(get_local $448))
%11 = sub %0, %10
; (i32.shr_u(get_local $12)(i32.const 1))
%12 = lshr %8, 1:i32
; (i32.eq(get_local $14)(get_local $23))
%13 = eq %11, %12
; (select(i64.const 4611404543450677248)(i64.const 4611545280939032576)(get_local $466))
%14 = select %13, 4611404543450677248:i64, 4611545280939032576:i64
; (i32.lt_u(get_local $23)(get_local $14))
%15 = ult %12, %11
%16 = block 2
%17 = block 2
%18:i32 = var
%19:i32 = var
%20 = phi %17, %18, %19
%21:i32 = var
; (i32.lt_s(get_local $4)(i32.const 0))
%22 = slt %21, 0:i32
; (select(i32.const 6)(get_local $4)(get_local $7))
%23 = select %22, 6:i32, %21
%24 = phi %16, %20, %23
%25:i32 = var
%26:i32 = var
%27 = phi %17, %25, %26
%28 = phi %16, %27, %0
; (i32.eq(get_local $21)(i32.const 102))
%29 = eq %28, 102:i32
%30 = block 3
%31 = phi %30, 0:i32, %0, %0
; (select(i32.const 0)(get_local $9)(get_local $390))
%32 = select %29, 0:i32, %31
; (i32.sub(get_local $13)(get_local $15))
%33 = sub %24, %32
; (i32.sub(get_local $393)(get_local $14))
%34 = sub %33, %0
; (i32.lt_s(get_local $10)(get_local $407))
%35 = slt %34, %0
pc %15 1:i1
pc %35 1:i1
infer %14
; RHS inferred successfully
result 4611545280939032576:i64
-----------------------------------------------------------
; start LHS (in $568)
%0:i32 = var
; (i32.add(get_local $7)(i32.const -1))
%1 = add %0, -1:i32
; (i32.add(get_local $12)(i32.const 1))
%2 = add %1, 1:i32
%3 = block 2
%4:i32 = var
%5 = block 2
%6 = block 2
%7:i32 = var
%8:i32 = var
%9 = phi %6, %7, %8
%10:i32 = var
; (i32.sub(get_local $26)(i32.const 7680))
%11 = sub %10, 7680:i32
; (i32.add(get_local $8)(i32.const 256))
%12 = add %11, 256:i32
%13 = phi %5, %9, %12
%14 = phi %3, %4, %13
%15:i32 = var
; (i32.sub(get_local $18)(get_local $7))
%16 = sub %14, %15
; (i32.le_s(get_local $846)(i32.const 1))
%17 = sle %16, 1:i32
pc %17 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $571)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $575)
%0:i32 = var
; (i32.sub(get_local $8)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $4)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $576)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $583)
%0 = block 2
%1:i32 = var
; (i32.eq(get_local $2)(i32.const 3))
%2 = eq %1, 3:i32
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5:i32 = var
%6 = phi %0, %1, %5
; (i32.eq(unreachable)(unreachable))
%7 = eq %6, 0:i32
; (i32.ne(unreachable)(unreachable))
%8 = ne %6, 0:i32
pc %8 1:i1
infer %7
; RHS inferred successfully
result 0:i1
-----------------------------------------------------------
; start LHS (in $586)
%0:i32 = var
; (i32.ne(get_local $11)(i32.const 36))
%1 = ne %0, 36:i32
; (i32.lt_s(i32.const 36)(get_local $11))
%2 = slt 36:i32, %0
pc %2 1:i1
infer %1
; RHS inferred successfully
result 1:i1
-----------------------------------------------------------
; start LHS (in $587)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $1)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $588)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $2)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $593)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $3)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $599)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $3)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $600)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 112))
%1 = sub %0, 112:i32
; (i32.add(get_local $2)(i32.const 112))
%2 = add %1, 112:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $601)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $604)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $607)
%0:i32 = var
; (i32.lt_s(get_local $0)(i32.const -31))
%1 = slt %0, -31:i32
%2:i32 = var
; (i32.sub(i32.const 0)(get_local $0))
%3 = sub 0:i32, %0
; (i32.shl(get_local $1)(get_local $18))
%4 = shl %2, %3
; (select(i32.const 0)(get_local $19)(get_local $21))
%5 = select %1, 0:i32, %4
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $615)
%0 = block 2
%1:i32 = var
; (i32.le_s(get_local $1)(i32.const 31))
%2 = sle %1, 31:i32
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5:i32 = var
; (i32.shr_u(get_local $2)(get_local $1))
%6 = lshr %5, %1
; (i32.shr_u(i32.const -1)(get_local $1))
%7 = lshr -1:i32, %1
; (i32.xor(get_local $18)(i32.const -1))
%8 = xor %7, -1:i32
; (i32.or(get_local $16)(get_local $19))
%9 = or %6, %8
%10 = phi %0, -1:i32, %9
infer %10
; RHS inferred successfully
result 4294967295:i32
-----------------------------------------------------------
; start LHS (in $615)
%0 = block 2
%1:i32 = var
; (i32.le_s(get_local $1)(i32.const 31))
%2 = sle %1, 31:i32
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5:i32 = var
; (i32.shr_u(get_local $2)(get_local $1))
%6 = lshr %5, %1
%7 = phi %0, 0:i32, %6
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $615)
%0 = block 2
%1:i32 = var
; (i32.le_s(get_local $1)(i32.const 31))
%2 = sle %1, 31:i32
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
; (i32.shr_u(i32.const -1)(get_local $1))
%5 = lshr -1:i32, %1
%6 = phi %0, 0:i32, %5
infer %6
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $615)
%0 = block 2
%1:i32 = var
; (i32.le_s(get_local $1)(i32.const 31))
%2 = sle %1, 31:i32
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
; (i32.shr_u(i32.const -1)(get_local $1))
%5 = lshr -1:i32, %1
; (i32.xor(get_local $18)(i32.const -1))
%6 = xor %5, -1:i32
%7 = phi %0, 0:i32, %6
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $615)
%0:i32 = var
; (i32.lt_s(get_local $1)(i32.const -31))
%1 = slt %0, -31:i32
%2:i32 = var
; (i32.sub(i32.const 0)(get_local $1))
%3 = sub 0:i32, %0
; (i32.shl(get_local $2)(get_local $35))
%4 = shl %2, %3
; (select(i32.const 0)(get_local $36)(get_local $38))
%5 = select %1, 0:i32, %4
infer %5
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $618)
%0:i32 = var
; (i32.and(get_local $10)(i32.const 2147483647))
%1 = and %0, 2147483647:i32
; (i32.add(get_local $1)(i32.const -1072693248))
%2 = add %1, -1072693248:i32
%3:i32 = var
; (i32.or(get_local $15)(get_local $17))
%4 = or %2, %3
; (i32.eq(unreachable)(unreachable))
%5 = eq %4, 0:i32
; (i32.lt_u(i32.const 1072693248)(get_local $1))
%6 = ult 1072693248:i32, %1
pc %6 1:i1
infer %5
; RHS inferred successfully
result 0:i1
-----------------------------------------------------------
; start LHS (in $620)
%0:i32 = var
; (i32.and(get_local $9)(i32.const 2147483647))
%1 = and %0, 2147483647:i32
; (i32.add(get_local $1)(i32.const -1072693248))
%2 = add %1, -1072693248:i32
%3:i32 = var
; (i32.or(get_local $14)(get_local $16))
%4 = or %2, %3
; (i32.eq(unreachable)(unreachable))
%5 = eq %4, 0:i32
; (i32.lt_u(i32.const 1072693248)(get_local $1))
%6 = ult 1072693248:i32, %1
pc %6 1:i1
infer %5
; RHS inferred successfully
result 0:i1
-----------------------------------------------------------
; start LHS (in $624)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $3)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $627)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $3)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $628)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $0))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(i32.const 0)(get_local $0))
%6 = slt 0:i32, %5
infer %6
; RHS inferred successfully
result 0:i1
-----------------------------------------------------------
; start LHS (in $628)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $0))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(i32.const 0)(get_local $0))
%6 = slt 0:i32, %5
%7:i32 = zext %6
; (i32.eq(unreachable)(unreachable))
%8 = eq %7, 0:i32
infer %8
; RHS inferred successfully
result 1:i1
-----------------------------------------------------------
; start LHS (in $628)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $0))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.lt_s(i32.const 0)(get_local $0))
%6 = slt 0:i32, %5
%7:i32 = zext %6
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $628)
%0:i32 = var
; (i32.sub(get_local $4)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $3)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $629)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.le_s(i32.const 0)(get_local $3))
%6 = sle 0:i32, %5
infer %6
; RHS inferred successfully
result 0:i1
-----------------------------------------------------------
; start LHS (in $629)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
%6:i32 = var
; (i32.le_u(get_local $3)(get_local $5))
%7 = ule %5, %6
; (i32.le_s(i32.const 0)(get_local $3))
%8 = sle 0:i32, %5
pc %8 1:i1
infer %7
; RHS inferred successfully
result 0:i1
-----------------------------------------------------------
; start LHS (in $629)
%0:i32 = var
; (i32.add(get_local $0)(i32.const 44))
%1 = add %0, 44:i32
%2 = block 2
%3:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%4 = ult -4095:i32, %3
blockpc %2 0 %4 1:i1
%5:i32 = zext %4
; (i32.eq(unreachable)(unreachable))
%6 = eq %5, 0:i32
blockpc %2 1 %6 1:i1
%7 = phi %2, %3, -1:i32
; (i32.le_s(i32.const 0)(get_local $3))
%8 = sle 0:i32, %7
pc %8 1:i1
infer %1
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $629)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
%6:i32 = var
; (i32.sub(get_local $3)(get_local $5))
%7 = sub %5, %6
; (i32.le_s(i32.const 0)(get_local $3))
%8 = sle 0:i32, %5
pc %8 1:i1
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $629)
%0:i32 = var
%1 = block 2
%2:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%3 = ult -4095:i32, %2
blockpc %1 0 %3 1:i1
%4:i32 = zext %3
; (i32.eq(unreachable)(unreachable))
%5 = eq %4, 0:i32
blockpc %1 1 %5 1:i1
%6 = phi %1, %2, -1:i32
%7:i32 = var
; (i32.sub(get_local $3)(get_local $5))
%8 = sub %6, %7
; (i32.add(get_local $6)(get_local $57))
%9 = add %0, %8
; (i32.le_s(i32.const 0)(get_local $3))
%10 = sle 0:i32, %6
pc %10 1:i1
infer %9
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $629)
%0:i32 = var
; (i32.add(get_local $0)(i32.const 48))
%1 = add %0, 48:i32
%2 = block 2
%3:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%4 = ult -4095:i32, %3
blockpc %2 0 %4 1:i1
%5:i32 = zext %4
; (i32.eq(unreachable)(unreachable))
%6 = eq %5, 0:i32
blockpc %2 1 %6 1:i1
%7 = phi %2, %3, -1:i32
; (i32.le_s(i32.const 0)(get_local $3))
%8 = sle 0:i32, %7
pc %8 1:i1
infer %1
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $629)
%0:i32 = var
; (i32.add(get_local $0)(i32.const 4))
%1 = add %0, 4:i32
%2:i32 = var
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
%4 = block 2
%5:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%6 = ult -4095:i32, %5
blockpc %4 0 %6 1:i1
%7:i32 = zext %6
; (i32.eq(unreachable)(unreachable))
%8 = eq %7, 0:i32
blockpc %4 1 %8 1:i1
%9 = phi %4, %5, -1:i32
; (i32.le_s(i32.const 0)(get_local $3))
%10 = sle 0:i32, %9
pc %3 1:i1
pc %10 1:i1
infer %1
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $629)
%0:i32 = var
; (i32.add(get_local $6)(i32.const 1))
%1 = add %0, 1:i32
%2:i32 = var
; (i32.ne(unreachable)(unreachable))
%3 = ne %2, 0:i32
%4 = block 2
%5:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%6 = ult -4095:i32, %5
blockpc %4 0 %6 1:i1
%7:i32 = zext %6
; (i32.eq(unreachable)(unreachable))
%8 = eq %7, 0:i32
blockpc %4 1 %8 1:i1
%9 = phi %4, %5, -1:i32
; (i32.le_s(i32.const 0)(get_local $3))
%10 = sle 0:i32, %9
pc %3 1:i1
pc %10 1:i1
infer %1
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $629)
%0:i32 = var
%1:i32 = var
; (i32.add(get_local $1)(get_local $2))
%2 = add %0, %1
%3:i32 = var
; (i32.ne(unreachable)(unreachable))
%4 = ne %3, 0:i32
%5 = block 2
%6:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%7 = ult -4095:i32, %6
blockpc %5 0 %7 1:i1
%8:i32 = zext %7
; (i32.eq(unreachable)(unreachable))
%9 = eq %8, 0:i32
blockpc %5 1 %9 1:i1
%10 = phi %5, %6, -1:i32
; (i32.le_s(i32.const 0)(get_local $3))
%11 = sle 0:i32, %10
pc %4 1:i1
pc %11 1:i1
infer %2
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $629)
%0:i32 = var
%1:i32 = var
; (i32.add(get_local $1)(get_local $2))
%2 = add %0, %1
; (i32.add(get_local $68)(i32.const -1))
%3 = add %2, -1:i32
%4:i32 = var
; (i32.ne(unreachable)(unreachable))
%5 = ne %4, 0:i32
%6 = block 2
%7:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%8 = ult -4095:i32, %7
blockpc %6 0 %8 1:i1
%9:i32 = zext %8
; (i32.eq(unreachable)(unreachable))
%10 = eq %9, 0:i32
blockpc %6 1 %10 1:i1
%11 = phi %6, %7, -1:i32
; (i32.le_s(i32.const 0)(get_local $3))
%12 = sle 0:i32, %11
pc %5 1:i1
pc %12 1:i1
infer %3
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $629)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.le_s(i32.const 0)(get_local $3))
%6 = sle 0:i32, %5
%7:i32 = zext %6
; (i32.eq(unreachable)(unreachable))
%8 = eq %7, 0:i32
infer %8
; RHS inferred successfully
result 1:i1
-----------------------------------------------------------
; start LHS (in $629)
%0 = block 2
%1:i32 = var
; (i32.lt_u(i32.const -4095)(get_local $3))
%2 = ult -4095:i32, %1
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(unreachable)(unreachable))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = phi %0, %1, -1:i32
; (i32.le_s(i32.const 0)(get_local $3))
%6 = sle 0:i32, %5
%7:i32 = zext %6
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $629)
%0:i32 = var
; (i32.sub(get_local $7)(i32.const 32))
%1 = sub %0, 32:i32
; (i32.add(get_local $4)(i32.const 32))
%2 = add %1, 32:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $630)
%0:i32 = var
; (i32.sub(get_local $2)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $1)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $631)
%0:i32 = var
; (i32.lt_s(get_local $6)(i32.const 1))
%1 = slt %0, 1:i32
%2:i32 = zext %1
; (i32.eq(unreachable)(unreachable))
%3 = eq %2, 0:i32
%4:i32 = zext %3
; (i32.eq(unreachable)(unreachable))
%5 = eq %4, 0:i32
infer %5
; RHS inferred successfully
result %1
-----------------------------------------------------------
; start LHS (in $631)
%0 = block 2
%1:i32 = var
%2:i32 = var
%3 = phi %0, %1, %2
; (i32.lt_s(get_local $11)(i32.const 1))
%4 = slt %3, 1:i32
%5:i32 = zext %4
; (i32.eq(unreachable)(unreachable))
%6 = eq %5, 0:i32
%7:i32 = zext %6
; (i32.eq(unreachable)(unreachable))
%8 = eq %7, 0:i32
infer %8
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $631)
%0:i32 = var
; (i32.lt_s(get_local $6)(i32.const 1))
%1 = slt %0, 1:i32
%2:i32 = zext %1
; (i32.eq(unreachable)(unreachable))
%3 = eq %2, 0:i32
%4:i32 = zext %3
; (i32.eq(unreachable)(unreachable))
%5 = eq %4, 0:i32
infer %5
; RHS inferred successfully
result %1
-----------------------------------------------------------
; start LHS (in $631)
%0 = block 3
%1 = block 2
%2:i32 = var
%3 = block 2
%4:i32 = var
%5:i32 = var
%6 = phi %3, %4, %5
%7 = phi %1, %2, %6
%8 = block 2
%9:i32 = var
%10:i32 = var
%11 = phi %8, %9, %10
%12 = phi %0, %7, %7, %11
; (i32.ne(get_local $4)(i32.const 3))
%13 = ne %12, 3:i32
; (i32.add(get_local $4)(i32.const -1))
%14 = add %12, -1:i32
; (i32.lt_u(i32.const 2)(get_local $535))
%15 = ult 2:i32, %14
pc %15 1:i1
infer %13
; RHS inferred successfully
result 1:i1
-----------------------------------------------------------
; start LHS (in $632)
%0:i32 = var
; (i32.sub(get_local $3)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $635)
%0 = block 2
%1:i32 = var
%2:i32 = var
%3 = phi %0, %1, %2
; (i32.eq(get_local $4)(i32.const 45))
%4 = eq %3, 45:i32
%5:i32 = zext %4
; (i32.eq(unreachable)(unreachable))
%6 = eq %5, 0:i32
%7:i32 = zext %6
; (i32.eq(unreachable)(unreachable))
%8 = eq %7, 0:i32
infer %8
; RHS inferred successfully
result %4
-----------------------------------------------------------
; start LHS (in $636)
%0:i64 = var
%1:i64 = var
; (i64.or(get_local $2)(get_local $0))
%2 = or %0, %1
%3:i64 = var
; (i64.and(get_local $3)(i64.const 9223372036854775807))
%4 = and %3, 9223372036854775807:i64
%5:i64 = var
; (i64.and(get_local $1)(i64.const 9223372036854775807))
%6 = and %5, 9223372036854775807:i64
; (i64.or(get_local $6)(get_local $5))
%7 = or %4, %6
; (i64.or(get_local $27)(get_local $30))
%8 = or %2, %7
; (i64.eq(unreachable)(unreachable))
%9 = eq %8, 0:i64
%10:i64 = zext %9
; (i64.eq(unreachable)(unreachable))
%11 = eq %10, 0:i64
%12:i64 = zext %11
; (i64.eq(unreachable)(unreachable))
%13 = eq %12, 0:i64
infer %13
; RHS inferred successfully
result %9
-----------------------------------------------------------
; start LHS (in $638)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $639)
%0:i32 = var
; (i32.sub(get_local $5)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $2)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $640)
%0:i32 = var
; (i32.sub(get_local $8)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $3)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $642)
%0:i32 = var
; (i32.sub(get_local $6)(i32.const 48))
%1 = sub %0, 48:i32
; (i32.add(get_local $3)(i32.const 48))
%2 = add %1, 48:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment