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