llvm/test/Transforms/DeadStoreElimination/offsetted-overlapping-stores.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=dse -S | FileCheck %s
   3
   4 @BUFFER = external local_unnamed_addr global [0 x i8], align 1
   5
   6 define void @ArrayTestFullyOverlapping(i64 %0) {
   7 ;
   8 ; The DSE pass will try to kill the store of size i32 using the store of
   9 ; size i64 because they fully overlap, in fact:
  10 ;
  11 ; - they use the same base pointer (in SCEV style '@BUFFER + %0')
  12 ; - the offset between the two stores is 32 bits
  13 ; - the size of the earlier store is 32 bits
  14 ; - the size of the later store is 64 bits
  15 ;
  16 ; CHECK-LABEL: @ArrayTestFullyOverlapping(
  17 ; CHECK-NEXT:    [[TMP2:%.*]] = add i64 [[TMP0:%.*]], -8
  18 ; CHECK-NEXT:    [[TMP3:%.*]] = getelementptr inbounds [0 x i8], ptr @BUFFER, i64 0, i64 [[TMP2]]
  19 ; CHECK-NEXT:    store i64 0, ptr [[TMP3]], align 4
  20 ; CHECK-NEXT:    ret void
  21 ;
  22   %2 = add i64 %0, -8
  23   %3 = getelementptr inbounds [0 x i8], ptr @BUFFER, i64 0, i64 %2
  24   %4 = add i64 %0, -4
  25   %5 = getelementptr inbounds [0 x i8], ptr @BUFFER, i64 0, i64 %4
  26   store i32 1, ptr %5
  27   store i64 0, ptr %3
  28   ret void
  29 }
  30
  31 define void @VectorTestFullyOverlapping(ptr %arg, i32 %i) {
  32 ; CHECK-LABEL: @VectorTestFullyOverlapping(
  33 ; CHECK-NEXT:  bb:
  34 ; CHECK-NEXT:    [[I2:%.*]] = zext i32 [[I:%.*]] to i64
  35 ; CHECK-NEXT:    [[I3:%.*]] = getelementptr inbounds float, ptr [[ARG:%.*]], i64 [[I2]]
  36 ; CHECK-NEXT:    store <2 x float> zeroinitializer, ptr [[I3]], align 16
  37 ; CHECK-NEXT:    ret void
  38 ;
  39 bb:
  40   %i7 = add nuw nsw i32 %i, 1
  41   %i8 = zext i32 %i7 to i64
  42   %i9 = getelementptr inbounds float, ptr %arg, i64 %i8
  43   store float 0.0, ptr %i9, align 4
  44   %i2 = zext i32 %i to i64
  45   %i3 = getelementptr inbounds float, ptr %arg, i64 %i2
  46   store <2 x float> <float 0.0, float 0.0>, ptr %i3, align 16
  47   ret void
  48 }
  49
  50 define void @ArrayTestPartiallyOverlapping(i64 %0) {
  51 ;
  52 ; The DSE pass will not kill the store because the overlap is partial
  53 ; and won't fully clobber the i32 store.
  54 ;
  55 ; CHECK-LABEL: @ArrayTestPartiallyOverlapping(
  56 ; CHECK-NEXT:    [[TMP2:%.*]] = add i64 [[TMP0:%.*]], 10
  57 ; CHECK-NEXT:    [[TMP3:%.*]] = getelementptr inbounds [0 x i8], ptr @BUFFER, i64 0, i64 [[TMP2]]
  58 ; CHECK-NEXT:    [[TMP5:%.*]] = add i64 [[TMP0]], 15
  59 ; CHECK-NEXT:    [[TMP6:%.*]] = getelementptr inbounds [0 x i8], ptr @BUFFER, i64 0, i64 [[TMP5]]
  60 ; CHECK-NEXT:    store i32 1, ptr [[TMP6]], align 4
  61 ; CHECK-NEXT:    store i64 0, ptr [[TMP3]], align 4
  62 ; CHECK-NEXT:    ret void
  63 ;
  64   %2 = add i64 %0, 10
  65   %3 = getelementptr inbounds [0 x i8], ptr @BUFFER, i64 0, i64 %2
  66   %4 = add i64 %0, 15
  67   %5 = getelementptr inbounds [0 x i8], ptr @BUFFER, i64 0, i64 %4
  68   store i32 1, ptr %5
  69   store i64 0, ptr %3
  70   ret void
  71 }
  72
  73 define void @VectorTestPartiallyOverlapping(ptr %arg, i32 %i) {
  74 ;
  75 ; The DSE pass will not kill the store because the overlap is partial
  76 ; and won't fully clobber the original store.
  77 ;
  78 ; CHECK-LABEL: @VectorTestPartiallyOverlapping(
  79 ; CHECK-NEXT:  bb:
  80 ; CHECK-NEXT:    [[I2:%.*]] = zext i32 [[I:%.*]] to i64
  81 ; CHECK-NEXT:    [[I3:%.*]] = getelementptr inbounds float, ptr [[ARG:%.*]], i64 [[I2]]
  82 ; CHECK-NEXT:    store <2 x float> <float 1.000000e+00, float 1.000000e+00>, ptr [[I3]], align 16
  83 ; CHECK-NEXT:    [[I5:%.*]] = add nuw nsw i32 [[I]], 1
  84 ; CHECK-NEXT:    [[I6:%.*]] = zext i32 [[I5]] to i64
  85 ; CHECK-NEXT:    [[I7:%.*]] = getelementptr inbounds float, ptr [[ARG]], i64 [[I6]]
  86 ; CHECK-NEXT:    store <2 x float> zeroinitializer, ptr [[I7]], align 16
  87 ; CHECK-NEXT:    ret void
  88 ;
  89 bb:
  90   %i2 = zext i32 %i to i64
  91   %i3 = getelementptr inbounds float, ptr %arg, i64 %i2
  92   store <2 x float> <float 1.000000e+00, float 1.000000e+00>, ptr %i3, align 16
  93   %i5 = add nuw nsw i32 %i, 1
  94   %i6 = zext i32 %i5 to i64
  95   %i7 = getelementptr inbounds float, ptr %arg, i64 %i6
  96   store <2 x float> <float 0.0, float 0.0>, ptr %i7, align 16
  97   ret void
  98 }
  99