diff options
| author | Alon Zakai (kripken) <alonzakai@gmail.com> | 2017-07-31 15:11:11 -0700 |
|---|---|---|
| committer | Alon Zakai (kripken) <alonzakai@gmail.com> | 2017-07-31 15:11:11 -0700 |
| commit | 5f2dd574d6ed53acc96443b9cf3f7a6d806986c3 (patch) | |
| tree | db08a3d19472f9f1650c991ad70a5a6093493192 /test/polymorphic_stack.wast.fromBinary | |
| parent | bfdbc0c3f6a835231b218a60ddd6b52f7e9affed (diff) | |
| parent | 76751bf1f9df4eb2ee6c216744af9ed1e097132e (diff) | |
| download | binaryen-5f2dd574d6ed53acc96443b9cf3f7a6d806986c3.tar.gz binaryen-5f2dd574d6ed53acc96443b9cf3f7a6d806986c3.tar.bz2 binaryen-5f2dd574d6ed53acc96443b9cf3f7a6d806986c3.zip | |
Merge remote-tracking branch 'origin/master' into fuzz
Diffstat (limited to 'test/polymorphic_stack.wast.fromBinary')
| -rw-r--r-- | test/polymorphic_stack.wast.fromBinary | 129 |
1 files changed, 129 insertions, 0 deletions
diff --git a/test/polymorphic_stack.wast.fromBinary b/test/polymorphic_stack.wast.fromBinary new file mode 100644 index 000000000..e0ee6577d --- /dev/null +++ b/test/polymorphic_stack.wast.fromBinary @@ -0,0 +1,129 @@ +(module + (type $0 (func (param i32) (result i32))) + (type $1 (func (result i32))) + (type $2 (func (param i32))) + (type $3 (func)) + (import "env" "table" (table 9 9 anyfunc)) + (memory $0 0) + (func $break-and-binary (type $1) (result i32) + (block $label$0 (result i32) + (unreachable) + (i32.trunc_u/f64 + (unreachable) + ) + (unreachable) + (br_if $label$0 + (i32.trunc_u/f64 + (unreachable) + ) + (unreachable) + ) + (f32.add + (unreachable) + (f32.const 1) + ) + (unreachable) + ) + ) + (func $call-and-unary (type $0) (param $var$0 i32) (result i32) + (block $label$0 (result i32) + (unreachable) + (call $call-and-unary + (unreachable) + ) + (i64.eqz + (unreachable) + ) + (drop + (unreachable) + ) + (i32.eqz + (unreachable) + ) + (i64.eqz + (unreachable) + ) + (drop + (unreachable) + ) + (call_indirect $0 + (unreachable) + (unreachable) + ) + (i64.eqz + (unreachable) + ) + (drop + (unreachable) + ) + ) + ) + (func $tee (type $2) (param $var$0 i32) + (local $var$1 f32) + (block $label$0 + (unreachable) + (tee_local $var$0 + (unreachable) + ) + (i64.eqz + (unreachable) + ) + (drop + (unreachable) + ) + (i64.eqz + (unreachable) + ) + (tee_local $var$1 + (unreachable) + ) + (drop + (unreachable) + ) + (unreachable) + ) + (unreachable) + ) + (func $tee2 (type $3) + (local $var$0 f32) + (if + (i32.const 259) + (block $label$0 + (unreachable) + (tee_local $var$0 + (unreachable) + ) + (unreachable) + ) + ) + ) + (func $select (type $3) + (unreachable) + (select + (unreachable) + (i32.const 1) + (i32.const 2) + ) + (i64.eqz + (unreachable) + ) + (drop + (unreachable) + ) + ) + (func $untaken-break-should-have-value (type $1) (result i32) + (block $label$0 (result i32) + (block $label$1 + (unreachable) + (br_if $label$0 + (unreachable) + (unreachable) + ) + (unreachable) + (unreachable) + ) + (unreachable) + ) + ) +) + |