test/Transforms/Inline/inline_minisize.ll

   1 ; RUN: opt -O2 -S < %s | FileCheck %s
   2
   3 @data = common global i32* null, align 8
   4
   5 define i32 @fct1(i32 %a) nounwind uwtable ssp {
   6 entry:
   7   %a.addr = alloca i32, align 4
   8   %res = alloca i32, align 4
   9   %i = alloca i32, align 4
  10   store i32 %a, i32* %a.addr, align 4
  11   %tmp = load i32, i32* %a.addr, align 4
  12   %idxprom = sext i32 %tmp to i64
  13   %tmp1 = load i32*, i32** @data, align 8
  14   %arrayidx = getelementptr inbounds i32, i32* %tmp1, i64 %idxprom
  15   %tmp2 = load i32, i32* %arrayidx, align 4
  16   %tmp3 = load i32, i32* %a.addr, align 4
  17   %add = add nsw i32 %tmp3, 1
  18   %idxprom1 = sext i32 %add to i64
  19   %tmp4 = load i32*, i32** @data, align 8
  20   %arrayidx2 = getelementptr inbounds i32, i32* %tmp4, i64 %idxprom1
  21   %tmp5 = load i32, i32* %arrayidx2, align 4
  22   %mul = mul nsw i32 %tmp2, %tmp5
  23   store i32 %mul, i32* %res, align 4
  24   store i32 0, i32* %i, align 4
  25   store i32 0, i32* %i, align 4
  26   br label %for.cond
  27
  28 for.cond:                                         ; preds = %for.inc, %entry
  29   %tmp6 = load i32, i32* %i, align 4
  30   %tmp7 = load i32, i32* %res, align 4
  31   %cmp = icmp slt i32 %tmp6, %tmp7
  32   br i1 %cmp, label %for.body, label %for.end
  33
  34 for.body:                                         ; preds = %for.cond
  35   %tmp8 = load i32, i32* %i, align 4
  36   %idxprom3 = sext i32 %tmp8 to i64
  37   %tmp9 = load i32*, i32** @data, align 8
  38   %arrayidx4 = getelementptr inbounds i32, i32* %tmp9, i64 %idxprom3
  39   call void @fct0(i32* %arrayidx4)
  40   br label %for.inc
  41
  42 for.inc:                                          ; preds = %for.body
  43   %tmp10 = load i32, i32* %i, align 4
  44   %inc = add nsw i32 %tmp10, 1
  45   store i32 %inc, i32* %i, align 4
  46   br label %for.cond
  47
  48 for.end:                                          ; preds = %for.cond
  49   store i32 0, i32* %i, align 4
  50   br label %for.cond5
  51
  52 for.cond5:                                        ; preds = %for.inc10, %for.end
  53   %tmp11 = load i32, i32* %i, align 4
  54   %tmp12 = load i32, i32* %res, align 4
  55   %cmp6 = icmp slt i32 %tmp11, %tmp12
  56   br i1 %cmp6, label %for.body7, label %for.end12
  57
  58 for.body7:                                        ; preds = %for.cond5
  59   %tmp13 = load i32, i32* %i, align 4
  60   %idxprom8 = sext i32 %tmp13 to i64
  61   %tmp14 = load i32*, i32** @data, align 8
  62   %arrayidx9 = getelementptr inbounds i32, i32* %tmp14, i64 %idxprom8
  63   call void @fct0(i32* %arrayidx9)
  64   br label %for.inc10
  65
  66 for.inc10:                                        ; preds = %for.body7
  67   %tmp15 = load i32, i32* %i, align 4
  68   %inc11 = add nsw i32 %tmp15, 1
  69   store i32 %inc11, i32* %i, align 4
  70   br label %for.cond5
  71
  72 for.end12:                                        ; preds = %for.cond5
  73   store i32 0, i32* %i, align 4
  74   br label %for.cond13
  75
  76 for.cond13:                                       ; preds = %for.inc18, %for.end12
  77   %tmp16 = load i32, i32* %i, align 4
  78   %tmp17 = load i32, i32* %res, align 4
  79   %cmp14 = icmp slt i32 %tmp16, %tmp17
  80   br i1 %cmp14, label %for.body15, label %for.end20
  81
  82 for.body15:                                       ; preds = %for.cond13
  83   %tmp18 = load i32, i32* %i, align 4
  84   %idxprom16 = sext i32 %tmp18 to i64
  85   %tmp19 = load i32*, i32** @data, align 8
  86   %arrayidx17 = getelementptr inbounds i32, i32* %tmp19, i64 %idxprom16
  87   call void @fct0(i32* %arrayidx17)
  88   br label %for.inc18
  89
  90 for.inc18:                                        ; preds = %for.body15
  91   %tmp20 = load i32, i32* %i, align 4
  92   %inc19 = add nsw i32 %tmp20, 1
  93   store i32 %inc19, i32* %i, align 4
  94   br label %for.cond13
  95
  96 for.end20:                                        ; preds = %for.cond13
  97   %tmp21 = load i32, i32* %res, align 4
  98   ret i32 %tmp21
  99 }
 100
 101 declare void @fct0(i32*)
 102
 103 define i32 @fct2(i32 %a) nounwind uwtable inlinehint ssp {
 104 entry:
 105   %a.addr = alloca i32, align 4
 106   %res = alloca i32, align 4
 107   %i = alloca i32, align 4
 108   store i32 %a, i32* %a.addr, align 4
 109   %tmp = load i32, i32* %a.addr, align 4
 110   %shl = shl i32 %tmp, 1
 111   %idxprom = sext i32 %shl to i64
 112   %tmp1 = load i32*, i32** @data, align 8
 113   %arrayidx = getelementptr inbounds i32, i32* %tmp1, i64 %idxprom
 114   %tmp2 = load i32, i32* %arrayidx, align 4
 115   %tmp3 = load i32, i32* %a.addr, align 4
 116   %shl1 = shl i32 %tmp3, 1
 117   %add = add nsw i32 %shl1, 13
 118   %idxprom2 = sext i32 %add to i64
 119   %tmp4 = load i32*, i32** @data, align 8
 120   %arrayidx3 = getelementptr inbounds i32, i32* %tmp4, i64 %idxprom2
 121   %tmp5 = load i32, i32* %arrayidx3, align 4
 122   %mul = mul nsw i32 %tmp2, %tmp5
 123   store i32 %mul, i32* %res, align 4
 124   store i32 0, i32* %i, align 4
 125   store i32 0, i32* %i, align 4
 126   br label %for.cond
 127
 128 for.cond:                                         ; preds = %for.inc, %entry
 129   %tmp6 = load i32, i32* %i, align 4
 130   %tmp7 = load i32, i32* %res, align 4
 131   %cmp = icmp slt i32 %tmp6, %tmp7
 132   br i1 %cmp, label %for.body, label %for.end
 133
 134 for.body:                                         ; preds = %for.cond
 135   %tmp8 = load i32, i32* %i, align 4
 136   %idxprom4 = sext i32 %tmp8 to i64
 137   %tmp9 = load i32*, i32** @data, align 8
 138   %arrayidx5 = getelementptr inbounds i32, i32* %tmp9, i64 %idxprom4
 139   call void @fct0(i32* %arrayidx5)
 140   br label %for.inc
 141
 142 for.inc:                                          ; preds = %for.body
 143   %tmp10 = load i32, i32* %i, align 4
 144   %inc = add nsw i32 %tmp10, 1
 145   store i32 %inc, i32* %i, align 4
 146   br label %for.cond
 147
 148 for.end:                                          ; preds = %for.cond
 149   store i32 0, i32* %i, align 4
 150   br label %for.cond6
 151
 152 for.cond6:                                        ; preds = %for.inc11, %for.end
 153   %tmp11 = load i32, i32* %i, align 4
 154   %tmp12 = load i32, i32* %res, align 4
 155   %cmp7 = icmp slt i32 %tmp11, %tmp12
 156   br i1 %cmp7, label %for.body8, label %for.end13
 157
 158 for.body8:                                        ; preds = %for.cond6
 159   %tmp13 = load i32, i32* %i, align 4
 160   %idxprom9 = sext i32 %tmp13 to i64
 161   %tmp14 = load i32*, i32** @data, align 8
 162   %arrayidx10 = getelementptr inbounds i32, i32* %tmp14, i64 %idxprom9
 163   call void @fct0(i32* %arrayidx10)
 164   br label %for.inc11
 165
 166 for.inc11:                                        ; preds = %for.body8
 167   %tmp15 = load i32, i32* %i, align 4
 168   %inc12 = add nsw i32 %tmp15, 1
 169   store i32 %inc12, i32* %i, align 4
 170   br label %for.cond6
 171
 172 for.end13:                                        ; preds = %for.cond6
 173   store i32 0, i32* %i, align 4
 174   br label %for.cond14
 175
 176 for.cond14:                                       ; preds = %for.inc19, %for.end13
 177   %tmp16 = load i32, i32* %i, align 4
 178   %tmp17 = load i32, i32* %res, align 4
 179   %cmp15 = icmp slt i32 %tmp16, %tmp17
 180   br i1 %cmp15, label %for.body16, label %for.end21
 181
 182 for.body16:                                       ; preds = %for.cond14
 183   %tmp18 = load i32, i32* %i, align 4
 184   %idxprom17 = sext i32 %tmp18 to i64
 185   %tmp19 = load i32*, i32** @data, align 8
 186   %arrayidx18 = getelementptr inbounds i32, i32* %tmp19, i64 %idxprom17
 187   call void @fct0(i32* %arrayidx18)
 188   br label %for.inc19
 189
 190 for.inc19:                                        ; preds = %for.body16
 191   %tmp20 = load i32, i32* %i, align 4
 192   %inc20 = add nsw i32 %tmp20, 1
 193   store i32 %inc20, i32* %i, align 4
 194   br label %for.cond14
 195
 196 for.end21:                                        ; preds = %for.cond14
 197   %tmp21 = load i32, i32* %res, align 4
 198   ret i32 %tmp21
 199 }
 200
 201 define i32 @fct3(i32 %c) nounwind uwtable ssp {
 202 entry:
 203   ;CHECK-LABEL: @fct3(
 204   ;CHECK: call i32 @fct1
 205   ; The inline keyword gives a sufficient benefits to inline fct2
 206   ;CHECK-NOT: call i32 @fct2
 207   %c.addr = alloca i32, align 4
 208   store i32 %c, i32* %c.addr, align 4
 209   %tmp = load i32, i32* %c.addr, align 4
 210   %call = call i32 @fct1(i32 %tmp)
 211   %tmp1 = load i32, i32* %c.addr, align 4
 212   %call1 = call i32 @fct2(i32 %tmp1)
 213   %add = add nsw i32 %call, %call1
 214   ret i32 %add
 215 }
 216
 217 define i32 @fct4(i32 %c) minsize nounwind uwtable ssp {
 218 entry:
 219   ;CHECK-LABEL: @fct4(
 220   ;CHECK: call i32 @fct1
 221   ; With Oz (minsize attribute), the benefit of inlining fct2
 222   ; is the same as fct1, thus no inlining for fct2
 223   ;CHECK: call i32 @fct2
 224   %c.addr = alloca i32, align 4
 225   store i32 %c, i32* %c.addr, align 4
 226   %tmp = load i32, i32* %c.addr, align 4
 227   %call = call i32 @fct1(i32 %tmp)
 228   %tmp1 = load i32, i32* %c.addr, align 4
 229   %call1 = call i32 @fct2(i32 %tmp1)
 230   %add = add nsw i32 %call, %call1
 231   ret i32 %add
 232 }