llvm/test/CodeGen/X86/remat-fold-load.ll

   1 ; RUN: llc < %s -frame-pointer=all -verify-coalescing
   2 ; PR13414
   3 ;
   4 ; During coalescing, remat triggers DCE which deletes the penultimate use of a
   5 ; load. This load should not be folded into the remaining use because it is not
   6 ; safe to move, and it would extend the live range of the address.
   7 ;
   8 ; LiveRangeEdit::foldAsLoad() doesn't extend live ranges, so -verify-coalescing
   9 ; catches the problem.
  10
  11 target triple = "i386-unknown-linux-gnu"
  12
  13 %type_a = type { ptr, %type_b }
  14 %type_b = type { %type_c, i32 }
  15 %type_c = type { i32, %type_d }
  16 %type_d = type { i64 }
  17 %type_e = type { %type_c, i64 }
  18
  19 declare void @llvm.memcpy.p0.p0.i32(ptr nocapture, ptr nocapture, i32, i1) nounwind
  20
  21 define linkonce_odr void @test() nounwind {
  22 entry:
  23   br i1 undef, label %while.end.while.end26_crit_edge, label %while.body12.lr.ph
  24
  25 while.end.while.end26_crit_edge:                  ; preds = %entry
  26   br label %while.end26
  27
  28 while.body12.lr.ph:                               ; preds = %entry
  29   br label %while.body12
  30
  31 while.body12:                                     ; preds = %if.end24, %while.body12.lr.ph
  32   %tmp = phi ptr [ undef, %while.body12.lr.ph ], [ %tmp18, %if.end24 ]
  33   %ins151154161 = phi i128 [ 0, %while.body12.lr.ph ], [ %phitmp, %if.end24 ]
  34   %ins135156160 = phi i128 [ 0, %while.body12.lr.ph ], [ %phitmp158, %if.end24 ]
  35   %ins151 = or i128 0, %ins151154161
  36   %cmp.i.i.i.i.i67 = icmp sgt i32 undef, 8
  37   br i1 %cmp.i.i.i.i.i67, label %if.then.i.i.i.i71, label %if.else.i.i.i.i74
  38
  39 if.then.i.i.i.i71:                                ; preds = %while.body12
  40   %call4.i.i.i.i68 = call noalias ptr @malloc(i32 undef) nounwind
  41   %tmp1 = getelementptr inbounds %type_a, ptr %tmp, i32 0, i32 1, i32 0, i32 1
  42   %tmp2 = load ptr, ptr %tmp1, align 4
  43   call void @llvm.memcpy.p0.p0.i32(ptr undef, ptr %tmp2, i32 undef, i1 false) nounwind
  44   unreachable
  45
  46 if.else.i.i.i.i74:                                ; preds = %while.body12
  47   %i_.i.i.i.i72 = getelementptr inbounds %type_a, ptr %tmp, i32 0, i32 1, i32 0, i32 1, i32 0
  48   %tmp3 = load i64, ptr %i_.i.i.i.i72, align 4
  49   %tmp4 = zext i64 %tmp3 to i128
  50   %tmp5 = shl nuw nsw i128 %tmp4, 32
  51   %ins148 = or i128 %tmp5, %ins151
  52   %second3.i.i76 = getelementptr inbounds %type_a, ptr %tmp, i32 0, i32 1, i32 1
  53   %tmp6 = load i32, ptr %second3.i.i76, align 4
  54   %tmp7 = zext i32 %tmp6 to i128
  55   %tmp8 = shl nuw i128 %tmp7, 96
  56   %mask144 = and i128 %ins148, 79228162495817593519834398720
  57   %tmp9 = load ptr, ptr undef, align 4
  58   %tmp10 = load i32, ptr %tmp9, align 4
  59   %tmp11 = zext i32 %tmp10 to i128
  60   %ins135 = or i128 %tmp11, %ins135156160
  61   %cmp.i.i.i.i.i88 = icmp sgt i32 %tmp10, 8
  62   br i1 %cmp.i.i.i.i.i88, label %if.then.i.i.i.i92, label %if.else.i.i.i.i95
  63
  64 if.then.i.i.i.i92:                                ; preds = %if.else.i.i.i.i74
  65   %call4.i.i.i.i89 = call noalias ptr @malloc(i32 %tmp10) nounwind
  66   %ins126 = or i128 0, %ins135
  67   %tmp12 = getelementptr inbounds %type_e, ptr %tmp9, i32 0, i32 0, i32 1
  68   %tmp13 = load ptr, ptr %tmp12, align 4
  69   call void @llvm.memcpy.p0.p0.i32(ptr %call4.i.i.i.i89, ptr %tmp13, i32 %tmp10, i1 false) nounwind
  70   br label %A
  71
  72 if.else.i.i.i.i95:                                ; preds = %if.else.i.i.i.i74
  73   %i_.i.i.i.i93 = getelementptr inbounds %type_e, ptr %tmp9, i32 0, i32 0, i32 1, i32 0
  74   br label %A
  75
  76 A:                                                ; preds = %if.else.i.i.i.i95, %if.then.i.i.i.i92
  77   %ins135157 = phi i128 [ %ins126, %if.then.i.i.i.i92 ], [ undef, %if.else.i.i.i.i95 ]
  78   %second3.i.i97 = getelementptr inbounds %type_e, ptr %tmp9, i32 0, i32 1
  79   %tmp14 = load i64, ptr %second3.i.i97, align 4
  80   %tmp15 = trunc i64 %tmp14 to i32
  81   %cmp.i99 = icmp sgt i32 %tmp6, %tmp15
  82   %tmp16 = trunc i128 %ins135157 to i32
  83   %cmp.i.i.i.i.i.i101 = icmp sgt i32 %tmp16, 8
  84   br i1 %cmp.i.i.i.i.i.i101, label %if.then.i.i.i.i.i103, label %B
  85
  86 if.then.i.i.i.i.i103:                             ; preds = %A
  87   unreachable
  88
  89 B:                                                ; preds = %A
  90   %tmp17 = trunc i128 %ins148 to i32
  91   %cmp.i.i.i.i.i.i83 = icmp sgt i32 %tmp17, 8
  92   br i1 %cmp.i.i.i.i.i.i83, label %if.then.i.i.i.i.i85, label %C
  93
  94 if.then.i.i.i.i.i85:                              ; preds = %B
  95   unreachable
  96
  97 C:                                                ; preds = %B
  98   br i1 %cmp.i99, label %if.then17, label %if.end24
  99
 100 if.then17:                                        ; preds = %C
 101   br i1 false, label %if.then.i.i.i.i.i43, label %D
 102
 103 if.then.i.i.i.i.i43:                              ; preds = %if.then17
 104   unreachable
 105
 106 D:                                                ; preds = %if.then17
 107   br i1 undef, label %if.then.i.i.i.i.i, label %E
 108
 109 if.then.i.i.i.i.i:                                ; preds = %D
 110   unreachable
 111
 112 E:                                                ; preds = %D
 113   br label %if.end24
 114
 115 if.end24:                                         ; preds = %E, %C
 116   %phitmp = or i128 %tmp8, %mask144
 117   %phitmp158 = or i128 undef, undef
 118   %tmp18 = load ptr, ptr undef, align 4
 119   %tmp19 = load ptr, ptr undef, align 4
 120   %cmp.i49 = icmp eq ptr %tmp18, %tmp19
 121   br i1 %cmp.i49, label %while.cond10.while.end26_crit_edge, label %while.body12
 122
 123 while.cond10.while.end26_crit_edge:               ; preds = %if.end24
 124   %.pre = load ptr, ptr undef, align 4
 125   br label %while.end26
 126
 127 while.end26:                                      ; preds = %while.cond10.while.end26_crit_edge, %while.end.while.end26_crit_edge
 128   br i1 undef, label %while.body.lr.ph.i, label %F
 129
 130 while.body.lr.ph.i:                               ; preds = %while.end26
 131   br label %while.body.i
 132
 133 while.body.i:                                     ; preds = %while.body.i, %while.body.lr.ph.i
 134   br i1 false, label %while.body.i, label %F
 135
 136 F:                                                ; preds = %while.body.i, %while.end26
 137   ret void
 138 }
 139
 140 declare noalias ptr @malloc(i32) nounwind