diff options
| author | Alon Zakai <azakai@google.com> | 2020-10-13 18:53:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-13 18:53:42 -0700 |
| commit | b2d4a1811c7ea9f44720bb0e5aba4f64a7f73e58 (patch) | |
| tree | ee53b3f6bd32445ba9e32776f1648b2d09a05499 /test/passes/pick-load-signs_all-features.txt | |
| parent | 1a1b547aee688a0d96251e8afd565999acfb1922 (diff) | |
| download | binaryen-b2d4a1811c7ea9f44720bb0e5aba4f64a7f73e58.tar.gz binaryen-b2d4a1811c7ea9f44720bb0e5aba4f64a7f73e58.tar.bz2 binaryen-b2d4a1811c7ea9f44720bb0e5aba4f64a7f73e58.zip | |
PickLoadSigns fuzz fix: cannot make an atomic operation signed (#3235)
Diffstat (limited to 'test/passes/pick-load-signs_all-features.txt')
| -rw-r--r-- | test/passes/pick-load-signs_all-features.txt | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/passes/pick-load-signs_all-features.txt b/test/passes/pick-load-signs_all-features.txt new file mode 100644 index 000000000..4b08c75de --- /dev/null +++ b/test/passes/pick-load-signs_all-features.txt @@ -0,0 +1,24 @@ +(module + (type $none_=>_i32 (func (result i32))) + (memory $0 (shared 16 16)) + (func $atomics-are-always-unsigned (result i32) + (local $0 i32) + (drop + (block $block (result i32) + (local.set $0 + (i32.atomic.load16_u + (i32.const 27) + ) + ) + (i32.shr_s + (i32.shl + (local.get $0) + (i32.const 16) + ) + (i32.const 16) + ) + ) + ) + (i32.const -65) + ) +) |