test/Transforms/ScalarRepl/memset-aggregate.ll

   1 ; PR1226
   2 ; RUN: opt < %s -scalarrepl -S | grep {ret i32 16843009}
   3 ; RUN: opt < %s -scalarrepl -S | not grep alloca
   4 ; RUN: opt < %s -scalarrepl -instcombine -S | grep {ret i16 514}
   5
   6 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
   7 target triple = "i686-apple-darwin8"
   8         %struct.bar = type { %struct.foo, i64, double }
   9         %struct.foo = type { i32, i32 }
  10
  11
  12 define i32 @test1(%struct.foo* %P) {
  13 entry:
  14         %L = alloca %struct.foo, align 8                ; <%struct.foo*> [#uses=2]
  15         %L2 = bitcast %struct.foo* %L to i8*            ; <i8*> [#uses=1]
  16         %tmp13 = bitcast %struct.foo* %P to i8*         ; <i8*> [#uses=1]
  17         call void @llvm.memcpy.p0i8.p0i8.i32(i8* %L2, i8* %tmp13, i32 8, i32 4, i1 false)
  18         %tmp4 = getelementptr %struct.foo* %L, i32 0, i32 0             ; <i32*> [#uses=1]
  19         %tmp5 = load i32* %tmp4         ; <i32> [#uses=1]
  20         ret i32 %tmp5
  21 }
  22
  23
  24 define i32 @test2() {
  25 entry:
  26         %L = alloca [4 x %struct.foo], align 16         ; <[4 x %struct.foo]*> [#uses=2]
  27         %L12 = bitcast [4 x %struct.foo]* %L to i8*             ; <i8*> [#uses=1]
  28         call void @llvm.memset.p0i8.i32(i8* %L12, i8 0, i32 32, i32 16, i1 false)
  29         %tmp4 = getelementptr [4 x %struct.foo]* %L, i32 0, i32 0, i32 0                ; <i32*> [#uses=1]
  30         %tmp5 = load i32* %tmp4         ; <i32> [#uses=1]
  31         ret i32 %tmp5
  32 }
  33
  34
  35 define i32 @test3() {
  36 entry:
  37         %B = alloca %struct.bar, align 16               ; <%struct.bar*> [#uses=4]
  38         %B1 = bitcast %struct.bar* %B to i8*            ; <i8*> [#uses=1]
  39         call void @llvm.memset.p0i8.i32(i8* %B1, i8 1, i32 24, i32 16, i1 false)
  40         %tmp3 = getelementptr %struct.bar* %B, i32 0, i32 0, i32 0              ; <i32*> [#uses=1]
  41         store i32 1, i32* %tmp3
  42         %tmp4 = getelementptr %struct.bar* %B, i32 0, i32 2             ; <double*> [#uses=1]
  43         store double 1.000000e+01, double* %tmp4
  44         %tmp6 = getelementptr %struct.bar* %B, i32 0, i32 0, i32 1              ; <i32*> [#uses=1]
  45         %tmp7 = load i32* %tmp6         ; <i32> [#uses=1]
  46         ret i32 %tmp7
  47 }
  48
  49
  50         %struct.f = type { i32, i32, i32, i32, i32, i32 }
  51
  52 define i16 @test4() nounwind {
  53 entry:
  54         %A = alloca %struct.f, align 8          ; <%struct.f*> [#uses=3]
  55         %0 = getelementptr %struct.f* %A, i32 0, i32 0          ; <i32*> [#uses=1]
  56         store i32 1, i32* %0, align 8
  57         %1 = getelementptr %struct.f* %A, i32 0, i32 1          ; <i32*> [#uses=1]
  58         %2 = bitcast i32* %1 to i8*             ; <i8*> [#uses=1]
  59         call void @llvm.memset.p0i8.i32(i8* %2, i8 2, i32 12, i32 4, i1 false)
  60         %3 = getelementptr %struct.f* %A, i32 0, i32 2          ; <i32*> [#uses=1]
  61         %4 = load i32* %3, align 8              ; <i32> [#uses=1]
  62         %retval12 = trunc i32 %4 to i16         ; <i16> [#uses=1]
  63         ret i16 %retval12
  64 }
  65 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32, i1) nounwind
  66
  67 declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1) nounwind