test/Transforms/InstCombine/memcpy-from-global.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64"
   4 @C.0.1248 = internal constant [128 x float] [ float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00 ], align 32                ; <[128 x float]*> [#uses=1]
   5
   6 define float @test1(i32 %hash, float %x, float %y, float %z, float %w) {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[TMP3:%.*]] = shl i32 [[HASH:%.*]], 2
  10 ; CHECK-NEXT:    [[TMP5:%.*]] = and i32 [[TMP3]], 124
  11 ; CHECK-NEXT:    [[TMP0:%.*]] = zext i32 [[TMP5]] to i64
  12 ; CHECK-NEXT:    [[TMP753:%.*]] = getelementptr [128 x float], [128 x float]* @C.0.1248, i64 0, i64 [[TMP0]]
  13 ; CHECK-NEXT:    [[TMP9:%.*]] = load float, float* [[TMP753]], align 16
  14 ; CHECK-NEXT:    [[TMP11:%.*]] = fmul float [[TMP9]], [[X:%.*]]
  15 ; CHECK-NEXT:    [[TMP13:%.*]] = fadd float [[TMP11]], 0.000000e+00
  16 ; CHECK-NEXT:    [[TMP17_SUM52:%.*]] = or i32 [[TMP5]], 1
  17 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i32 [[TMP17_SUM52]] to i64
  18 ; CHECK-NEXT:    [[TMP1851:%.*]] = getelementptr [128 x float], [128 x float]* @C.0.1248, i64 0, i64 [[TMP1]]
  19 ; CHECK-NEXT:    [[TMP19:%.*]] = load float, float* [[TMP1851]], align 4
  20 ; CHECK-NEXT:    [[TMP21:%.*]] = fmul float [[TMP19]], [[Y:%.*]]
  21 ; CHECK-NEXT:    [[TMP23:%.*]] = fadd float [[TMP21]], [[TMP13]]
  22 ; CHECK-NEXT:    [[TMP27_SUM50:%.*]] = or i32 [[TMP5]], 2
  23 ; CHECK-NEXT:    [[TMP2:%.*]] = zext i32 [[TMP27_SUM50]] to i64
  24 ; CHECK-NEXT:    [[TMP2849:%.*]] = getelementptr [128 x float], [128 x float]* @C.0.1248, i64 0, i64 [[TMP2]]
  25 ; CHECK-NEXT:    [[TMP29:%.*]] = load float, float* [[TMP2849]], align 8
  26 ; CHECK-NEXT:    [[TMP31:%.*]] = fmul float [[TMP29]], [[Z:%.*]]
  27 ; CHECK-NEXT:    [[TMP33:%.*]] = fadd float [[TMP31]], [[TMP23]]
  28 ; CHECK-NEXT:    [[TMP37_SUM48:%.*]] = or i32 [[TMP5]], 3
  29 ; CHECK-NEXT:    [[TMP3:%.*]] = zext i32 [[TMP37_SUM48]] to i64
  30 ; CHECK-NEXT:    [[TMP3847:%.*]] = getelementptr [128 x float], [128 x float]* @C.0.1248, i64 0, i64 [[TMP3]]
  31 ; CHECK-NEXT:    [[TMP39:%.*]] = load float, float* [[TMP3847]], align 4
  32 ; CHECK-NEXT:    [[TMP41:%.*]] = fmul float [[TMP39]], [[W:%.*]]
  33 ; CHECK-NEXT:    [[TMP43:%.*]] = fadd float [[TMP41]], [[TMP33]]
  34 ; CHECK-NEXT:    ret float [[TMP43]]
  35 ;
  36 entry:
  37   %lookupTable = alloca [128 x float], align 16         ; <[128 x float]*> [#uses=5]
  38   %lookupTable1 = bitcast [128 x float]* %lookupTable to i8*            ; <i8*> [#uses=1]
  39   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 16 %lookupTable1, i8* align 16 bitcast ([128 x float]* @C.0.1248 to i8*), i64 512, i1 false)
  40
  41
  42   %tmp3 = shl i32 %hash, 2              ; <i32> [#uses=1]
  43   %tmp5 = and i32 %tmp3, 124            ; <i32> [#uses=4]
  44   %tmp753 = getelementptr [128 x float], [128 x float]* %lookupTable, i32 0, i32 %tmp5          ; <float*> [#uses=1]
  45   %tmp9 = load float, float* %tmp753            ; <float> [#uses=1]
  46   %tmp11 = fmul float %tmp9, %x         ; <float> [#uses=1]
  47   %tmp13 = fadd float %tmp11, 0.000000e+00              ; <float> [#uses=1]
  48   %tmp17.sum52 = or i32 %tmp5, 1                ; <i32> [#uses=1]
  49   %tmp1851 = getelementptr [128 x float], [128 x float]* %lookupTable, i32 0, i32 %tmp17.sum52          ; <float*> [#uses=1]
  50   %tmp19 = load float, float* %tmp1851          ; <float> [#uses=1]
  51   %tmp21 = fmul float %tmp19, %y                ; <float> [#uses=1]
  52   %tmp23 = fadd float %tmp21, %tmp13            ; <float> [#uses=1]
  53   %tmp27.sum50 = or i32 %tmp5, 2                ; <i32> [#uses=1]
  54   %tmp2849 = getelementptr [128 x float], [128 x float]* %lookupTable, i32 0, i32 %tmp27.sum50          ; <float*> [#uses=1]
  55   %tmp29 = load float, float* %tmp2849          ; <float> [#uses=1]
  56   %tmp31 = fmul float %tmp29, %z                ; <float> [#uses=1]
  57   %tmp33 = fadd float %tmp31, %tmp23            ; <float> [#uses=1]
  58   %tmp37.sum48 = or i32 %tmp5, 3                ; <i32> [#uses=1]
  59   %tmp3847 = getelementptr [128 x float], [128 x float]* %lookupTable, i32 0, i32 %tmp37.sum48          ; <float*> [#uses=1]
  60   %tmp39 = load float, float* %tmp3847          ; <float> [#uses=1]
  61   %tmp41 = fmul float %tmp39, %w                ; <float> [#uses=1]
  62   %tmp43 = fadd float %tmp41, %tmp33            ; <float> [#uses=1]
  63   ret float %tmp43
  64 }
  65
  66 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) nounwind
  67 declare void @llvm.memcpy.p1i8.p0i8.i64(i8 addrspace(1)* nocapture, i8* nocapture, i64, i1) nounwind
  68 declare void @llvm.memcpy.p0i8.p1i8.i64(i8* nocapture, i8 addrspace(1)* nocapture, i64, i1) nounwind
  69 declare void @llvm.memcpy.p1i8.p1i8.i64(i8 addrspace(1)* nocapture, i8 addrspace(1)* nocapture, i64, i1) nounwind
  70
  71 %T = type { i8, [123 x i8] }
  72 %U = type { i32, i32, i32, i32, i32 }
  73
  74 @G = constant %T {i8 1, [123 x i8] zeroinitializer }
  75 @H = constant [2 x %U] zeroinitializer, align 16
  76
  77 define void @test2() {
  78 ; CHECK-LABEL: @test2(
  79 ; CHECK-NEXT:    [[B1:%.*]] = alloca [124 x i8], align 8
  80 ; CHECK-NEXT:    [[B1_SUB:%.*]] = getelementptr inbounds [124 x i8], [124 x i8]* [[B1]], i64 0, i64 0
  81 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 8 dereferenceable(124) [[B1_SUB]], i8* nonnull align 16 dereferenceable(124) getelementptr inbounds (%T, %T* @G, i64 0, i32 0), i64 124, i1 false)
  82 ; CHECK-NEXT:    call void @bar(i8* nonnull [[B1_SUB]])
  83 ; CHECK-NEXT:    ret void
  84 ;
  85   %A = alloca %T
  86   %B = alloca %T
  87   %a = bitcast %T* %A to i8*
  88   %b = bitcast %T* %B to i8*
  89
  90
  91 ; %A alloca is deleted
  92
  93 ; use @G instead of %A
  94   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %a, i8* align 4 bitcast (%T* @G to i8*), i64 124, i1 false)
  95   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %b, i8* align 4 %a, i64 124, i1 false)
  96   call void @bar(i8* %b)
  97   ret void
  98 }
  99
 100 define void @test2_no_null_opt() #0 {
 101 ; CHECK-LABEL: @test2_no_null_opt(
 102 ; CHECK-NEXT:    [[B1:%.*]] = alloca [124 x i8], align 8
 103 ; CHECK-NEXT:    [[B1_SUB:%.*]] = getelementptr inbounds [124 x i8], [124 x i8]* [[B1]], i64 0, i64 0
 104 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 dereferenceable(124) [[B1_SUB]], i8* align 16 dereferenceable(124) getelementptr inbounds (%T, %T* @G, i64 0, i32 0), i64 124, i1 false)
 105 ; CHECK-NEXT:    call void @bar(i8* [[B1_SUB]])
 106 ; CHECK-NEXT:    ret void
 107 ;
 108   %A = alloca %T
 109   %B = alloca %T
 110   %a = bitcast %T* %A to i8*
 111   %b = bitcast %T* %B to i8*
 112
 113
 114 ; %A alloca is deleted
 115
 116 ; use @G instead of %A
 117   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %a, i8* align 4 bitcast (%T* @G to i8*), i64 124, i1 false)
 118   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %b, i8* align 4 %a, i64 124, i1 false)
 119   call void @bar(i8* %b)
 120   ret void
 121 }
 122
 123 define void @test2_addrspacecast() {
 124 ; CHECK-LABEL: @test2_addrspacecast(
 125 ; CHECK-NEXT:    [[B1:%.*]] = alloca [124 x i8], align 8
 126 ; CHECK-NEXT:    [[B1_SUB:%.*]] = getelementptr inbounds [124 x i8], [124 x i8]* [[B1]], i64 0, i64 0
 127 ; CHECK-NEXT:    [[B:%.*]] = addrspacecast i8* [[B1_SUB]] to i8 addrspace(1)*
 128 ; CHECK-NEXT:    call void @llvm.memcpy.p1i8.p1i8.i64(i8 addrspace(1)* align 4 dereferenceable(124) [[B]], i8 addrspace(1)* align 4 dereferenceable(124) addrspacecast (i8* getelementptr inbounds (%T, %T* @G, i64 0, i32 0) to i8 addrspace(1)*), i64 124, i1 false)
 129 ; CHECK-NEXT:    call void @bar_as1(i8 addrspace(1)* [[B]])
 130 ; CHECK-NEXT:    ret void
 131 ;
 132   %A = alloca %T
 133   %B = alloca %T
 134   %a = addrspacecast %T* %A to i8 addrspace(1)*
 135   %b = addrspacecast %T* %B to i8 addrspace(1)*
 136
 137
 138 ; %A alloca is deleted
 139 ; This doesn't exactly match what test2 does, because folding the type
 140 ; cast into the alloca doesn't work for the addrspacecast yet.
 141
 142 ; use @G instead of %A
 143   call void @llvm.memcpy.p1i8.p0i8.i64(i8 addrspace(1)* align 4 %a, i8* align 4 bitcast (%T* @G to i8*), i64 124, i1 false)
 144   call void @llvm.memcpy.p1i8.p1i8.i64(i8 addrspace(1)* align 4 %b, i8 addrspace(1)* align 4 %a, i64 124, i1 false)
 145   call void @bar_as1(i8 addrspace(1)* %b)
 146   ret void
 147 }
 148
 149 declare void @bar(i8*)
 150 declare void @bar_as1(i8 addrspace(1)*)
 151
 152
 153 ;; Should be able to eliminate the alloca.
 154 define void @test3() {
 155 ; CHECK-LABEL: @test3(
 156 ; CHECK-NEXT:    call void @bar(i8* getelementptr inbounds (%T, %T* @G, i64 0, i32 0)) #2
 157 ; CHECK-NEXT:    ret void
 158 ;
 159   %A = alloca %T
 160   %a = bitcast %T* %A to i8*
 161   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %a, i8* align 4 bitcast (%T* @G to i8*), i64 124, i1 false)
 162   call void @bar(i8* %a) readonly
 163   ret void
 164 }
 165
 166 define void @test3_addrspacecast() {
 167 ; CHECK-LABEL: @test3_addrspacecast(
 168 ; CHECK-NEXT:    call void @bar(i8* getelementptr inbounds (%T, %T* @G, i64 0, i32 0)) #2
 169 ; CHECK-NEXT:    ret void
 170 ;
 171   %A = alloca %T
 172   %a = bitcast %T* %A to i8*
 173   call void @llvm.memcpy.p0i8.p1i8.i64(i8* align 4 %a, i8 addrspace(1)* align 4 addrspacecast (%T* @G to i8 addrspace(1)*), i64 124, i1 false)
 174   call void @bar(i8* %a) readonly
 175   ret void
 176 }
 177
 178
 179 define void @test4() {
 180 ; CHECK-LABEL: @test4(
 181 ; CHECK-NEXT:    call void @baz(i8* byval getelementptr inbounds (%T, %T* @G, i64 0, i32 0))
 182 ; CHECK-NEXT:    ret void
 183 ;
 184   %A = alloca %T
 185   %a = bitcast %T* %A to i8*
 186   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %a, i8* align 4 bitcast (%T* @G to i8*), i64 124, i1 false)
 187   call void @baz(i8* byval %a)
 188   ret void
 189 }
 190
 191 declare void @llvm.lifetime.start.p0i8(i64, i8*)
 192 define void @test5() {
 193 ; CHECK-LABEL: @test5(
 194 ; CHECK-NEXT:    call void @baz(i8* byval getelementptr inbounds (%T, %T* @G, i64 0, i32 0))
 195 ; CHECK-NEXT:    ret void
 196 ;
 197   %A = alloca %T
 198   %a = bitcast %T* %A to i8*
 199   call void @llvm.lifetime.start.p0i8(i64 -1, i8* %a)
 200   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %a, i8* align 4 bitcast (%T* @G to i8*), i64 124, i1 false)
 201   call void @baz(i8* byval %a)
 202   ret void
 203 }
 204
 205
 206 declare void @baz(i8* byval)
 207
 208
 209 define void @test6() {
 210 ; CHECK-LABEL: @test6(
 211 ; CHECK-NEXT:    call void @bar(i8* bitcast ([2 x %U]* @H to i8*)) #2
 212 ; CHECK-NEXT:    ret void
 213 ;
 214   %A = alloca %U, align 16
 215   %a = bitcast %U* %A to i8*
 216   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 16 %a, i8* align 16 bitcast ([2 x %U]* @H to i8*), i64 20, i1 false)
 217   call void @bar(i8* %a) readonly
 218   ret void
 219 }
 220
 221 define void @test7() {
 222 ; CHECK-LABEL: @test7(
 223 ; CHECK-NEXT:    call void @bar(i8* bitcast ([2 x %U]* @H to i8*)) #2
 224 ; CHECK-NEXT:    ret void
 225 ;
 226   %A = alloca %U, align 16
 227   %a = bitcast %U* %A to i8*
 228   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %a, i8* align 4 bitcast (%U* getelementptr ([2 x %U], [2 x %U]* @H, i64 0, i32 0) to i8*), i64 20, i1 false)
 229   call void @bar(i8* %a) readonly
 230   ret void
 231 }
 232
 233 define void @test8() {
 234 ; CHECK-LABEL: @test8(
 235 ; CHECK-NEXT:    [[AL:%.*]] = alloca [[U:%.*]], align 16
 236 ; CHECK-NEXT:    [[A:%.*]] = bitcast %U* [[AL]] to i8*
 237 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 16 dereferenceable(20) [[A]], i8* nonnull align 4 dereferenceable(20) bitcast (%U* getelementptr inbounds ([2 x %U], [2 x %U]* @H, i64 0, i64 1) to i8*), i64 20, i1 false)
 238 ; CHECK-NEXT:    call void @bar(i8* nonnull [[A]]) #2
 239 ; CHECK-NEXT:    ret void
 240 ;
 241   %al = alloca %U, align 16
 242   %a = bitcast %U* %al to i8*
 243   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %a, i8* align 4 bitcast (%U* getelementptr ([2 x %U], [2 x %U]* @H, i64 0, i32 1) to i8*), i64 20, i1 false)
 244   call void @bar(i8* %a) readonly
 245   ret void
 246 }
 247
 248
 249 define void @test8_addrspacecast() {
 250 ; CHECK-LABEL: @test8_addrspacecast(
 251 ; CHECK-NEXT:    [[AL:%.*]] = alloca [[U:%.*]], align 16
 252 ; CHECK-NEXT:    [[A:%.*]] = bitcast %U* [[AL]] to i8*
 253 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p1i8.i64(i8* nonnull align 16 dereferenceable(20) [[A]], i8 addrspace(1)* align 4 dereferenceable(20) addrspacecast (i8* bitcast (%U* getelementptr inbounds ([2 x %U], [2 x %U]* @H, i64 0, i64 1) to i8*) to i8 addrspace(1)*), i64 20, i1 false)
 254 ; CHECK-NEXT:    call void @bar(i8* nonnull [[A]]) #2
 255 ; CHECK-NEXT:    ret void
 256 ;
 257   %Al = alloca %U, align 16
 258   %a = bitcast %U* %Al to i8*
 259   call void @llvm.memcpy.p0i8.p1i8.i64(i8* align 4 %a, i8 addrspace(1)* align 4 addrspacecast (%U* getelementptr ([2 x %U], [2 x %U]* @H, i64 0, i32 1) to i8 addrspace(1)*), i64 20, i1 false)
 260   call void @bar(i8* %a) readonly
 261   ret void
 262 }
 263
 264 define void @test9() {
 265 ; CHECK-LABEL: @test9(
 266 ; CHECK-NEXT:    call void @bar(i8* bitcast (%U* getelementptr inbounds ([2 x %U], [2 x %U]* @H, i64 0, i64 1) to i8*)) #2
 267 ; CHECK-NEXT:    ret void
 268 ;
 269   %A = alloca %U, align 4
 270   %a = bitcast %U* %A to i8*
 271   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %a, i8* align 4 bitcast (%U* getelementptr ([2 x %U], [2 x %U]* @H, i64 0, i32 1) to i8*), i64 20, i1 false)
 272   call void @bar(i8* %a) readonly
 273   ret void
 274 }
 275
 276 define void @test9_addrspacecast() {
 277 ; CHECK-LABEL: @test9_addrspacecast(
 278 ; CHECK-NEXT:    call void @bar(i8* bitcast (%U* getelementptr inbounds ([2 x %U], [2 x %U]* @H, i64 0, i64 1) to i8*)) #2
 279 ; CHECK-NEXT:    ret void
 280 ;
 281   %A = alloca %U, align 4
 282   %a = bitcast %U* %A to i8*
 283   call void @llvm.memcpy.p0i8.p1i8.i64(i8* align 4 %a, i8 addrspace(1)* align 4 addrspacecast (%U* getelementptr ([2 x %U], [2 x %U]* @H, i64 0, i32 1) to i8 addrspace(1)*), i64 20, i1 false)
 284   call void @bar(i8* %a) readonly
 285   ret void
 286 }
 287
 288 @bbb = local_unnamed_addr global [1000000 x i8] zeroinitializer, align 16
 289 @_ZL3KKK = internal unnamed_addr constant [3 x i8] c"\01\01\02", align 1
 290
 291 ; Should not replace alloca with global because of size mismatch.
 292 define void @test9_small_global() {
 293 ; CHECK-LABEL: @test9_small_global(
 294 ; CHECK-NEXT:  entry:
 295 ; CHECK-NEXT:    [[CC:%.*]] = alloca [1000000 x i8], align 16
 296 ; CHECK-NEXT:    [[ARRAYDECAY:%.*]] = getelementptr inbounds [1000000 x i8], [1000000 x i8]* [[CC]], i64 0, i64 0
 297 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 16 dereferenceable(3) [[ARRAYDECAY]], i8* nonnull align 16 dereferenceable(3) getelementptr inbounds ([3 x i8], [3 x i8]* @_ZL3KKK, i64 0, i64 0), i64 3, i1 false)
 298 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 16 dereferenceable(1000000) getelementptr inbounds ([1000000 x i8], [1000000 x i8]* @bbb, i64 0, i64 0), i8* nonnull align 16 dereferenceable(1000000) [[ARRAYDECAY]], i64 1000000, i1 false)
 299 ; CHECK-NEXT:    ret void
 300 ;
 301 entry:
 302   %cc = alloca [1000000 x i8], align 16
 303   %cc.0..sroa_idx = getelementptr inbounds [1000000 x i8], [1000000 x i8]* %cc, i64 0, i64 0
 304   %arraydecay = getelementptr inbounds [1000000 x i8], [1000000 x i8]* %cc, i32 0, i32 0
 305   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %arraydecay, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZL3KKK, i32 0, i32 0), i64 3, i1 false)
 306   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 16 getelementptr inbounds ([1000000 x i8], [1000000 x i8]* @bbb, i32 0, i32 0), i8* align 16 %arraydecay, i64 1000000, i1 false)
 307   ret void
 308 }
 309
 310 ; Should replace alloca with global as they have exactly the same size.
 311 define void @test10_same_global() {
 312 ; CHECK-LABEL: @test10_same_global(
 313 ; CHECK-NEXT:  entry:
 314 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 16 dereferenceable(3) getelementptr inbounds ([1000000 x i8], [1000000 x i8]* @bbb, i64 0, i64 0), i8* nonnull align 16 dereferenceable(3) getelementptr inbounds ([3 x i8], [3 x i8]* @_ZL3KKK, i64 0, i64 0), i64 3, i1 false)
 315 ; CHECK-NEXT:    ret void
 316 ;
 317 entry:
 318   %cc = alloca [3 x i8], align 1
 319   %cc.0..sroa_idx = getelementptr inbounds [3 x i8], [3 x i8]* %cc, i64 0, i64 0
 320   %arraydecay = getelementptr inbounds [3 x i8], [3 x i8]* %cc, i32 0, i32 0
 321   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %arraydecay, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZL3KKK, i32 0, i32 0), i64 3, i1 false)
 322   call void @llvm.memcpy.p0i8.p0i8.i64(i8* getelementptr inbounds ([1000000 x i8], [1000000 x i8]* @bbb, i32 0, i32 0), i8* %arraydecay, i64 3, i1 false)
 323   ret void
 324 }
 325
 326 attributes #0 = { "null-pointer-is-valid"="true" }