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 32target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 33target triple = "x86_64-apple-macosx10.9.0" 34 35; Function Attrs: nounwind ssp uwtable 36define i32 @foo() #0 !dbg !4 { 37entry: 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 50declare i32 @f3(i32) 51 52declare i32 @f1(...) 53 54declare void @f2(i32*) 55 56; Function Attrs: nounwind readnone 57declare void @llvm.dbg.value(metadata, metadata, metadata) #2 58 59attributes #0 = { nounwind ssp uwtable } 60attributes #2 = { nounwind readnone } 61attributes #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