| ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. |
| |
| ;; RUN: wasm-opt %s -all -o %t.text.wast -g -S |
| ;; RUN: wasm-as %s -all -g -o %t.wasm |
| ;; RUN: wasm-dis %t.wasm -all -o %t.bin.wast |
| ;; RUN: wasm-as %s -all -o %t.nodebug.wasm |
| ;; RUN: wasm-dis %t.nodebug.wasm -all -o %t.bin.nodebug.wast |
| ;; RUN: cat %t.text.wast | filecheck %s --check-prefix=CHECK-TEXT |
| ;; RUN: cat %t.bin.wast | filecheck %s --check-prefix=CHECK-BIN |
| ;; RUN: cat %t.bin.nodebug.wast | filecheck %s --check-prefix=CHECK-BIN-NODEBUG |
| |
| (module |
| ;; CHECK-TEXT: (type $0 (func)) |
| |
| ;; CHECK-TEXT: (memory $0 1 1) |
| ;; CHECK-BIN: (type $0 (func)) |
| |
| ;; CHECK-BIN: (memory $0 1 1) |
| ;; CHECK-BIN-NODEBUG: (type $0 (func)) |
| |
| ;; CHECK-BIN-NODEBUG: (memory $0 1 1) |
| (memory $0 1 1) |
| |
| ;; CHECK-TEXT: (func $foo (type $0) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (i32.atomic.rmw.cmpxchg |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $foo (type $0) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (i32.atomic.rmw.cmpxchg |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $foo |
| (drop (i32.atomic.rmw.cmpxchg |
| (i32.const 0) |
| (i32.const 0) |
| (i32.const 0) |
| )) |
| ) |
| ) |
| ;; CHECK-BIN-NODEBUG: (func $0 (type $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.atomic.rmw.cmpxchg |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |