1 ; RUN: llc -mattr=-neon < %s -verify-machineinstrs -o - | FileCheck %s
3 target triple = "thumbv7a-none--eabi"
5 @a = external global ptr
6 @b = external global ptr
8 ; Function Attrs: nounwind
9 define void @foo24() #0 {
12 ; We use 'ptr' to allow 'r0'..'r12', 'lr'
13 ; CHECK: movt [[LB:[rl0-9]+]], :upper16:b
14 ; CHECK: movt [[SB:[rl0-9]+]], :upper16:a
15 ; CHECK: add{{s?}}{{(\.w)?}} [[NLB:[rl0-9]+]], [[LB]], #4
16 ; CHECK: adds [[SB]], #4
17 ; CHECK-NEXT: ldm{{(\.w)?}} [[NLB]], {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]], [[R5:[rl0-9]+]], [[R6:[rl0-9]+]]}
18 ; CHECK-NEXT: stm{{(\.w)?}} [[SB]], {[[R1]], [[R2]], [[R3]], [[R4]], [[R5]], [[R6]]}
19 %0 = load ptr, ptr @a, align 4
20 %arrayidx = getelementptr inbounds i32, ptr %0, i32 1
21 %1 = load ptr, ptr @b, align 4
22 %arrayidx1 = getelementptr inbounds i32, ptr %1, i32 1
23 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 %arrayidx, ptr align 4 %arrayidx1, i32 24, i1 false)
27 define void @foo28() #0 {
30 ; CHECK: movt [[LB:[rl0-9]+]], :upper16:b
31 ; CHECK: movt [[SB:[rl0-9]+]], :upper16:a
32 ; CHECK: add{{(\.w)?}} [[NLB:[rl0-9]+]], [[LB]], #4
33 ; CHECK: adds [[SB]], #4
34 ; CHECK-NEXT: ldm{{(\.w)?}} [[NLB]]!, {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]]}
35 ; CHECK-NEXT: stm{{(\.w)?}} [[SB]]!, {[[R1]], [[R2]], [[R3]]}
36 ; CHECK-NEXT: ldm{{(\.w)?}} [[NLB]], {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]]}
37 ; CHECK-NEXT: stm{{(\.w)?}} [[SB]], {[[R1]], [[R2]], [[R3]], [[R4]]}
38 %0 = load ptr, ptr @a, align 4
39 %arrayidx = getelementptr inbounds i32, ptr %0, i32 1
40 %1 = load ptr, ptr @b, align 4
41 %arrayidx1 = getelementptr inbounds i32, ptr %1, i32 1
42 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 %arrayidx, ptr align 4 %arrayidx1, i32 28, i1 false)
46 define void @foo32() #0 {
49 ; CHECK: movt [[LB:[rl0-9]+]], :upper16:b
50 ; CHECK: movt [[SB:[rl0-9]+]], :upper16:a
51 ; CHECK: add{{(\.w)?}} [[NLB:[rl0-9]+]], [[LB]], #4
52 ; CHECK: adds [[SB]], #4
53 ; CHECK-NEXT: ldm{{(\.w)?}} [[NLB]]!, {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]]}
54 ; CHECK-NEXT: stm{{(\.w)?}} [[SB]]!, {[[R1]], [[R2]], [[R3]], [[R4]]}
55 ; CHECK-NEXT: ldm{{(\.w)?}} [[NLB]], {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]]}
56 ; CHECK-NEXT: stm{{(\.w)?}} [[SB]], {[[R1]], [[R2]], [[R3]], [[R4]]}
57 %0 = load ptr, ptr @a, align 4
58 %arrayidx = getelementptr inbounds i32, ptr %0, i32 1
59 %1 = load ptr, ptr @b, align 4
60 %arrayidx1 = getelementptr inbounds i32, ptr %1, i32 1
61 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 %arrayidx, ptr align 4 %arrayidx1, i32 32, i1 false)
65 define void @foo36() #0 {
68 ; CHECK: movt [[LB:[rl0-9]+]], :upper16:b
69 ; CHECK: movt [[SB:[rl0-9]+]], :upper16:a
70 ; CHECK: add{{(\.w)?}} [[NLB:[rl0-9]+]], [[LB]], #4
71 ; CHECK: adds [[SB]], #4
72 ; CHECK-NEXT: ldm{{(\.w)?}} [[NLB]]!, {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]]}
73 ; CHECK-NEXT: stm{{(\.w)?}} [[SB]]!, {[[R1]], [[R2]], [[R3]], [[R4]]}
74 ; CHECK-NEXT: ldm{{(\.w)?}} [[NLB]], {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]], [[R5:[rl0-9]+]]}
75 ; CHECK-NEXT: stm{{(\.w)?}} [[SB]], {[[R1]], [[R2]], [[R3]], [[R4]], [[R5]]}
76 %0 = load ptr, ptr @a, align 4
77 %arrayidx = getelementptr inbounds i32, ptr %0, i32 1
78 %1 = load ptr, ptr @b, align 4
79 %arrayidx1 = getelementptr inbounds i32, ptr %1, i32 1
80 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 %arrayidx, ptr align 4 %arrayidx1, i32 36, i1 false)
84 ; Function Attrs: nounwind
85 declare void @llvm.memcpy.p0.p0.i32(ptr nocapture, ptr nocapture readonly, i32, i1) #1