test/Transforms/LICM/call-hoisting.ll

   1 ; RUN: opt -S -basicaa -licm %s | FileCheck %s
   2 ; RUN: opt -aa-pipeline=basic-aa -passes='require<aa>,require<targetir>,require<scalar-evolution>,require<opt-remark-emit>,loop(licm)' < %s -S | FileCheck %s
   3
   4 declare i32 @load(i32* %p) argmemonly readonly nounwind
   5
   6 define void @test_load(i32* noalias %loc, i32* noalias %sink) {
   7 ; CHECK-LABEL: @test_load
   8 ; CHECK-LABEL: entry:
   9 ; CHECK: call i32 @load
  10 ; CHECK-LABEL: loop:
  11 entry:
  12   br label %loop
  13
  14 loop:
  15   %iv = phi i32 [0, %entry], [%iv.next, %loop]
  16   %ret = call i32 @load(i32* %loc)
  17   store volatile i32 %ret, i32* %sink
  18   %iv.next = add i32 %iv, 1
  19   %cmp = icmp slt i32 %iv, 200
  20   br i1 %cmp, label %loop, label %exit
  21
  22 exit:
  23   ret void
  24 }
  25
  26
  27 declare void @store(i32 %val, i32* %p) argmemonly writeonly nounwind
  28
  29 define void @test(i32* %loc) {
  30 ; CHECK-LABEL: @test
  31 ; CHECK-LABEL: loop:
  32 ; CHECK: call void @store
  33 ; CHECK-LABEL: exit:
  34 entry:
  35   br label %loop
  36
  37 loop:
  38   %iv = phi i32 [0, %entry], [%iv.next, %loop]
  39   call void @store(i32 0, i32* %loc)
  40   %iv.next = add i32 %iv, 1
  41   %cmp = icmp slt i32 %iv, 200
  42   br i1 %cmp, label %loop, label %exit
  43
  44 exit:
  45   ret void
  46 }
  47
  48 define void @test_multiexit(i32* %loc, i1 %earlycnd) {
  49 ; CHECK-LABEL: @test_multiexit
  50 ; CHECK-LABEL: loop:
  51 ; CHECK: call void @store
  52 ; CHECK-LABEL: backedge:
  53 entry:
  54   br label %loop
  55
  56 loop:
  57   %iv = phi i32 [0, %entry], [%iv.next, %backedge]
  58   call void @store(i32 0, i32* %loc)
  59   %iv.next = add i32 %iv, 1
  60   br i1 %earlycnd, label %exit1, label %backedge
  61
  62 backedge:
  63   %cmp = icmp slt i32 %iv, 200
  64   br i1 %cmp, label %loop, label %exit2
  65
  66 exit1:
  67   ret void
  68 exit2:
  69   ret void
  70 }
  71
  72 define void @neg_lv_value(i32* %loc) {
  73 ; CHECK-LABEL: @neg_lv_value
  74 ; CHECK-LABEL: loop:
  75 ; CHECK: call void @store
  76 ; CHECK-LABEL: exit:
  77 entry:
  78   br label %loop
  79
  80 loop:
  81   %iv = phi i32 [0, %entry], [%iv.next, %loop]
  82   call void @store(i32 %iv, i32* %loc)
  83   %iv.next = add i32 %iv, 1
  84   %cmp = icmp slt i32 %iv, 200
  85   br i1 %cmp, label %loop, label %exit
  86
  87 exit:
  88   ret void
  89 }
  90
  91 define void @neg_lv_addr(i32* %loc) {
  92 ; CHECK-LABEL: @neg_lv_addr
  93 ; CHECK-LABEL: loop:
  94 ; CHECK: call void @store
  95 ; CHECK-LABEL: exit:
  96 entry:
  97   br label %loop
  98
  99 loop:
 100   %iv = phi i32 [0, %entry], [%iv.next, %loop]
 101   %p = getelementptr i32, i32* %loc, i32 %iv
 102   call void @store(i32 0, i32* %p)
 103   %iv.next = add i32 %iv, 1
 104   %cmp = icmp slt i32 %iv, 200
 105   br i1 %cmp, label %loop, label %exit
 106
 107 exit:
 108   ret void
 109 }
 110
 111 define void @neg_mod(i32* %loc) {
 112 ; CHECK-LABEL: @neg_mod
 113 ; CHECK-LABEL: loop:
 114 ; CHECK: call void @store
 115 ; CHECK-LABEL: exit:
 116 entry:
 117   br label %loop
 118
 119 loop:
 120   %iv = phi i32 [0, %entry], [%iv.next, %loop]
 121   call void @store(i32 0, i32* %loc)
 122   store i32 %iv, i32* %loc
 123   %iv.next = add i32 %iv, 1
 124   %cmp = icmp slt i32 %iv, 200
 125   br i1 %cmp, label %loop, label %exit
 126
 127 exit:
 128   ret void
 129 }
 130
 131 define void @neg_ref(i32* %loc) {
 132 ; CHECK-LABEL: @neg_ref
 133 ; CHECK-LABEL: loop:
 134 ; CHECK: call void @store
 135 ; CHECK-LABEL: exit1:
 136 entry:
 137   br label %loop
 138
 139 loop:
 140   %iv = phi i32 [0, %entry], [%iv.next, %backedge]
 141   call void @store(i32 0, i32* %loc)
 142   %v = load i32, i32* %loc
 143   %earlycnd = icmp eq i32 %v, 198
 144   br i1 %earlycnd, label %exit1, label %backedge
 145
 146 backedge:
 147   %iv.next = add i32 %iv, 1
 148   %cmp = icmp slt i32 %iv, 200
 149   br i1 %cmp, label %loop, label %exit2
 150
 151 exit1:
 152   ret void
 153 exit2:
 154   ret void
 155 }
 156
 157 declare void @modref()
 158
 159 define void @neg_modref(i32* %loc) {
 160 ; CHECK-LABEL: @neg_modref
 161 ; CHECK-LABEL: loop:
 162 ; CHECK: call void @store
 163 ; CHECK-LABEL: exit:
 164 entry:
 165   br label %loop
 166
 167 loop:
 168   %iv = phi i32 [0, %entry], [%iv.next, %loop]
 169   call void @store(i32 0, i32* %loc)
 170   call void @modref()
 171   %iv.next = add i32 %iv, 1
 172   %cmp = icmp slt i32 %iv, 200
 173   br i1 %cmp, label %loop, label %exit
 174
 175 exit:
 176   ret void
 177 }
 178
 179 define void @neg_fence(i32* %loc) {
 180 ; CHECK-LABEL: @neg_fence
 181 ; CHECK-LABEL: loop:
 182 ; CHECK: call void @store
 183 ; CHECK-LABEL: exit:
 184 entry:
 185   br label %loop
 186
 187 loop:
 188   %iv = phi i32 [0, %entry], [%iv.next, %loop]
 189   call void @store(i32 0, i32* %loc)
 190   fence seq_cst
 191   %iv.next = add i32 %iv, 1
 192   %cmp = icmp slt i32 %iv, 200
 193   br i1 %cmp, label %loop, label %exit
 194
 195 exit:
 196   ret void
 197 }
 198
 199 declare void @not_nounwind(i32 %v, i32* %p) writeonly argmemonly
 200 declare void @not_argmemonly(i32 %v, i32* %p) writeonly nounwind
 201 declare void @not_writeonly(i32 %v, i32* %p) argmemonly nounwind
 202
 203 define void @neg_not_nounwind(i32* %loc) {
 204 ; CHECK-LABEL: @neg_not_nounwind
 205 ; CHECK-LABEL: loop:
 206 ; CHECK: call void @not_nounwind
 207 ; CHECK-LABEL: exit:
 208 entry:
 209   br label %loop
 210
 211 loop:
 212   %iv = phi i32 [0, %entry], [%iv.next, %loop]
 213   call void @not_nounwind(i32 0, i32* %loc)
 214   %iv.next = add i32 %iv, 1
 215   %cmp = icmp slt i32 %iv, 200
 216   br i1 %cmp, label %loop, label %exit
 217
 218 exit:
 219   ret void
 220 }
 221
 222 define void @neg_not_argmemonly(i32* %loc) {
 223 ; CHECK-LABEL: @neg_not_argmemonly
 224 ; CHECK-LABEL: loop:
 225 ; CHECK: call void @not_argmemonly
 226 ; CHECK-LABEL: exit:
 227 entry:
 228   br label %loop
 229
 230 loop:
 231   %iv = phi i32 [0, %entry], [%iv.next, %loop]
 232   call void @not_argmemonly(i32 0, i32* %loc)
 233   %iv.next = add i32 %iv, 1
 234   %cmp = icmp slt i32 %iv, 200
 235   br i1 %cmp, label %loop, label %exit
 236
 237 exit:
 238   ret void
 239 }
 240
 241 define void @neg_not_writeonly(i32* %loc) {
 242 ; CHECK-LABEL: @neg_not_writeonly
 243 ; CHECK-LABEL: loop:
 244 ; CHECK: call void @not_writeonly
 245 ; CHECK-LABEL: exit:
 246 entry:
 247   br label %loop
 248
 249 loop:
 250   %iv = phi i32 [0, %entry], [%iv.next, %loop]
 251   call void @not_writeonly(i32 0, i32* %loc)
 252   %iv.next = add i32 %iv, 1
 253   %cmp = icmp slt i32 %iv, 200
 254   br i1 %cmp, label %loop, label %exit
 255
 256 exit:
 257   ret void
 258 }
 259