1; RUN: llc < %s | FileCheck %s 2; Test to check argument y's debug info uses FI 3; Radar 10048772 4target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n32" 5target triple = "thumbv7-apple-ios" 6 7%struct.tag_s = type { i32, i32, i32 } 8 9define void @foo(%struct.tag_s* nocapture %this, %struct.tag_s* %c, i64 %x, i64 %y, %struct.tag_s* nocapture %ptr1, %struct.tag_s* nocapture %ptr2) nounwind ssp "no-frame-pointer-elim"="true" !dbg !1 { 10 tail call void @llvm.dbg.value(metadata %struct.tag_s* %this, metadata !5, metadata !DIExpression()), !dbg !20 11 tail call void @llvm.dbg.value(metadata %struct.tag_s* %c, metadata !13, metadata !DIExpression()), !dbg !21 12 tail call void @llvm.dbg.value(metadata i64 %x, metadata !14, metadata !DIExpression()), !dbg !22 13 tail call void @llvm.dbg.value(metadata i64 %y, metadata !17, metadata !DIExpression()), !dbg !23 14;CHECK: @DEBUG_VALUE: foo:y <- [DW_OP_plus_uconst 8] [$r7+0] 15 tail call void @llvm.dbg.value(metadata %struct.tag_s* %ptr1, metadata !18, metadata !DIExpression()), !dbg !24 16 tail call void @llvm.dbg.value(metadata %struct.tag_s* %ptr2, metadata !19, metadata !DIExpression()), !dbg !25 17 %1 = icmp eq %struct.tag_s* %c, null, !dbg !26 18 br i1 %1, label %3, label %2, !dbg !26 19 20; <label>:2 ; preds = %0 21 tail call void @foobar(i64 %x, i64 %y) nounwind, !dbg !28 22 br label %3, !dbg !28 23 24; <label>:3 ; preds = %0, %2 25 ret void, !dbg !29 26} 27 28declare void @foobar(i64, i64) 29 30declare void @llvm.dbg.value(metadata, metadata, metadata) nounwind readnone 31 32!llvm.dbg.cu = !{!0} 33!llvm.module.flags = !{!33} 34 35!0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "Apple clang version 3.0 (tags/Apple/clang-211.10.1) (based on LLVM 3.0svn)", isOptimized: true, emissionKind: FullDebug, file: !32, enums: !{}, retainedTypes: !{}, imports: null) 36!1 = distinct !DISubprogram(name: "foo", line: 11, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 11, file: !2, scope: !2, type: !3, retainedNodes: !31) 37!2 = !DIFile(filename: "one.c", directory: "/Volumes/Athwagate/R10048772") 38!3 = !DISubroutineType(types: !4) 39!4 = !{null} 40!5 = !DILocalVariable(name: "this", line: 11, arg: 1, scope: !1, file: !2, type: !6) 41!6 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 32, align: 32, scope: !0, baseType: !7) 42!7 = !DICompositeType(tag: DW_TAG_structure_type, name: "tag_s", line: 5, size: 96, align: 32, file: !32, scope: !0, elements: !8) 43!8 = !{!9, !11, !12} 44!9 = !DIDerivedType(tag: DW_TAG_member, name: "x", line: 6, size: 32, align: 32, file: !32, scope: !7, baseType: !10) 45!10 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 46!11 = !DIDerivedType(tag: DW_TAG_member, name: "y", line: 7, size: 32, align: 32, offset: 32, file: !32, scope: !7, baseType: !10) 47!12 = !DIDerivedType(tag: DW_TAG_member, name: "z", line: 8, size: 32, align: 32, offset: 64, file: !32, scope: !7, baseType: !10) 48!13 = !DILocalVariable(name: "c", line: 11, arg: 2, scope: !1, file: !2, type: !6) 49!14 = !DILocalVariable(name: "x", line: 11, arg: 3, scope: !1, file: !2, type: !15) 50!15 = !DIDerivedType(tag: DW_TAG_typedef, name: "UInt64", line: 1, file: !32, scope: !0, baseType: !16) 51!16 = !DIBasicType(tag: DW_TAG_base_type, name: "long long unsigned int", size: 64, align: 32, encoding: DW_ATE_unsigned) 52!17 = !DILocalVariable(name: "y", line: 11, arg: 4, scope: !1, file: !2, type: !15) 53!18 = !DILocalVariable(name: "ptr1", line: 11, arg: 5, scope: !1, file: !2, type: !6) 54!19 = !DILocalVariable(name: "ptr2", line: 11, arg: 6, scope: !1, file: !2, type: !6) 55!20 = !DILocation(line: 11, column: 24, scope: !1) 56!21 = !DILocation(line: 11, column: 44, scope: !1) 57!22 = !DILocation(line: 11, column: 54, scope: !1) 58!23 = !DILocation(line: 11, column: 64, scope: !1) 59!24 = !DILocation(line: 11, column: 81, scope: !1) 60!25 = !DILocation(line: 11, column: 101, scope: !1) 61!26 = !DILocation(line: 12, column: 3, scope: !27) 62!27 = distinct !DILexicalBlock(line: 11, column: 107, file: !2, scope: !1) 63!28 = !DILocation(line: 13, column: 5, scope: !27) 64!29 = !DILocation(line: 14, column: 1, scope: !27) 65!31 = !{!5, !13, !14, !17, !18, !19} 66!32 = !DIFile(filename: "one.c", directory: "/Volumes/Athwagate/R10048772") 67!33 = !{i32 1, !"Debug Info Version", i32 3} 68