1; REQUIRES: aarch64-registered-target 2 3; RUN: opt -passes=lowertypetests %s -o %t.o 4; RUN: llvm-dis %t.o -o - | FileCheck %s --check-prefix=CHECK-foobar 5; CHECK-foobar: {{llvm.global.annotations = .*[foo|bar], .*[foo|bar],}} 6; RUN: llvm-dis %t.o -o - | FileCheck %s --check-prefix=CHECK-cfi 7; CHECK-cfi-NOT: {{llvm.global.annotations = .*cfi.*}} 8 9target triple = "aarch64-none-linux-gnu" 10 11@.src = private unnamed_addr constant [7 x i8] c"test.c\00", align 1 12@.str = private unnamed_addr constant [30 x i8] c"annotation_string_literal_bar\00", section "llvm.metadata" 13@.str.1 = private unnamed_addr constant [7 x i8] c"test.c\00", section "llvm.metadata" 14@.str.2 = private unnamed_addr constant [30 x i8] c"annotation_string_literal_foo\00", section "llvm.metadata" 15@llvm.global.annotations = appending global [2 x { ptr, ptr, ptr, i32, ptr }] [{ ptr, ptr, ptr, i32, ptr } { ptr @bar, ptr @.str, ptr @.str.1, i32 2, ptr null }, { ptr, ptr, ptr, i32, ptr } { ptr @foo, ptr @.str.2, ptr @.str.1, i32 1, ptr null }], section "llvm.metadata" 16 17define i32 @bar(i32 noundef %0) #0 !type !8 !type !9 { 18 %2 = alloca i32, align 4 19 store i32 %0, ptr %2, align 4 20 %3 = load i32, ptr %2, align 4 21 %4 = call i32 @foo(i32 noundef %3) 22 ret i32 %4 23} 24 25declare !type !8 !type !9 i32 @foo(i32 noundef) #1 26 27define i32 @test(i32 noundef %0) #0 !type !8 !type !9 { 28 %2 = alloca i32, align 4 29 %3 = alloca ptr, align 8 30 store i32 %0, ptr %2, align 4 31 %4 = load i32, ptr %2, align 4 32 %5 = icmp sgt i32 %4, 0 33 %6 = zext i1 %5 to i64 34 %7 = select i1 %5, ptr @foo, ptr @bar 35 store ptr %7, ptr %3, align 8 36 %8 = load ptr, ptr %3, align 8 37 %9 = call i1 @llvm.type.test(ptr %8, metadata !"_ZTSFiiE"), !nosanitize !10 38 br i1 %9, label %11, label %10, !nosanitize !10 39 4010: 41 call void @llvm.ubsantrap(i8 2) #4, !nosanitize !10 42 unreachable, !nosanitize !10 43 4411: 45 %12 = load i32, ptr %2, align 4 46 %13 = call i32 %8(i32 noundef %12) 47 ret i32 %13 48} 49 50declare i1 @llvm.type.test(ptr, metadata) 51declare void @llvm.ubsantrap(i8 immarg) 52 53attributes #0 = { noinline nounwind optnone uwtable "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+fp-armv8,+neon,+v8a,-fmv" } 54attributes #1 = { "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+fp-armv8,+neon,+v8a,-fmv" } 55attributes #4 = { noreturn nounwind } 56 57!llvm.module.flags = !{!0, !1, !2, !3, !4, !5, !6} 58 59!0 = !{i32 1, !"wchar_size", i32 4} 60!1 = !{i32 4, !"CFI Canonical Jump Tables", i32 0} 61!2 = !{i32 8, !"PIC Level", i32 2} 62!3 = !{i32 7, !"uwtable", i32 2} 63!4 = !{i32 7, !"frame-pointer", i32 1} 64!5 = !{i32 1, !"ThinLTO", i32 0} 65!6 = !{i32 1, !"EnableSplitLTOUnit", i32 1} 66!8 = !{i64 0, !"_ZTSFiiE"} 67!9 = !{i64 0, !"_ZTSFiiE.generalized"} 68!10 = !{} 69