IR: Give 'DI' prefix to debug info metadata
[oota-llvm.git] / test / DebugInfo / ARM / s-super-register.ll
1 ; RUN: llc < %s - -filetype=obj | llvm-dwarfdump -debug-dump=loc - | FileCheck %s
2 target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:32:64-v128:32:128-a0:0:32-n32"
3 target triple = "thumbv7-apple-macosx10.6.7"
4
5 ; The S registers on ARM are expressed as pieces of their super-registers in DWARF.
6 ;
7 ; 0x90   DW_OP_regx of super-register
8 ; 0x93   DW_OP_piece
9 ; 0x9d   DW_OP_bit_piece
10 ; CHECK:            Location description: 90 {{.. .. ((93 ..)|(9d .. ..)) $}}
11
12 define void @_Z3foov() optsize ssp {
13 entry:
14   %call = tail call float @_Z3barv() optsize, !dbg !11
15   tail call void @llvm.dbg.value(metadata float %call, i64 0, metadata !5, metadata !DIExpression()), !dbg !11
16   %call16 = tail call float @_Z2f2v() optsize, !dbg !12
17   %cmp7 = fcmp olt float %call, %call16, !dbg !12
18   br i1 %cmp7, label %for.body, label %for.end, !dbg !12
19
20 for.body:                                         ; preds = %entry, %for.body
21   %k.08 = phi float [ %inc, %for.body ], [ %call, %entry ]
22   %call4 = tail call float @_Z2f3f(float %k.08) optsize, !dbg !13
23   %inc = fadd float %k.08, 1.000000e+00, !dbg !14
24   %call1 = tail call float @_Z2f2v() optsize, !dbg !12
25   %cmp = fcmp olt float %inc, %call1, !dbg !12
26   br i1 %cmp, label %for.body, label %for.end, !dbg !12
27
28 for.end:                                          ; preds = %for.body, %entry
29   ret void, !dbg !15
30 }
31
32 declare float @_Z3barv() optsize
33
34 declare float @_Z2f2v() optsize
35
36 declare float @_Z2f3f(float) optsize
37
38 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
39
40 !llvm.dbg.cu = !{!0}
41 !llvm.module.flags = !{!20}
42
43 !0 = !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.0 (trunk 130845)", isOptimized: true, emissionKind: 1, file: !18, enums: !19, retainedTypes: !19, subprograms: !16, imports:  null)
44 !1 = !DISubprogram(name: "foo", linkageName: "_Z3foov", line: 5, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 5, file: !18, scope: !2, type: !3, function: void ()* @_Z3foov, variables: !17)
45 !2 = !DIFile(filename: "k.cc", directory: "/private/tmp")
46 !3 = !DISubroutineType(types: !4)
47 !4 = !{null}
48 !5 = !DILocalVariable(tag: DW_TAG_auto_variable, name: "k", line: 6, scope: !6, file: !2, type: !7)
49 !6 = distinct !DILexicalBlock(line: 5, column: 12, file: !18, scope: !1)
50 !7 = !DIBasicType(tag: DW_TAG_base_type, name: "float", size: 32, align: 32, encoding: DW_ATE_float)
51 !8 = !DILocalVariable(tag: DW_TAG_auto_variable, name: "y", line: 8, scope: !9, file: !2, type: !7)
52 !9 = distinct !DILexicalBlock(line: 7, column: 25, file: !18, scope: !10)
53 !10 = distinct !DILexicalBlock(line: 7, column: 3, file: !18, scope: !6)
54 !11 = !DILocation(line: 6, column: 18, scope: !6)
55 !12 = !DILocation(line: 7, column: 3, scope: !6)
56 !13 = !DILocation(line: 8, column: 20, scope: !9)
57 !14 = !DILocation(line: 7, column: 20, scope: !10)
58 !15 = !DILocation(line: 10, column: 1, scope: !6)
59 !16 = !{!1}
60 !17 = !{!5, !8}
61 !18 = !DIFile(filename: "k.cc", directory: "/private/tmp")
62 !19 = !{}
63 !20 = !{i32 1, !"Debug Info Version", i32 3}