test/Transforms/DeadStoreElimination/merge-stores.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-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-f128:128:128-n8:16:32:64"
   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 202050057, 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 0x0C0B0A09 == 202050057
  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   ;                                    0x0C0B0A09
  28   ret void
  29 }
  30
  31 define void @word_replacement(i64 *%ptr) {
  32 ; CHECK-LABEL: @word_replacement(
  33 ; CHECK-NEXT:  entry:
  34 ; CHECK-NEXT:    store i64 8106482645252179720, i64* [[PTR:%.*]]
  35 ; CHECK-NEXT:    ret void
  36 ;
  37 entry:
  38   store i64 72623859790382856, i64* %ptr  ; 0x0102030405060708
  39
  40   %wptr = bitcast i64* %ptr to i16*
  41   %wptr1 = getelementptr inbounds i16, i16* %wptr, i64 1
  42   %wptr2 = getelementptr inbounds i16, i16* %wptr, i64 2
  43   %wptr3 = getelementptr inbounds i16, i16* %wptr, i64 3
  44
  45   ;; We should be able to merge these two stores with the i64 one above
  46   ; value (not bytes) stored before  ; 0x0102030405060708
  47   store i16  4128, i16* %wptr1       ;           1020
  48   store i16 28800, i16* %wptr3       ;   7080
  49   ;                                    0x7080030410200708
  50   ret void
  51 }
  52
  53
  54 define void @differently_sized_replacements(i64 *%ptr) {
  55 ; CHECK-LABEL: @differently_sized_replacements(
  56 ; CHECK-NEXT:  entry:
  57 ; CHECK-NEXT:    store i64 578437695752307201, i64* [[PTR:%.*]]
  58 ; CHECK-NEXT:    ret void
  59 ;
  60 entry:
  61   store i64 579005069656919567, i64* %ptr  ; 0x08090a0b0c0d0e0f
  62
  63   %bptr = bitcast i64* %ptr to i8*
  64   %bptr6 = getelementptr inbounds i8, i8* %bptr, i64 6
  65   %wptr = bitcast i64* %ptr to i16*
  66   %wptr2 = getelementptr inbounds i16, i16* %wptr, i64 2
  67   %dptr = bitcast i64* %ptr to i32*
  68
  69   ;; We should be able to merge all these stores with the i64 one above
  70   ; value (not bytes) stored before  ; 0x08090a0b0c0d0e0f
  71   store i8         7, i8*  %bptr6    ;     07
  72   store i16     1541, i16* %wptr2    ;       0605
  73   store i32 67305985, i32* %dptr     ;           04030201
  74   ;                                    0x0807060504030201
  75   ret void
  76 }
  77
  78
  79 define void @multiple_replacements_to_same_byte(i64 *%ptr) {
  80 ; CHECK-LABEL: @multiple_replacements_to_same_byte(
  81 ; CHECK-NEXT:  entry:
  82 ; CHECK-NEXT:    store i64 579005069522043393, i64* [[PTR:%.*]]
  83 ; CHECK-NEXT:    ret void
  84 ;
  85 entry:
  86   store i64 579005069656919567, i64* %ptr  ; 0x08090a0b0c0d0e0f
  87
  88   %bptr = bitcast i64* %ptr to i8*
  89   %bptr3 = getelementptr inbounds i8, i8* %bptr, i64 3
  90   %wptr = bitcast i64* %ptr to i16*
  91   %wptr1 = getelementptr inbounds i16, i16* %wptr, i64 1
  92   %dptr = bitcast i64* %ptr to i32*
  93
  94   ;; We should be able to merge all these stores with the i64 one above
  95   ; value (not bytes) stored before  ; 0x08090a0b0c0d0e0f
  96   store i8         7, i8*  %bptr3    ;           07
  97   store i16     1541, i16* %wptr1    ;           0605
  98   store i32 67305985, i32* %dptr     ;           04030201
  99   ;                                    0x08090a0b04030201
 100   ret void
 101 }
 102
 103 define void @merged_merges(i64 *%ptr) {
 104 ; CHECK-LABEL: @merged_merges(
 105 ; CHECK-NEXT:  entry:
 106 ; CHECK-NEXT:    store i64 579005069572506113, i64* [[PTR:%.*]]
 107 ; CHECK-NEXT:    ret void
 108 ;
 109 entry:
 110   store i64 579005069656919567, i64* %ptr  ; 0x08090a0b0c0d0e0f
 111
 112   %bptr = bitcast i64* %ptr to i8*
 113   %bptr3 = getelementptr inbounds i8, i8* %bptr, i64 3
 114   %wptr = bitcast i64* %ptr to i16*
 115   %wptr1 = getelementptr inbounds i16, i16* %wptr, i64 1
 116   %dptr = bitcast i64* %ptr to i32*
 117
 118   ;; We should be able to merge all these stores with the i64 one above
 119   ; value (not bytes) stored before  ; 0x08090a0b0c0d0e0f
 120   store i32 67305985, i32* %dptr     ;           04030201
 121   store i16     1541, i16* %wptr1    ;           0605
 122   store i8         7, i8*  %bptr3    ;           07
 123   ;                                    0x08090a0b07050201
 124   ret void
 125 }
 126
 127 define signext i8 @shouldnt_merge_since_theres_a_full_overlap(i64 *%ptr) {
 128 ; CHECK-LABEL: @shouldnt_merge_since_theres_a_full_overlap(
 129 ; CHECK-NEXT:  entry:
 130 ; CHECK-NEXT:    [[BPTR:%.*]] = bitcast i64* [[PTR:%.*]] to i8*
 131 ; CHECK-NEXT:    [[BPTRM1:%.*]] = getelementptr inbounds i8, i8* [[BPTR]], i64 -1
 132 ; CHECK-NEXT:    [[BPTR3:%.*]] = getelementptr inbounds i8, i8* [[BPTR]], i64 3
 133 ; CHECK-NEXT:    [[DPTR:%.*]] = bitcast i8* [[BPTRM1]] to i32*
 134 ; CHECK-NEXT:    [[QPTR:%.*]] = bitcast i8* [[BPTR3]] to i64*
 135 ; CHECK-NEXT:    store i32 1234, i32* [[DPTR]], align 1
 136 ; CHECK-NEXT:    store i64 5678, i64* [[QPTR]], align 1
 137 ; CHECK-NEXT:    ret i8 0
 138 ;
 139 entry:
 140
 141   ; Also check that alias.scope metadata doesn't get dropped
 142   store i64 0, i64* %ptr, !alias.scope !32
 143
 144   %bptr = bitcast i64* %ptr to i8*
 145   %bptrm1 = getelementptr inbounds i8, i8* %bptr, i64 -1
 146   %bptr3 = getelementptr inbounds i8, i8* %bptr, i64 3
 147   %dptr = bitcast i8* %bptrm1 to i32*
 148   %qptr = bitcast i8* %bptr3 to i64*
 149
 150   store i32 1234, i32* %dptr, align 1
 151   store i64 5678, i64* %qptr, align 1
 152
 153   ret i8 0
 154 }
 155
 156 ;; Test case from PR31777
 157 %union.U = type { i64 }
 158
 159 define void @foo(%union.U* nocapture %u) {
 160 ; CHECK-LABEL: @foo(
 161 ; CHECK-NEXT:  entry:
 162 ; CHECK-NEXT:    [[I:%.*]] = getelementptr inbounds [[UNION_U:%.*]], %union.U* [[U:%.*]], i64 0, i32 0
 163 ; CHECK-NEXT:    store i64 42, i64* [[I]], align 8
 164 ; CHECK-NEXT:    ret void
 165 ;
 166 entry:
 167   %i = getelementptr inbounds %union.U, %union.U* %u, i64 0, i32 0
 168   store i64 0, i64* %i, align 8, !dbg !22, !tbaa !26, !noalias !30, !nontemporal !29
 169   %s = bitcast %union.U* %u to i16*
 170   store i16 42, i16* %s, align 8
 171   ret void
 172 }
 173
 174 ; Don't crash by operating on stale data if we merge (kill) the last 2 stores.
 175
 176 define void @PR34074(i32* %x, i64* %y) {
 177 ; CHECK-LABEL: @PR34074(
 178 ; CHECK-NEXT:    store i64 42, i64* %y
 179 ; CHECK-NEXT:    store i32 4, i32* %x
 180 ; CHECK-NEXT:    ret void
 181 ;
 182   store i64 42, i64* %y          ; independent store
 183   %xbc = bitcast i32* %x to i8*
 184   store i32 0, i32* %x           ; big store of constant
 185   store i8 4, i8* %xbc           ; small store with mergeable constant
 186   ret void
 187 }
 188
 189 ; We can't eliminate the last store because P and Q may alias.
 190
 191 define void @PR36129(i32* %P, i32* %Q) {
 192 ; CHECK-LABEL: @PR36129(
 193 ; CHECK-NEXT:    store i32 1, i32* [[P:%.*]]
 194 ; CHECK-NEXT:    [[P2:%.*]] = bitcast i32* [[P]] to i8*
 195 ; CHECK-NEXT:    store i32 2, i32* [[Q:%.*]]
 196 ; CHECK-NEXT:    store i8 3, i8* [[P2]]
 197 ; CHECK-NEXT:    ret void
 198 ;
 199   store i32 1, i32* %P
 200   %P2 = bitcast i32* %P to i8*
 201   store i32 2, i32* %Q
 202   store i8 3, i8* %P2
 203   ret void
 204 }
 205
 206 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 5.0.0 (trunk 306512)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
 207 !1 = !DIFile(filename: "me.cpp", directory: "/compiler-explorer")
 208 !2 = !{}
 209 !7 = distinct !DISubprogram(name: "foo", linkageName: "foo(U*)", scope: !1, file: !1, line: 9, type: !8, isLocal: false, isDefinition: true, scopeLine: 9, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !20)
 210 !8 = !DISubroutineType(types: !9)
 211 !9 = !{null, !10}
 212 !10 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64)
 213 !11 = distinct !DICompositeType(tag: DW_TAG_union_type, name: "U", file: !1, line: 4, size: 64, elements: !12, identifier: "typeinfo name for U")
 214 !12 = !{!13, !17}
 215 !13 = !DIDerivedType(tag: DW_TAG_member, name: "i", scope: !11, file: !1, line: 5, baseType: !14, size: 64)
 216 !14 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint64_t", file: !15, line: 55, baseType: !16)
 217 !15 = !DIFile(filename: "/usr/include/stdint.h", directory: "/compiler-explorer")
 218 !16 = !DIBasicType(name: "long unsigned int", size: 64, encoding: DW_ATE_unsigned)
 219 !17 = !DIDerivedType(tag: DW_TAG_member, name: "s", scope: !11, file: !1, line: 6, baseType: !18, size: 16)
 220 !18 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint16_t", file: !15, line: 49, baseType: !19)
 221 !19 = !DIBasicType(name: "unsigned short", size: 16, encoding: DW_ATE_unsigned)
 222 !20 = !{!21}
 223 !21 = !DILocalVariable(name: "u", arg: 1, scope: !7, file: !1, line: 9, type: !10)
 224 !22 = !DILocation(line: 10, column: 8, scope: !7)
 225
 226 !26 = !{!27, !27, i64 0}
 227 !27 = !{!"omnipotent char", !28, i64 0}
 228 !28 = !{!"Simple C++ TBAA"}
 229
 230 !29 = !{i32 1}
 231
 232 ; Domains and scopes which might alias
 233 !30 = !{!30}
 234 !31 = !{!31, !30}
 235
 236 !32 = !{!32}
 237 !33 = !{!33, !32}