diff options
| author | Derek Schuff <dschuff@chromium.org> | 2017-07-14 18:47:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-14 18:47:10 -0700 |
| commit | 8b97aba305f21a5040ac5df4a59f41d01815645a (patch) | |
| tree | f5decef85aa767151d0969141854e9563e5d0017 /test | |
| parent | 2be8a24959a2482a8e95e065a6aa69b8cb8bdc84 (diff) | |
| download | binaryen-8b97aba305f21a5040ac5df4a59f41d01815645a.tar.gz binaryen-8b97aba305f21a5040ac5df4a59f41d01815645a.tar.bz2 binaryen-8b97aba305f21a5040ac5df4a59f41d01815645a.zip | |
Validation for AtomicRMW and cmpxchg (#1092)
Also fix cases where fail() had the arguments backwards. Wasn't an error because lol templates.
Also fix printModuleComponent template to SFINAE on Expression* so we properly get the specialized version.
Diffstat (limited to 'test')
| -rw-r--r-- | test/atomics.wast | 10 | ||||
| -rw-r--r-- | test/atomics.wast.from-wast | 10 | ||||
| -rw-r--r-- | test/atomics.wast.fromBinary | 10 | ||||
| -rw-r--r-- | test/atomics.wast.fromBinary.noDebugInfo | 10 |
4 files changed, 20 insertions, 20 deletions
diff --git a/test/atomics.wast b/test/atomics.wast index 6b85c80ef..006412025 100644 --- a/test/atomics.wast +++ b/test/atomics.wast @@ -104,7 +104,7 @@ ) (func $atomic-cmpxchg (type $0) (local $0 i32) - (local $1 i32) + (local $1 i64) (drop (i32.atomic.rmw.cmpxchg offset=4 (get_local $0) @@ -122,15 +122,15 @@ (drop (i64.atomic.rmw.cmpxchg offset=4 (get_local $0) - (get_local $0) - (get_local $0) + (get_local $1) + (get_local $1) ) ) (drop (i64.atomic.rmw32_u.cmpxchg align=4 (get_local $0) - (get_local $0) - (get_local $0) + (get_local $1) + (get_local $1) ) ) ) diff --git a/test/atomics.wast.from-wast b/test/atomics.wast.from-wast index 01735c1fc..f44e232c4 100644 --- a/test/atomics.wast.from-wast +++ b/test/atomics.wast.from-wast @@ -104,7 +104,7 @@ ) (func $atomic-cmpxchg (type $0) (local $0 i32) - (local $1 i32) + (local $1 i64) (drop (i32.atomic.rmw.cmpxchg offset=4 (get_local $0) @@ -122,15 +122,15 @@ (drop (i64.atomic.rmw.cmpxchg offset=4 (get_local $0) - (get_local $0) - (get_local $0) + (get_local $1) + (get_local $1) ) ) (drop (i64.atomic.rmw32_u.cmpxchg (get_local $0) - (get_local $0) - (get_local $0) + (get_local $1) + (get_local $1) ) ) ) diff --git a/test/atomics.wast.fromBinary b/test/atomics.wast.fromBinary index 63809f1ed..09f978122 100644 --- a/test/atomics.wast.fromBinary +++ b/test/atomics.wast.fromBinary @@ -108,7 +108,7 @@ ) (func $atomic-cmpxchg (type $0) (local $var$0 i32) - (local $var$1 i32) + (local $var$1 i64) (block $label$0 (drop (i32.atomic.rmw.cmpxchg offset=4 @@ -127,15 +127,15 @@ (drop (i64.atomic.rmw.cmpxchg offset=4 (get_local $var$0) - (get_local $var$0) - (get_local $var$0) + (get_local $var$1) + (get_local $var$1) ) ) (drop (i64.atomic.rmw32_u.cmpxchg (get_local $var$0) - (get_local $var$0) - (get_local $var$0) + (get_local $var$1) + (get_local $var$1) ) ) ) diff --git a/test/atomics.wast.fromBinary.noDebugInfo b/test/atomics.wast.fromBinary.noDebugInfo index 8dcca9d15..3b3426b1d 100644 --- a/test/atomics.wast.fromBinary.noDebugInfo +++ b/test/atomics.wast.fromBinary.noDebugInfo @@ -108,7 +108,7 @@ ) (func $2 (type $0) (local $var$0 i32) - (local $var$1 i32) + (local $var$1 i64) (block $label$0 (drop (i32.atomic.rmw.cmpxchg offset=4 @@ -127,15 +127,15 @@ (drop (i64.atomic.rmw.cmpxchg offset=4 (get_local $var$0) - (get_local $var$0) - (get_local $var$0) + (get_local $var$1) + (get_local $var$1) ) ) (drop (i64.atomic.rmw32_u.cmpxchg (get_local $var$0) - (get_local $var$0) - (get_local $var$0) + (get_local $var$1) + (get_local $var$1) ) ) ) |