92 lines · plain
1; RUN: llc -O1 -filetype=obj -o - %s | llvm-dwarfdump -all - | FileCheck %s2; 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 passed18; by reference.19; rdar://problem/1487488620;21; CHECK: .debug_info contents:22; CHECK: DW_TAG_variable23; CHECK-NOT: DW_TAG24; CHECK: DW_AT_location {{.*}}({{.*}}25; CHECK-NEXT: [0x{{0*.*}}, 0x[[C1:.*]]): DW_OP_consts +326; CHECK-NEXT: [0x[[C1]], 0x[[C2:.*]]): DW_OP_consts +727; CHECK-NEXT: [0x[[C2]], 0x[[R1:.*]]): DW_OP_reg0 RAX28; CHECK-NEXT: [0x[[R1]], 0x[[R2:.*]]): DW_OP_breg7 RSP+4)29; CHECK-NOT: DW_TAG30; 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 uwtable36define i32 @foo() #0 !dbg !4 {37entry:38 %i = alloca i32, align 439 call void @llvm.dbg.value(metadata i32 3, metadata !10, metadata !DIExpression()), !dbg !1540 %call = call i32 @f3(i32 3) #3, !dbg !1641 call void @llvm.dbg.value(metadata i32 7, metadata !10, metadata !DIExpression()), !dbg !1842 %call1 = call i32 (...) @f1() #3, !dbg !1943 call void @llvm.dbg.value(metadata i32 %call1, metadata !10, metadata !DIExpression()), !dbg !1944 store i32 %call1, ptr %i, align 4, !dbg !19, !tbaa !2045 call void @llvm.dbg.value(metadata ptr %i, metadata !10, metadata !DIExpression(DW_OP_deref)), !dbg !2446 call void @f2(ptr %i) #3, !dbg !2447 ret i32 0, !dbg !2548}49 50declare i32 @f3(i32)51 52declare i32 @f1(...)53 54declare void @f2(ptr)55 56; Function Attrs: nounwind readnone57declare void @llvm.dbg.value(metadata, metadata, metadata) #258 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