Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / f799e3f9441c2a348af0357a61020cc1e397e66b / . / llvm / test / CodeGen / X86 / dbg-value-terminator.ll
blob: e8246ad69c17e56eef721e77c467f64c9b6f236e [file] [log] [blame]
Andrew Trickc66d26a2013-05-26 08:58:50 +0000[diff] [blame]1; RUN: llc -mtriple=x86_64-apple-macosx < %s -verify-machineinstrs | FileCheck %s
2;
3; PR16143: MachineOperand::setIsKill(bool): Assertion
4;
5; verify-machineinstrs should ensure that DEBUG_VALUEs go before the
6; terminator.
7;
Stephen Linf799e3f2013-07-13 20:38:47 +0000[diff] [blame^]8; CHECK-LABEL: test:
David Blaikie2dbebcf2013-06-15 00:33:47 +0000[diff] [blame]9; CHECK: ##DEBUG_VALUE: i
Andrew Trickc66d26a2013-05-26 08:58:50 +0000[diff] [blame]10%a = type { i32, i32 }
11
12define hidden fastcc %a* @test() #1 {
13entry:
14 %0 = icmp eq %a* undef, null, !dbg !1
15 br i1 %0, label %"14", label %return, !dbg !1
16
17"14": ; preds = %"8"
18 br i1 undef, label %"25", label %"21", !dbg !1
19
20"21": ; preds = %"14"
21 br i1 undef, label %may_unswitch_on.exit, label %"6.i", !dbg !1
22
23"6.i": ; preds = %"21"
24 br i1 undef, label %"10.i", label %may_unswitch_on.exit, !dbg !1
25
26"10.i": ; preds = %"6.i"
27 br i1 undef, label %may_unswitch_on.exit, label %"12.i", !dbg !1
28
29"12.i": ; preds = %"10.i"
30 br i1 undef, label %"4.i.i", label %"3.i.i", !dbg !1
31
32"3.i.i": ; preds = %"12.i"
33 br i1 undef, label %"4.i.i", label %VEC_edge_base_index.exit.i, !dbg !1
34
35"4.i.i": ; preds = %"3.i.i", %"12.i"
36 unreachable, !dbg !1
37
38VEC_edge_base_index.exit.i: ; preds = %"3.i.i"
39 br i1 undef, label %may_unswitch_on.exit, label %"16.i", !dbg !1
40
41"16.i": ; preds = %VEC_edge_base_index.exit.i
42 br i1 undef, label %"4.i6.i", label %"3.i5.i", !dbg !1
43
44"3.i5.i": ; preds = %"16.i"
45 br i1 undef, label %VEC_edge_base_index.exit7.i, label %"4.i6.i", !dbg !1
46
47"4.i6.i": ; preds = %"3.i5.i", %"16.i"
48 unreachable, !dbg !1
49
50VEC_edge_base_index.exit7.i: ; preds = %"3.i5.i"
51 br i1 undef, label %may_unswitch_on.exit, label %"21.i", !dbg !1
52
53"21.i": ; preds = %VEC_edge_base_index.exit7.i
54 br i1 undef, label %may_unswitch_on.exit, label %"23.i", !dbg !1
55
56"23.i": ; preds = %"21.i"
57 br i1 undef, label %may_unswitch_on.exit, label %"26.i", !dbg !1
58
59"26.i": ; preds = %"34.i", %"23.i"
60 %1 = icmp eq i32 undef, 9, !dbg !1
61 br i1 %1, label %"34.i", label %"28.i", !dbg !1
62
63"28.i": ; preds = %"26.i"
64 unreachable
65
66"34.i": ; preds = %"26.i"
67 br i1 undef, label %"26.i", label %"36.i", !dbg !1
68
69"36.i": ; preds = %"34.i"
70 br i1 undef, label %"37.i", label %"38.i", !dbg !1
71
72"37.i": ; preds = %"36.i"
73 br label %"38.i", !dbg !1
74
75"38.i": ; preds = %"37.i", %"36.i"
76 br i1 undef, label %"39.i", label %"45.i", !dbg !1
77
78"39.i": ; preds = %"38.i"
79 br i1 undef, label %"41.i", label %may_unswitch_on.exit, !dbg !1
80
81"41.i": ; preds = %"39.i"
82 br i1 undef, label %may_unswitch_on.exit, label %"42.i", !dbg !1
83
84"42.i": ; preds = %"41.i"
85 br i1 undef, label %may_unswitch_on.exit, label %"44.i", !dbg !1
86
87"44.i": ; preds = %"42.i"
88 %2 = load %a** undef, align 8, !dbg !1
89 %3 = bitcast %a* %2 to %a*, !dbg !1
90 call void @llvm.dbg.value(metadata !{%a* %3}, i64 0, metadata !6), !dbg !12
91 br label %may_unswitch_on.exit, !dbg !1
92
93"45.i": ; preds = %"38.i"
94 unreachable
95
96may_unswitch_on.exit: ; preds = %"44.i", %"42.i", %"41.i", %"39.i", %"23.i", %"21.i", %VEC_edge_base_index.exit7.i, %VEC_edge_base_index.exit.i, %"10.i", %"6.i", %"21"
97 %4 = phi %a* [ %3, %"44.i" ], [ null, %"6.i" ], [ null, %"10.i" ], [ null, %VEC_edge_base_index.exit7.i ], [ null, %VEC_edge_base_index.exit.i ], [ null, %"21.i" ], [ null, %"23.i" ], [ null, %"39.i" ], [ null, %"42.i" ], [ null, %"41.i" ], [ null, %"21" ]
98 br label %return
99
100"25": ; preds = %"14"
101 unreachable
102
103"return":
104 %result = phi %a* [ null, %entry ], [ %4, %may_unswitch_on.exit ]
105 ret %a* %result, !dbg !1
106}
107
108attributes #0 = { nounwind readnone }
109attributes #1 = { nounwind uwtable }
110
111declare void @llvm.dbg.value(metadata, i64, metadata) nounwind readnone
112
113!llvm.dbg.cu = !{!0}
114
115!0 = metadata !{i32 786449, metadata !20, i32 12, metadata !"Apple clang version", i1 true, metadata !"", i32 0, null, null, metadata !18, null, null, null} ; [ DW_TAG_compile_unit ]
116!1 = metadata !{i32 786478, metadata !2, metadata !"foo", metadata !"foo", metadata !"", metadata !2, i32 2, metadata !3, i1 false, i1 true, i32 0, i32 0, i32 0, i32 256, i1 true, %a* ()* @test, null, null, metadata !19, i32 0} ; [ DW_TAG_subprogram ]
117!2 = metadata !{i32 786473, metadata !20} ; [ DW_TAG_file_type ]
118!3 = metadata !{i32 786453, metadata !2, metadata !"", metadata !2, i32 0, i64 0, i64 0, i32 0, i32 0, i32 0, metadata !4, i32 0, i32 0} ; [ DW_TAG_subroutine_type ]
119!4 = metadata !{metadata !5}
120!5 = metadata !{i32 786468, metadata !0, metadata !"int", null, i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ]
121!6 = metadata !{i32 786689, metadata !1, metadata !"i", metadata !2, i32 16777218, metadata !5, i32 0, null} ; [ DW_TAG_arg_variable ]
122!7 = metadata !{i32 786689, metadata !1, metadata !"c", metadata !2, i32 33554434, metadata !8, i32 0, null} ; [ DW_TAG_arg_variable ]
123!8 = metadata !{i32 786447, metadata !0, metadata !"", null, i32 0, i64 64, i64 64, i64 0, i32 0, metadata !9} ; [ DW_TAG_pointer_type ]
124!9 = metadata !{i32 786468, metadata !0, metadata !"char", null, i32 0, i64 8, i64 8, i64 0, i32 0, i32 6} ; [ DW_TAG_base_type ]
125!10 = metadata !{i32 786688, metadata !11, metadata !"a", metadata !2, i32 3, metadata !9, i32 0, null} ; [ DW_TAG_auto_variable ]
126!11 = metadata !{i32 786443, metadata !20, metadata !1, i32 2, i32 25, i32 0} ; [ DW_TAG_lexical_block ]
127!12 = metadata !{i32 2, i32 13, metadata !1, null}
128!18 = metadata !{metadata !1}
129!19 = metadata !{metadata !6, metadata !7, metadata !10}
130!20 = metadata !{metadata !"a.c", metadata !"/private/tmp"}