mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-21 20:12:56 +02:00
52bc44295a
When div+rem calls on the same arguments are found, the ARM back-end merges the two calls into one __aeabi_divmod call for up to 32-bits values. However, for 64-bit values, which also have a lib call (__aeabi_ldivmod), it wasn't merging the calls, and thus calling ldivmod twice and spilling the temporary results, which generated pretty bad code. This patch legalises 64-bit lib calls for divmod, so that now all the spilling and the second call are gone. It also relaxes the DivRem combiner a bit on the legal type check, since it was already checking for isLegalOrCustom on every value, so the extra check for isTypeLegal was redundant. Second attempt, creating TLI.isOperationCustom like isOperationExpand, to make sure we only emit valid types or the ones that were explicitly marked as custom. Now, passing check-all and test-suite on x86, ARM and AArch64. This patch fixes PR17193 (and a long time FIXME in the tests). llvm-svn: 262738
180 lines
4.4 KiB
LLVM
180 lines
4.4 KiB
LLVM
; RUN: llc -mtriple armv7-none-eabi %s -o - | FileCheck %s --check-prefix=EABI
|
|
; RUN: llc -mtriple armv7-none-eabihf %s -o - | FileCheck %s --check-prefix=EABI
|
|
; All "eabi" (Bare, GNU and Android) must lower SREM/UREM to __aeabi_{u,i}divmod
|
|
; RUN: llc -mtriple armv7-linux-androideabi %s -o - | FileCheck %s --check-prefix=EABI
|
|
; RUN: llc -mtriple armv7-linux-gnueabi %s -o - | FileCheck %s --check-prefix=EABI
|
|
; RUN: llc -mtriple armv7-apple-darwin %s -o - | FileCheck %s --check-prefix=DARWIN
|
|
; FIXME: long-term, we will use "-apple-macho" and won't need this exception:
|
|
; RUN: llc -mtriple armv7-apple-darwin-eabi %s -o - | FileCheck %s --check-prefix=DARWIN
|
|
|
|
define signext i16 @f16(i16 signext %a, i16 signext %b) {
|
|
; EABI-LABEL: f16:
|
|
; DARWIN-LABEL: f16:
|
|
entry:
|
|
%conv = sext i16 %a to i32
|
|
%conv1 = sext i16 %b to i32
|
|
%div = sdiv i32 %conv, %conv1
|
|
%rem = srem i32 %conv, %conv1
|
|
; EABI: __aeabi_idivmod
|
|
; EABI: mov [[div:r[0-9]+]], r0
|
|
; EABI: mov [[rem:r[0-9]+]], r1
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __modsi3
|
|
; DARWIN: add [[sum]]{{.*}}r0
|
|
%rem8 = srem i32 %conv1, %conv
|
|
; EABI: __aeabi_idivmod
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem, %div
|
|
%add13 = add nsw i32 %add, %rem8
|
|
%conv14 = trunc i32 %add13 to i16
|
|
; EABI: add r0{{.*}}r1
|
|
; EABI: sxth r0, r0
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
; DARWIN: sxth r0, r0
|
|
ret i16 %conv14
|
|
}
|
|
|
|
define i32 @f32(i32 %a, i32 %b) {
|
|
; EABI-LABEL: f32:
|
|
; DARWIN-LABEL: f32:
|
|
entry:
|
|
%div = sdiv i32 %a, %b
|
|
%rem = srem i32 %a, %b
|
|
; EABI: __aeabi_idivmod
|
|
; EABI: mov [[div:r[0-9]+]], r0
|
|
; EABI: mov [[rem:r[0-9]+]], r1
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __modsi3
|
|
; DARWIN: add [[sum]]{{.*}}r0
|
|
%rem1 = srem i32 %b, %a
|
|
; EABI: __aeabi_idivmod
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem, %div
|
|
%add2 = add nsw i32 %add, %rem1
|
|
; EABI: add r0{{.*}}r1
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
ret i32 %add2
|
|
}
|
|
|
|
define i32 @uf(i32 %a, i32 %b) {
|
|
; EABI-LABEL: uf:
|
|
; DARWIN-LABEL: uf:
|
|
entry:
|
|
%div = udiv i32 %a, %b
|
|
%rem = urem i32 %a, %b
|
|
; EABI: __aeabi_uidivmod
|
|
; DARWIN: ___udivsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __umodsi3
|
|
; DARWIN: add [[sum]]{{.*}}r0
|
|
%rem1 = urem i32 %b, %a
|
|
; EABI: __aeabi_uidivmod
|
|
; DARWIN: __umodsi3
|
|
%add = add nuw i32 %rem, %div
|
|
%add2 = add nuw i32 %add, %rem1
|
|
; EABI: add r0{{.*}}r1
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
ret i32 %add2
|
|
}
|
|
|
|
define i64 @longf(i64 %a, i64 %b) {
|
|
; EABI-LABEL: longf:
|
|
; DARWIN-LABEL: longf:
|
|
entry:
|
|
%div = sdiv i64 %a, %b
|
|
%rem = srem i64 %a, %b
|
|
; EABI: __aeabi_ldivmod
|
|
; EABI-NEXT: adds r0
|
|
; EABI-NEXT: adc r1
|
|
; EABI-NOT: __aeabi_ldivmod
|
|
; DARWIN: ___divdi3
|
|
; DARWIN: mov [[div1:r[0-9]+]], r0
|
|
; DARWIN: mov [[div2:r[0-9]+]], r1
|
|
; DARWIN: __moddi3
|
|
%add = add nsw i64 %rem, %div
|
|
; DARWIN: adds r0{{.*}}[[div1]]
|
|
; DARWIN: adc r1{{.*}}[[div2]]
|
|
ret i64 %add
|
|
}
|
|
|
|
define i16 @shortf(i16 %a, i16 %b) {
|
|
; EABI-LABEL: shortf:
|
|
; DARWIN-LABEL: shortf:
|
|
entry:
|
|
%div = sdiv i16 %a, %b
|
|
%rem = srem i16 %a, %b
|
|
; EABI: __aeabi_idivmod
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[div1:r[0-9]+]], r0
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i16 %rem, %div
|
|
; DARWIN: add r0{{.*}}[[div1]]
|
|
ret i16 %add
|
|
}
|
|
|
|
define i32 @g1(i32 %a, i32 %b) {
|
|
; EABI-LABEL: g1:
|
|
; DARWIN-LABEL: g1:
|
|
entry:
|
|
%div = sdiv i32 %a, %b
|
|
%rem = srem i32 %a, %b
|
|
; EABI: __aeabi_idivmod
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem, %div
|
|
; EABI: add r0{{.*}}r1
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
ret i32 %add
|
|
}
|
|
|
|
; On both Darwin and Gnu, this is just a call to __modsi3
|
|
define i32 @g2(i32 %a, i32 %b) {
|
|
; EABI-LABEL: g2:
|
|
; DARWIN-LABEL: g2:
|
|
entry:
|
|
%rem = srem i32 %a, %b
|
|
; EABI: __aeabi_idivmod
|
|
; DARWIN: __modsi3
|
|
ret i32 %rem
|
|
; EABI: mov r0, r1
|
|
}
|
|
|
|
define i32 @g3(i32 %a, i32 %b) {
|
|
; EABI-LABEL: g3:
|
|
; DARWIN-LABEL: g3:
|
|
entry:
|
|
%rem = srem i32 %a, %b
|
|
; EABI: __aeabi_idivmod
|
|
; EABI: mov [[mod:r[0-9]+]], r1
|
|
; DARWIN: __modsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
%rem1 = srem i32 %b, %rem
|
|
; EABI: __aeabi_idivmod
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem1, %rem
|
|
; EABI: add r0, r1, [[mod]]
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
ret i32 %add
|
|
}
|
|
|
|
define i32 @g4(i32 %a, i32 %b) {
|
|
; EABI-LABEL: g4:
|
|
; DARWIN-LABEL: g4:
|
|
entry:
|
|
%div = sdiv i32 %a, %b
|
|
; EABI: __aeabi_idiv{{$}}
|
|
; EABI: mov [[div:r[0-9]+]], r0
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
%rem = srem i32 %b, %div
|
|
; EABI: __aeabi_idivmod
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem, %div
|
|
; EABI: add r0, r1, [[div]]
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
ret i32 %add
|
|
}
|