mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-22 04:22:57 +02:00
d5f3afc063
Summary:
TargetLoweringBase::Expand is defined as "Try to expand this to other ops,
otherwise use a libcall." For ISD::UDIV and ISD::SDIV, the choice between
the two possibilities was defined in a rather convoluted way:
- if DIVREM is legal, expand to DIVREM
- if DIVREM has a custom lowering, expand to DIVREM
- if DIVREM libcall is defined and a remainder from the same division is
computed elsewhere, expand to a DIVREM libcall
- else, expand to a DIV libcall
This had the undesirable effect that if both DIV and DIVREM are implemented
as libcalls, then ISD::UDIV and ISD::SDIV are expanded to the heavier DIVREM
libcall, even when the remainder isn't used.
The new code adds a new LegalizeAction, TargetLoweringBase::LibCall, so that
backends can directly control whether they prefer an expansion or a conversion
to a libcall. This makes the generic lowering code even more generic,
allowing its reuse in a wider range of target-specific configurations.
The useful effect is that ARM backend will now generate a call
to __aeabi_{i,u}div rather than __aeabi_{i,u}divmod in cases where
it doesn't need the remainder. There's no functional change outside
the ARM backend.
Reviewers: t.p.northover, rengolin
Subscribers: t.p.northover, llvm-commits, aemerson
Differential Revision: http://reviews.llvm.org/D13862
llvm-svn: 250826
208 lines
5.1 KiB
LLVM
208 lines
5.1 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
|
|
; Both "none-eabi" and "androideabi" 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=GNU
|
|
; 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:
|
|
; GNU-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
|
|
; GNU: __aeabi_idiv
|
|
; GNU: mov [[sum:r[0-9]+]], r0
|
|
; GNU: __modsi3
|
|
; GNU: add [[sum]]{{.*}}r0
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __modsi3
|
|
; DARWIN: add [[sum]]{{.*}}r0
|
|
%rem8 = srem i32 %conv1, %conv
|
|
; EABI: __aeabi_idivmod
|
|
; GNU: __modsi3
|
|
; 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
|
|
; GNU: add r0{{.*}}[[sum]]
|
|
; GNU: sxth r0, r0
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
; DARWIN: sxth r0, r0
|
|
ret i16 %conv14
|
|
}
|
|
|
|
define i32 @f32(i32 %a, i32 %b) {
|
|
; EABI-LABEL: f32:
|
|
; GNU-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
|
|
; GNU: __aeabi_idiv
|
|
; GNU: mov [[sum:r[0-9]+]], r0
|
|
; GNU: __modsi3
|
|
; GNU: add [[sum]]{{.*}}r0
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __modsi3
|
|
; DARWIN: add [[sum]]{{.*}}r0
|
|
%rem1 = srem i32 %b, %a
|
|
; EABI: __aeabi_idivmod
|
|
; GNU: __modsi3
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem, %div
|
|
%add2 = add nsw i32 %add, %rem1
|
|
; EABI: add r0{{.*}}r1
|
|
; GNU: add r0{{.*}}[[sum]]
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
ret i32 %add2
|
|
}
|
|
|
|
define i32 @uf(i32 %a, i32 %b) {
|
|
; EABI-LABEL: uf:
|
|
; GNU-LABEL: uf:
|
|
; DARWIN-LABEL: uf:
|
|
entry:
|
|
%div = udiv i32 %a, %b
|
|
%rem = urem i32 %a, %b
|
|
; EABI: __aeabi_uidivmod
|
|
; GNU: __aeabi_uidiv
|
|
; GNU: mov [[sum:r[0-9]+]], r0
|
|
; GNU: __umodsi3
|
|
; GNU: add [[sum]]{{.*}}r0
|
|
; DARWIN: ___udivsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __umodsi3
|
|
; DARWIN: add [[sum]]{{.*}}r0
|
|
%rem1 = urem i32 %b, %a
|
|
; EABI: __aeabi_uidivmod
|
|
; GNU: __umodsi3
|
|
; DARWIN: __umodsi3
|
|
%add = add nuw i32 %rem, %div
|
|
%add2 = add nuw i32 %add, %rem1
|
|
; EABI: add r0{{.*}}r1
|
|
; GNU: add r0{{.*}}[[sum]]
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
ret i32 %add2
|
|
}
|
|
|
|
; FIXME: AEABI is not lowering long u/srem into u/ldivmod
|
|
define i64 @longf(i64 %a, i64 %b) {
|
|
; EABI-LABEL: longf:
|
|
; GNU-LABEL: longf:
|
|
; DARWIN-LABEL: longf:
|
|
entry:
|
|
%div = sdiv i64 %a, %b
|
|
%rem = srem i64 %a, %b
|
|
; EABI: __aeabi_ldivmod
|
|
; GNU: __aeabi_ldivmod
|
|
; GNU: mov [[div1:r[0-9]+]], r0
|
|
; GNU: mov [[div2:r[0-9]+]], r1
|
|
; DARWIN: ___divdi3
|
|
; DARWIN: mov [[div1:r[0-9]+]], r0
|
|
; DARWIN: mov [[div2:r[0-9]+]], r1
|
|
; DARWIN: __moddi3
|
|
%add = add nsw i64 %rem, %div
|
|
; GNU: adds r0{{.*}}[[div1]]
|
|
; GNU: adc r1{{.*}}[[div2]]
|
|
; DARWIN: adds r0{{.*}}[[div1]]
|
|
; DARWIN: adc r1{{.*}}[[div2]]
|
|
ret i64 %add
|
|
}
|
|
|
|
define i32 @g1(i32 %a, i32 %b) {
|
|
; EABI-LABEL: g1:
|
|
; GNU-LABEL: g1:
|
|
; DARWIN-LABEL: g1:
|
|
entry:
|
|
%div = sdiv i32 %a, %b
|
|
%rem = srem i32 %a, %b
|
|
; EABI: __aeabi_idivmod
|
|
; GNU: __aeabi_idiv
|
|
; GNU: mov [[sum:r[0-9]+]], r0
|
|
; GNU: __modsi3
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem, %div
|
|
; EABI: add r0{{.*}}r1
|
|
; GNU: add r0{{.*}}[[sum]]
|
|
; 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:
|
|
; GNU-LABEL: g2:
|
|
; DARWIN-LABEL: g2:
|
|
entry:
|
|
%rem = srem i32 %a, %b
|
|
; EABI: __aeabi_idivmod
|
|
; GNU: __modsi3
|
|
; DARWIN: __modsi3
|
|
ret i32 %rem
|
|
; EABI: mov r0, r1
|
|
}
|
|
|
|
define i32 @g3(i32 %a, i32 %b) {
|
|
; EABI-LABEL: g3:
|
|
; GNU-LABEL: g3:
|
|
; DARWIN-LABEL: g3:
|
|
entry:
|
|
%rem = srem i32 %a, %b
|
|
; EABI: __aeabi_idivmod
|
|
; EABI: mov [[mod:r[0-9]+]], r1
|
|
; GNU: __modsi3
|
|
; GNU: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __modsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
%rem1 = srem i32 %b, %rem
|
|
; EABI: __aeabi_idivmod
|
|
; GNU: __modsi3
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem1, %rem
|
|
; EABI: add r0, r1, [[mod]]
|
|
; GNU: add r0{{.*}}[[sum]]
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
ret i32 %add
|
|
}
|
|
|
|
define i32 @g4(i32 %a, i32 %b) {
|
|
; EABI-LABEL: g4:
|
|
; GNU-LABEL: g4:
|
|
; DARWIN-LABEL: g4:
|
|
entry:
|
|
%div = sdiv i32 %a, %b
|
|
; EABI: __aeabi_idiv{{$}}
|
|
; EABI: mov [[div:r[0-9]+]], r0
|
|
; GNU: __aeabi_idiv
|
|
; GNU: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
%rem = srem i32 %b, %div
|
|
; EABI: __aeabi_idivmod
|
|
; GNU: __modsi3
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem, %div
|
|
; EABI: add r0, r1, [[div]]
|
|
; GNU: add r0{{.*}}[[sum]]
|
|
; DARWIN: add r0{{.*}}[[sum]]
|
|
ret i32 %add
|
|
}
|