Use -O2

Author: thurstond

clang/test/CodeGen/cfi-check-fail-debuginfo.c

@@ -1,47 +1,45 @@
 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5
-// RUN: %clang_cc1 -triple x86_64-unknown-linux -O0 -fsanitize-cfi-cross-dso \
+// RUN: %clang_cc1 -triple x86_64-unknown-linux -O2 -fsanitize-cfi-cross-dso \
 // RUN:     -fsanitize=cfi-icall,cfi-nvcall,cfi-vcall,cfi-unrelated-cast,cfi-derived-cast \
 // RUN:     -fsanitize-trap=cfi-icall,cfi-nvcall -fsanitize-recover=cfi-vcall,cfi-unrelated-cast \
 // RUN:     -fsanitize-annotate-debug-info=cfi-icall,cfi-nvcall,cfi-vcall,cfi-unrelated-cast,cfi-derived-cast \
 // RUN:     -fdebug-prefix-map=%S/= -fno-ident -fdebug-compilation-dir=%S -debug-info-kind=limited \
 // RUN:     -emit-llvm -o - %s | FileCheck %s
 
 // CHECK-LABEL: define dso_local void @caller(
-// CHECK-SAME: ptr noundef [[F:%.*]]) #[[ATTR0:[0-9]+]] !dbg [[DBG6:![0-9]+]] !type [[META14:![0-9]+]] !type [[META15:![0-9]+]] !type [[META16:![0-9]+]] {
+// CHECK-SAME: ptr noundef [[F:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] !dbg [[DBG7:![0-9]+]] !type [[META16:![0-9]+]] !type [[META17:![0-9]+]] !type [[META18:![0-9]+]] {
 // CHECK-NEXT:  [[ENTRY:.*:]]
-// CHECK-NEXT:    [[F_ADDR:%.*]] = alloca ptr, align 8
-// CHECK-NEXT:    store ptr [[F]], ptr [[F_ADDR]], align 8
-// CHECK-NEXT:      #dbg_declare(ptr [[F_ADDR]], [[META17:![0-9]+]], !DIExpression(), [[META18:![0-9]+]])
-// CHECK-NEXT:    [[TMP0:%.*]] = load ptr, ptr [[F_ADDR]], align 8, !dbg [[DBG19:![0-9]+]]
-// CHECK-NEXT:    [[TMP1:%.*]] = call i1 @llvm.type.test(ptr [[TMP0]], metadata !"_ZTSFvvE"), !dbg [[DBG19]], !nosanitize [[META13:![0-9]+]]
-// CHECK-NEXT:    br i1 [[TMP1]], label %[[CFI_CONT:.*]], label %[[CFI_SLOWPATH:.*]], !dbg [[DBG19]], !prof [[PROF20:![0-9]+]], !nosanitize [[META13]]
+// CHECK-NEXT:      #dbg_value(ptr [[F]], [[META15:![0-9]+]], !DIExpression(), [[META19:![0-9]+]])
+// CHECK-NEXT:    [[TMP0:%.*]] = tail call i1 @llvm.type.test(ptr [[F]], metadata !"_ZTSFvvE"), !dbg [[DBG20:![0-9]+]], !nosanitize [[META21:![0-9]+]]
+// CHECK-NEXT:    br i1 [[TMP0]], label %[[CFI_CONT:.*]], label %[[CFI_SLOWPATH:.*]], !dbg [[DBG20]], !prof [[PROF22:![0-9]+]], !nosanitize [[META21]]
 // CHECK:       [[CFI_SLOWPATH]]:
-// CHECK-NEXT:    call void @__cfi_slowpath(i64 9080559750644022485, ptr [[TMP0]]) #[[ATTR7:[0-9]+]], !dbg [[DBG19]], !nosanitize [[META13]]
-// CHECK-NEXT:    br label %[[CFI_CONT]], !dbg [[DBG19]], !nosanitize [[META13]]
+// CHECK-NEXT:    tail call void @__cfi_slowpath(i64 9080559750644022485, ptr [[F]]) #[[ATTR6:[0-9]+]], !dbg [[DBG20]], !nosanitize [[META21]]
+// CHECK-NEXT:    br label %[[CFI_CONT]], !dbg [[DBG20]], !nosanitize [[META21]]
 // CHECK:       [[CFI_CONT]]:
-// CHECK-NEXT:    call void [[TMP0]](), !dbg [[DBG19]]
-// CHECK-NEXT:    ret void, !dbg [[DBG21:![0-9]+]]
+// CHECK-NEXT:    tail call void [[F]]() #[[ATTR6]], !dbg [[DBG20]]
+// CHECK-NEXT:    ret void, !dbg [[DBG23:![0-9]+]]
 //
 void caller(void (*f)(void)) {
   f();
 }
 //.
-// CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C11, file: [[META1:![0-9]+]], isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
+// CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C11, file: [[META1:![0-9]+]], isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
 // CHECK: [[META1]] = !DIFile(filename: "{{.*}}<stdin>", directory: {{.*}})
-// CHECK: [[DBG6]] = distinct !DISubprogram(name: "caller", scope: [[META7:![0-9]+]], file: [[META7]], line: 8, type: [[META8:![0-9]+]], scopeLine: 8, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: [[META0]], retainedNodes: [[META13]])
-// CHECK: [[META7]] = !DIFile(filename: "{{.*}}cfi-check-fail-debuginfo.c", directory: {{.*}})
-// CHECK: [[META8]] = !DISubroutineType(types: [[META9:![0-9]+]])
-// CHECK: [[META9]] = !{null, [[META10:![0-9]+]]}
-// CHECK: [[META10]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: [[META11:![0-9]+]], size: 64)
-// CHECK: [[META11]] = !DISubroutineType(types: [[META12:![0-9]+]])
-// CHECK: [[META12]] = !{null}
-// CHECK: [[META13]] = !{}
-// CHECK: [[META14]] = !{i64 0, !"_ZTSFvPFvvEE"}
-// CHECK: [[META15]] = !{i64 0, !"_ZTSFvPvE.generalized"}
-// CHECK: [[META16]] = !{i64 0, i64 2451761621477796417}
-// CHECK: [[META17]] = !DILocalVariable(name: "f", arg: 1, scope: [[DBG6]], file: [[META7]], line: 8, type: [[META10]])
-// CHECK: [[META18]] = !DILocation(line: 8, column: 20, scope: [[DBG6]])
-// CHECK: [[DBG19]] = !DILocation(line: 9, column: 3, scope: [[DBG6]])
-// CHECK: [[PROF20]] = !{!"branch_weights", i32 1048575, i32 1}
-// CHECK: [[DBG21]] = !DILocation(line: 10, column: 1, scope: [[DBG6]])
+// CHECK: [[DBG7]] = distinct !DISubprogram(name: "caller", scope: [[META8:![0-9]+]], file: [[META8]], line: 25, type: [[META9:![0-9]+]], scopeLine: 25, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: [[META0]], retainedNodes: [[META14:![0-9]+]])
+// CHECK: [[META8]] = !DIFile(filename: "{{.*}}cfi-check-fail-debuginfo.c", directory: {{.*}})
+// CHECK: [[META9]] = !DISubroutineType(types: [[META10:![0-9]+]])
+// CHECK: [[META10]] = !{null, [[META11:![0-9]+]]}
+// CHECK: [[META11]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: [[META12:![0-9]+]], size: 64)
+// CHECK: [[META12]] = !DISubroutineType(types: [[META13:![0-9]+]])
+// CHECK: [[META13]] = !{null}
+// CHECK: [[META14]] = !{[[META15]]}
+// CHECK: [[META15]] = !DILocalVariable(name: "f", arg: 1, scope: [[DBG7]], file: [[META8]], line: 25, type: [[META11]])
+// CHECK: [[META16]] = !{i64 0, !"_ZTSFvPFvvEE"}
+// CHECK: [[META17]] = !{i64 0, !"_ZTSFvPvE.generalized"}
+// CHECK: [[META18]] = !{i64 0, i64 2451761621477796417}
+// CHECK: [[META19]] = !DILocation(line: 0, scope: [[DBG7]])
+// CHECK: [[DBG20]] = !DILocation(line: 26, column: 3, scope: [[DBG7]])
+// CHECK: [[META21]] = !{}
+// CHECK: [[PROF22]] = !{!"branch_weights", i32 1048575, i32 1}
+// CHECK: [[DBG23]] = !DILocation(line: 27, column: 1, scope: [[DBG7]])
 //.