diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-09-12 16:56:17 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-09-12 21:22:45 -0700 |
| commit | b4a77cf9b0780248c1a62c4409899ee1e23573ef (patch) | |
| tree | a40a9e3477715011778e97d4fd66d782dd5a9e1b /test/emcc_hello_world.fromasm.imprecise | |
| parent | 284865e47ed545beeff40629caa59f169885f560 (diff) | |
| download | binaryen-b4a77cf9b0780248c1a62c4409899ee1e23573ef.tar.gz binaryen-b4a77cf9b0780248c1a62c4409899ee1e23573ef.tar.bz2 binaryen-b4a77cf9b0780248c1a62c4409899ee1e23573ef.zip | |
fix bug with turning if into br_if without checking for reordering dangers
Diffstat (limited to 'test/emcc_hello_world.fromasm.imprecise')
| -rw-r--r-- | test/emcc_hello_world.fromasm.imprecise | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise index 66c49ce29..88532cef3 100644 --- a/test/emcc_hello_world.fromasm.imprecise +++ b/test/emcc_hello_world.fromasm.imprecise @@ -3245,9 +3245,8 @@ (get_local $7) ) ) - (br_if $label$break$L46 - (get_local $5) - (i32.ge_u + (if + (i32.lt_u (tee_local $9 (i32.add (i32.load8_s @@ -3263,15 +3262,18 @@ ) (i32.const 10) ) - ) - (block - (set_local $10 - (get_local $7) + (block + (set_local $10 + (get_local $7) + ) + (set_local $7 + (get_local $9) + ) + (br $while-in$18) ) - (set_local $7 - (get_local $9) + (br $label$break$L46 + (get_local $5) ) - (br $while-in$18) ) ) ) |