llvm/test/Verifier/force-opaque-ptr.ll

   1 ; RUN: not opt -passes=verify -opaque-pointers -S < %s 2>&1 | FileCheck %s
   2
   3 declare i32 @llvm.umax.i32(i32, i32)
   4
   5 define void @intrinsic_signature_mismatch() {
   6 ; CHECK: Intrinsic called with incompatible signature
   7   call i32 @llvm.umax.i32(i32 0)
   8   ret void
   9 }