diff options
| -rw-r--r-- | test/dot_s/alternate-lcomm.wast | 4 | ||||
| -rw-r--r-- | test/dot_s/copysign-casts.wast | 34 | ||||
| -rw-r--r-- | test/dot_s/data-offset-folding.wast | 4 |
3 files changed, 42 insertions, 0 deletions
diff --git a/test/dot_s/alternate-lcomm.wast b/test/dot_s/alternate-lcomm.wast new file mode 100644 index 000000000..c29134962 --- /dev/null +++ b/test/dot_s/alternate-lcomm.wast @@ -0,0 +1,4 @@ +(module + (memory 0 4294967295) +) +; METADATA: { "asmConsts": {} }
\ No newline at end of file diff --git a/test/dot_s/copysign-casts.wast b/test/dot_s/copysign-casts.wast new file mode 100644 index 000000000..02ad07832 --- /dev/null +++ b/test/dot_s/copysign-casts.wast @@ -0,0 +1,34 @@ +(module + (memory 0 4294967295) + (export "fold_promote" $fold_promote) + (export "fold_demote" $fold_demote) + (func $fold_promote (param $$0 f64) (param $$1 f32) (result f64) + (block $fake_return_waka123 + (block + (br $fake_return_waka123 + (f64.copysign + (get_local $$0) + (f64.promote/f32 + (get_local $$1) + ) + ) + ) + ) + ) + ) + (func $fold_demote (param $$0 f32) (param $$1 f64) (result f32) + (block $fake_return_waka123 + (block + (br $fake_return_waka123 + (f32.copysign + (get_local $$0) + (f32.demote/f64 + (get_local $$1) + ) + ) + ) + ) + ) + ) +) +; METADATA: { "asmConsts": {} }
\ No newline at end of file diff --git a/test/dot_s/data-offset-folding.wast b/test/dot_s/data-offset-folding.wast new file mode 100644 index 000000000..d0715e305 --- /dev/null +++ b/test/dot_s/data-offset-folding.wast @@ -0,0 +1,4 @@ +(module + (memory 0 4294967295 (segment 2 "\00\00\00\00") (segment 408 "X\00\00\00")) +) +; METADATA: { "asmConsts": {} }
\ No newline at end of file |