diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-06-01 12:33:55 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-06-01 12:33:55 -0700 |
| commit | db2ae40be2c52c0821da355285384aa0db8fc948 (patch) | |
| tree | 219196901187a754333cb076ce786a5bea653371 /test/unit.fromasm.imprecise | |
| parent | 208959079a9c4b97a2457e8d6b11c5bc295c0754 (diff) | |
| download | binaryen-db2ae40be2c52c0821da355285384aa0db8fc948.tar.gz binaryen-db2ae40be2c52c0821da355285384aa0db8fc948.tar.bz2 binaryen-db2ae40be2c52c0821da355285384aa0db8fc948.zip | |
if we use the zero-init value of a local, we cannot coalesce it with a param (#556)
Diffstat (limited to 'test/unit.fromasm.imprecise')
| -rw-r--r-- | test/unit.fromasm.imprecise | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise index 293fc490a..a4716941d 100644 --- a/test/unit.fromasm.imprecise +++ b/test/unit.fromasm.imprecise @@ -417,4 +417,32 @@ ) (i32.const 0) ) + (func $zeroInit (param $0 i32) + (local $1 i32) + (if + (call $lb + (i32.const 0) + ) + (if + (call $lb + (i32.const 1) + ) + (set_local $1 + (i32.const 3) + ) + ) + (set_local $1 + (i32.const 3) + ) + ) + (if + (i32.eq + (get_local $1) + (i32.const 3) + ) + (call $lb + (i32.const 2) + ) + ) + ) ) |