[NaryReassociate] Improve test CHECK
[oota-llvm.git] / test / DebugInfo / cu-ranges.ll
1 ; REQUIRES: object-emission
2 ; RUN: %llc_dwarf -O0 -filetype=obj %s -o %t
3 ; RUN: llvm-dwarfdump %t | FileCheck %s
4
5 ; Check that we emit ranges for this which has a non-traditional section and a normal section.
6
7 ; CHECK: DW_TAG_compile_unit
8 ; CHECK: DW_AT_ranges
9 ; CHECK: DW_TAG_subprogram
10 ; CHECK: DW_AT_low_pc
11 ; CHECK: DW_AT_high_pc
12 ; CHECK: DW_TAG_subprogram
13 ; CHECK: DW_AT_low_pc
14 ; CHECK: DW_AT_high_pc
15
16 ; CHECK: .debug_ranges contents:
17 ; FIXME: When we get better dumping facilities we'll want to elaborate here.
18 ; CHECK: 00000000 <End of list>
19
20 ; Function Attrs: nounwind uwtable
21 define i32 @foo(i32 %a) #0 section "__TEXT,__foo" {
22 entry:
23   %a.addr = alloca i32, align 4
24   store i32 %a, i32* %a.addr, align 4
25   call void @llvm.dbg.declare(metadata i32* %a.addr, metadata !13, metadata !DIExpression()), !dbg !14
26   %0 = load i32, i32* %a.addr, align 4, !dbg !15
27   %add = add nsw i32 %0, 5, !dbg !15
28   ret i32 %add, !dbg !15
29 }
30
31 ; Function Attrs: nounwind readnone
32 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
33
34 ; Function Attrs: nounwind uwtable
35 define i32 @bar(i32 %a) #0 {
36 entry:
37   %a.addr = alloca i32, align 4
38   store i32 %a, i32* %a.addr, align 4
39   call void @llvm.dbg.declare(metadata i32* %a.addr, metadata !16, metadata !DIExpression()), !dbg !17
40   %0 = load i32, i32* %a.addr, align 4, !dbg !18
41   %add = add nsw i32 %0, 5, !dbg !18
42   ret i32 %add, !dbg !18
43 }
44
45 attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
46 attributes #1 = { nounwind readnone }
47
48 !llvm.dbg.cu = !{!0}
49 !llvm.module.flags = !{!10, !11}
50 !llvm.ident = !{!12}
51
52 !0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 3.5.0 (trunk 204164) (llvm/trunk 204183)", isOptimized: false, emissionKind: 1, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2)
53 !1 = !DIFile(filename: "foo.c", directory: "/usr/local/google/home/echristo")
54 !2 = !{}
55 !3 = !{!4, !9}
56 !4 = distinct !DISubprogram(name: "foo", line: 1, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 1, file: !1, scope: !5, type: !6, function: i32 (i32)* @foo, variables: !2)
57 !5 = !DIFile(filename: "foo.c", directory: "/usr/local/google/home/echristo")
58 !6 = !DISubroutineType(types: !7)
59 !7 = !{!8, !8}
60 !8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
61 !9 = distinct !DISubprogram(name: "bar", line: 5, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 5, file: !1, scope: !5, type: !6, function: i32 (i32)* @bar, variables: !2)
62 !10 = !{i32 2, !"Dwarf Version", i32 4}
63 !11 = !{i32 1, !"Debug Info Version", i32 3}
64 !12 = !{!"clang version 3.5.0 (trunk 204164) (llvm/trunk 204183)"}
65 !13 = !DILocalVariable(name: "a", line: 1, arg: 1, scope: !4, file: !5, type: !8)
66 !14 = !DILocation(line: 1, scope: !4)
67 !15 = !DILocation(line: 2, scope: !4)
68 !16 = !DILocalVariable(name: "a", line: 5, arg: 1, scope: !9, file: !5, type: !8)
69 !17 = !DILocation(line: 5, scope: !9)
70 !18 = !DILocation(line: 6, scope: !9)
71