diff options
Diffstat (limited to 'lld/test/wasm/lto/verify-invalid.ll')
| -rw-r--r-- | lld/test/wasm/lto/verify-invalid.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/lld/test/wasm/lto/verify-invalid.ll b/lld/test/wasm/lto/verify-invalid.ll new file mode 100644 index 00000000000..c4a5bcdc67d --- /dev/null +++ b/lld/test/wasm/lto/verify-invalid.ll @@ -0,0 +1,16 @@ +; RUN: llvm-as %s -o %t.o +; RUN: wasm-ld %t.o -o %t2 -mllvm -debug-pass=Arguments \ +; RUN: 2>&1 | FileCheck -check-prefix=DEFAULT %s +; RUN: wasm-ld %t.o -o %t2 -mllvm -debug-pass=Arguments \ +; RUN: -disable-verify 2>&1 | FileCheck -check-prefix=DISABLE %s + +target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" +target triple = "wasm32-unknown-unknown" + +define void @_start() { + ret void +} + +; -disable-verify should disable the verification of bitcode. +; DEFAULT: Pass Arguments: {{.*}} -verify {{.*}} -verify +; DISABLE-NOT: Pass Arguments: {{.*}} -verify {{.*}} -verify |
