diff options
author | Alon Zakai <alonzakai@gmail.com> | 2018-05-01 08:25:45 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-01 08:25:45 -0700 |
commit | 1bd0b00d54d9863449d357db7f390a24437bc537 (patch) | |
tree | 0e065185054cdd5b2966aa75a7524d2acced8a46 /test/debugInfo.fromasm.imprecise | |
parent | e020f4a2cb44fcbfd56c95a4a097f08cddc8367e (diff) | |
download | binaryen-1bd0b00d54d9863449d357db7f390a24437bc537.tar.gz binaryen-1bd0b00d54d9863449d357db7f390a24437bc537.tar.bz2 binaryen-1bd0b00d54d9863449d357db7f390a24437bc537.zip |
More simplify-locals opts (#1526)
* Use an if return value when one side is unreachable.
* Undo an if return value if we can use a br_if instead
Diffstat (limited to 'test/debugInfo.fromasm.imprecise')
-rw-r--r-- | test/debugInfo.fromasm.imprecise | 35 |
1 files changed, 20 insertions, 15 deletions
diff --git a/test/debugInfo.fromasm.imprecise b/test/debugInfo.fromasm.imprecise index e75f6c668..9cad26249 100644 --- a/test/debugInfo.fromasm.imprecise +++ b/test/debugInfo.fromasm.imprecise @@ -55,22 +55,27 @@ (local $2 i32) (local $3 i32) (local $4 i32) - (if - ;;@ fib.c:3:0 - (i32.gt_s - (get_local $0) - (i32.const 0) - ) - (set_local $3 - (i32.const 1) - ) - (block - (set_local $1 - (i32.const 1) + (set_local $4 + (if (result i32) + ;;@ fib.c:3:0 + (i32.gt_s + (get_local $0) + (i32.const 0) ) - ;;@ fib.c:8:0 - (return - (get_local $1) + (block (result i32) + (set_local $3 + (i32.const 1) + ) + (i32.const 0) + ) + (block + (set_local $1 + (i32.const 1) + ) + ;;@ fib.c:8:0 + (return + (get_local $1) + ) ) ) ) |