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