test/Transforms/Inline/redundant-loads.ll

   1 ; RUN: opt -inline < %s -S -o - -inline-threshold=3  | FileCheck %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 declare void @pad() readnone
   7
   8 define void @outer1(i32* %a) {
   9 ; CHECK-LABEL: @outer1(
  10 ; CHECK-NOT: call void @inner1
  11   %b = alloca i32
  12   call void @inner1(i32* %a, i32* %b)
  13   ret void
  14 }
  15
  16 define void @inner1(i32* %a, i32* %b) {
  17   %1 = load i32, i32* %a
  18   store i32 %1, i32 * %b ; This store does not clobber the first load.
  19   %2 = load i32, i32* %a
  20   call void @pad()
  21   %3 = load i32, i32* %a
  22   ret void
  23 }
  24
  25
  26 define void @outer2(i32* %a, i32* %b) {
  27 ; CHECK-LABEL: @outer2(
  28 ; CHECK: call void @inner2
  29   call void @inner2(i32* %a, i32* %b)
  30   ret void
  31 }
  32
  33 define void @inner2(i32* %a, i32* %b) {
  34   %1 = load i32, i32* %a
  35   store i32 %1, i32 * %b ; This store clobbers the first load.
  36   %2 = load i32, i32* %a
  37   call void @pad()
  38   ret void
  39 }
  40
  41
  42 define void @outer3(i32* %a) {
  43 ; CHECK-LABEL: @outer3(
  44 ; CHECK: call void @inner3
  45   call void @inner3(i32* %a)
  46   ret void
  47 }
  48
  49 declare void @ext()
  50
  51 define void @inner3(i32* %a) {
  52   %1 = load i32, i32* %a
  53   call void @ext() ; This call clobbers the first load.
  54   %2 = load i32, i32* %a
  55   ret void
  56 }
  57
  58
  59 define void @outer4(i32* %a, i32* %b, i32* %c) {
  60 ; CHECK-LABEL: @outer4(
  61 ; CHECK-NOT: call void @inner4
  62   call void @inner4(i32* %a, i32* %b, i1 false)
  63   ret void
  64 }
  65
  66 define void @inner4(i32* %a, i32* %b, i1 %pred) {
  67   %1 = load i32, i32* %a
  68   br i1 %pred, label %cond_true, label %cond_false
  69
  70 cond_true:
  71   store i32 %1, i32 * %b ; This store does not clobber the first load.
  72   br label %cond_false
  73
  74 cond_false:
  75   %2 = load i32, i32* %a
  76   call void @pad()
  77   %3 = load i32, i32* %a
  78   %4 = load i32, i32* %a
  79   ret void
  80 }
  81
  82
  83 define void @outer5(i32* %a, double %b) {
  84 ; CHECK-LABEL: @outer5(
  85 ; CHECK-NOT: call void @inner5
  86   call void @inner5(i32* %a, double %b)
  87   ret void
  88 }
  89
  90 declare double @llvm.fabs.f64(double) nounwind readnone
  91
  92 define void @inner5(i32* %a, double %b) {
  93   %1 = load i32, i32* %a
  94   %2 = call double @llvm.fabs.f64(double %b) ; This intrinsic does not clobber the first load.
  95   %3 = load i32, i32* %a
  96   call void @pad()
  97   ret void
  98 }
  99
 100 define void @outer6(i32* %a, i8* %ptr) {
 101 ; CHECK-LABEL: @outer6(
 102 ; CHECK-NOT: call void @inner6
 103   call void @inner6(i32* %a, i8* %ptr)
 104   ret void
 105 }
 106
 107 declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) argmemonly nounwind
 108
 109 define void @inner6(i32* %a, i8* %ptr) {
 110   %1 = load i32, i32* %a
 111   call void @llvm.lifetime.start.p0i8(i64 32, i8* %ptr) ; This intrinsic does not clobber the first load.
 112   %2 = load i32, i32* %a
 113   call void @pad()
 114   %3 = load i32, i32* %a
 115   ret void
 116 }
 117
 118 define void @outer7(i32* %a) {
 119 ; CHECK-LABEL: @outer7(
 120 ; CHECK-NOT: call void @inner7
 121   call void @inner7(i32* %a)
 122   ret void
 123 }
 124
 125 declare void @ext2() readnone
 126
 127 define void @inner7(i32* %a) {
 128   %1 = load i32, i32* %a
 129   call void @ext2() ; This call does not clobber the first load.
 130   %2 = load i32, i32* %a
 131   ret void
 132 }
 133
 134
 135 define void @outer8(i32* %a) {
 136 ; CHECK-LABEL: @outer8(
 137 ; CHECK-NOT: call void @inner8
 138   call void @inner8(i32* %a, void ()* @ext2)
 139   ret void
 140 }
 141
 142 define void @inner8(i32* %a, void ()* %f) {
 143   %1 = load i32, i32* %a
 144   call void %f() ; This indirect call does not clobber the first load.
 145   %2 = load i32, i32* %a
 146   call void @pad()
 147   call void @pad()
 148   call void @pad()
 149   call void @pad()
 150   call void @pad()
 151   call void @pad()
 152   call void @pad()
 153   call void @pad()
 154   call void @pad()
 155   call void @pad()
 156   call void @pad()
 157   call void @pad()
 158   ret void
 159 }
 160
 161
 162 define void @outer9(i32* %a) {
 163 ; CHECK-LABEL: @outer9(
 164 ; CHECK: call void @inner9
 165   call void @inner9(i32* %a, void ()* @ext)
 166   ret void
 167 }
 168
 169 define void @inner9(i32* %a, void ()* %f) {
 170   %1 = load i32, i32* %a
 171   call void %f() ; This indirect call clobbers the first load.
 172   %2 = load i32, i32* %a
 173   call void @pad()
 174   call void @pad()
 175   call void @pad()
 176   call void @pad()
 177   call void @pad()
 178   call void @pad()
 179   call void @pad()
 180   call void @pad()
 181   call void @pad()
 182   call void @pad()
 183   call void @pad()
 184   call void @pad()
 185   ret void
 186 }
 187
 188
 189 define void @outer10(i32* %a) {
 190 ; CHECK-LABEL: @outer10(
 191 ; CHECK: call void @inner10
 192   %b = alloca i32
 193   call void @inner10(i32* %a, i32* %b)
 194   ret void
 195 }
 196
 197 define void @inner10(i32* %a, i32* %b) {
 198   %1 = load i32, i32* %a
 199   store i32 %1, i32 * %b
 200   %2 = load volatile i32, i32* %a ; volatile load should be kept.
 201   call void @pad()
 202   %3 = load volatile i32, i32* %a ; Same as the above.
 203   ret void
 204 }