1 ; RUN: llc -O1 -filetype=obj -o - %s | llvm-dwarfdump -debug-dump=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 [DW_FORM_data4] ([[LOC:.*]]) 25 ; CHECK-NOT: DW_TAG 26 ; CHECK: DW_AT_name{{.*}}"i" 27 ; CHECK: .debug_loc contents: 28 ; CHECK: [[LOC]]: 29 ; consts 0x00000003 30 ; CHECK: Beginning address offset: 0x0000000000000{{.*}} 31 ; CHECK: Ending address offset: [[C1:.*]] 32 ; CHECK: Location description: 11 03 33 ; consts 0x00000007 34 ; CHECK: Beginning address offset: [[C1]] 35 ; CHECK: Ending address offset: [[C2:.*]] 36 ; CHECK: Location description: 11 07 37 ; rax, piece 0x00000004 38 ; CHECK: Beginning address offset: [[C2]] 39 ; CHECK: Ending address offset: [[R1:.*]] 40 ; CHECK: Location description: 50 93 04 41 ; rdi+0 42 ; CHECK: Beginning address offset: [[R1]] 43 ; CHECK: Ending address offset: [[R2:.*]] 44 ; CHECK: Location description: 75 00 45 ; 46 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 47 target triple = "x86_64-apple-macosx10.9.0" 48 49 ; Function Attrs: nounwind ssp uwtable 50 define i32 @foo() #0 !dbg !4 { 51 entry: 52 %i = alloca i32, align 4 53 call void @llvm.dbg.value(metadata i32 3, i64 0, metadata !10, metadata !DIExpression()), !dbg !15 54 %call = call i32 @f3(i32 3) #3, !dbg !16 55 call void @llvm.dbg.value(metadata i32 7, i64 0, metadata !10, metadata !DIExpression()), !dbg !18 56 %call1 = call i32 (...) @f1() #3, !dbg !19 57 call void @llvm.dbg.value(metadata i32 %call1, i64 0, metadata !10, metadata !DIExpression()), !dbg !19 58 store i32 %call1, i32* %i, align 4, !dbg !19, !tbaa !20 59 call void @llvm.dbg.value(metadata i32* %i, i64 0, metadata !10, metadata !DIExpression(DW_OP_deref)), !dbg !24 60 call void @f2(i32* %i) #3, !dbg !24 61 ret i32 0, !dbg !25 62 } 63 64 declare i32 @f3(i32) 65 66 declare i32 @f1(...) 67 68 declare void @f2(i32*) 69 70 ; Function Attrs: nounwind readnone 71 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2 72 73 attributes #0 = { nounwind ssp uwtable } 74 attributes #2 = { nounwind readnone } 75 attributes #3 = { nounwind } 76 77 !llvm.dbg.cu = !{!0} 78 !llvm.module.flags = !{!11, !12} 79 !llvm.ident = !{!13} 80 81 !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) 82 !1 = !DIFile(filename: "dbg-value-const-byref.c", directory: "") 83 !2 = !{} 84 !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, variables: !9) 85 !5 = !DIFile(filename: "dbg-value-const-byref.c", directory: "") 86 !6 = !DISubroutineType(types: !7) 87 !7 = !{!8} 88 !8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 89 !9 = !{!10} 90 !10 = !DILocalVariable(name: "i", line: 6, scope: !4, file: !5, type: !8) 91 !11 = !{i32 2, !"Dwarf Version", i32 2} 92 !12 = !{i32 1, !"Debug Info Version", i32 3} 93 !13 = !{!"clang version 3.5.0 "} 94 !14 = !{i32 3} 95 !15 = !DILocation(line: 6, scope: !4) 96 !16 = !DILocation(line: 7, scope: !4) 97 !17 = !{i32 7} 98 !18 = !DILocation(line: 8, scope: !4) 99 !19 = !DILocation(line: 9, scope: !4) 100 !20 = !{!21, !21, i64 0} 101 !21 = !{!"int", !22, i64 0} 102 !22 = !{!"omnipotent char", !23, i64 0} 103 !23 = !{!"Simple C/C++ TBAA"} 104 !24 = !DILocation(line: 10, scope: !4) 105 !25 = !DILocation(line: 11, scope: !4) 106
