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