122 lines
3.6 KiB
LLVM
122 lines
3.6 KiB
LLVM
; RUN: llc < %s -mtriple=armv7-apple-ios6.0 | FileCheck %s
|
|
; RUN: llc < %s -mtriple=thumbv7-apple-ios6.0 | FileCheck %s
|
|
; RUN: llc < %s -mtriple=armv7-unknown-nacl-gnueabi | FileCheck %s -check-prefix=NACL
|
|
; RUN: llc < %s -mtriple=armv5-none-linux-gnueabi | FileCheck %s -check-prefix=NOMOVT
|
|
|
|
; NOMOVT-NOT: movt
|
|
|
|
; rdar://9877866
|
|
%struct.SmallStruct = type { i32, [8 x i32], [37 x i8] }
|
|
%struct.LargeStruct = type { i32, [1001 x i8], [300 x i32] }
|
|
|
|
define i32 @f() nounwind ssp {
|
|
entry:
|
|
; CHECK-LABEL: f:
|
|
; CHECK: ldr
|
|
; CHECK: str
|
|
; CHECK-NOT:bne
|
|
%st = alloca %struct.SmallStruct, align 4
|
|
%call = call i32 @e1(%struct.SmallStruct* byval(%struct.SmallStruct) %st)
|
|
ret i32 0
|
|
}
|
|
|
|
; Generate a loop for large struct byval
|
|
define i32 @g() nounwind ssp {
|
|
entry:
|
|
; CHECK-LABEL: g:
|
|
; CHECK: ldr
|
|
; CHECK: sub
|
|
; CHECK: str
|
|
; CHECK: bne
|
|
; NACL-LABEL: g:
|
|
; Ensure that use movw instead of constpool for the loop trip count. But don't
|
|
; match the __stack_chk_guard movw
|
|
; NACL: movw r{{[1-9]}}, #
|
|
; NACL: ldr
|
|
; NACL: sub
|
|
; NACL: str
|
|
; NACL: bne
|
|
%st = alloca %struct.LargeStruct, align 4
|
|
%call = call i32 @e2(%struct.LargeStruct* byval(%struct.LargeStruct) %st)
|
|
ret i32 0
|
|
}
|
|
|
|
; Generate a loop using NEON instructions
|
|
define i32 @h() nounwind ssp {
|
|
entry:
|
|
; CHECK-LABEL: h:
|
|
; CHECK: vld1
|
|
; CHECK: sub
|
|
; CHECK: vst1
|
|
; CHECK: bne
|
|
; NACL: movw r{{[1-9]}}, #
|
|
; NACL: vld1
|
|
; NACL: sub
|
|
; NACL: vst1
|
|
; NACL: bne
|
|
%st = alloca %struct.LargeStruct, align 16
|
|
%call = call i32 @e3(%struct.LargeStruct* byval(%struct.LargeStruct) align 16 %st)
|
|
ret i32 0
|
|
}
|
|
|
|
declare i32 @e1(%struct.SmallStruct* nocapture byval(%struct.SmallStruct) %in) nounwind
|
|
declare i32 @e2(%struct.LargeStruct* nocapture byval(%struct.LargeStruct) %in) nounwind
|
|
declare i32 @e3(%struct.LargeStruct* nocapture byval(%struct.LargeStruct) align 16 %in) nounwind
|
|
|
|
; rdar://12442472
|
|
; We can't do tail call since address of s is passed to the callee and part of
|
|
; s is in caller's local frame.
|
|
define void @f3(%struct.SmallStruct* nocapture byval(%struct.SmallStruct) %s) nounwind optsize {
|
|
; CHECK-LABEL: f3
|
|
; CHECK: bl _consumestruct
|
|
entry:
|
|
%0 = bitcast %struct.SmallStruct* %s to i8*
|
|
tail call void @consumestruct(i8* %0, i32 80) optsize
|
|
ret void
|
|
}
|
|
|
|
define void @f4(%struct.SmallStruct* nocapture byval(%struct.SmallStruct) %s) nounwind optsize {
|
|
; CHECK-LABEL: f4
|
|
; CHECK: bl _consumestruct
|
|
entry:
|
|
%addr = getelementptr inbounds %struct.SmallStruct, %struct.SmallStruct* %s, i32 0, i32 0
|
|
%0 = bitcast i32* %addr to i8*
|
|
tail call void @consumestruct(i8* %0, i32 80) optsize
|
|
ret void
|
|
}
|
|
|
|
; We can do tail call here since s is in the incoming argument area.
|
|
define void @f5(i32 %a, i32 %b, i32 %c, i32 %d, %struct.SmallStruct* nocapture byval(%struct.SmallStruct) %s) nounwind optsize {
|
|
; CHECK-LABEL: f5
|
|
; CHECK: b{{(\.w)?}} _consumestruct
|
|
entry:
|
|
%0 = bitcast %struct.SmallStruct* %s to i8*
|
|
tail call void @consumestruct(i8* %0, i32 80) optsize
|
|
ret void
|
|
}
|
|
|
|
define void @f6(i32 %a, i32 %b, i32 %c, i32 %d, %struct.SmallStruct* nocapture byval(%struct.SmallStruct) %s) nounwind optsize {
|
|
; CHECK-LABEL: f6
|
|
; CHECK: b{{(\.w)?}} _consumestruct
|
|
entry:
|
|
%addr = getelementptr inbounds %struct.SmallStruct, %struct.SmallStruct* %s, i32 0, i32 0
|
|
%0 = bitcast i32* %addr to i8*
|
|
tail call void @consumestruct(i8* %0, i32 80) optsize
|
|
ret void
|
|
}
|
|
|
|
declare void @consumestruct(i8* nocapture %structp, i32 %structsize) nounwind
|
|
|
|
; PR17309
|
|
%struct.I.8 = type { [10 x i32], [3 x i8] }
|
|
|
|
declare void @use_I(%struct.I.8* byval(%struct.I.8))
|
|
define void @test_I_16() {
|
|
; CHECK-LABEL: test_I_16
|
|
; CHECK: ldrb
|
|
; CHECK: strb
|
|
entry:
|
|
call void @use_I(%struct.I.8* byval(%struct.I.8) align 16 undef)
|
|
ret void
|
|
}
|