lld/test/ELF/lto/verify-invalid.ll

   1 ; REQUIRES: x86
   2 ; RUN: llvm-as %s -o %t.o
   3 ; RUN: env LLD_IN_TEST=1 ld.lld %t.o -o %t2 --lto-debug-pass-manager \
   4 ; RUN:   2>&1 | FileCheck -check-prefix=DEFAULT-NPM %s
   5 ; RUN: env LLD_IN_TEST=1 ld.lld %t.o -o %t2 --lto-debug-pass-manager \
   6 ; RUN:   -disable-verify 2>&1 | FileCheck -check-prefix=DISABLE-NPM %s
   7 ; RUN: env LLD_IN_TEST=1 ld.lld %t.o -o %t2 --lto-debug-pass-manager \
   8 ; RUN:   --plugin-opt=disable-verify 2>&1 | FileCheck -check-prefix=DISABLE-NPM %s
   9
  10 target triple = "x86_64-unknown-linux-gnu"
  11 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  12
  13 define void @_start() {
  14   ret void
  15 }
  16
  17 ; -disable-verify should disable the verification of bitcode.
  18 ; DEFAULT-NPM: Running pass: VerifierPass
  19 ; DEFAULT-NPM: Running pass: VerifierPass
  20 ; DEFAULT-NPM-NOT: Running pass: VerifierPass
  21 ; DISABLE-NPM-NOT: Running pass: VerifierPass