aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Verifier/force-opaque-ptr.ll
blob: 01b22583e1a37ccc0159c899c6e31b21bda1e14b (plain)
1
2
3
4
5
6
7
8
9
; RUN: not opt -passes=verify -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
}