llvm/test/CodeGen/PowerPC/licm-remat.ll

   1 ; RUN: llc -verify-machineinstrs -ppc-reduce-cr-logicals \
   2 ; RUN:   -mtriple=powerpc64le-unknown-linux-gnu < %s | FileCheck %s
   3
   4 ; Test case is reduced from the snappy benchmark.
   5 ; Verify MachineLICM will always hoist trivially rematerializable instructions even when register pressure is high.
   6
   7 %"class.snappy::SnappyDecompressor" = type <{ ptr, ptr, ptr, i32, i8, [5 x i8], [6 x i8] }>
   8 %"class.snappy::Source" = type { ptr }
   9 %"struct.snappy::iovec" = type { ptr, i64 }
  10 %"class.snappy::SnappyIOVecWriter" = type { ptr, i64, i64, i64, i64, i64 }
  11
  12 @_ZN6snappy8internalL10char_tableE = internal unnamed_addr constant [5 x i16] [i16 1, i16 2052, i16 4097, i16 8193, i16 2], align 2
  13 @_ZN6snappy8internalL8wordmaskE = internal unnamed_addr constant [5 x i32] [i32 0, i32 255, i32 65535, i32 16777215, i32 -1], align 4
  14
  15 ; Function Attrs: argmemonly nounwind
  16 declare void @llvm.memmove.p0.p0.i64(ptr nocapture, ptr nocapture readonly, i64, i1) #2
  17 ; Function Attrs: argmemonly nounwind
  18 declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1) #2
  19
  20 define linkonce_odr void @ZN6snappyDecompressor_(ptr %this, ptr %writer) {
  21 ; CHECK-LABEL: ZN6snappyDecompressor_:
  22 ; CHECK:       # %bb.0: # %entry
  23 ; CHECK:       addis 3, 2, _ZN6snappy8internalL8wordmaskE@toc@ha
  24 ; CHECK-DAG:   addi 25, 3, _ZN6snappy8internalL8wordmaskE@toc@l
  25 ; CHECK-DAG:   addis 5, 2, _ZN6snappy8internalL10char_tableE@toc@ha
  26 ; CHECK-DAG:   addi 24, 5, _ZN6snappy8internalL10char_tableE@toc@l
  27 ; CHECK:       .LBB0_2: # %for.cond
  28 ; CHECK-NOT:   addis {{[0-9]+}}, 2, _ZN6snappy8internalL8wordmaskE@toc@ha
  29 ; CHECK-NOT:   addis {{[0-9]+}}, 2, _ZN6snappy8internalL10char_tableE@toc@ha
  30 ; CHECK:       bctrl
  31 entry:
  32   %ip_limit_ = getelementptr inbounds %"class.snappy::SnappyDecompressor", ptr %this, i64 0, i32 2
  33   %curr_iov_index_.i = getelementptr inbounds %"class.snappy::SnappyIOVecWriter", ptr %writer, i64 0, i32 2
  34   %curr_iov_written_.i = getelementptr inbounds %"class.snappy::SnappyIOVecWriter", ptr %writer, i64 0, i32 3
  35   br label %for.cond
  36
  37 for.cond:                                         ; preds = %if.end82, %if.then56, %if.end49, %entry
  38   %ip.0 = phi ptr [ null, %entry ], [ %add.ptr50, %if.end49 ], [ null, %if.then56 ], [ undef, %if.end82 ]
  39   %incdec.ptr = getelementptr inbounds i8, ptr %ip.0, i64 1
  40   %0 = load i8, ptr %ip.0, align 1
  41   %conv = zext i8 %0 to i32
  42   br i1 undef, label %if.then7, label %if.else
  43
  44 if.then7:                                         ; preds = %for.cond
  45   %1 = lshr i32 %conv, 2
  46   %add = add nuw nsw i32 %1, 1
  47   %conv9 = zext i32 %add to i64
  48   %2 = load i64, ptr %ip_limit_, align 8
  49   %sub.ptr.sub13 = sub i64 %2, 0
  50   %3 = load i64, ptr undef, align 8
  51   %4 = load i64, ptr null, align 8
  52   %sub.i = sub i64 %3, %4
  53   %cmp.i = icmp ult i32 %add, 17
  54   %cmp2.i = icmp ugt i64 %sub.ptr.sub13, 20
  55   %or.cond.i = and i1 %cmp.i, %cmp2.i
  56   %cmp4.i = icmp ugt i64 %sub.i, 15
  57   %or.cond13.i = and i1 %or.cond.i, %cmp4.i
  58   br i1 %or.cond13.i, label %land.lhs.true5.i, label %if.end17
  59
  60 land.lhs.true5.i:                                 ; preds = %if.then7
  61   %5 = load ptr, ptr undef, align 8
  62   %6 = load i64, ptr %curr_iov_index_.i, align 8
  63   %7 = load i64, ptr %curr_iov_written_.i, align 8
  64   %sub6.i = sub i64 0, %7
  65   %cmp7.i = icmp ugt i64 %sub6.i, 15
  66   br i1 %cmp7.i, label %cleanup102, label %if.end17
  67
  68 if.end17:                                         ; preds = %land.lhs.true5.i, %if.then7
  69   %sub = add nsw i64 %conv9, -60
  70   %8 = load i32, ptr undef, align 4
  71   %arrayidx = getelementptr inbounds [5 x i32], ptr @_ZN6snappy8internalL8wordmaskE, i64 0, i64 %sub
  72   %9 = load i32, ptr %arrayidx, align 4
  73   %and21 = and i32 %9, %8
  74   %add22 = add i32 %and21, 1
  75   %conv23 = zext i32 %add22 to i64
  76   %add.ptr24 = getelementptr inbounds i8, ptr %incdec.ptr, i64 %sub
  77   br label %if.end25
  78
  79 if.end25:                                         ; preds = %if.end17
  80   %sub.ptr.rhs.cast28 = ptrtoint ptr %add.ptr24 to i64
  81   %cmp30233 = icmp ugt i64 %conv23, 0
  82   br i1 %cmp30233, label %while.body.preheader, label %while.end
  83
  84 while.body.preheader:                             ; preds = %if.end25
  85   %add.i158256 = add i64 %4, 0
  86   %cmp.i160257 = icmp ugt i64 %add.i158256, %3
  87   br i1 %cmp.i160257, label %cleanup105, label %while.cond.preheader.i
  88
  89 while.cond.preheader.i:                           ; preds = %while.body.preheader
  90   %call39 = call ptr undef(ptr undef, ptr nonnull undef)
  91   unreachable
  92
  93 while.end:                                        ; preds = %if.end25
  94   br label %while.cond.preheader.i176
  95
  96 while.cond.preheader.i176:                        ; preds = %while.end
  97   br i1 undef, label %if.end49, label %while.body.lr.ph.i182
  98
  99 while.body.lr.ph.i182:                            ; preds = %while.cond.preheader.i176
 100   %.pre.i181 = load i64, ptr %curr_iov_written_.i, align 8
 101   %10 = load ptr, ptr undef, align 8
 102   %11 = load i64, ptr %curr_iov_index_.i, align 8
 103   %iov_len.i185 = getelementptr inbounds %"struct.snappy::iovec", ptr %10, i64 %11, i32 1
 104   %12 = load i64, ptr %iov_len.i185, align 8
 105   br label %cond.end.i190
 106
 107 cond.end.i190:                                    ; preds = %while.body.lr.ph.i182
 108   br i1 undef, label %if.end18.i207, label %if.then10.i193
 109
 110 if.then10.i193:                                   ; preds = %cond.end.i190
 111   %add12.i191 = add i64 %11, 1
 112   %iov_len22.phi.trans.insert.i194 = getelementptr inbounds %"struct.snappy::iovec", ptr %10, i64 %add12.i191, i32 1
 113   %.pre48.i195 = load i64, ptr %iov_len22.phi.trans.insert.i194, align 8
 114   br label %if.end18.i207
 115
 116 if.end18.i207:                                    ; preds = %if.then10.i193, %cond.end.i190
 117   %13 = phi i64 [ %.pre.i181, %cond.end.i190 ], [ 0, %if.then10.i193 ]
 118   %14 = phi i64 [ %12, %cond.end.i190 ], [ %.pre48.i195, %if.then10.i193 ]
 119   %15 = phi i64 [ %11, %cond.end.i190 ], [ %add12.i191, %if.then10.i193 ]
 120   %sub.i197 = sub i64 %14, %13
 121   %cmp.i.i198 = icmp ult i64 %sub.i197, %conv23
 122   %.sroa.speculated.i199 = select i1 %cmp.i.i198, i64 %sub.i197, i64 %conv23
 123   %iov_base.i.i200 = getelementptr inbounds %"struct.snappy::iovec", ptr %10, i64 %15, i32 0
 124   %16 = load ptr, ptr %iov_base.i.i200, align 8
 125   %add.ptr.i.i201 = getelementptr inbounds i8, ptr %16, i64 %13
 126   call void @llvm.memcpy.p0.p0.i64(ptr %add.ptr.i.i201, ptr %add.ptr24, i64 %.sroa.speculated.i199, i1 false) #12
 127   %add30.i203 = add i64 0, %.sroa.speculated.i199
 128   store i64 %add30.i203, ptr null, align 8
 129   %.pre245 = load i64, ptr %ip_limit_, align 8
 130   br label %if.end49
 131
 132 if.end49:                                         ; preds = %if.end18.i207, %while.cond.preheader.i176
 133   %17 = phi i64 [ %.pre245, %if.end18.i207 ], [ %2, %while.cond.preheader.i176 ]
 134   %add.ptr50 = getelementptr inbounds i8, ptr %add.ptr24, i64 %conv23
 135   %sub.ptr.sub54 = sub i64 %17, 0
 136   %cmp55 = icmp slt i64 %sub.ptr.sub54, 5
 137   br i1 %cmp55, label %if.then56, label %for.cond
 138
 139 if.then56:                                        ; preds = %if.end49
 140   br label %for.cond
 141
 142 if.else:                                          ; preds = %for.cond
 143   %idxprom = zext i8 %0 to i64
 144   %arrayidx68 = getelementptr inbounds [5 x i16], ptr @_ZN6snappy8internalL10char_tableE, i64 0, i64 %idxprom
 145   %18 = load i16, ptr %arrayidx68, align 2
 146   %conv69 = zext i16 %18 to i64
 147   %19 = load i32, ptr undef, align 4
 148   %shr71 = lshr i64 %conv69, 11
 149   %arrayidx72 = getelementptr inbounds [5 x i32], ptr @_ZN6snappy8internalL8wordmaskE, i64 0, i64 %shr71
 150   %20 = load i32, ptr %arrayidx72, align 4
 151   %and73 = and i32 %20, %19
 152   %conv74 = zext i32 %and73 to i64
 153   %add79 = add nuw nsw i64 0, %conv74
 154   %call80 = call zeroext i1 @_ZN6snappy17SnappyIOVecWriterAppendFromSelfEmm(ptr %writer, i64 %add79, i64 undef)
 155   br i1 %call80, label %if.end82, label %cleanup105
 156
 157 if.end82:                                         ; preds = %if.else
 158   br label %for.cond
 159
 160 cleanup102:                                       ; preds = %land.lhs.true5.i
 161   %iov_base.i.i = getelementptr inbounds %"struct.snappy::iovec", ptr %5, i64 %6, i32 0
 162   %21 = load ptr, ptr %iov_base.i.i, align 8
 163   %add.ptr.i.i = getelementptr inbounds i8, ptr %21, i64 %7
 164   call void @llvm.memmove.p0.p0.i64(ptr %add.ptr.i.i, ptr %incdec.ptr, i64 16, i1 false) #12
 165   %22 = load <2 x i64>, ptr %curr_iov_written_.i, align 8
 166   %23 = insertelement <2 x i64> undef, i64 %conv9, i32 0
 167   %24 = shufflevector <2 x i64> %23, <2 x i64> undef, <2 x i32> zeroinitializer
 168   %25 = add <2 x i64> %22, %24
 169   store <2 x i64> %25, ptr undef, align 8
 170   unreachable
 171
 172 cleanup105:                                       ; preds = %if.else, %while.body.preheader
 173   ret void
 174 }
 175
 176 ; Function Attrs: inlinehint
 177 declare zeroext i1 @_ZN6snappy17SnappyIOVecWriterAppendFromSelfEmm(ptr, i64, i64) local_unnamed_addr #10 align 2