test/Transforms/ScalarRepl/2009-12-11-NeonTypes.ll

   1 ; RUN: opt < %s -scalarrepl -S | FileCheck %s
   2 ; Radar 7441282
   3
   4 target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32-n32"
   5 target triple = "thumbv7-apple-darwin10"
   6
   7 %struct.__neon_int16x8x2_t = type { <8 x i16>, <8 x i16> }
   8 %struct.int16x8_t = type { <8 x i16> }
   9 %struct.int16x8x2_t = type { [2 x %struct.int16x8_t] }
  10 %union..0anon = type { %struct.int16x8x2_t }
  11
  12 define void @test(<8 x i16> %tmp.0, %struct.int16x8x2_t* %dst) nounwind {
  13 ; CHECK: @test
  14 ; CHECK-NOT: alloca
  15 ; CHECK: "alloca point"
  16 entry:
  17   %tmp_addr = alloca %struct.int16x8_t            ; <%struct.int16x8_t*> [#uses=3]
  18   %dst_addr = alloca %struct.int16x8x2_t*         ; <%struct.int16x8x2_t**> [#uses=2]
  19   %__rv = alloca %union..0anon                    ; <%union..0anon*> [#uses=2]
  20   %__bx = alloca %struct.int16x8_t                ; <%struct.int16x8_t*> [#uses=2]
  21   %__ax = alloca %struct.int16x8_t                ; <%struct.int16x8_t*> [#uses=2]
  22   %tmp2 = alloca %struct.int16x8x2_t              ; <%struct.int16x8x2_t*> [#uses=2]
  23   %0 = alloca %struct.int16x8x2_t                 ; <%struct.int16x8x2_t*> [#uses=2]
  24   %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
  25   %1 = getelementptr inbounds %struct.int16x8_t* %tmp_addr, i32 0, i32 0 ; <<8 x i16>*> [#uses=1]
  26   store <8 x i16> %tmp.0, <8 x i16>* %1
  27   store %struct.int16x8x2_t* %dst, %struct.int16x8x2_t** %dst_addr
  28   %2 = getelementptr inbounds %struct.int16x8_t* %__ax, i32 0, i32 0 ; <<8 x i16>*> [#uses=1]
  29   %3 = getelementptr inbounds %struct.int16x8_t* %tmp_addr, i32 0, i32 0 ; <<8 x i16>*> [#uses=1]
  30   %4 = load <8 x i16>* %3, align 16               ; <<8 x i16>> [#uses=1]
  31   store <8 x i16> %4, <8 x i16>* %2, align 16
  32   %5 = getelementptr inbounds %struct.int16x8_t* %__bx, i32 0, i32 0 ; <<8 x i16>*> [#uses=1]
  33   %6 = getelementptr inbounds %struct.int16x8_t* %tmp_addr, i32 0, i32 0 ; <<8 x i16>*> [#uses=1]
  34   %7 = load <8 x i16>* %6, align 16               ; <<8 x i16>> [#uses=1]
  35   store <8 x i16> %7, <8 x i16>* %5, align 16
  36   %8 = getelementptr inbounds %struct.int16x8_t* %__ax, i32 0, i32 0 ; <<8 x i16>*> [#uses=1]
  37   %9 = load <8 x i16>* %8, align 16               ; <<8 x i16>> [#uses=2]
  38   %10 = getelementptr inbounds %struct.int16x8_t* %__bx, i32 0, i32 0 ; <<8 x i16>*> [#uses=1]
  39   %11 = load <8 x i16>* %10, align 16             ; <<8 x i16>> [#uses=2]
  40   %12 = getelementptr inbounds %union..0anon* %__rv, i32 0, i32 0 ; <%struct.int16x8x2_t*> [#uses=1]
  41   %13 = bitcast %struct.int16x8x2_t* %12 to %struct.__neon_int16x8x2_t* ; <%struct.__neon_int16x8x2_t*> [#uses=2]
  42   %14 = shufflevector <8 x i16> %9, <8 x i16> %11, <8 x i32> <i32 0, i32 8, i32 2, i32 10, i32 4, i32 12, i32 6, i32 14> ; <<8 x i16>> [#uses=1]
  43   %15 = getelementptr inbounds %struct.__neon_int16x8x2_t* %13, i32 0, i32 0 ; <<8 x i16>*> [#uses=1]
  44   store <8 x i16> %14, <8 x i16>* %15
  45   %16 = shufflevector <8 x i16> %9, <8 x i16> %11, <8 x i32> <i32 1, i32 9, i32 3, i32 11, i32 5, i32 13, i32 7, i32 15> ; <<8 x i16>> [#uses=1]
  46   %17 = getelementptr inbounds %struct.__neon_int16x8x2_t* %13, i32 0, i32 1 ; <<8 x i16>*> [#uses=1]
  47   store <8 x i16> %16, <8 x i16>* %17
  48   %18 = getelementptr inbounds %union..0anon* %__rv, i32 0, i32 0 ; <%struct.int16x8x2_t*> [#uses=1]
  49   %19 = bitcast %struct.int16x8x2_t* %0 to i8*    ; <i8*> [#uses=1]
  50   %20 = bitcast %struct.int16x8x2_t* %18 to i8*   ; <i8*> [#uses=1]
  51   call void @llvm.memcpy.i32(i8* %19, i8* %20, i32 32, i32 16)
  52   %tmp21 = bitcast %struct.int16x8x2_t* %tmp2 to i8* ; <i8*> [#uses=1]
  53   %21 = bitcast %struct.int16x8x2_t* %0 to i8*    ; <i8*> [#uses=1]
  54   call void @llvm.memcpy.i32(i8* %tmp21, i8* %21, i32 32, i32 16)
  55   %22 = load %struct.int16x8x2_t** %dst_addr, align 4 ; <%struct.int16x8x2_t*> [#uses=1]
  56   %23 = bitcast %struct.int16x8x2_t* %22 to i8*   ; <i8*> [#uses=1]
  57   %tmp22 = bitcast %struct.int16x8x2_t* %tmp2 to i8* ; <i8*> [#uses=1]
  58   call void @llvm.memcpy.i32(i8* %23, i8* %tmp22, i32 32, i32 16)
  59   br label %return
  60
  61 ; CHECK: store <8 x i16>
  62 ; CHECK: store <8 x i16>
  63
  64 return:                                           ; preds = %entry
  65   ret void
  66 }
  67
  68 ; Radar 7466574
  69 %struct._NSRange = type { i64 }
  70
  71 define void @test_memcpy_self() nounwind {
  72 ; CHECK: @test_memcpy_self
  73 ; CHECK-NOT: alloca
  74 ; CHECK: br i1
  75 entry:
  76   %range = alloca %struct._NSRange                ; <%struct._NSRange*> [#uses=2]
  77   br i1 undef, label %cond.true, label %cond.false
  78
  79 cond.true:                                        ; preds = %entry
  80   %tmp3 = bitcast %struct._NSRange* %range to i8* ; <i8*> [#uses=1]
  81   %tmp4 = bitcast %struct._NSRange* %range to i8* ; <i8*> [#uses=1]
  82   call void @llvm.memcpy.i32(i8* %tmp3, i8* %tmp4, i32 8, i32 8)
  83   ret void
  84
  85 cond.false:                                       ; preds = %entry
  86   ret void
  87 }
  88
  89 declare void @llvm.memcpy.i32(i8* nocapture, i8* nocapture, i32, i32) nounwind