1 // Verifies that pointer type membership tests for indirect calls are emitted.
7 // compile-flags: -Clto -Cno-prepopulate-passes -Zsanitizer=cfi
11 pub fn foo(f: fn(i32) -> i32, arg: i32) -> i32 {
12 // CHECK-LABEL: define{{.*}}foo{{.*}}!type !{{[0-9]+}}
14 // CHECK-NEXT: %0 = bitcast i32 (i32)* %f to i8*
15 // CHECK-NEXT: %1 = call i1 @llvm.type.test(i8* %0, metadata !"{{[[:print:]]+}}")
16 // CHECK-NEXT: br i1 %1, label %type_test.pass, label %type_test.fail
17 // CHECK: type_test.pass:
18 // CHECK-NEXT: %2 = call i32 %f(i32 %arg)
19 // CHECK-NEXT: br label %bb1
20 // CHECK: type_test.fail:
21 // CHECK-NEXT: call void @llvm.trap()
22 // CHECK-NEXT: unreachable