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

   1 ; RUN: opt < %s -scalarrepl -S | FileCheck %s
   2 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"
   3 @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]
   4
   5 define float @test1(i32 %hash, float %x, float %y, float %z, float %w) {
   6 entry:
   7         %lookupTable = alloca [128 x float], align 16           ; <[128 x float]*> [#uses=5]
   8         %lookupTable1 = bitcast [128 x float]* %lookupTable to i8*              ; <i8*> [#uses=1]
   9         call void @llvm.memcpy.i32( i8* %lookupTable1, i8* bitcast ([128 x float]* @C.0.1248 to i8*), i32 512, i32 16 )
  10
  11 ; CHECK: @test1
  12 ; CHECK-NOT: alloca
  13 ; CHECK-NOT: call{{.*}}@llvm.memcpy
  14 ; CHECK: %lookupTable1 = bitcast [128 x float]* @C.0.1248 to i8*
  15 ; CHECK-NOT: call{{.*}}@llvm.memcpy
  16
  17         %tmp3 = shl i32 %hash, 2                ; <i32> [#uses=1]
  18         %tmp5 = and i32 %tmp3, 124              ; <i32> [#uses=4]
  19         %tmp753 = getelementptr [128 x float]* %lookupTable, i32 0, i32 %tmp5           ; <float*> [#uses=1]
  20         %tmp9 = load float* %tmp753             ; <float> [#uses=1]
  21         %tmp11 = fmul float %tmp9, %x           ; <float> [#uses=1]
  22         %tmp13 = fadd float %tmp11, 0.000000e+00                ; <float> [#uses=1]
  23         %tmp17.sum52 = or i32 %tmp5, 1          ; <i32> [#uses=1]
  24         %tmp1851 = getelementptr [128 x float]* %lookupTable, i32 0, i32 %tmp17.sum52           ; <float*> [#uses=1]
  25         %tmp19 = load float* %tmp1851           ; <float> [#uses=1]
  26         %tmp21 = fmul float %tmp19, %y          ; <float> [#uses=1]
  27         %tmp23 = fadd float %tmp21, %tmp13              ; <float> [#uses=1]
  28         %tmp27.sum50 = or i32 %tmp5, 2          ; <i32> [#uses=1]
  29         %tmp2849 = getelementptr [128 x float]* %lookupTable, i32 0, i32 %tmp27.sum50           ; <float*> [#uses=1]
  30         %tmp29 = load float* %tmp2849           ; <float> [#uses=1]
  31         %tmp31 = fmul float %tmp29, %z          ; <float> [#uses=1]
  32         %tmp33 = fadd float %tmp31, %tmp23              ; <float> [#uses=1]
  33         %tmp37.sum48 = or i32 %tmp5, 3          ; <i32> [#uses=1]
  34         %tmp3847 = getelementptr [128 x float]* %lookupTable, i32 0, i32 %tmp37.sum48           ; <float*> [#uses=1]
  35         %tmp39 = load float* %tmp3847           ; <float> [#uses=1]
  36         %tmp41 = fmul float %tmp39, %w          ; <float> [#uses=1]
  37         %tmp43 = fadd float %tmp41, %tmp33              ; <float> [#uses=1]
  38         ret float %tmp43
  39 }
  40
  41 declare void @llvm.memcpy.i32(i8*, i8*, i32, i32)
  42
  43
  44
  45 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
  46
  47 %T = type { i8, [123 x i8] }
  48 %U = type { i32, i32, i32, i32, i32 }
  49
  50 @G = constant %T {i8 1, [123 x i8] zeroinitializer }
  51 @H = constant [2 x %U] zeroinitializer, align 16
  52
  53 define void @test2() {
  54   %A = alloca %T
  55   %B = alloca %T
  56   %a = bitcast %T* %A to i8*
  57   %b = bitcast %T* %B to i8*
  58
  59 ; CHECK: @test2
  60
  61 ; %A alloca is deleted
  62 ; CHECK-NEXT: %B = alloca %T
  63
  64 ; use @G instead of %A
  65 ; CHECK-NEXT: %a = bitcast %T* @G to i8*
  66   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %a, i8* bitcast (%T* @G to i8*), i64 124, i32 4, i1 false)
  67   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %b, i8* %a, i64 124, i32 4, i1 false)
  68   call void @bar(i8* %b)
  69   ret void
  70 }
  71
  72 declare void @bar(i8*)
  73
  74
  75 ;; Should be able to eliminate the alloca.
  76 define void @test3() {
  77   %A = alloca %T
  78   %a = bitcast %T* %A to i8*
  79   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %a, i8* bitcast (%T* @G to i8*), i64 124, i32 4, i1 false)
  80   call void @bar(i8* %a) readonly
  81 ; CHECK: @test3
  82 ; CHECK-NEXT: %a = bitcast %T* @G to i8*
  83 ; CHECK-NEXT: call void @bar(i8* %a)
  84   ret void
  85 }
  86
  87 define void @test4() {
  88   %A = alloca %T
  89   %a = bitcast %T* %A to i8*
  90   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %a, i8* bitcast (%T* @G to i8*), i64 124, i32 4, i1 false)
  91   call void @baz(i8* byval %a)
  92 ; CHECK: @test4
  93 ; CHECK-NEXT: %a = bitcast %T* @G to i8*
  94 ; CHECK-NEXT: call void @baz(i8* byval %a)
  95   ret void
  96 }
  97
  98 declare void @llvm.lifetime.start(i64, i8*)
  99 define void @test5() {
 100   %A = alloca %T
 101   %a = bitcast %T* %A to i8*
 102   call void @llvm.lifetime.start(i64 -1, i8* %a)
 103   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %a, i8* bitcast (%T* @G to i8*), i64 124, i32 4, i1 false)
 104   call void @baz(i8* byval %a)
 105 ; CHECK: @test5
 106 ; CHECK-NEXT: %a = bitcast %T* @G to i8*
 107 ; CHECK-NEXT: call void @baz(i8* byval %a)
 108   ret void
 109 }
 110
 111
 112 declare void @baz(i8* byval)
 113
 114
 115 define void @test6() {
 116   %A = alloca %U, align 16
 117   %a = bitcast %U* %A to i8*
 118   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %a, i8* bitcast ([2 x %U]* @H to i8*), i64 20, i32 16, i1 false)
 119   call void @bar(i8* %a) readonly
 120 ; CHECK: @test6
 121 ; CHECK-NEXT: %a = bitcast
 122 ; CHECK-NEXT: call void @bar(i8* %a)
 123   ret void
 124 }
 125
 126 define void @test7() {
 127   %A = alloca %U, align 16
 128   %a = bitcast %U* %A to i8*
 129   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %a, i8* bitcast (%U* getelementptr ([2 x %U]* @H, i64 0, i32 0) to i8*), i64 20, i32 4, i1 false)
 130   call void @bar(i8* %a) readonly
 131 ; CHECK: @test7
 132 ; CHECK-NEXT: %a = bitcast
 133 ; CHECK-NEXT: call void @bar(i8* %a)
 134   ret void
 135 }
 136
 137 define void @test8() {
 138   %A = alloca %U, align 16
 139   %a = bitcast %U* %A to i8*
 140   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %a, i8* bitcast (%U* getelementptr ([2 x %U]* @H, i64 0, i32 1) to i8*), i64 20, i32 4, i1 false)
 141   call void @bar(i8* %a) readonly
 142 ; CHECK: @test8
 143 ; CHECK: llvm.memcpy
 144 ; CHECK: bar
 145   ret void
 146 }