1; RUN: opt -memcpyopt -S < %s | FileCheck %s
2
3@cst = internal constant [3 x i32] [i32 -1, i32 -1, i32 -1], align 4
4
5declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
6declare void @foo(i32*) nounwind
7
8define void @test1() nounwind {
9  %arr = alloca [3 x i32], align 4
10  %arr_i8 = bitcast [3 x i32]* %arr to i8*
11  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %arr_i8, i8* bitcast ([3 x i32]* @cst to i8*), i64 12, i32 4, i1 false)
12  %arraydecay = getelementptr inbounds [3 x i32], [3 x i32]* %arr, i64 0, i64 0
13  call void @foo(i32* %arraydecay) nounwind
14  ret void
15; CHECK-LABEL: @test1(
16; CHECK: call void @llvm.memset
17; CHECK-NOT: call void @llvm.memcpy
18; CHECK: ret void
19}
20