mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-22 12:33:33 +02:00
dd9b2d6749
The set of functions defined in the RTABI was separated for no real reason. This brings us closer to proper utilisation of the functions defined by the RTABI. It also sets the ground for correctly emitting function calls to AEABI functions on all AEABI conforming platforms. The previously existing lie on the behaviour of __ldivmod and __uldivmod is propagated as it is beyond the scope of the change. The changes to the test are due to the fact that we now use the divmod functions which return both the quotient and remainder and thus we no longer need to invoke two functions on Linux (making it closer to EABI's behaviour). llvm-svn: 215862
195 lines
4.6 KiB
LLVM
195 lines
4.6 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
|
|
; 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_idivmod
|
|
; 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{{.*}}
|
|
; 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_idivmod
|
|
; 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{{.*}}
|
|
; 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_uidivmod
|
|
; 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{{.*}}
|
|
; 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_idivmod
|
|
; DARWIN: ___divsi3
|
|
; DARWIN: mov [[sum:r[0-9]+]], r0
|
|
; DARWIN: __modsi3
|
|
%add = add nsw i32 %rem, %div
|
|
; EABI: add r0{{.*}}r1
|
|
; GNU: 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:
|
|
; 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_idivmod
|
|
; 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
|
|
}
|