xref: /llvm-project/llvm/test/CodeGen/ARM/memcpy-inline.ll (revision c442698091965c736724fe30388a3e64446fb114)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=thumbv7-apple-ios -mcpu=cortex-a8 -pre-RA-sched=source -disable-post-ra | FileCheck %s
3; RUN: llc < %s -mtriple=thumbv6m-apple-ios -mcpu=cortex-m0 -pre-RA-sched=source -disable-post-ra -mattr=+strict-align | FileCheck %s -check-prefix=CHECK-T1
4%struct.x = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
5
6@src = external global %struct.x
7@dst = external global %struct.x
8
9@.str1 = private unnamed_addr constant [31 x i8] c"DHRYSTONE PROGRAM, SOME STRING\00", align 1
10@.str2 = private unnamed_addr constant [36 x i8] c"DHRYSTONE PROGRAM, SOME STRING BLAH\00", align 1
11@.str3 = private unnamed_addr constant [24 x i8] c"DHRYSTONE PROGRAM, SOME\00", align 1
12@.str4 = private unnamed_addr constant [18 x i8] c"DHRYSTONE PROGR  \00", align 1
13@.str5 = private unnamed_addr constant [7 x i8] c"DHRYST\00", align 1
14@.str6 = private unnamed_addr constant [14 x i8] c"/tmp/rmXXXXXX\00", align 1
15@spool.splbuf = internal global [512 x i8] zeroinitializer, align 16
16
17define i32 @t0() {
18; CHECK-LABEL: t0:
19; CHECK:       @ %bb.0: @ %entry
20; CHECK-NEXT:    movw r0, :lower16:(L_dst$non_lazy_ptr-(LPC0_0+4))
21; CHECK-NEXT:    movt r0, :upper16:(L_dst$non_lazy_ptr-(LPC0_0+4))
22; CHECK-NEXT:  LPC0_0:
23; CHECK-NEXT:    add r0, pc
24; CHECK-NEXT:    ldr r0, [r0]
25; CHECK-NEXT:    movw r1, :lower16:(L_src$non_lazy_ptr-(LPC0_1+4))
26; CHECK-NEXT:    movt r1, :upper16:(L_src$non_lazy_ptr-(LPC0_1+4))
27; CHECK-NEXT:  LPC0_1:
28; CHECK-NEXT:    add r1, pc
29; CHECK-NEXT:    ldr r1, [r1]
30; CHECK-NEXT:    ldr.w r2, [r1, #7]
31; CHECK-NEXT:    str.w r2, [r0, #7]
32; CHECK-NEXT:    vldr d16, [r1]
33; CHECK-NEXT:    vstr d16, [r0]
34; CHECK-NEXT:    movs r0, #0
35; CHECK-NEXT:    bx lr
36entry:
37  call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 8 getelementptr inbounds (%struct.x, %struct.x* @dst, i32 0, i32 0), i8* align 8 getelementptr inbounds (%struct.x, %struct.x* @src, i32 0, i32 0), i32 11, i1 false)
38  ret i32 0
39}
40
41define void @t1(i8* nocapture %C) nounwind {
42; CHECK-LABEL: t1:
43; CHECK:       @ %bb.0: @ %entry
44; CHECK-NEXT:    movw r1, :lower16:(L_.str1-(LPC1_0+4))
45; CHECK-NEXT:    movt r1, :upper16:(L_.str1-(LPC1_0+4))
46; CHECK-NEXT:  LPC1_0:
47; CHECK-NEXT:    add r1, pc
48; CHECK-NEXT:    movs r2, #15
49; CHECK-NEXT:    vld1.8 {d16, d17}, [r1], r2
50; CHECK-NEXT:    vst1.8 {d16, d17}, [r0], r2
51; CHECK-NEXT:    vld1.8 {d16, d17}, [r1]
52; CHECK-NEXT:    vst1.8 {d16, d17}, [r0]
53; CHECK-NEXT:    bx lr
54entry:
55  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %C, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str1, i64 0, i64 0), i64 31, i1 false)
56  ret void
57}
58
59define void @t2(i8* nocapture %C) nounwind {
60; CHECK-LABEL: t2:
61; CHECK:       @ %bb.0: @ %entry
62; CHECK-NEXT:    movw r1, :lower16:(L_.str2-(LPC2_0+4))
63; CHECK-NEXT:    movt r1, :upper16:(L_.str2-(LPC2_0+4))
64; CHECK-NEXT:  LPC2_0:
65; CHECK-NEXT:    add r1, pc
66; CHECK-NEXT:    vld1.8 {d16, d17}, [r1]!
67; CHECK-NEXT:    vst1.8 {d16, d17}, [r0]!
68; CHECK-NEXT:    vld1.64 {d16, d17}, [r1]
69; CHECK-NEXT:    vst1.8 {d16, d17}, [r0]!
70; CHECK-NEXT:    movw r1, #16716
71; CHECK-NEXT:    movt r1, #72
72; CHECK-NEXT:    str r1, [r0]
73; CHECK-NEXT:    bx lr
74entry:
75  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %C, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str2, i64 0, i64 0), i64 36, i1 false)
76  ret void
77}
78
79define void @t3(i8* nocapture %C) nounwind {
80; CHECK-LABEL: t3:
81; CHECK:       @ %bb.0: @ %entry
82; CHECK-NEXT:    movw r1, :lower16:(L_.str3-(LPC3_0+4))
83; CHECK-NEXT:    movt r1, :upper16:(L_.str3-(LPC3_0+4))
84; CHECK-NEXT:  LPC3_0:
85; CHECK-NEXT:    add r1, pc
86; CHECK-NEXT:    vld1.8 {d16, d17}, [r1]!
87; CHECK-NEXT:    vst1.8 {d16, d17}, [r0]!
88; CHECK-NEXT:    vldr d16, [r1]
89; CHECK-NEXT:    vst1.8 {d16}, [r0]
90; CHECK-NEXT:    bx lr
91entry:
92  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %C, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str3, i64 0, i64 0), i64 24, i1 false)
93  ret void
94}
95
96define void @t4(i8* nocapture %C) nounwind {
97; CHECK-LABEL: t4:
98; CHECK:       @ %bb.0: @ %entry
99; CHECK-NEXT:    movw r1, :lower16:(L_.str4-(LPC4_0+4))
100; CHECK-NEXT:    movt r1, :upper16:(L_.str4-(LPC4_0+4))
101; CHECK-NEXT:  LPC4_0:
102; CHECK-NEXT:    add r1, pc
103; CHECK-NEXT:    vld1.64 {d16, d17}, [r1]
104; CHECK-NEXT:    vst1.8 {d16, d17}, [r0]!
105; CHECK-NEXT:    movs r1, #32
106; CHECK-NEXT:    strh r1, [r0]
107; CHECK-NEXT:    bx lr
108entry:
109  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %C, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str4, i64 0, i64 0), i64 18, i1 false)
110  ret void
111}
112
113define void @t5(i8* nocapture %C) nounwind {
114; CHECK-LABEL: t5:
115; CHECK:       @ %bb.0: @ %entry
116; CHECK-NEXT:    movw r1, #21337
117; CHECK-NEXT:    movt r1, #84
118; CHECK-NEXT:    str.w r1, [r0, #3]
119; CHECK-NEXT:    movw r1, #18500
120; CHECK-NEXT:    movt r1, #22866
121; CHECK-NEXT:    str r1, [r0]
122; CHECK-NEXT:    bx lr
123entry:
124  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %C, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str5, i64 0, i64 0), i64 7, i1 false)
125  ret void
126}
127
128define void @t6() nounwind {
129; CHECK-LABEL: t6:
130; CHECK:       @ %bb.0: @ %entry
131; CHECK-NEXT:    movw r0, :lower16:(L_.str6-(LPC6_0+4))
132; CHECK-NEXT:    movt r0, :upper16:(L_.str6-(LPC6_0+4))
133; CHECK-NEXT:  LPC6_0:
134; CHECK-NEXT:    add r0, pc
135; CHECK-NEXT:    vldr d16, [r0]
136; CHECK-NEXT:    movw r1, :lower16:(_spool.splbuf-(LPC6_1+4))
137; CHECK-NEXT:    movt r1, :upper16:(_spool.splbuf-(LPC6_1+4))
138; CHECK-NEXT:  LPC6_1:
139; CHECK-NEXT:    add r1, pc
140; CHECK-NEXT:    vstr d16, [r1]
141; CHECK-NEXT:    adds r1, #6
142; CHECK-NEXT:    adds r0, #6
143; CHECK-NEXT:    vld1.16 {d16}, [r0]
144; CHECK-NEXT:    vst1.16 {d16}, [r1]
145; CHECK-NEXT:    bx lr
146entry:
147  call void @llvm.memcpy.p0i8.p0i8.i64(i8* getelementptr inbounds ([512 x i8], [512 x i8]* @spool.splbuf, i64 0, i64 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str6, i64 0, i64 0), i64 14, i1 false)
148  ret void
149}
150
151%struct.Foo = type { i32, i32, i32, i32 }
152
153define void @t7(%struct.Foo* nocapture %a, %struct.Foo* nocapture %b) nounwind {
154; CHECK-LABEL: t7:
155; CHECK:       @ %bb.0: @ %entry
156; CHECK-NEXT:    vld1.32 {d16, d17}, [r1]
157; CHECK-NEXT:    vst1.32 {d16, d17}, [r0]
158; CHECK-NEXT:    bx lr
159entry:
160  %0 = bitcast %struct.Foo* %a to i8*
161  %1 = bitcast %struct.Foo* %b to i8*
162  tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %0, i8* align 4 %1, i32 16, i1 false)
163  ret void
164}
165
166declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind
167declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) nounwind
168;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
169; CHECK-T1: {{.*}}
170