95 lines · plain
1; RUN: llc -mtriple=thumbv6m-eabi -verify-machineinstrs %s -o - | \2; RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECKV63; RUN: llc -mtriple=thumbv6m-eabi -O=0 -verify-machineinstrs %s -o - | \4; RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECKV65; RUN: llc -mtriple=thumbv7a-eabi -mattr=-neon -verify-machineinstrs %s -o - | \6; RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECKV77; RUN: llc -mtriple=armv7a-eabi -mattr=-neon -verify-machineinstrs %s -o - | \8; RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECKV79 10@d = external global [64 x i32]11@s = external global [64 x i32]12 13; Function Attrs: nounwind14define 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:d21; CHECKV7-NEXT: movt [[SB:[rl0-9]+]], :upper16:s22; 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.p0.p0.i32(ptr align 4 @s, ptr align 4 @d, i32 17, i1 false)28 ret void29}30 31; Function Attrs: nounwind32define 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:d44; CHECKV7-NEXT: movt [[SB:[rl0-9]+]], :upper16:s45; CHECKV7: ldr{{(\.w)?}} {{.*}}, [[[LB]], #11]46; CHECKV7-NEXT: str{{(\.w)?}} {{.*}}, [[[SB]], #11]47 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 @s, ptr align 4 @d, i32 15, i1 false)48 ret void49}50 51; PR2376852%struct.T = type { i8, i64, i8 }53 54@copy = external global %struct.T, align 855@etest = external global %struct.T, align 856 57define void @t3() {58 call void @llvm.memcpy.p0.p0.i32(59 ptr align 8 @copy,60 ptr align 8 @etest,61 i32 24, i1 false)62 call void @llvm.memcpy.p0.p0.i32(63 ptr align 8 @copy,64 ptr align 8 @etest,65 i32 24, i1 false)66 ret void67}68 69%struct.S = type { [12 x i32] }70 71; CHECK-LABEL: test372define void @test3(ptr %d, ptr %s) #0 {73 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 %d, ptr align 4 %s, i32 48, i1 false)74; 3 ldm/stm pairs in v6; 2 in v775; CHECK: ldm{{(\.w)?}} {{[rl0-9]+!?}}, [[REGLIST1:{.*}]]76; CHECK: stm{{(\.w)?}} {{[rl0-9]+!?}}, [[REGLIST1]]77; CHECK: ldm{{(\.w)?}} {{[rl0-9]+!?}}, [[REGLIST2:{.*}]]78; CHECK: stm{{(\.w)?}} {{[rl0-9]+!?}}, [[REGLIST2]]79; CHECKV6: ldm {{r[0-7]!?}}, [[REGLIST3:{.*}]]80; CHECKV6: stm {{r[0-7]!?}}, [[REGLIST3]]81; CHECKV7-NOT: ldm82; CHECKV7-NOT: stm83 %arrayidx = getelementptr inbounds %struct.S, ptr %s, i32 0, i32 0, i32 184 tail call void @g(ptr %arrayidx) #385 ret void86}87 88declare void @g(ptr)89 90; Set "frame-pointer"="all" to increase register pressure91attributes #0 = { "frame-pointer"="all" }92 93; Function Attrs: nounwind94declare void @llvm.memcpy.p0.p0.i32(ptr nocapture, ptr nocapture readonly, i32, i1) #195