summaryrefslogtreecommitdiff
path: root/llvm/test/Verifier/force-opaque-ptr.ll
blob: 7347d2d5ca80d7c19e79f4f3196f3847a0dffb04 (plain)
1
2
3
4
5
6
7
8
9
; RUN: not opt -passes=verify -opaque-pointers -S < %s 2>&1 | FileCheck %s

declare i32 @llvm.umax.i32(i32, i32)

define void @intrinsic_signature_mismatch() {
; CHECK: Intrinsic called with incompatible signature
  call i32 @llvm.umax.i32(i32 0)
  ret void
}