llvm/test/Transforms/InstCombine/store.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 define void @test1(i32* %P) {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:    store i32 123, i32* undef, align 4
   7 ; CHECK-NEXT:    store i32 poison, i32* null, align 536870912
   8 ; CHECK-NEXT:    ret void
   9 ;
  10   store i32 undef, i32* %P
  11   store i32 123, i32* undef
  12   store i32 124, i32* null
  13   ret void
  14 }
  15
  16 define void @test2(i32* %P) {
  17 ; CHECK-LABEL: @test2(
  18 ; CHECK-NEXT:    ret void
  19 ;
  20   %X = load i32, i32* %P
  21   %Y = add i32 %X, 0
  22   store i32 %Y, i32* %P
  23   ret void
  24 }
  25
  26 define void @store_at_gep_off_null_inbounds(i64 %offset) {
  27 ; CHECK-LABEL: @store_at_gep_off_null_inbounds(
  28 ; CHECK-NEXT:    [[PTR:%.*]] = getelementptr inbounds i32, i32* null, i64 [[OFFSET:%.*]]
  29 ; CHECK-NEXT:    store i32 poison, i32* [[PTR]], align 4
  30 ; CHECK-NEXT:    ret void
  31 ;
  32   %ptr = getelementptr inbounds i32, i32 *null, i64 %offset
  33   store i32 24, i32* %ptr
  34   ret void
  35 }
  36
  37 define void @store_at_gep_off_null_not_inbounds(i64 %offset) {
  38 ; CHECK-LABEL: @store_at_gep_off_null_not_inbounds(
  39 ; CHECK-NEXT:    [[PTR:%.*]] = getelementptr i32, i32* null, i64 [[OFFSET:%.*]]
  40 ; CHECK-NEXT:    store i32 poison, i32* [[PTR]], align 4
  41 ; CHECK-NEXT:    ret void
  42 ;
  43   %ptr = getelementptr i32, i32 *null, i64 %offset
  44   store i32 24, i32* %ptr
  45   ret void
  46 }
  47
  48 define void @store_at_gep_off_no_null_opt(i64 %offset) #0 {
  49 ; CHECK-LABEL: @store_at_gep_off_no_null_opt(
  50 ; CHECK-NEXT:    [[PTR:%.*]] = getelementptr inbounds i32, i32* null, i64 [[OFFSET:%.*]]
  51 ; CHECK-NEXT:    store i32 24, i32* [[PTR]], align 4
  52 ; CHECK-NEXT:    ret void
  53 ;
  54   %ptr = getelementptr inbounds i32, i32 *null, i64 %offset
  55   store i32 24, i32* %ptr
  56   ret void
  57 }
  58
  59 attributes #0 = { null_pointer_is_valid }
  60
  61 ;; Simple sinking tests
  62
  63 ; "if then else"
  64 define i32 @test3(i1 %C) {
  65 ; CHECK-LABEL: @test3(
  66 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[COND:%.*]], label [[COND2:%.*]]
  67 ; CHECK:       Cond:
  68 ; CHECK-NEXT:    br label [[CONT:%.*]]
  69 ; CHECK:       Cond2:
  70 ; CHECK-NEXT:    br label [[CONT]]
  71 ; CHECK:       Cont:
  72 ; CHECK-NEXT:    [[STOREMERGE:%.*]] = phi i32 [ 47, [[COND2]] ], [ -987654321, [[COND]] ]
  73 ; CHECK-NEXT:    ret i32 [[STOREMERGE]]
  74 ;
  75   %A = alloca i32
  76   br i1 %C, label %Cond, label %Cond2
  77
  78 Cond:
  79   store i32 -987654321, i32* %A
  80   br label %Cont
  81
  82 Cond2:
  83   store i32 47, i32* %A
  84   br label %Cont
  85
  86 Cont:
  87   %V = load i32, i32* %A
  88   ret i32 %V
  89 }
  90
  91 ; "if then"
  92 define i32 @test4(i1 %C) {
  93 ; CHECK-LABEL: @test4(
  94 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[COND:%.*]], label [[CONT:%.*]]
  95 ; CHECK:       Cond:
  96 ; CHECK-NEXT:    br label [[CONT]]
  97 ; CHECK:       Cont:
  98 ; CHECK-NEXT:    [[STOREMERGE:%.*]] = phi i32 [ -987654321, [[COND]] ], [ 47, [[TMP0:%.*]] ]
  99 ; CHECK-NEXT:    ret i32 [[STOREMERGE]]
 100 ;
 101   %A = alloca i32
 102   store i32 47, i32* %A
 103   br i1 %C, label %Cond, label %Cont
 104
 105 Cond:
 106   store i32 -987654321, i32* %A
 107   br label %Cont
 108
 109 Cont:
 110   %V = load i32, i32* %A
 111   ret i32 %V
 112 }
 113
 114 ; "if then"
 115 define void @test5(i1 %C, i32* %P) {
 116 ; CHECK-LABEL: @test5(
 117 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[COND:%.*]], label [[CONT:%.*]]
 118 ; CHECK:       Cond:
 119 ; CHECK-NEXT:    br label [[CONT]]
 120 ; CHECK:       Cont:
 121 ; CHECK-NEXT:    [[STOREMERGE:%.*]] = phi i32 [ -987654321, [[COND]] ], [ 47, [[TMP0:%.*]] ]
 122 ; CHECK-NEXT:    store i32 [[STOREMERGE]], i32* [[P:%.*]], align 1
 123 ; CHECK-NEXT:    ret void
 124 ;
 125   store i32 47, i32* %P, align 1
 126   br i1 %C, label %Cond, label %Cont
 127
 128 Cond:
 129   store i32 -987654321, i32* %P, align 1
 130   br label %Cont
 131
 132 Cont:
 133   ret void
 134 }
 135
 136
 137 ; PR14753 - merging two stores should preserve the TBAA tag.
 138 define void @test6(i32 %n, float* %a, i32* %gi) nounwind uwtable ssp {
 139 ; CHECK-LABEL: @test6(
 140 ; CHECK-NEXT:  entry:
 141 ; CHECK-NEXT:    br label [[FOR_COND:%.*]]
 142 ; CHECK:       for.cond:
 143 ; CHECK-NEXT:    [[STOREMERGE:%.*]] = phi i32 [ 42, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[FOR_BODY:%.*]] ]
 144 ; CHECK-NEXT:    store i32 [[STOREMERGE]], i32* [[GI:%.*]], align 4, !tbaa [[TBAA0:![0-9]+]]
 145 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i32 [[STOREMERGE]], [[N:%.*]]
 146 ; CHECK-NEXT:    br i1 [[CMP]], label [[FOR_BODY]], label [[FOR_END:%.*]]
 147 ; CHECK:       for.body:
 148 ; CHECK-NEXT:    [[IDXPROM:%.*]] = sext i32 [[STOREMERGE]] to i64
 149 ; CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds float, float* [[A:%.*]], i64 [[IDXPROM]]
 150 ; CHECK-NEXT:    store float 0.000000e+00, float* [[ARRAYIDX]], align 4, !tbaa [[TBAA4:![0-9]+]]
 151 ; CHECK-NEXT:    [[TMP0:%.*]] = load i32, i32* [[GI]], align 4, !tbaa [[TBAA0]]
 152 ; CHECK-NEXT:    [[INC]] = add nsw i32 [[TMP0]], 1
 153 ; CHECK-NEXT:    br label [[FOR_COND]]
 154 ; CHECK:       for.end:
 155 ; CHECK-NEXT:    ret void
 156 ;
 157 entry:
 158   store i32 42, i32* %gi, align 4, !tbaa !0
 159   br label %for.cond
 160
 161 for.cond:
 162   %storemerge = phi i32 [ 0, %entry ], [ %inc, %for.body ]
 163   %0 = load i32, i32* %gi, align 4, !tbaa !0
 164   %cmp = icmp slt i32 %0, %n
 165   br i1 %cmp, label %for.body, label %for.end
 166
 167 for.body:
 168   %idxprom = sext i32 %0 to i64
 169   %arrayidx = getelementptr inbounds float, float* %a, i64 %idxprom
 170   store float 0.000000e+00, float* %arrayidx, align 4, !tbaa !3
 171   %1 = load i32, i32* %gi, align 4, !tbaa !0
 172   %inc = add nsw i32 %1, 1
 173   store i32 %inc, i32* %gi, align 4, !tbaa !0
 174   br label %for.cond
 175
 176 for.end:
 177   ret void
 178 }
 179
 180 define void @dse1(i32* %p) {
 181 ; CHECK-LABEL: @dse1(
 182 ; CHECK-NEXT:    store i32 0, i32* [[P:%.*]], align 4
 183 ; CHECK-NEXT:    ret void
 184 ;
 185   store i32 0, i32* %p
 186   store i32 0, i32* %p
 187   ret void
 188 }
 189
 190 ; Slightly subtle: if we're mixing atomic and non-atomic access to the
 191 ; same location, then the contents of the location are undefined if there's
 192 ; an actual race.  As such, we're free to pick either store under the
 193 ; assumption that we're not racing with any other thread.
 194 define void @dse2(i32* %p) {
 195 ; CHECK-LABEL: @dse2(
 196 ; CHECK-NEXT:    store i32 0, i32* [[P:%.*]], align 4
 197 ; CHECK-NEXT:    ret void
 198 ;
 199   store atomic i32 0, i32* %p unordered, align 4
 200   store i32 0, i32* %p
 201   ret void
 202 }
 203
 204 define void @dse3(i32* %p) {
 205 ; CHECK-LABEL: @dse3(
 206 ; CHECK-NEXT:    store atomic i32 0, i32* [[P:%.*]] unordered, align 4
 207 ; CHECK-NEXT:    ret void
 208 ;
 209   store i32 0, i32* %p
 210   store atomic i32 0, i32* %p unordered, align 4
 211   ret void
 212 }
 213
 214 define void @dse4(i32* %p) {
 215 ; CHECK-LABEL: @dse4(
 216 ; CHECK-NEXT:    store atomic i32 0, i32* [[P:%.*]] unordered, align 4
 217 ; CHECK-NEXT:    ret void
 218 ;
 219   store atomic i32 0, i32* %p unordered, align 4
 220   store atomic i32 0, i32* %p unordered, align 4
 221   ret void
 222 }
 223
 224 ; Implementation limit - could remove unordered store here, but
 225 ; currently don't.
 226 define void @dse5(i32* %p) {
 227 ; CHECK-LABEL: @dse5(
 228 ; CHECK-NEXT:    store atomic i32 0, i32* [[P:%.*]] unordered, align 4
 229 ; CHECK-NEXT:    store atomic i32 0, i32* [[P]] seq_cst, align 4
 230 ; CHECK-NEXT:    ret void
 231 ;
 232   store atomic i32 0, i32* %p unordered, align 4
 233   store atomic i32 0, i32* %p seq_cst, align 4
 234   ret void
 235 }
 236
 237 define void @write_back1(i32* %p) {
 238 ; CHECK-LABEL: @write_back1(
 239 ; CHECK-NEXT:    ret void
 240 ;
 241   %v = load i32, i32* %p
 242   store i32 %v, i32* %p
 243   ret void
 244 }
 245
 246 define void @write_back2(i32* %p) {
 247 ; CHECK-LABEL: @write_back2(
 248 ; CHECK-NEXT:    ret void
 249 ;
 250   %v = load atomic i32, i32* %p unordered, align 4
 251   store i32 %v, i32* %p
 252   ret void
 253 }
 254
 255 define void @write_back3(i32* %p) {
 256 ; CHECK-LABEL: @write_back3(
 257 ; CHECK-NEXT:    ret void
 258 ;
 259   %v = load i32, i32* %p
 260   store atomic i32 %v, i32* %p unordered, align 4
 261   ret void
 262 }
 263
 264 define void @write_back4(i32* %p) {
 265 ; CHECK-LABEL: @write_back4(
 266 ; CHECK-NEXT:    ret void
 267 ;
 268   %v = load atomic i32, i32* %p unordered, align 4
 269   store atomic i32 %v, i32* %p unordered, align 4
 270   ret void
 271 }
 272
 273 ; Can't remove store due to ordering side effect
 274 define void @write_back5(i32* %p) {
 275 ; CHECK-LABEL: @write_back5(
 276 ; CHECK-NEXT:    [[V:%.*]] = load atomic i32, i32* [[P:%.*]] unordered, align 4
 277 ; CHECK-NEXT:    store atomic i32 [[V]], i32* [[P]] seq_cst, align 4
 278 ; CHECK-NEXT:    ret void
 279 ;
 280   %v = load atomic i32, i32* %p unordered, align 4
 281   store atomic i32 %v, i32* %p seq_cst, align 4
 282   ret void
 283 }
 284
 285 define void @write_back6(i32* %p) {
 286 ; CHECK-LABEL: @write_back6(
 287 ; CHECK-NEXT:    [[V:%.*]] = load atomic i32, i32* [[P:%.*]] seq_cst, align 4
 288 ; CHECK-NEXT:    ret void
 289 ;
 290   %v = load atomic i32, i32* %p seq_cst, align 4
 291   store atomic i32 %v, i32* %p unordered, align 4
 292   ret void
 293 }
 294
 295 define void @write_back7(i32* %p) {
 296 ; CHECK-LABEL: @write_back7(
 297 ; CHECK-NEXT:    [[V:%.*]] = load atomic volatile i32, i32* [[P:%.*]] seq_cst, align 4
 298 ; CHECK-NEXT:    ret void
 299 ;
 300   %v = load atomic volatile i32, i32* %p seq_cst, align 4
 301   store atomic i32 %v, i32* %p unordered, align 4
 302   ret void
 303 }
 304
 305 @Unknown = external constant i32
 306
 307 define void @store_to_constant() {
 308 ; CHECK-LABEL: @store_to_constant(
 309 ; CHECK-NEXT:    ret void
 310 ;
 311   store i32 0, i32* @Unknown
 312   ret void
 313 }
 314
 315 !0 = !{!4, !4, i64 0}
 316 !1 = !{!"omnipotent char", !2}
 317 !2 = !{!"Simple C/C++ TBAA"}
 318 !3 = !{!"float", !1}
 319 !4 = !{!"int", !1}