133 lines · plain
1; RUN: llc -mtriple=x86_64-apple-macosx < %s -verify-machineinstrs | FileCheck %s2;3; PR16143: MachineOperand::setIsKill(bool): Assertion4;5; verify-machineinstrs should ensure that DEBUG_VALUEs go before the6; terminator.7;8; CHECK-LABEL: test:9; CHECK: ##DEBUG_VALUE: foo:i10 11%a = type { i32, i32 }12 13define hidden fastcc ptr @test(i1 %arg) #1 !dbg !1 {14entry:15 %0 = icmp eq ptr undef, null, !dbg !1216 br i1 %0, label %"14", label %return, !dbg !1217 18"14": ; preds = %"8"19 br i1 %arg, label %"25", label %"21", !dbg !1220 21"21": ; preds = %"14"22 br i1 %arg, label %may_unswitch_on.exit, label %"6.i", !dbg !1223 24"6.i": ; preds = %"21"25 br i1 %arg, label %"10.i", label %may_unswitch_on.exit, !dbg !1226 27"10.i": ; preds = %"6.i"28 br i1 %arg, label %may_unswitch_on.exit, label %"12.i", !dbg !1229 30"12.i": ; preds = %"10.i"31 br i1 %arg, label %"4.i.i", label %"3.i.i", !dbg !1232 33"3.i.i": ; preds = %"12.i"34 br i1 %arg, label %"4.i.i", label %VEC_edge_base_index.exit.i, !dbg !1235 36"4.i.i": ; preds = %"3.i.i", %"12.i"37 unreachable, !dbg !1238 39VEC_edge_base_index.exit.i: ; preds = %"3.i.i"40 br i1 %arg, label %may_unswitch_on.exit, label %"16.i", !dbg !1241 42"16.i": ; preds = %VEC_edge_base_index.exit.i43 br i1 %arg, label %"4.i6.i", label %"3.i5.i", !dbg !1244 45"3.i5.i": ; preds = %"16.i"46 br i1 %arg, label %VEC_edge_base_index.exit7.i, label %"4.i6.i", !dbg !1247 48"4.i6.i": ; preds = %"3.i5.i", %"16.i"49 unreachable, !dbg !1250 51VEC_edge_base_index.exit7.i: ; preds = %"3.i5.i"52 br i1 %arg, label %may_unswitch_on.exit, label %"21.i", !dbg !1253 54"21.i": ; preds = %VEC_edge_base_index.exit7.i55 br i1 %arg, label %may_unswitch_on.exit, label %"23.i", !dbg !1256 57"23.i": ; preds = %"21.i"58 br i1 %arg, label %may_unswitch_on.exit, label %"26.i", !dbg !1259 60"26.i": ; preds = %"34.i", %"23.i"61 %1 = icmp eq i32 undef, 9, !dbg !1262 br i1 %1, label %"34.i", label %"28.i", !dbg !1263 64"28.i": ; preds = %"26.i"65 unreachable66 67"34.i": ; preds = %"26.i"68 br i1 %arg, label %"26.i", label %"36.i", !dbg !1269 70"36.i": ; preds = %"34.i"71 br i1 %arg, label %"37.i", label %"38.i", !dbg !1272 73"37.i": ; preds = %"36.i"74 br label %"38.i", !dbg !1275 76"38.i": ; preds = %"37.i", %"36.i"77 br i1 %arg, label %"39.i", label %"45.i", !dbg !1278 79"39.i": ; preds = %"38.i"80 br i1 %arg, label %"41.i", label %may_unswitch_on.exit, !dbg !1281 82"41.i": ; preds = %"39.i"83 br i1 %arg, label %may_unswitch_on.exit, label %"42.i", !dbg !1284 85"42.i": ; preds = %"41.i"86 br i1 %arg, label %may_unswitch_on.exit, label %"44.i", !dbg !1287 88"44.i": ; preds = %"42.i"89 %2 = load ptr, ptr undef, align 8, !dbg !1290 call void @llvm.dbg.value(metadata ptr %2, metadata !6, metadata !DIExpression(DW_OP_deref)), !dbg !1291 br label %may_unswitch_on.exit, !dbg !1292 93"45.i": ; preds = %"38.i"94 unreachable95 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 %3 = phi ptr [ %2, %"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 %return99 100"25": ; preds = %"14"101 unreachable102 103"return":104 %result = phi ptr [ null, %entry ], [ %3, %may_unswitch_on.exit ]105 ret ptr %result, !dbg !12106}107 108attributes #0 = { nounwind readnone }109attributes #1 = { nounwind uwtable }110 111declare void @llvm.dbg.value(metadata, metadata, metadata) nounwind readnone112 113!llvm.dbg.cu = !{!0}114!llvm.module.flags = !{!22}115 116!0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "Apple clang version", isOptimized: true, emissionKind: FullDebug, file: !20, enums: !21, retainedTypes: !21, imports: null)117!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)118!2 = !DIFile(filename: "a.c", directory: "/private/tmp")119!3 = !DISubroutineType(types: !4)120!4 = !{!5}121!5 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)122!6 = !DILocalVariable(name: "i", line: 2, arg: 1, scope: !1, file: !2, type: !5)123!7 = !DILocalVariable(name: "c", line: 2, arg: 2, scope: !1, file: !2, type: !8)124!8 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, scope: !0, baseType: !9)125!9 = !DIBasicType(tag: DW_TAG_base_type, name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char)126!10 = !DILocalVariable(name: "a", line: 3, scope: !11, file: !2, type: !9)127!11 = distinct !DILexicalBlock(line: 2, column: 25, file: !20, scope: !1)128!12 = !DILocation(line: 2, column: 13, scope: !1)129!19 = !{!6, !7, !10}130!20 = !DIFile(filename: "a.c", directory: "/private/tmp")131!21 = !{}132!22 = !{i32 1, !"Debug Info Version", i32 3}133