test/Transforms/DeadStoreElimination/merge-stores-big-endian.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -dse -enable-dse-partial-store-merging -S < %s | FileCheck %s
   3 target datalayout = "E-m:e-i64:64-i128:128-n32:64-S128"
   4
   5 define void @byte_by_byte_replacement(i32 *%ptr) {
   6 ; CHECK-LABEL: @byte_by_byte_replacement(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    store i32 151653132, i32* [[PTR:%.*]]
   9 ; CHECK-NEXT:    ret void
  10 ;
  11 entry:
  12   ;; This store's value should be modified as it should be better to use one
  13   ;; larger store than several smaller ones.
  14   ;; store will turn into 0x090A0B0C == 151653132
  15   store i32 305419896, i32* %ptr  ; 0x12345678
  16   %bptr = bitcast i32* %ptr to i8*
  17   %bptr1 = getelementptr inbounds i8, i8* %bptr, i64 1
  18   %bptr2 = getelementptr inbounds i8, i8* %bptr, i64 2
  19   %bptr3 = getelementptr inbounds i8, i8* %bptr, i64 3
  20
  21   ;; We should be able to merge these four stores with the i32 above
  22   ; value (and bytes) stored before  ; 0x12345678
  23   store i8 9, i8* %bptr              ;   09
  24   store i8 10, i8* %bptr1            ;     0A
  25   store i8 11, i8* %bptr2            ;       0B
  26   store i8 12, i8* %bptr3            ;         0C
  27   ;                                    0x090A0B0C
  28
  29   ret void
  30 }
  31
  32 define void @word_replacement(i64 *%ptr) {
  33 ; CHECK-LABEL: @word_replacement(
  34 ; CHECK-NEXT:  entry:
  35 ; CHECK-NEXT:    store i64 72638273700655232, i64* [[PTR:%.*]]
  36 ; CHECK-NEXT:    ret void
  37 ;
  38 entry:
  39   store i64 72623859790382856, i64* %ptr  ; 0x0102030405060708
  40
  41   %wptr = bitcast i64* %ptr to i16*
  42   %wptr1 = getelementptr inbounds i16, i16* %wptr, i64 1
  43   %wptr2 = getelementptr inbounds i16, i16* %wptr, i64 2
  44   %wptr3 = getelementptr inbounds i16, i16* %wptr, i64 3
  45
  46   ;; We should be able to merge these two stores with the i64 one above
  47   ; value (and bytes) stored before  ; 0x0102030405060708
  48   store i16  4128, i16* %wptr1       ;       1020
  49   store i16 28800, i16* %wptr3       ;               7080
  50   ;                                    0x0102102005067080
  51
  52   ret void
  53 }
  54
  55
  56 define void @differently_sized_replacements(i64 *%ptr) {
  57 ; CHECK-LABEL: @differently_sized_replacements(
  58 ; CHECK-NEXT:  entry:
  59 ; CHECK-NEXT:    store i64 289077004501059343, i64* [[PTR:%.*]]
  60 ; CHECK-NEXT:    ret void
  61 ;
  62 entry:
  63   store i64 579005069656919567, i64* %ptr  ; 0x08090a0b0c0d0e0f
  64
  65   %bptr = bitcast i64* %ptr to i8*
  66   %bptr6 = getelementptr inbounds i8, i8* %bptr, i64 6
  67   %wptr = bitcast i64* %ptr to i16*
  68   %wptr2 = getelementptr inbounds i16, i16* %wptr, i64 2
  69   %dptr = bitcast i64* %ptr to i32*
  70
  71   ;; We should be able to merge all these stores with the i64 one above
  72   ; value (and bytes) stored before  ; 0x08090a0b0c0d0e0f
  73   store i8         7, i8*  %bptr6    ;               07
  74   store i16     1541, i16* %wptr2    ;           0605
  75   store i32 67305985, i32* %dptr     ;   04030201
  76   ;                                    0x040302010605070f
  77   ret void
  78 }
  79
  80
  81 define void @multiple_replacements_to_same_byte(i64 *%ptr) {
  82 ; CHECK-LABEL: @multiple_replacements_to_same_byte(
  83 ; CHECK-NEXT:  entry:
  84 ; CHECK-NEXT:    store i64 289077004602248719, i64* [[PTR:%.*]]
  85 ; CHECK-NEXT:    ret void
  86 ;
  87 entry:
  88   store i64 579005069656919567, i64* %ptr  ; 0x08090a0b0c0d0e0f
  89
  90   %bptr = bitcast i64* %ptr to i8*
  91   %bptr3 = getelementptr inbounds i8, i8* %bptr, i64 3
  92   %wptr = bitcast i64* %ptr to i16*
  93   %wptr1 = getelementptr inbounds i16, i16* %wptr, i64 1
  94   %dptr = bitcast i64* %ptr to i32*
  95
  96   ;; We should be able to merge all these stores with the i64 one above
  97   ; value (and bytes) stored before  ; 0x08090a0b0c0d0e0f
  98   store i8         7, i8*  %bptr3    ;         07
  99   store i16     1541, i16* %wptr1    ;       0605
 100   store i32 67305985, i32* %dptr     ;   04030201
 101   ;                                    0x040302010c0d0e0f
 102   ret void
 103 }
 104
 105 define void @merged_merges(i64 *%ptr) {
 106 ; CHECK-LABEL: @merged_merges(
 107 ; CHECK-NEXT:  entry:
 108 ; CHECK-NEXT:    store i64 289081428418563599, i64* [[PTR:%.*]]
 109 ; CHECK-NEXT:    ret void
 110 ;
 111 entry:
 112   store i64 579005069656919567, i64* %ptr  ; 0x08090a0b0c0d0e0f
 113
 114   %bptr = bitcast i64* %ptr to i8*
 115   %bptr3 = getelementptr inbounds i8, i8* %bptr, i64 3
 116   %wptr = bitcast i64* %ptr to i16*
 117   %wptr1 = getelementptr inbounds i16, i16* %wptr, i64 1
 118   %dptr = bitcast i64* %ptr to i32*
 119
 120   ;; We should be able to merge all these stores with the i64 one above
 121   ; value (not bytes) stored before  ; 0x08090a0b0c0d0e0f
 122   store i32 67305985, i32* %dptr     ;   04030201
 123   store i16     1541, i16* %wptr1    ;       0605
 124   store i8         7, i8*  %bptr3    ;         07
 125   ;                                    0x040306070c0d0e0f
 126   ret void
 127 }
 128
 129 define signext i8 @shouldnt_merge_since_theres_a_full_overlap(i64 *%ptr) {
 130 ; CHECK-LABEL: @shouldnt_merge_since_theres_a_full_overlap(
 131 ; CHECK-NEXT:  entry:
 132 ; CHECK-NEXT:    [[BPTR:%.*]] = bitcast i64* [[PTR:%.*]] to i8*
 133 ; CHECK-NEXT:    [[BPTRM1:%.*]] = getelementptr inbounds i8, i8* [[BPTR]], i64 -1
 134 ; CHECK-NEXT:    [[BPTR3:%.*]] = getelementptr inbounds i8, i8* [[BPTR]], i64 3
 135 ; CHECK-NEXT:    [[DPTR:%.*]] = bitcast i8* [[BPTRM1]] to i32*
 136 ; CHECK-NEXT:    [[QPTR:%.*]] = bitcast i8* [[BPTR3]] to i64*
 137 ; CHECK-NEXT:    store i32 1234, i32* [[DPTR]], align 1
 138 ; CHECK-NEXT:    store i64 5678, i64* [[QPTR]], align 1
 139 ; CHECK-NEXT:    ret i8 0
 140 ;
 141 entry:
 142
 143   store i64 0, i64* %ptr
 144
 145   %bptr = bitcast i64* %ptr to i8*
 146   %bptrm1 = getelementptr inbounds i8, i8* %bptr, i64 -1
 147   %bptr3 = getelementptr inbounds i8, i8* %bptr, i64 3
 148   %dptr = bitcast i8* %bptrm1 to i32*
 149   %qptr = bitcast i8* %bptr3 to i64*
 150
 151   store i32 1234, i32* %dptr, align 1
 152   store i64 5678, i64* %qptr, align 1
 153
 154   ret i8 0
 155 }
 156
 157 ;; Test case from PR31777
 158 %union.U = type { i64 }
 159
 160 define void @foo(%union.U* nocapture %u) {
 161 ; CHECK-LABEL: @foo(
 162 ; CHECK-NEXT:  entry:
 163 ; CHECK-NEXT:    [[I:%.*]] = getelementptr inbounds [[UNION_U:%.*]], %union.U* [[U:%.*]], i64 0, i32 0
 164 ; CHECK-NEXT:    store i64 11821949021847552, i64* [[I]], align 8
 165 ; CHECK-NEXT:    ret void
 166 ;
 167 entry:
 168   %i = getelementptr inbounds %union.U, %union.U* %u, i64 0, i32 0
 169   store i64 0, i64* %i, align 8
 170   %s = bitcast %union.U* %u to i16*
 171   store i16 42, i16* %s, align 8
 172   ret void
 173 }