mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-09-04 09:30:13 +00:00
Like nearbyint, rint can be implemented on PPC using the frin instruction. The complication comes from the fact that rint needs to set the FE_INEXACT flag when the result does not equal the input value (and frin does not do that). As a result, we use a custom inserter which, after the rounding, compares the rounded value with the original, and if they differ, explicitly sets the XX bit in the FPSCR register (which corresponds to FE_INEXACT). Once LLVM has better modeling of the floating-point environment we should be able to (often) eliminate this extra complexity. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@178362 91177308-0d34-0410-b5e6-96231b3b80d8
146 lines
3.2 KiB
LLVM
146 lines
3.2 KiB
LLVM
; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 | FileCheck %s
|
|
; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -enable-unsafe-fp-math | FileCheck -check-prefix=CHECK-FM %s
|
|
target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
|
|
target triple = "powerpc64-unknown-linux-gnu"
|
|
|
|
define float @test1(float %x) nounwind {
|
|
%call = tail call float @floorf(float %x) nounwind readnone
|
|
ret float %call
|
|
|
|
; CHECK: test1:
|
|
; CHECK: frim 1, 1
|
|
|
|
; CHECK-FM: test1:
|
|
; CHECK-FM: frim 1, 1
|
|
}
|
|
|
|
declare float @floorf(float) nounwind readnone
|
|
|
|
define double @test2(double %x) nounwind {
|
|
%call = tail call double @floor(double %x) nounwind readnone
|
|
ret double %call
|
|
|
|
; CHECK: test2:
|
|
; CHECK: frim 1, 1
|
|
|
|
; CHECK-FM: test2:
|
|
; CHECK-FM: frim 1, 1
|
|
}
|
|
|
|
declare double @floor(double) nounwind readnone
|
|
|
|
define float @test3(float %x) nounwind {
|
|
%call = tail call float @nearbyintf(float %x) nounwind readnone
|
|
ret float %call
|
|
|
|
; CHECK: test3:
|
|
; CHECK-NOT: frin
|
|
|
|
; CHECK-FM: test3:
|
|
; CHECK-FM: frin 1, 1
|
|
}
|
|
|
|
declare float @nearbyintf(float) nounwind readnone
|
|
|
|
define double @test4(double %x) nounwind {
|
|
%call = tail call double @nearbyint(double %x) nounwind readnone
|
|
ret double %call
|
|
|
|
; CHECK: test4:
|
|
; CHECK-NOT: frin
|
|
|
|
; CHECK-FM: test4:
|
|
; CHECK-FM: frin 1, 1
|
|
}
|
|
|
|
declare double @nearbyint(double) nounwind readnone
|
|
|
|
define float @test5(float %x) nounwind {
|
|
%call = tail call float @ceilf(float %x) nounwind readnone
|
|
ret float %call
|
|
|
|
; CHECK: test5:
|
|
; CHECK: frip 1, 1
|
|
|
|
; CHECK-FM: test5:
|
|
; CHECK-FM: frip 1, 1
|
|
}
|
|
|
|
declare float @ceilf(float) nounwind readnone
|
|
|
|
define double @test6(double %x) nounwind {
|
|
%call = tail call double @ceil(double %x) nounwind readnone
|
|
ret double %call
|
|
|
|
; CHECK: test6:
|
|
; CHECK: frip 1, 1
|
|
|
|
; CHECK-FM: test6:
|
|
; CHECK-FM: frip 1, 1
|
|
}
|
|
|
|
declare double @ceil(double) nounwind readnone
|
|
|
|
define float @test9(float %x) nounwind {
|
|
%call = tail call float @truncf(float %x) nounwind readnone
|
|
ret float %call
|
|
|
|
; CHECK: test9:
|
|
; CHECK: friz 1, 1
|
|
|
|
; CHECK-FM: test9:
|
|
; CHECK-FM: friz 1, 1
|
|
}
|
|
|
|
declare float @truncf(float) nounwind readnone
|
|
|
|
define double @test10(double %x) nounwind {
|
|
%call = tail call double @trunc(double %x) nounwind readnone
|
|
ret double %call
|
|
|
|
; CHECK: test10:
|
|
; CHECK: friz 1, 1
|
|
|
|
; CHECK-FM: test10:
|
|
; CHECK-FM: friz 1, 1
|
|
}
|
|
|
|
declare double @trunc(double) nounwind readnone
|
|
|
|
define float @test11(float %x) nounwind {
|
|
%call = tail call float @rintf(float %x) nounwind readnone
|
|
ret float %call
|
|
|
|
; CHECK: test11:
|
|
; CHECK-NOT: frin
|
|
|
|
; CHECK-FM: test11:
|
|
; CHECK-FM: frin [[R2:[0-9]+]], [[R1:[0-9]+]]
|
|
; CHECK-FM: fcmpu [[CR:[0-9]+]], [[R2]], [[R1]]
|
|
; CHECK-FM: beq [[CR]], .LBB[[BB:[0-9]+]]_2
|
|
; CHECK-FM: mtfsb1 6
|
|
; CHECK-FM: .LBB[[BB]]_2:
|
|
; CHECK-FM: blr
|
|
}
|
|
|
|
declare float @rintf(float) nounwind readnone
|
|
|
|
define double @test12(double %x) nounwind {
|
|
%call = tail call double @rint(double %x) nounwind readnone
|
|
ret double %call
|
|
|
|
; CHECK: test12:
|
|
; CHECK-NOT: frin
|
|
|
|
; CHECK-FM: test12:
|
|
; CHECK-FM: frin [[R2:[0-9]+]], [[R1:[0-9]+]]
|
|
; CHECK-FM: fcmpu [[CR:[0-9]+]], [[R2]], [[R1]]
|
|
; CHECK-FM: beq [[CR]], .LBB[[BB:[0-9]+]]_2
|
|
; CHECK-FM: mtfsb1 6
|
|
; CHECK-FM: .LBB[[BB]]_2:
|
|
; CHECK-FM: blr
|
|
}
|
|
|
|
declare double @rint(double) nounwind readnone
|
|
|