139 lines · plain
1; RUN: opt -S -passes=lcssa < %s | FileCheck %s2 3; Reproducer for PR39019.4;5; Verify that the llvm.dbg.values are updated to use the PHI nodes inserted by6; LCSSA.7 8; For the test case @single_exit, we can rewrite all llvm.dbg.value calls9; to use the inserted PHI.10 11; CHECK-LABEL: @single_exit(12 13; CHECK-LABEL: inner.body:14; CHECK: %add = add nsw i32 0, 215; CHECK: #dbg_value(i32 %add, [[VAR:![0-9]+]], !DIExpression(),16 17 18; CHECK-LABEL: outer.exit:19; CHECK-NEXT: [[PN:%[^ ]*]] = phi i32 [ %add.lcssa, %outer.latch ]20; CHECK-NEXT: #dbg_value(i32 [[PN]], [[VAR]], !DIExpression(),21; CHECK-NEXT: call void @bar(i32 [[PN]])22 23; CHECK-LABEL: exit:24; CHECK-NEXT: #dbg_value(i32 [[PN]], [[VAR]], !DIExpression(),25 26define void @single_exit() !dbg !6 {27entry:28 br label %outer.header, !dbg !1229 30outer.header: ; preds = %outer.latch, %entry31 br label %inner.body, !dbg !1232 33inner.body: ; preds = %inner.body, %outer.header34 %add = add nsw i32 0, 2, !dbg !1235 call void @llvm.dbg.value(metadata i32 %add, metadata !9, metadata !DIExpression()), !dbg !1236 br i1 false, label %inner.body, label %inner.exit, !dbg !1237 38inner.exit: ; preds = %inner.body39 br label %outer.latch40 41outer.latch: ; preds = %inner.exit42 br i1 false, label %outer.header, label %outer.exit, !dbg !1243 44outer.exit: ; preds = %outer.latch45 call void @llvm.dbg.value(metadata i32 %add, metadata !9, metadata !DIExpression()), !dbg !1246 tail call void @bar(i32 %add), !dbg !1247 br label %exit48 49exit: ; preds = %outer.exit50 call void @llvm.dbg.value(metadata i32 %add, metadata !9, metadata !DIExpression()), !dbg !1251 ret void, !dbg !1252}53 54; For the test case @multi_exit, we cannot update the llvm.dbg.value call in exit,55; because LCSSA did not insert a PHI node in %exit, as there is no non-debug56; use.57 58; CHECK-LABEL: @multi_exit()59 60; CHECK-LABEL: for.header:61; CHECK-NEXT: %add = add nsw i32 0, 262; CHECK-NEXT: #dbg_value(i32 %add, [[VAR2:![0-9]+]], !DIExpression(),63 64; CHECK-LABEL: for.exit1:65; CHECK-NEXT: [[PN1:%[^ ]*]] = phi i32 [ %add, %for.header ]66; CHECK-NEXT: br label %for.exit1.succ67 68; CHECK-LABEL: for.exit1.succ:69; CHECK-NEXT: #dbg_value(i32 [[PN1]], [[VAR2]], !DIExpression(),70; CHECK-NEXT: call void @bar(i32 [[PN1]])71 72; CHECK-LABEL: for.exit2:73; CHECK-NEXT: [[PN2:%[^ ]*]] = phi i32 [ %add, %for.latch ]74; CHECK-NEXT: #dbg_value(i32 [[PN2]], [[VAR2]], !DIExpression(),75; CHECK-NEXT: call void @bar(i32 [[PN2]])76 77; CHECK-LABEL: exit:78; CHECK-NEXT: #dbg_value(i32 %add, [[VAR2]], !DIExpression(),79 80define void @multi_exit() !dbg !13 {81entry:82 br label %for.header, !dbg !1483 84for.header: ; preds = %for.latch, %entry85 %add = add nsw i32 0, 2, !dbg !1486 call void @llvm.dbg.value(metadata i32 %add, metadata !16, metadata !DIExpression()), !dbg !1487 br i1 false, label %for.latch, label %for.exit1, !dbg !1488 89for.latch: ; preds = %for.header90 br i1 false, label %for.header, label %for.exit2, !dbg !1491 92for.exit1: ; preds = %for.header93 br label %for.exit1.succ94 95for.exit1.succ: ; preds = %for.exit196 call void @llvm.dbg.value(metadata i32 %add, metadata !16, metadata !DIExpression()), !dbg !1497 tail call void @bar(i32 %add), !dbg !1498 br label %exit99 100for.exit2: ; preds = %for.latch101 call void @llvm.dbg.value(metadata i32 %add, metadata !16, metadata !DIExpression()), !dbg !14102 tail call void @bar(i32 %add), !dbg !14103 br label %exit104 105exit: ; preds = %for.exit2, %for.exit1.succ106 call void @llvm.dbg.value(metadata i32 %add, metadata !16, metadata !DIExpression()), !dbg !14107 ret void, !dbg !14108}109 110; CHECK: [[VAR]] = !DILocalVariable(name: "sum",111; CHECK: [[VAR2]] = !DILocalVariable(name: "sum2",112 113declare void @bar(i32)114 115declare void @llvm.dbg.value(metadata, metadata, metadata)116 117!llvm.dbg.cu = !{!0}118!llvm.module.flags = !{!3, !4}119!llvm.ident = !{!5}120 121!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 8.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !2, nameTableKind: None)122!1 = !DIFile(filename: "foo.c", directory: "/")123!2 = !{}124!3 = !{i32 2, !"Dwarf Version", i32 4}125!4 = !{i32 2, !"Debug Info Version", i32 3}126!5 = !{!"clang version 8.0.0"}127!6 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 10, type: !7, scopeLine: 10, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !8)128!7 = !DISubroutineType(types: !2)129!8 = !{!9}130!9 = !DILocalVariable(name: "sum", scope: !10, file: !1, line: 11, type: !11)131!10 = !DILexicalBlockFile(scope: !6, file: !1, discriminator: 0)132!11 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)133!12 = !DILocation(line: 0, scope: !10)134!13 = distinct !DISubprogram(name: "multi_exit", scope: !1, file: !1, line: 10, type: !7, scopeLine: 10, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !17)135!14 = !DILocation(line: 0, scope: !15)136!15 = !DILexicalBlockFile(scope: !13, file: !1, discriminator: 0)137!16 = !DILocalVariable(name: "sum2", scope: !15, file: !1, line: 11, type: !11)138!17 = !{!16}139