Skip to content

Instantly share code, notes, and snippets.

@regehr

regehr/gist:2378313b8b4ed859948341e79c375eeb

Created May 14, 2018 15:58
Show Gist options
  • Save regehr/2378313b8b4ed859948341e79c375eeb to your computer and use it in GitHub Desktop.
Save regehr/2378313b8b4ed859948341e79c375eeb to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
-----------------------------------------------------------
; start LHS (in $free)
%0:i32 = var
; (i32.shl(get_local $1)(i32.const 3))
%1 = shl %0, 3:i32
; (i32.add(get_local $334)(i32.const 461288))
%2 = add %1, 461288:i32
; (i32.add(get_local $0)(i32.const 8))
%3 = add %2, 8:i32
infer %3
; RHS inferred successfully
%4:i32 = add 461296:i32, %1
result %4
-----------------------------------------------------------
; start LHS (in $_ZNK20btConvexHullInternal6Int1288toScalarEv)
%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 $pad.782)
%0:i32 = var
; (i32.lt_u(get_local $4)(i32.const 256))
%1 = ult %0, 256:i32
%2:i32 = zext %1
; (i32.eq(get_local $6)(i32.const 0))
%3 = eq %2, 0:i32
infer %3
; RHS inferred successfully
%4:i1 = ult 255:i32, %0
result %4
-----------------------------------------------------------
; start LHS (in $pad.782)
%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 $_ZN13BenchmarkDemo11initPhysicsEv)
%0 = block 2
%1:i32 = var
; (i32.ne(get_local $6)(i32.const 0))
%2 = ne %1, 0:i32
blockpc %0 0 %2 1:i1
; (i32.eq(get_local $6)(i32.const 0))
%3 = eq %1, 0:i32
blockpc %0 1 %3 1:i1
; (i32.shl(get_local $6)(i32.const 2))
%4 = shl %1, 2:i32
%5 = phi %0, 0:i32, %4
infer %5
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $_ZN13BenchmarkDemo11initPhysicsEv)
%0 = block 3
%1 = block 2
%2:i32 = var
; (i32.ne(get_local $6)(i32.const 0))
%3 = ne %2, 0:i32
blockpc %1 0 %3 1:i1
; (i32.eq(get_local $6)(i32.const 0))
%4 = eq %2, 0:i32
blockpc %1 1 %4 1:i1
; (i32.shl(get_local $6)(i32.const 2))
%5 = shl %2, 2:i32
%6 = phi %1, 0:i32, %5
%7 = phi %0, 0:i32, 0:i32, %6
infer %7
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $_ZN13BenchmarkDemo11initPhysicsEv)
%0 = block 2
%1:i32 = var
; (i32.le_s(get_local $1)(i32.const 4))
%2 = sle %1, 4:i32
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
; (i32.eq(get_local $90)(i32.const 0))
%4 = eq %3, 0:i32
blockpc %0 1 %4 1:i1
%5 = block 3
%6 = block 2
%7:i32 = var
; (i32.ne(get_local $6)(i32.const 0))
%8 = ne %7, 0:i32
blockpc %6 0 %8 1:i1
; (i32.eq(get_local $6)(i32.const 0))
%9 = eq %7, 0:i32
blockpc %6 1 %9 1:i1
; (i32.shl(get_local $6)(i32.const 2))
%10 = shl %7, 2:i32
%11 = phi %6, 0:i32, %10
%12 = phi %5, 0:i32, 0:i32, %11
%13 = phi %0, 0:i32, %12
infer %13
; RHS inferred successfully
result 0:i32
-----------------------------------------------------------
; start LHS (in $_ZN12gjkepa2_impl3GJK13EncloseOriginEv)
%0:i32 = var
%1:i32 = var
; (i32.add(get_local $40)(i32.const -1))
%2 = add %1, -1:i32
; (i32.shl(get_local $4)(i32.const 2))
%3 = shl %2, 2:i32
; (i32.add(get_local $0)(get_local $52))
%4 = add %0, %3
; (i32.add(get_local $53)(i32.const 348))
%5 = add %4, 348:i32
infer %5
; RHS inferred successfully
%6:i32 = shl %1, 2:i32
%7:i32 = sub %6, 4294966952:i32
%8:i32 = add %0, %7
result %8
-----------------------------------------------------------
; start LHS (in $_ZN12gjkepa2_impl3GJK13EncloseOriginEv)
%0:i32 = var
%1:i32 = var
; (i32.add(get_local $561)(i32.const -1))
%2 = add %1, -1:i32
; (i32.shl(get_local $3)(i32.const 2))
%3 = shl %2, 2:i32
; (i32.add(get_local $0)(get_local $573))
%4 = add %0, %3
; (i32.add(get_local $574)(i32.const 348))
%5 = add %4, 348:i32
infer %5
; RHS inferred successfully
%6:i32 = shl %1, 2:i32
%7:i32 = sub %6, 4294966952:i32
%8:i32 = add %0, %7
result %8
-----------------------------------------------------------
; start LHS (in $_ZN12gjkepa2_impl3GJK13EncloseOriginEv)
%0:i32 = var
%1:i32 = var
; (i32.add(get_local $890)(i32.const -1))
%2 = add %1, -1:i32
; (i32.shl(get_local $11)(i32.const 2))
%3 = shl %2, 2:i32
; (i32.add(get_local $0)(get_local $900))
%4 = add %0, %3
; (i32.add(get_local $901)(i32.const 348))
%5 = add %4, 348:i32
%6:i32 = var
; (i32.xor(get_local $877)(i32.const 1))
%7 = xor %6, 1:i32
; (i32.eq(get_local $878)(i32.const 0))
%8 = eq %7, 0:i32
pc %8 1:i1
infer %5
; RHS inferred successfully
%9:i32 = shl %1, 2:i32
%10:i32 = sub %9, 4294966952:i32
%11:i32 = add %0, %10
result %11
-----------------------------------------------------------
; start LHS (in $printf)
%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 $_ZN15btTransformUtil18integrateTransformERK11btTransformRK9btVector3S5_fRS0_)
%0:i32 = var
; (i32.sub(get_local $16)(i32.const 16))
%1 = sub %0, 16:i32
; (i32.add(get_local $13)(i32.const 16))
%2 = add %1, 16:i32
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $_ZNK20btConvexHullInternal11Rational1287compareEx)
%0:i64 = var
%1:i64 = var
; (i64.le_s(get_local $1)(get_local $3))
%2 = sle %0, %1
; (i64.lt_s(get_local $3)(get_local $1))
%3 = slt %1, %0
; (select(i32.const -1)(i32.const 0)(get_local $23))
%4 = select %3, -1:i32, 0:i32
; (select(i32.const 1)(get_local $24)(get_local $27))
%5 = select %2, 1:i32, %4
%6:i32 = var
; (i32.ne(i32.const 0)(i32.const 0))
%7 = ne %6, 0:i32
pc %7 1:i1
infer %5
; RHS inferred successfully
%8:i64 = select %3, 18317358600529379327:i64, 1:i64
%9:i32 = trunc %8
result %9
-----------------------------------------------------------
; start LHS (in $_ZNK20btConvexHullInternal6Vertex3dotERKNS_7Point64E)
%0:i64 = var
; (i64.lt_s(get_local $4)(i64.const 0))
%1 = slt %0, 0:i64
%2:i32 = zext %1
%3:i64 = var
; (i64.lt_s(get_local $6)(i64.const 0))
%4 = slt %3, 0:i64
%5:i32 = zext %4
; (i32.ne(get_local $126)(get_local $128))
%6 = ne %2, %5
infer %6
; RHS inferred successfully
%7:i64 = xor %0, %3
%8:i1 = sle %7, 18446744073709551615:i64
result %8
-----------------------------------------------------------
; start LHS (in $_ZNK20btConvexHullInternal6Vertex3dotERKNS_7Point64E)
%0:i64 = var
; (i64.lt_s(get_local $4)(i64.const 0))
%1 = slt %0, 0:i64
%2:i32 = zext %1
%3:i64 = var
; (i64.lt_s(get_local $6)(i64.const 0))
%4 = slt %3, 0:i64
%5:i32 = zext %4
; (i32.ne(get_local $218)(get_local $220))
%6 = ne %2, %5
infer %6
; RHS inferred successfully
%7:i64 = xor %0, %3
%8:i1 = sle %7, 18446744073709551615:i64
result %8
-----------------------------------------------------------
; start LHS (in $_ZNK20btConvexHullInternal6Vertex3dotERKNS_7Point64E)
%0:i64 = var
; (i64.lt_s(get_local $4)(i64.const 0))
%1 = slt %0, 0:i64
%2:i32 = zext %1
%3:i64 = var
; (i64.lt_s(get_local $6)(i64.const 0))
%4 = slt %3, 0:i64
%5:i32 = zext %4
; (i32.ne(get_local $323)(get_local $325))
%6 = ne %2, %5
infer %6
; RHS inferred successfully
%7:i64 = xor %0, %3
%8:i1 = sle %7, 18446744073709551615:i64
result %8
-----------------------------------------------------------
; start LHS (in $_ZNK20btConvexHullInternal6Vertex3dotERKNS_7Point64E)
%0:i64 = var
%1:i64 = var
; (i64.or(get_local $3)(get_local $4))
%2 = or %0, %1
; (i64.ne(get_local $354)(i64.const 0))
%3 = ne %2, 0:i64
; (i64.lt_s(i64.const 0)(get_local $3))
%4 = slt 0:i64, %0
pc %4 1:i1
infer %3
; RHS inferred successfully
result 1:i1
-----------------------------------------------------------
; start LHS (in $_ZNK20btConvexHullInternal6Vertex3dotERKNS_7Point64E)
%0:i64 = var
%1:i64 = var
; (i64.or(get_local $3)(get_local $4))
%2 = or %0, %1
; (i64.ne(get_local $354)(i64.const 0))
%3 = ne %2, 0:i64
; (select(i32.const -1)(i32.const 0)(get_local $2))
%4 = select %3, -1:i32, 0:i32
; (i64.lt_s(i64.const 0)(get_local $3))
%5 = slt 0:i64, %0
pc %5 1:i1
infer %4
; RHS inferred successfully
result 4294967295:i32
-----------------------------------------------------------
; start LHS (in $_ZNK20btConvexHullInternal6Vertex3dotERKNS_7Point64E)
%0:i32 = var
; (i32.add(get_local $0)(i32.const 16))
%1 = add %0, 16:i32
; (i32.add(get_local $1)(i32.const 8))
%2 = add %1, 8:i32
%3:i64 = var
; (i64.lt_s(i64.const 0)(get_local $4))
%4 = slt 0:i64, %3
pc %4 1:i1
infer %2
; RHS inferred successfully
%5:i32 = add 24:i32, %0
result %5
-----------------------------------------------------------
; start LHS (in $_ZNK20btConvexHullInternal6Vertex3dotERKNS_7Point64E)
%0:i32 = var
; (i32.add(get_local $1)(i32.const 72))
%1 = add %0, 72:i32
; (i32.add(get_local $2)(i32.const 8))
%2 = add %1, 8:i32
%3:i64 = var
; (i64.lt_s(i64.const 0)(get_local $4))
%4 = slt 0:i64, %3
pc %4 1:i1
infer %2
; RHS inferred successfully
%5:i32 = sub %0, 4294967216:i32
result %5
-----------------------------------------------------------
; start LHS (in $acosf)
%0:i32 = var
; (i32.ne(get_local $2)(i32.const 1065353216))
%1 = ne %0, 1065353216:i32
; (i32.lt_u(i32.const 1065353216)(get_local $2))
%2 = ult 1065353216:i32, %0
pc %2 1:i1
infer %1
; RHS inferred successfully
result 1:i1
-----------------------------------------------------------
; start LHS (in $__addtf3)
%0:i64 = var
%1:i64 = var
; (i64.xor(get_local $3)(get_local $1))
%2 = xor %0, %1
%3:i64 = var
; (i64.xor(get_local $5)(i64.const 9223090561878065152))
%4 = xor %3, 9223090561878065152:i64
; (i64.or(get_local $1)(get_local $76))
%5 = or %1, %4
; (i64.eq(get_local $77)(i64.const 0))
%6 = eq %5, 0:i64
pc %6 1:i1
infer %2
; RHS inferred successfully
result %0
-----------------------------------------------------------
; start LHS (in $__addtf3)
%0:i64 = var
%1:i64 = var
; (i64.or(get_local $3)(get_local $9))
%2 = or %0, %1
; (i64.eq(get_local $105)(i64.const 0))
%3 = eq %2, 0:i64
%4:i32 = zext %3
; (i32.eq(get_local $106)(i32.const 0))
%5 = eq %4, 0:i32
%6:i64 = var
%7:i64 = var
; (i64.or(get_local $1)(get_local $5))
%8 = or %6, %7
; (i64.ne(get_local $101)(i64.const 0))
%9 = ne %8, 0:i64
pc %9 1:i1
infer %5
; RHS inferred successfully
%10:i1 = ult %1, 1:i64
%11:i64 = zext %10
%12:i1 = ule %11, %0
result %12
-----------------------------------------------------------
; start LHS (in $__addtf3)
%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
%8:i64 = var
; (i64.xor(get_local $5)(i64.const 9223090561878065152))
%9 = xor %8, 9223090561878065152:i64
; (i64.or(get_local $1)(get_local $76))
%10 = or %1, %9
; (i64.eq(get_local $77)(i64.const 0))
%11 = eq %10, 0:i64
pc %11 1:i1
infer %7
; RHS inferred successfully
%12:i64 = sub %3, 9223372036854775808:i64
%13:i64 = xor %4, %12
%14:i64 = or %0, %13
result %14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment