1 ; RUN: llc -mtriple=x86_64-apple-macosx < %s -verify-machineinstrs | FileCheck %s
3 ; PR16143: MachineOperand::setIsKill(bool): Assertion
5 ; verify-machineinstrs should ensure that DEBUG_VALUEs go before the
9 ; CHECK: ##DEBUG_VALUE: i
10 %a = type { i32, i32 }
12 define hidden fastcc %a* @test() #1 {
14 %0 = icmp eq %a* undef, null, !dbg !12
15 br i1 %0, label %"14", label %return, !dbg !12
18 br i1 undef, label %"25", label %"21", !dbg !12
21 br i1 undef, label %may_unswitch_on.exit, label %"6.i", !dbg !12
23 "6.i": ; preds = %"21"
24 br i1 undef, label %"10.i", label %may_unswitch_on.exit, !dbg !12
26 "10.i": ; preds = %"6.i"
27 br i1 undef, label %may_unswitch_on.exit, label %"12.i", !dbg !12
29 "12.i": ; preds = %"10.i"
30 br i1 undef, label %"4.i.i", label %"3.i.i", !dbg !12
32 "3.i.i": ; preds = %"12.i"
33 br i1 undef, label %"4.i.i", label %VEC_edge_base_index.exit.i, !dbg !12
35 "4.i.i": ; preds = %"3.i.i", %"12.i"
38 VEC_edge_base_index.exit.i: ; preds = %"3.i.i"
39 br i1 undef, label %may_unswitch_on.exit, label %"16.i", !dbg !12
41 "16.i": ; preds = %VEC_edge_base_index.exit.i
42 br i1 undef, label %"4.i6.i", label %"3.i5.i", !dbg !12
44 "3.i5.i": ; preds = %"16.i"
45 br i1 undef, label %VEC_edge_base_index.exit7.i, label %"4.i6.i", !dbg !12
47 "4.i6.i": ; preds = %"3.i5.i", %"16.i"
50 VEC_edge_base_index.exit7.i: ; preds = %"3.i5.i"
51 br i1 undef, label %may_unswitch_on.exit, label %"21.i", !dbg !12
53 "21.i": ; preds = %VEC_edge_base_index.exit7.i
54 br i1 undef, label %may_unswitch_on.exit, label %"23.i", !dbg !12
56 "23.i": ; preds = %"21.i"
57 br i1 undef, label %may_unswitch_on.exit, label %"26.i", !dbg !12
59 "26.i": ; preds = %"34.i", %"23.i"
60 %1 = icmp eq i32 undef, 9, !dbg !12
61 br i1 %1, label %"34.i", label %"28.i", !dbg !12
63 "28.i": ; preds = %"26.i"
66 "34.i": ; preds = %"26.i"
67 br i1 undef, label %"26.i", label %"36.i", !dbg !12
69 "36.i": ; preds = %"34.i"
70 br i1 undef, label %"37.i", label %"38.i", !dbg !12
72 "37.i": ; preds = %"36.i"
73 br label %"38.i", !dbg !12
75 "38.i": ; preds = %"37.i", %"36.i"
76 br i1 undef, label %"39.i", label %"45.i", !dbg !12
78 "39.i": ; preds = %"38.i"
79 br i1 undef, label %"41.i", label %may_unswitch_on.exit, !dbg !12
81 "41.i": ; preds = %"39.i"
82 br i1 undef, label %may_unswitch_on.exit, label %"42.i", !dbg !12
84 "42.i": ; preds = %"41.i"
85 br i1 undef, label %may_unswitch_on.exit, label %"44.i", !dbg !12
87 "44.i": ; preds = %"42.i"
88 %2 = load %a** undef, align 8, !dbg !12
89 %3 = bitcast %a* %2 to %a*, !dbg !12
90 call void @llvm.dbg.value(metadata !{%a* %3}, i64 0, metadata !6, metadata !{metadata !"0x102"}), !dbg !12
91 br label %may_unswitch_on.exit, !dbg !12
93 "45.i": ; preds = %"38.i"
96 may_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" ]
100 "25": ; preds = %"14"
104 %result = phi %a* [ null, %entry ], [ %4, %may_unswitch_on.exit ]
105 ret %a* %result, !dbg !12
108 attributes #0 = { nounwind readnone }
109 attributes #1 = { nounwind uwtable }
111 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
114 !llvm.module.flags = !{!22}
116 !0 = metadata !{metadata !"0x11\0012\00Apple clang version\001\00\000\00\001", metadata !20, metadata !21, metadata !21, metadata !18, null, null} ; [ DW_TAG_compile_unit ]
117 !1 = metadata !{metadata !"0x2e\00foo\00\00\002\000\001\000\006\00256\001\000", metadata !20, metadata !2, metadata !3, null, %a* ()* @test, null, null, metadata !19} ; [ DW_TAG_subprogram ] [line 2] [def] [scope 0] [foo]
118 !2 = metadata !{metadata !"0x29", metadata !20} ; [ DW_TAG_file_type ]
119 !3 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", metadata !20, metadata !2, null, metadata !4, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
120 !4 = metadata !{metadata !5}
121 !5 = metadata !{metadata !"0x24\00int\000\0032\0032\000\000\005", null, metadata !0} ; [ DW_TAG_base_type ]
122 !6 = metadata !{metadata !"0x101\00i\0016777218\000", metadata !1, metadata !2, metadata !5} ; [ DW_TAG_arg_variable ]
123 !7 = metadata !{metadata !"0x101\00c\0033554434\000", metadata !1, metadata !2, metadata !8} ; [ DW_TAG_arg_variable ]
124 !8 = metadata !{metadata !"0xf\00\000\0064\0064\000\000", null, metadata !0, metadata !9} ; [ DW_TAG_pointer_type ]
125 !9 = metadata !{metadata !"0x24\00char\000\008\008\000\000\006", null, metadata !0} ; [ DW_TAG_base_type ]
126 !10 = metadata !{metadata !"0x100\00a\003\000", metadata !11, metadata !2, metadata !9} ; [ DW_TAG_auto_variable ]
127 !11 = metadata !{metadata !"0xb\002\0025\000", metadata !20, metadata !1} ; [ DW_TAG_lexical_block ]
128 !12 = metadata !{i32 2, i32 13, metadata !1, null}
129 !18 = metadata !{metadata !1}
130 !19 = metadata !{metadata !6, metadata !7, metadata !10}
131 !20 = metadata !{metadata !"a.c", metadata !"/private/tmp"}
132 !21 = metadata !{i32 0}
133 !22 = metadata !{i32 1, metadata !"Debug Info Version", i32 2}