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 ; 8 ; CHECK-LABEL: test: 9 ; CHECK: ##DEBUG_VALUE: foo:i 10 11 %a = type { i32, i32 } 12 13 define hidden fastcc %a* @test() #1 !dbg !1 { 14 entry: 15 %0 = icmp eq %a* undef, null, !dbg !12 16 br i1 %0, label %"14", label %return, !dbg !12 17 18 "14": ; preds = %"8" 19 br i1 undef, label %"25", label %"21", !dbg !12 20 21 "21": ; preds = %"14" 22 br i1 undef, label %may_unswitch_on.exit, label %"6.i", !dbg !12 23 24 "6.i": ; preds = %"21" 25 br i1 undef, label %"10.i", label %may_unswitch_on.exit, !dbg !12 26 27 "10.i": ; preds = %"6.i" 28 br i1 undef, label %may_unswitch_on.exit, label %"12.i", !dbg !12 29 30 "12.i": ; preds = %"10.i" 31 br i1 undef, label %"4.i.i", label %"3.i.i", !dbg !12 32 33 "3.i.i": ; preds = %"12.i" 34 br i1 undef, label %"4.i.i", label %VEC_edge_base_index.exit.i, !dbg !12 35 36 "4.i.i": ; preds = %"3.i.i", %"12.i" 37 unreachable, !dbg !12 38 39 VEC_edge_base_index.exit.i: ; preds = %"3.i.i" 40 br i1 undef, label %may_unswitch_on.exit, label %"16.i", !dbg !12 41 42 "16.i": ; preds = %VEC_edge_base_index.exit.i 43 br i1 undef, label %"4.i6.i", label %"3.i5.i", !dbg !12 44 45 "3.i5.i": ; preds = %"16.i" 46 br i1 undef, label %VEC_edge_base_index.exit7.i, label %"4.i6.i", !dbg !12 47 48 "4.i6.i": ; preds = %"3.i5.i", %"16.i" 49 unreachable, !dbg !12 50 51 VEC_edge_base_index.exit7.i: ; preds = %"3.i5.i" 52 br i1 undef, label %may_unswitch_on.exit, label %"21.i", !dbg !12 53 54 "21.i": ; preds = %VEC_edge_base_index.exit7.i 55 br i1 undef, label %may_unswitch_on.exit, label %"23.i", !dbg !12 56 57 "23.i": ; preds = %"21.i" 58 br i1 undef, label %may_unswitch_on.exit, label %"26.i", !dbg !12 59 60 "26.i": ; preds = %"34.i", %"23.i" 61 %1 = icmp eq i32 undef, 9, !dbg !12 62 br i1 %1, label %"34.i", label %"28.i", !dbg !12 63 64 "28.i": ; preds = %"26.i" 65 unreachable 66 67 "34.i": ; preds = %"26.i" 68 br i1 undef, label %"26.i", label %"36.i", !dbg !12 69 70 "36.i": ; preds = %"34.i" 71 br i1 undef, label %"37.i", label %"38.i", !dbg !12 72 73 "37.i": ; preds = %"36.i" 74 br label %"38.i", !dbg !12 75 76 "38.i": ; preds = %"37.i", %"36.i" 77 br i1 undef, label %"39.i", label %"45.i", !dbg !12 78 79 "39.i": ; preds = %"38.i" 80 br i1 undef, label %"41.i", label %may_unswitch_on.exit, !dbg !12 81 82 "41.i": ; preds = %"39.i" 83 br i1 undef, label %may_unswitch_on.exit, label %"42.i", !dbg !12 84 85 "42.i": ; preds = %"41.i" 86 br i1 undef, label %may_unswitch_on.exit, label %"44.i", !dbg !12 87 88 "44.i": ; preds = %"42.i" 89 %2 = load %a*, %a** undef, align 8, !dbg !12 90 %3 = bitcast %a* %2 to %a*, !dbg !12 91 call void @llvm.dbg.value(metadata %a* %3, metadata !6, metadata !DIExpression(DW_OP_deref)), !dbg !12 92 br label %may_unswitch_on.exit, !dbg !12 93 94 "45.i": ; preds = %"38.i" 95 unreachable 96 97 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" 98 %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" ] 99 br label %return 100 101 "25": ; preds = %"14" 102 unreachable 103 104 "return": 105 %result = phi %a* [ null, %entry ], [ %4, %may_unswitch_on.exit ] 106 ret %a* %result, !dbg !12 107 } 108 109 attributes #0 = { nounwind readnone } 110 attributes #1 = { nounwind uwtable } 111 112 declare void @llvm.dbg.value(metadata, metadata, metadata) nounwind readnone 113 114 !llvm.dbg.cu = !{!0} 115 !llvm.module.flags = !{!22} 116 117 !0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "Apple clang version", isOptimized: true, emissionKind: FullDebug, file: !20, enums: !21, retainedTypes: !21, imports: null) 118 !1 = distinct !DISubprogram(name: "foo", line: 2, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !0, file: !20, scope: !2, type: !3, retainedNodes: !19) 119 !2 = !DIFile(filename: "a.c", directory: "/private/tmp") 120 !3 = !DISubroutineType(types: !4) 121 !4 = !{!5} 122 !5 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 123 !6 = !DILocalVariable(name: "i", line: 2, arg: 1, scope: !1, file: !2, type: !5) 124 !7 = !DILocalVariable(name: "c", line: 2, arg: 2, scope: !1, file: !2, type: !8) 125 !8 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, scope: !0, baseType: !9) 126 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char) 127 !10 = !DILocalVariable(name: "a", line: 3, scope: !11, file: !2, type: !9) 128 !11 = distinct !DILexicalBlock(line: 2, column: 25, file: !20, scope: !1) 129 !12 = !DILocation(line: 2, column: 13, scope: !1) 130 !19 = !{!6, !7, !10} 131 !20 = !DIFile(filename: "a.c", directory: "/private/tmp") 132 !21 = !{} 133 !22 = !{i32 1, !"Debug Info Version", i32 3} 134
