llvm/test/Transforms/JumpThreading/thread-debug-info.ll

   1 ; RUN: opt -S -passes=jump-threading < %s | FileCheck %s
   2
   3 @a = global i32 0, align 4
   4 ; Test that the llvm.dbg.value calls in a threaded block are correctly updated to
   5 ; target the locals in their threaded block, and not the unthreaded one.
   6 define void @test1(i32 %cond1, i32 %cond2) {
   7 ; CHECK: [[globalptr:@.*]] = global i32 0, align 4
   8 ; CHECK: bb.cond2:
   9 ; CHECK: call void @llvm.dbg.value(metadata ptr null, metadata ![[DBG1ptr:[0-9]+]], metadata !DIExpression()), !dbg ![[DBG2ptr:[0-9]+]]
  10 ; CHECK-NEXT: [[TOBOOL1:%.*]] = icmp eq i32 %cond2, 0, !dbg ![[DBGLOCtobool1:[0-9]+]]
  11 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !DIArgList(ptr null, i1 [[TOBOOL1]], i1 [[TOBOOL1]]), metadata !{{[0-9]+}}, metadata !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_LLVM_arg, 2, DW_OP_plus)), !dbg !{{[0-9]+}}
  12 ; CHECK: bb.cond2.thread:
  13 ; CHECK-NEXT: call void @llvm.dbg.value(metadata ptr [[globalptr]], metadata ![[DBG1ptr]], metadata !DIExpression()), !dbg ![[DBG2ptr]]
  14 ; CHECK-NEXT: [[TOBOOL12:%.*]] = icmp eq i32 %cond2, 0, !dbg ![[DBGLOCtobool1]]
  15 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !DIArgList(ptr [[globalptr]], i1 [[TOBOOL12]], i1 [[TOBOOL12]]), metadata !{{[0-9]+}}, metadata !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_LLVM_arg, 2, DW_OP_plus)), !dbg !{{[0-9]+}}
  16 entry:
  17   %tobool = icmp eq i32 %cond1, 0, !dbg !15
  18   call void @llvm.dbg.value(metadata i1 %tobool, metadata !9, metadata !DIExpression()), !dbg !15
  19   br i1 %tobool, label %bb.cond2, label %bb.f1, !dbg !16
  20
  21 bb.f1:                                            ; preds = %entry
  22   call void @f1(), !dbg !17
  23   br label %bb.cond2, !dbg !18
  24
  25 bb.cond2:                                         ; preds = %bb.f1, %entry
  26   %ptr = phi ptr [ null, %bb.f1 ], [ @a, %entry ], !dbg !19
  27   call void @llvm.dbg.value(metadata ptr %ptr, metadata !11, metadata !DIExpression()), !dbg !19
  28   %tobool1 = icmp eq i32 %cond2, 0, !dbg !20
  29   call void @llvm.dbg.value(metadata !DIArgList(ptr %ptr, i1 %tobool1, i1 %tobool1), metadata !13, metadata !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_LLVM_arg, 2, DW_OP_plus)), !dbg !20
  30   br i1 %tobool1, label %bb.file, label %bb.f2, !dbg !21
  31
  32 bb.f2:                                            ; preds = %bb.cond2
  33   call void @f2(), !dbg !22
  34   br label %exit, !dbg !23
  35
  36 bb.file:                                          ; preds = %bb.cond2
  37   %cmp = icmp eq ptr %ptr, null, !dbg !24
  38   call void @llvm.dbg.value(metadata i1 %cmp, metadata !14, metadata !DIExpression()), !dbg !24
  39   br i1 %cmp, label %bb.f4, label %bb.f3, !dbg !25
  40
  41 bb.f3:                                            ; preds = %bb.file
  42   br label %exit, !dbg !26
  43
  44 bb.f4:                                            ; preds = %bb.file
  45   call void @f4(), !dbg !27
  46   br label %exit, !dbg !28
  47
  48 exit:                                             ; preds = %bb.f4, %bb.f3, %bb.f2
  49   ret void, !dbg !29
  50 }
  51
  52 ; This is testing for debug value instrinsics outside of the threaded block pointing to a value
  53 ; inside to correctly take any new definitions.
  54 define void @test2(i32 %cond1, i32 %cond2) !dbg !5 {
  55 ; CHECK: bb.f3
  56 ; CHECK: call void @llvm.dbg.value(metadata ptr @a, metadata !{{[0-9]+}}, metadata !DIExpression()), !dbg !{{[0-9]+}}
  57 ; CHECK: bb.f4
  58 ; CHECK-NEXT: [[PTR3:%.*]] = phi ptr [ null, %bb.cond2 ]
  59 ; CHECK-NEXT: call void @llvm.dbg.value(metadata ptr [[PTR3]], metadata !{{[0-9]+}}, metadata !DIExpression()), !dbg !{{[0-9]+}}
  60 entry:
  61   %tobool = icmp eq i32 %cond1, 0, !dbg !15
  62   br i1 %tobool, label %bb.cond2, label %bb.f1, !dbg !16
  63
  64 bb.f1:                                            ; preds = %entry
  65   call void @f1(), !dbg !17
  66   br label %bb.cond2, !dbg !18
  67
  68 bb.cond2:                                         ; preds = %bb.f1, %entry
  69   %ptr = phi ptr [ null, %bb.f1 ], [ @a, %entry ], !dbg !19
  70   %tobool1 = icmp eq i32 %cond2, 0, !dbg !20
  71   br i1 %tobool1, label %bb.file, label %bb.f2, !dbg !21
  72
  73 bb.f2:                                            ; preds = %bb.cond2
  74   call void @f2(), !dbg !22
  75   br label %exit, !dbg !23
  76
  77 bb.file:                                          ; preds = %bb.cond2
  78   %cmp = icmp eq ptr %ptr, null, !dbg !24
  79   call void @llvm.dbg.value(metadata ptr %ptr, metadata !14, metadata !DIExpression()), !dbg !21
  80   br i1 %cmp, label %bb.f4, label %bb.f3, !dbg !25
  81
  82 bb.f3:                                            ; preds = %bb.file
  83   call void @f3(), !dbg !26
  84   br label %exit, !dbg !27
  85
  86 bb.f4:                                            ; preds = %bb.file
  87   call void @f4(), !dbg !28
  88   br label %exit, !dbg !29
  89
  90 exit:                                             ; preds = %bb.f4, %bb.f3, %bb.f2
  91   ret void, !dbg !29
  92 }
  93
  94 declare void @f1()
  95
  96 declare void @f2()
  97
  98 declare void @f3()
  99
 100 declare void @f4()
 101
 102 ; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
 103 declare void @llvm.dbg.value(metadata, metadata, metadata) #0
 104
 105 attributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
 106
 107 !llvm.dbg.cu = !{!0}
 108 !llvm.debugify = !{!2, !3}
 109 !llvm.module.flags = !{!4}
 110
 111 !0 = distinct !DICompileUnit(language: DW_LANG_C, file: !1, producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug)
 112 !1 = !DIFile(filename: "/home/ben/Documents/llvm-project/llvm/test/Transforms/JumpThreading/thread-debug-info.ll", directory: "/")
 113 !2 = !{i32 15}
 114 !3 = !{i32 4}
 115 !4 = !{i32 2, !"Debug Info Version", i32 3}
 116 !5 = distinct !DISubprogram(name: "test2", linkageName: "test2", scope: null, file: !1, line: 1, type: !6, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !8)
 117 !6 = !DISubroutineType(types: !7)
 118 !7 = !{}
 119 !8 = !{!9, !11, !13, !14}
 120 !9 = !DILocalVariable(name: "1", scope: !5, file: !1, line: 1, type: !10)
 121 !10 = !DIBasicType(name: "ty8", size: 8, encoding: DW_ATE_unsigned)
 122 !11 = !DILocalVariable(name: "2", scope: !5, file: !1, line: 5, type: !12)
 123 !12 = !DIBasicType(name: "ty64", size: 64, encoding: DW_ATE_unsigned)
 124 !13 = !DILocalVariable(name: "3", scope: !5, file: !1, line: 6, type: !10)
 125 !14 = !DILocalVariable(name: "4", scope: !5, file: !1, line: 10, type: !10)
 126 !15 = !DILocation(line: 1, column: 1, scope: !5)
 127 !16 = !DILocation(line: 2, column: 1, scope: !5)
 128 !17 = !DILocation(line: 3, column: 1, scope: !5)
 129 !18 = !DILocation(line: 4, column: 1, scope: !5)
 130 !19 = !DILocation(line: 5, column: 1, scope: !5)
 131 !20 = !DILocation(line: 6, column: 1, scope: !5)
 132 !21 = !DILocation(line: 7, column: 1, scope: !5)
 133 !22 = !DILocation(line: 8, column: 1, scope: !5)
 134 !23 = !DILocation(line: 9, column: 1, scope: !5)
 135 !24 = !DILocation(line: 10, column: 1, scope: !5)
 136 !25 = !DILocation(line: 11, column: 1, scope: !5)
 137 !26 = !DILocation(line: 12, column: 1, scope: !5)
 138 !27 = !DILocation(line: 13, column: 1, scope: !5)
 139 !28 = !DILocation(line: 14, column: 1, scope: !5)
 140 !29 = !DILocation(line: 15, column: 1, scope: !5)