86 lines · plain
1; RUN: llc -mtriple armv7a-none-eabi -mattr=-neon < %s -verify-machineinstrs -o - | FileCheck %s2 3; Thumb1 (thumbv6m) is tested in tests/Thumb4 5@a = external global ptr6@b = external global ptr7 8; Function Attrs: nounwind9define void @foo24() #0 {10entry:11; CHECK-LABEL: foo24:12; We use 'ptr' to allow 'r0'..'r12', 'lr'13; CHECK: movt [[LB:[rl0-9]+]], :upper16:b14; CHECK: movt [[SB:[rl0-9]+]], :upper16:a15; CHECK: add [[NLB:[rl0-9]+]], [[LB]], #416; CHECK: add [[NSB:[rl0-9]+]], [[SB]], #417; CHECK-NEXT: ldm [[NLB]], {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]], [[R5:[rl0-9]+]], [[R6:[rl0-9]+]]}18; CHECK-NEXT: stm [[NSB]], {[[R1]], [[R2]], [[R3]], [[R4]], [[R5]], [[R6]]}19 %0 = load ptr, ptr @a, align 420 %arrayidx = getelementptr inbounds i32, ptr %0, i32 121 %1 = load ptr, ptr @b, align 422 %arrayidx1 = getelementptr inbounds i32, ptr %1, i32 123 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 %arrayidx, ptr align 4 %arrayidx1, i32 24, i1 false)24 ret void25}26 27define void @foo28() #0 {28entry:29; CHECK-LABEL: foo28:30; CHECK: movt [[LB:[rl0-9]+]], :upper16:b31; CHECK: movt [[SB:[rl0-9]+]], :upper16:a32; CHECK: add [[NLB:[rl0-9]+]], [[LB]], #433; CHECK: add [[NSB:[rl0-9]+]], [[SB]], #434; CHECK-NEXT: ldm [[NLB]]!, {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]]}35; CHECK-NEXT: stm [[NSB]]!, {[[R1]], [[R2]], [[R3]]}36; CHECK-NEXT: ldm [[NLB]], {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]]}37; CHECK-NEXT: stm [[NSB]], {[[R1]], [[R2]], [[R3]], [[R4]]}38 %0 = load ptr, ptr @a, align 439 %arrayidx = getelementptr inbounds i32, ptr %0, i32 140 %1 = load ptr, ptr @b, align 441 %arrayidx1 = getelementptr inbounds i32, ptr %1, i32 142 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 %arrayidx, ptr align 4 %arrayidx1, i32 28, i1 false)43 ret void44}45 46define void @foo32() #0 {47entry:48; CHECK-LABEL: foo32:49; CHECK: movt [[LB:[rl0-9]+]], :upper16:b50; CHECK: movt [[SB:[rl0-9]+]], :upper16:a51; CHECK: add [[NLB:[rl0-9]+]], [[LB]], #452; CHECK: add [[NSB:[rl0-9]+]], [[SB]], #453; CHECK-NEXT: ldm [[NLB]]!, {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]]}54; CHECK-NEXT: stm [[NSB]]!, {[[R1]], [[R2]], [[R3]], [[R4]]}55; CHECK-NEXT: ldm [[NLB]], {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]]}56; CHECK-NEXT: stm [[NSB]], {[[R1]], [[R2]], [[R3]], [[R4]]}57 %0 = load ptr, ptr @a, align 458 %arrayidx = getelementptr inbounds i32, ptr %0, i32 159 %1 = load ptr, ptr @b, align 460 %arrayidx1 = getelementptr inbounds i32, ptr %1, i32 161 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 %arrayidx, ptr align 4 %arrayidx1, i32 32, i1 false)62 ret void63}64 65define void @foo36() #0 {66entry:67; CHECK-LABEL: foo36:68; CHECK: movt [[LB:[rl0-9]+]], :upper16:b69; CHECK: movt [[SB:[rl0-9]+]], :upper16:a70; CHECK: add [[NLB:[rl0-9]+]], [[LB]], #471; CHECK: add [[NSB:[rl0-9]+]], [[SB]], #472; CHECK-NEXT: ldm [[NLB]]!, {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]]}73; CHECK-NEXT: stm [[NSB]]!, {[[R1]], [[R2]], [[R3]], [[R4]]}74; CHECK-NEXT: ldm [[NLB]], {[[R1:[rl0-9]+]], [[R2:[rl0-9]+]], [[R3:[rl0-9]+]], [[R4:[rl0-9]+]], [[R5:[rl0-9]+]]}75; CHECK-NEXT: stm [[NSB]], {[[R1]], [[R2]], [[R3]], [[R4]], [[R5]]}76 %0 = load ptr, ptr @a, align 477 %arrayidx = getelementptr inbounds i32, ptr %0, i32 178 %1 = load ptr, ptr @b, align 479 %arrayidx1 = getelementptr inbounds i32, ptr %1, i32 180 tail call void @llvm.memcpy.p0.p0.i32(ptr align 4 %arrayidx, ptr align 4 %arrayidx1, i32 36, i1 false)81 ret void82}83 84; Function Attrs: nounwind85declare void @llvm.memcpy.p0.p0.i32(ptr nocapture, ptr nocapture readonly, i32, i1) #186