DebugInfo: Use DW_FORM_data4 for DW_AT_high_pc in DW_TAG_lexical_blocks
[oota-llvm.git] / test / DebugInfo / X86 / lexical_block.ll
1 ; REQUIRES: object-emission
2
3 ; RUN: llc -mtriple=x86_64-linux -O0 -filetype=obj < %s \
4 ; RUN:     | llvm-dwarfdump -debug-dump=info - | FileCheck %s
5
6 ; CHECK: DW_TAG_lexical_block
7 ; CHECK-NEXT: DW_AT_low_pc [DW_FORM_addr]
8 ; CHECK-NEXT: DW_AT_high_pc [DW_FORM_data4]
9
10 ; Test case produced from:
11 ; void b() {
12 ;   if (int i = 3)
13 ;     return;
14 ; }
15
16 ; Function Attrs: nounwind uwtable
17 define void @_Z1bv() #0 {
18 entry:
19   %i = alloca i32, align 4
20   call void @llvm.dbg.declare(metadata !{i32* %i}, metadata !11), !dbg !14
21   store i32 3, i32* %i, align 4, !dbg !14
22   %0 = load i32* %i, align 4, !dbg !14
23   %tobool = icmp ne i32 %0, 0, !dbg !14
24   br i1 %tobool, label %if.then, label %if.end, !dbg !14
25
26 if.then:                                          ; preds = %entry
27   br label %if.end, !dbg !15
28
29 if.end:                                           ; preds = %if.then, %entry
30   ret void, !dbg !16
31 }
32
33 ; Function Attrs: nounwind readnone
34 declare void @llvm.dbg.declare(metadata, metadata) #1
35
36 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" }
37 attributes #1 = { nounwind readnone }
38
39 !llvm.dbg.cu = !{!0}
40 !llvm.module.flags = !{!8, !9}
41 !llvm.ident = !{!10}
42
43 !0 = metadata !{i32 786449, metadata !1, i32 4, metadata !"clang version 3.5.0 ", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !"", i32 1} ; [ DW_TAG_compile_unit ] [/tmp/dbginfo/lexical_block.cpp] [DW_LANG_C_plus_plus]
44 !1 = metadata !{metadata !"lexical_block.cpp", metadata !"/tmp/dbginfo"}
45 !2 = metadata !{}
46 !3 = metadata !{metadata !4}
47 !4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"b", metadata !"b", metadata !"_Z1bv", i32 1, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, void ()* @_Z1bv, null, null, metadata !2, i32 1} ; [ DW_TAG_subprogram ] [line 1] [def] [b]
48 !5 = metadata !{i32 786473, metadata !1}          ; [ DW_TAG_file_type ] [/tmp/dbginfo/lexical_block.cpp]
49 !6 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !7, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
50 !7 = metadata !{null}
51 !8 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
52 !9 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
53 !10 = metadata !{metadata !"clang version 3.5.0 "}
54 !11 = metadata !{i32 786688, metadata !12, metadata !"i", metadata !5, i32 2, metadata !13, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [i] [line 2]
55 !12 = metadata !{i32 786443, metadata !1, metadata !4, i32 2, i32 0, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [/tmp/dbginfo/lexical_block.cpp]
56 !13 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed]
57 !14 = metadata !{i32 2, i32 0, metadata !12, null}
58 !15 = metadata !{i32 3, i32 0, metadata !12, null}
59 !16 = metadata !{i32 4, i32 0, metadata !4, null}