1 ; RUN: llc -O1 -filetype=obj -o - %s | llvm-dwarfdump -all - | FileCheck %s 2 ; Generated with -O1 from: 3 ; int f1(); 4 ; void f2(int*); 5 ; int f3(int); 6 ; 7 ; int foo() { 8 ; int i = 3; 9 ; f3(i); 10 ; i = 7; 11 ; i = f1(); 12 ; f2(&i); 13 ; return 0; 14 ; } 15 ; 16 ; Test that we generate valid debug info for optimized code, 17 ; particularly variables that are described as constants and passed 18 ; by reference. 19 ; rdar://problem/14874886 20 ; 21 ; CHECK: .debug_info contents: 22 ; CHECK: DW_TAG_variable 23 ; CHECK-NOT: DW_TAG 24 ; CHECK: DW_AT_location {{.*}}({{.*}} 25 ; CHECK-NEXT: [0x{{0*.*}}, 0x[[C1:.*]]): DW_OP_consts +3 26 ; CHECK-NEXT: [0x[[C1]], 0x[[C2:.*]]): DW_OP_consts +7 27 ; CHECK-NEXT: [0x[[C2]], 0x[[R1:.*]]): DW_OP_reg0 RAX 28 ; CHECK-NEXT: [0x[[R1]], 0x[[R2:.*]]): DW_OP_breg7 RSP+4) 29 ; CHECK-NOT: DW_TAG 30 ; CHECK: DW_AT_name{{.*}}"i" 31 32 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 33 target triple = "x86_64-apple-macosx10.9.0" 34 35 ; Function Attrs: nounwind ssp uwtable 36 define i32 @foo() #0 !dbg !4 { 37 entry: 38 %i = alloca i32, align 4 39 call void @llvm.dbg.value(metadata i32 3, metadata !10, metadata !DIExpression()), !dbg !15 40 %call = call i32 @f3(i32 3) #3, !dbg !16 41 call void @llvm.dbg.value(metadata i32 7, metadata !10, metadata !DIExpression()), !dbg !18 42 %call1 = call i32 (...) @f1() #3, !dbg !19 43 call void @llvm.dbg.value(metadata i32 %call1, metadata !10, metadata !DIExpression()), !dbg !19 44 store i32 %call1, i32* %i, align 4, !dbg !19, !tbaa !20 45 call void @llvm.dbg.value(metadata i32* %i, metadata !10, metadata !DIExpression(DW_OP_deref)), !dbg !24 46 call void @f2(i32* %i) #3, !dbg !24 47 ret i32 0, !dbg !25 48 } 49 50 declare i32 @f3(i32) 51 52 declare i32 @f1(...) 53 54 declare void @f2(i32*) 55 56 ; Function Attrs: nounwind readnone 57 declare void @llvm.dbg.value(metadata, metadata, metadata) #2 58 59 attributes #0 = { nounwind ssp uwtable } 60 attributes #2 = { nounwind readnone } 61 attributes #3 = { nounwind } 62 63 !llvm.dbg.cu = !{!0} 64 !llvm.module.flags = !{!11, !12} 65 !llvm.ident = !{!13} 66 67 !0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 3.5.0 ", isOptimized: true, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !2, globals: !2, imports: !2) 68 !1 = !DIFile(filename: "dbg-value-const-byref.c", directory: "") 69 !2 = !{} 70 !4 = distinct !DISubprogram(name: "foo", line: 5, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: true, unit: !0, scopeLine: 5, file: !1, scope: !5, type: !6, retainedNodes: !9) 71 !5 = !DIFile(filename: "dbg-value-const-byref.c", directory: "") 72 !6 = !DISubroutineType(types: !7) 73 !7 = !{!8} 74 !8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 75 !9 = !{!10} 76 !10 = !DILocalVariable(name: "i", line: 6, scope: !4, file: !5, type: !8) 77 !11 = !{i32 2, !"Dwarf Version", i32 2} 78 !12 = !{i32 1, !"Debug Info Version", i32 3} 79 !13 = !{!"clang version 3.5.0 "} 80 !14 = !{i32 3} 81 !15 = !DILocation(line: 6, scope: !4) 82 !16 = !DILocation(line: 7, scope: !4) 83 !17 = !{i32 7} 84 !18 = !DILocation(line: 8, scope: !4) 85 !19 = !DILocation(line: 9, scope: !4) 86 !20 = !{!21, !21, i64 0} 87 !21 = !{!"int", !22, i64 0} 88 !22 = !{!"omnipotent char", !23, i64 0} 89 !23 = !{!"Simple C/C++ TBAA"} 90 !24 = !DILocation(line: 10, scope: !4) 91 !25 = !DILocation(line: 11, scope: !4) 92
