1; RUN: llc -filetype=obj %s -o - | llvm-dwarfdump -debug-dump=info - | FileCheck %s
2; RUN: llc -filetype=obj %s -regalloc=basic -o - | llvm-dwarfdump -debug-dump=info - | FileCheck %s
3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
4target triple = "x86_64-apple-darwin10.0.0"
5; Test that the type for the formal parameter "var" makes it into the debug info.
6; rdar://8950491
7
8;CHECK: DW_TAG_formal_parameter
9;CHECK-NEXT: DW_AT_location
10;CHECK-NEXT: DW_AT_name {{.*}} "var"
11;CHECK-NEXT: DW_AT_decl_file
12;CHECK-NEXT: DW_AT_decl_line
13;CHECK-NEXT: DW_AT_type
14
15@dfm = external global i32, align 4
16
17declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
18
19define i32 @foo(i32 %dev, i64 %cmd, i8* %data, i32 %data2) nounwind optsize ssp {
20entry:
21  call void @llvm.dbg.value(metadata i32 %dev, i64 0, metadata !12, metadata !MDExpression()), !dbg !13
22  %tmp.i = load i32, i32* @dfm, align 4, !dbg !14
23  %cmp.i = icmp eq i32 %tmp.i, 0, !dbg !14
24  br i1 %cmp.i, label %if.else, label %if.end.i, !dbg !14
25
26if.end.i:                                         ; preds = %entry
27  switch i64 %cmd, label %if.then [
28    i64 2147772420, label %bb.i
29    i64 536897538, label %bb116.i
30  ], !dbg !22
31
32bb.i:                                             ; preds = %if.end.i
33  unreachable
34
35bb116.i:                                          ; preds = %if.end.i
36  unreachable
37
38if.then:                                          ; preds = %if.end.i
39  ret i32 undef, !dbg !23
40
41if.else:                                          ; preds = %entry
42  ret i32 0
43}
44
45declare hidden fastcc i32 @bar(i32, i32* nocapture) nounwind optsize ssp
46declare hidden fastcc i32 @bar2(i32) nounwind optsize ssp
47declare hidden fastcc i32 @bar3(i32) nounwind optsize ssp
48declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
49
50!llvm.dbg.cu = !{!2}
51!llvm.module.flags = !{!29}
52
53!0 = !MDSubprogram(name: "foo", line: 19510, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 19510, file: !26, scope: !1, type: !3, function: i32 (i32, i64, i8*, i32)* @foo)
54!1 = !MDFile(filename: "/tmp/f.c", directory: "/tmp")
55!2 = !MDCompileUnit(language: DW_LANG_C99, producer: "clang version 2.9 (trunk 124753)", isOptimized: true, emissionKind: 0, file: !27, enums: !28, retainedTypes: !28, subprograms: !24, imports:  null)
56!3 = !MDSubroutineType(types: !4)
57!4 = !{!5}
58!5 = !MDBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
59!6 = !MDSubprogram(name: "bar3", line: 14827, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, file: !26, scope: !1, type: !3, function: i32 (i32)* @bar3)
60!7 = !MDSubprogram(name: "bar2", line: 15397, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, file: !26, scope: !1, type: !3, function: i32 (i32)* @bar2)
61!8 = !MDSubprogram(name: "bar", line: 12382, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, file: !26, scope: !1, type: !9, function: i32 (i32, i32*)* @bar)
62!9 = !MDSubroutineType(types: !10)
63!10 = !{!11}
64!11 = !MDBasicType(tag: DW_TAG_base_type, name: "unsigned char", size: 8, align: 8, encoding: DW_ATE_unsigned_char)
65!12 = !MDLocalVariable(tag: DW_TAG_arg_variable, name: "var", line: 19509, arg: 0, scope: !0, file: !1, type: !5)
66!13 = !MDLocation(line: 19509, column: 20, scope: !0)
67!14 = !MDLocation(line: 18091, column: 2, scope: !15, inlinedAt: !17)
68!15 = distinct !MDLexicalBlock(line: 18086, column: 1, file: !26, scope: !16)
69!16 = !MDSubprogram(name: "foo_bar", line: 18086, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, file: !26, scope: !1, type: !3)
70!17 = !MDLocation(line: 19514, column: 2, scope: !18)
71!18 = distinct !MDLexicalBlock(line: 19510, column: 1, file: !26, scope: !0)
72!22 = !MDLocation(line: 18094, column: 2, scope: !15, inlinedAt: !17)
73!23 = !MDLocation(line: 19524, column: 1, scope: !18)
74!24 = !{!0, !6, !7, !8, !16}
75!25 = !MDFile(filename: "f.i", directory: "/tmp")
76!26 = !MDFile(filename: "/tmp/f.c", directory: "/tmp")
77!27 = !MDFile(filename: "f.i", directory: "/tmp")
78!28 = !{}
79!29 = !{i32 1, !"Debug Info Version", i32 3}
80