1; RUN: llc < %s -march=xcore | FileCheck %s
2
3; Optimize memcpy to __memcpy_4 if src, dst and size are all 4 byte aligned.
4define void @f1(i8* %dst, i8* %src, i32 %n) nounwind {
5; CHECK-LABEL: f1:
6; CHECK: bl __memcpy_4
7entry:
8  %0 = shl i32 %n, 2
9  call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %dst, i8* align 4 %src, i32 %0, i1 false)
10  ret void
11}
12
13; Can't optimize - size is not a multiple of 4.
14define void @f2(i8* %dst, i8* %src, i32 %n) nounwind {
15; CHECK-LABEL: f2:
16; CHECK: bl memcpy
17entry:
18  call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %dst, i8* align 4 %src, i32 %n, i1 false)
19  ret void
20}
21
22; Can't optimize - alignment is not a multiple of 4.
23define void @f3(i8* %dst, i8* %src, i32 %n) nounwind {
24; CHECK-LABEL: f3:
25; CHECK: bl memcpy
26entry:
27  %0 = shl i32 %n, 2
28  call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 2 %dst, i8* align 2 %src, i32 %0, i1 false)
29  ret void
30}
31
32declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind
33