test/Transforms/LoopRotate/dbgvalue.ll

   1 ; RUN: opt -S -loop-rotate < %s | FileCheck %s
   2
   3 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
   4 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
   5
   6 define i32 @tak(i32 %x, i32 %y, i32 %z) nounwind ssp {
   7 ; CHECK-LABEL: define i32 @tak(
   8 ; CHECK: entry
   9 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !{i32 %x}
  10
  11 entry:
  12   br label %tailrecurse
  13
  14 tailrecurse:                                      ; preds = %if.then, %entry
  15   %x.tr = phi i32 [ %x, %entry ], [ %call, %if.then ]
  16   %y.tr = phi i32 [ %y, %entry ], [ %call9, %if.then ]
  17   %z.tr = phi i32 [ %z, %entry ], [ %call14, %if.then ]
  18   tail call void @llvm.dbg.value(metadata !{i32 %x.tr}, i64 0, metadata !6, metadata !{}), !dbg !7
  19   tail call void @llvm.dbg.value(metadata !{i32 %y.tr}, i64 0, metadata !8, metadata !{}), !dbg !9
  20   tail call void @llvm.dbg.value(metadata !{i32 %z.tr}, i64 0, metadata !10, metadata !{}), !dbg !11
  21   %cmp = icmp slt i32 %y.tr, %x.tr, !dbg !12
  22   br i1 %cmp, label %if.then, label %if.end, !dbg !12
  23
  24 if.then:                                          ; preds = %tailrecurse
  25   %sub = sub nsw i32 %x.tr, 1, !dbg !14
  26   %call = tail call i32 @tak(i32 %sub, i32 %y.tr, i32 %z.tr), !dbg !14
  27   %sub6 = sub nsw i32 %y.tr, 1, !dbg !14
  28   %call9 = tail call i32 @tak(i32 %sub6, i32 %z.tr, i32 %x.tr), !dbg !14
  29   %sub11 = sub nsw i32 %z.tr, 1, !dbg !14
  30   %call14 = tail call i32 @tak(i32 %sub11, i32 %x.tr, i32 %y.tr), !dbg !14
  31   br label %tailrecurse
  32
  33 if.end:                                           ; preds = %tailrecurse
  34   br label %return, !dbg !16
  35
  36 return:                                           ; preds = %if.end
  37   ret i32 %z.tr, !dbg !17
  38 }
  39
  40 @channelColumns = external global i64
  41 @horzPlane = external global i8*, align 8
  42
  43 define void @FindFreeHorzSeg(i64 %startCol, i64 %row, i64* %rowStart) {
  44 ; Ensure that the loop increment basic block is rotated into the tail of the
  45 ; body, even though it contains a debug intrinsic call.
  46 ; CHECK-LABEL: define void @FindFreeHorzSeg(
  47 ; CHECK: %dec = add
  48 ; CHECK-NEXT: tail call void @llvm.dbg.value
  49 ; CHECK-NEXT: br i1 %tobool, label %for.cond, label %[[LOOP_EXIT:[^,]*]]
  50 ; CHECK: [[LOOP_EXIT]]:
  51 ; CHECK-NEXT: phi i64 [ %{{[^,]*}}, %{{[^,]*}} ]
  52 ; CHECK-NEXT: br label %for.end
  53
  54
  55 entry:
  56   br label %for.cond
  57
  58 for.cond:
  59   %i.0 = phi i64 [ %startCol, %entry ], [ %dec, %for.inc ]
  60   %cmp = icmp eq i64 %i.0, 0
  61   br i1 %cmp, label %for.end, label %for.body
  62
  63 for.body:
  64   %0 = load i64* @channelColumns, align 8
  65   %mul = mul i64 %0, %row
  66   %add = add i64 %mul, %i.0
  67   %1 = load i8** @horzPlane, align 8
  68   %arrayidx = getelementptr inbounds i8* %1, i64 %add
  69   %2 = load i8* %arrayidx, align 1
  70   %tobool = icmp eq i8 %2, 0
  71   br i1 %tobool, label %for.inc, label %for.end
  72
  73 for.inc:
  74   %dec = add i64 %i.0, -1
  75   tail call void @llvm.dbg.value(metadata !{i64 %dec}, i64 0, metadata !{metadata !"undef"}, metadata !{})
  76   br label %for.cond
  77
  78 for.end:
  79   %add1 = add i64 %i.0, 1
  80   store i64 %add1, i64* %rowStart, align 8
  81   ret void
  82 }
  83
  84 !llvm.module.flags = !{!20}
  85 !llvm.dbg.sp = !{!0}
  86
  87 !0 = metadata !{metadata !"0x2e\00tak\00tak\00\0032\000\001\000\006\00256\000\000", metadata !18, metadata !1, metadata !3, null, i32 (i32, i32, i32)* @tak, null, null, null} ; [ DW_TAG_subprogram ] [line 32] [def] [scope 0] [tak]
  88 !1 = metadata !{metadata !"0x29", metadata !18} ; [ DW_TAG_file_type ]
  89 !2 = metadata !{metadata !"0x11\0012\00clang version 2.9 (trunk 125492)\001\00\000\00\000", metadata !18, metadata !19, metadata !19, null, null, null} ; [ DW_TAG_compile_unit ]
  90 !3 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", metadata !18, metadata !1, null, metadata !4, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
  91 !4 = metadata !{metadata !5}
  92 !5 = metadata !{metadata !"0x24\00int\000\0032\0032\000\000\005", null, metadata !2} ; [ DW_TAG_base_type ]
  93 !6 = metadata !{metadata !"0x101\00x\0032\000", metadata !0, metadata !1, metadata !5} ; [ DW_TAG_arg_variable ]
  94 !7 = metadata !{i32 32, i32 13, metadata !0, null}
  95 !8 = metadata !{metadata !"0x101\00y\0032\000", metadata !0, metadata !1, metadata !5} ; [ DW_TAG_arg_variable ]
  96 !9 = metadata !{i32 32, i32 20, metadata !0, null}
  97 !10 = metadata !{metadata !"0x101\00z\0032\000", metadata !0, metadata !1, metadata !5} ; [ DW_TAG_arg_variable ]
  98 !11 = metadata !{i32 32, i32 27, metadata !0, null}
  99 !12 = metadata !{i32 33, i32 3, metadata !13, null}
 100 !13 = metadata !{metadata !"0xb\0032\0030\006", metadata !18, metadata !0} ; [ DW_TAG_lexical_block ]
 101 !14 = metadata !{i32 34, i32 5, metadata !15, null}
 102 !15 = metadata !{metadata !"0xb\0033\0014\007", metadata !18, metadata !13} ; [ DW_TAG_lexical_block ]
 103 !16 = metadata !{i32 36, i32 3, metadata !13, null}
 104 !17 = metadata !{i32 37, i32 1, metadata !13, null}
 105 !18 = metadata !{metadata !"/Volumes/Lalgate/cj/llvm/projects/llvm-test/SingleSource/Benchmarks/BenchmarkGame/recursive.c", metadata !"/Volumes/Lalgate/cj/D/projects/llvm-test/SingleSource/Benchmarks/BenchmarkGame"}
 106 !19 = metadata !{i32 0}
 107 !20 = metadata !{i32 1, metadata !"Debug Info Version", i32 2}