1; RUN: llc -mtriple=thumbv6m-eabi -verify-machineinstrs %s -o - | \
2; RUN:    FileCheck %s --check-prefix=CHECK --check-prefix=CHECKV6
3; RUN: llc -mtriple=thumbv6m-eabi -O=0 -verify-machineinstrs %s -o - | \
4; RUN:    FileCheck %s --check-prefix=CHECK --check-prefix=CHECKV6
5; RUN: llc -mtriple=thumbv7a-eabi -mattr=-neon -verify-machineinstrs %s -o - | \
6; RUN:    FileCheck %s --check-prefix=CHECK --check-prefix=CHECKV7
7; RUN: llc -mtriple=armv7a-eabi -mattr=-neon -verify-machineinstrs %s -o - | \
8; RUN:    FileCheck %s --check-prefix=CHECK --check-prefix=CHECKV7
9
10@d = external global [64 x i32]
11@s = external global [64 x i32]
12
13; Function Attrs: nounwind
14define void @t1() #0 {
15entry:
16; CHECK-LABEL: t1:
17; CHECKV6: ldr [[LB:r[0-7]]],
18; CHECKV6-NEXT: ldr [[SB:r[0-7]]],
19; We use '[rl0-9]+' to allow 'r0'..'r12', 'lr'
20; CHECKV7: movt [[LB:[rl0-9]+]], :upper16:d
21; CHECKV7-NEXT: movt [[SB:[rl0-9]+]], :upper16:s
22; CHECK-NEXT: ldm{{(\.w)?}} [[LB]]!,
23; CHECK-NEXT: stm{{(\.w)?}} [[SB]]!,
24; Think of the monstrosity '{{\[}}[[LB]]]' as '[ [[LB]] ]' without the spaces.
25; CHECK-NEXT: ldrb{{(\.w)?}} {{.*}}, {{\[}}[[LB]]]
26; CHECK-NEXT: strb{{(\.w)?}} {{.*}}, {{\[}}[[SB]]]
27    tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 bitcast ([64 x i32]* @s to i8*), i8* align 4 bitcast ([64 x i32]* @d to i8*), i32 17, i1 false)
28    ret void
29}
30
31; Function Attrs: nounwind
32define void @t2() #0 {
33entry:
34; CHECK-LABEL: t2:
35; CHECKV6: ldr [[LB:r[0-7]]],
36; CHECKV6-NEXT: ldr [[SB:r[0-7]]],
37; CHECKV6-NEXT: ldm{{(\.w)?}} [[LB]]!,
38; CHECKV6-NEXT: stm{{(\.w)?}} [[SB]]!,
39; CHECKV6-DAG: ldrh{{(\.w)?}} {{.*}}, {{\[}}[[LB]]]
40; CHECKV6-DAG: ldrb{{(\.w)?}} {{.*}}, {{\[}}[[LB]], #2]
41; CHECKV6-DAG: strb{{(\.w)?}} {{.*}}, {{\[}}[[SB]], #2]
42; CHECKV6-DAG: strh{{(\.w)?}} {{.*}}, {{\[}}[[SB]]]
43; CHECKV7: movt [[LB:[rl0-9]+]], :upper16:d
44; CHECKV7-NEXT: movt [[SB:[rl0-9]+]], :upper16:s
45; CHECKV7: ldr{{(\.w)?}} {{.*}}, {{\[}}[[LB]], #11]
46; CHECKV7-NEXT: str{{(\.w)?}} {{.*}}, {{\[}}[[SB]], #11]
47    tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 bitcast ([64 x i32]* @s to i8*), i8* align 4 bitcast ([64 x i32]* @d to i8*), i32 15, i1 false)
48    ret void
49}
50
51; PR23768
52%struct.T = type { i8, i64, i8 }
53
54@copy = external global %struct.T, align 8
55@etest = external global %struct.T, align 8
56
57define void @t3() {
58  call void @llvm.memcpy.p0i8.p0i8.i32(
59     i8* align 8 getelementptr inbounds (%struct.T, %struct.T* @copy, i32 0, i32 0),
60     i8* align 8 getelementptr inbounds (%struct.T, %struct.T* @etest, i32 0, i32 0),
61     i32 24, i1 false)
62  call void @llvm.memcpy.p0i8.p0i8.i32(
63     i8* align 8 getelementptr inbounds (%struct.T, %struct.T* @copy, i32 0, i32 0),
64     i8* align 8 getelementptr inbounds (%struct.T, %struct.T* @etest, i32 0, i32 0),
65     i32 24, i1 false)
66  ret void
67}
68
69%struct.S = type { [12 x i32] }
70
71; CHECK-LABEL: test3
72define void @test3(%struct.S* %d, %struct.S* %s) #0 {
73  %1 = bitcast %struct.S* %d to i8*
74  %2 = bitcast %struct.S* %s to i8*
75  tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %1, i8* align 4 %2, i32 48, i1 false)
76; 3 ldm/stm pairs in v6; 2 in v7
77; CHECK: ldm{{(\.w)?}} {{[rl0-9]+!?}}, [[REGLIST1:{.*}]]
78; CHECK: stm{{(\.w)?}} {{[rl0-9]+!?}}, [[REGLIST1]]
79; CHECK: ldm{{(\.w)?}} {{[rl0-9]+!?}}, [[REGLIST2:{.*}]]
80; CHECK: stm{{(\.w)?}} {{[rl0-9]+!?}}, [[REGLIST2]]
81; CHECKV6: ldm {{r[0-7]!?}}, [[REGLIST3:{.*}]]
82; CHECKV6: stm {{r[0-7]!?}}, [[REGLIST3]]
83; CHECKV7-NOT: ldm
84; CHECKV7-NOT: stm
85  %arrayidx = getelementptr inbounds %struct.S, %struct.S* %s, i32 0, i32 0, i32 1
86  tail call void @g(i32* %arrayidx) #3
87  ret void
88}
89
90declare void @g(i32*)
91
92; Set "frame-pointer"="all" to increase register pressure
93attributes #0 = { "frame-pointer"="all" }
94
95; Function Attrs: nounwind
96declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i1) #1
97