1; RUN: sed -e s/.T1:// %s | not opt -passes=lint -disable-output 2>&1 | FileCheck --check-prefix=CHECK1 %s 2; RUN: sed -e s/.T2:// %s | not opt -passes=lint -disable-output 2>&1 | FileCheck --check-prefix=CHECK2 %s 3 4target triple = "x86_64-pc-windows-msvc" 5 6declare void @f() 7 8;T1: declare ptr @llvm.eh.exceptionpointer.p0(i32) 9;T1: 10;T1: define void @test1() personality ptr @__CxxFrameHandler3 { 11;T1: call ptr @llvm.eh.exceptionpointer.p0(i32 0) 12;T1: ret void 13;T1: } 14;CHECK1: Intrinsic has incorrect argument type! 15;CHECK1-NEXT: ptr @llvm.eh.exceptionpointer.p0 16 17;T2: declare ptr @llvm.eh.exceptionpointer.p0(token) 18;T2: 19;T2: define void @test2() personality ptr @__CxxFrameHandler3 { 20;T2: call ptr @llvm.eh.exceptionpointer.p0(token undef) 21;T2: ret void 22;T2: } 23;CHECK2: eh.exceptionpointer argument must be a catchpad 24;CHECK2-NEXT: call ptr @llvm.eh.exceptionpointer.p0(token undef) 25 26declare i32 @__CxxFrameHandler3(...) 27