Regarding gfortran.dg/pr96711.f90:
On my x86-64-gnu-linux, it PASSes.
On our powerpc64le-linux-gnu it FAILS with
'STOP 3' (→ also scan-dump count) and 'STOP 4'.
Contrary to PR96983's bug summary, I don't get an ICE.
On powerpc64le-linux-gnu, the following condition evaluates true (→ 'STOP 3'):
real(16) :: y ! 128bit REAL
integer(16), parameter :: k2 = nint (2 / epsilon (y), kind(k2))
integer(16), parameter :: m2 = 10384593717069655257060992658440192_16 !2**113
if (k2 /= m2) stop 3
On x86_64-linux-gnu, k2 == m2 — but on powerpc64le-linux-gnu,
k2 == 2**106 instead of 2**113.
My solution is to permit also 2**106 besides 2**113.
@PowerPC maintainers: Does this make sense? – It seems to work on our PowerPC
but with all the new 'long double' changes, does it also work for you?
@All, Harald: Does the attached patch make sense?
Tobias
PS: I find the PR a bit confusing – there are some GCC 11 commits
and a GCC 12 commit but no real explanation what now works and what
still fails.
-----------------
Mentor Graphics (Deutschland) GmbH, Arnulfstrasse 201, 80634 München
Registergericht München HRB 106955, Geschäftsführer: Thomas Heurung, Frank
Thürauf
Testsuite/Fortran: gfortran.dg/pr96711.f90 - fix expected value for PowerPC [PR96983]
gcc/testsuite/ChangeLog:
PR fortran/96983
* gfortran.dg/pr96711.f90:
diff --git a/gcc/testsuite/gfortran.dg/pr96711.f90 b/gcc/testsuite/gfortran.dg/pr96711.f90
index 3761a8ea416..0597ff2e37e 100644
--- a/gcc/testsuite/gfortran.dg/pr96711.f90
+++ b/gcc/testsuite/gfortran.dg/pr96711.f90
@@ -1,28 +1,29 @@
! { dg-do run }
! { dg-require-effective-target fortran_integer_16 }
! { dg-require-effective-target fortran_real_16 }
! { dg-additional-options "-fdump-tree-original" }
! { dg-final { scan-tree-dump-times "_gfortran_stop_numeric" 2 "original" } }
!
! PR fortran/96711 - ICE on NINT() Function
program p
implicit none
real(8) :: x
real(16) :: y
integer(16), parameter :: k1 = nint (2 / epsilon (x), kind(k1))
integer(16), parameter :: k2 = nint (2 / epsilon (y), kind(k2))
integer(16), parameter :: m1 = 9007199254740992_16 !2**53
- integer(16), parameter :: m2 = 10384593717069655257060992658440192_16 !2**113
+ integer(16), parameter :: m2 = 10384593717069655257060992658440192_16 !2**113 ! Some systems like x86-64
+ integer(16), parameter :: m2a = 81129638414606681695789005144064_16 !2**106 ! Some systems like PowerPC
integer(16), volatile :: m
x = 2 / epsilon (x)
y = 2 / epsilon (y)
m = nint (x, kind(m))
! print *, m
if (k1 /= m1) stop 1
if (m /= m1) stop 2
m = nint (y, kind(m))
! print *, m
- if (k2 /= m2) stop 3
- if (m /= m2) stop 4
+ if (k2 /= m2 .and. k2 /= m2a) stop 3
+ if (m /= m2 .and. m /= m2a) stop 4
end program
