Skip to content

Instantly share code, notes, and snippets.

@regehr

regehr/gist:cd0d7a4c1f99226f4a78571bb72df0f4

Created April 25, 2018 05:33
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save regehr/cd0d7a4c1f99226f4a78571bb72df0f4 to your computer and use it in GitHub Desktop.
Save regehr/cd0d7a4c1f99226f4a78571bb72df0f4 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
-----------------------------------------------------------
; RHS inferred successfully
result 7:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 7:i32, 7:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 4294967295:i32
Input was:
; start LHS
%0 = block 2
%1:i32 = var
; (i32.eq(get_local $4)(i32.const -1))
%2 = eq %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 = phi %0, -1:i32, -1:i32
infer %5
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
; RHS inferred successfully
result 1:i32
Input was:
; start LHS
%0 = block 2
%1 = phi %0, 1:i32, 1:i32
infer %1
-----------------------------------------------------------
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment