115 lines · plain
1! RUN: %python %S/test_folding.py %s %flang_fc12! Tests folding of NEAREST() and its relatives3module m14 real, parameter :: minSubnormal = 1.e-455 logical, parameter :: test_1 = nearest(0., 1.) == minSubnormal6 logical, parameter :: test_2 = nearest(minSubnormal, -1.) == 07 logical, parameter :: test_3 = nearest(1., 1.) == 1.00000018 logical, parameter :: test_4 = nearest(1.0000001, -1.) == 19 real, parameter :: inf = nearest(huge(1.), 1.)10 logical, parameter :: test_5 = nearest(inf, 1.) == inf11 logical, parameter :: test_6 = nearest(-inf, -1.) == -inf12 logical, parameter :: test_7 = nearest(1.9999999, 1.) == 2.13 logical, parameter :: test_8 = nearest(2., -1.) == 1.999999914#if __x86_64__15 logical, parameter :: test_9 = nearest(1.9999999999999999999_10, 1.) == 2._1016#endif17 logical, parameter :: test_10 = nearest(-1., 1.) == -.9999999418 logical, parameter :: test_11 = nearest(-1., -2.) == -1.000000119 real, parameter :: negZero = sign(0., -1.)20 logical, parameter :: test_12 = nearest(negZero, 1.) == minSubnormal21 logical, parameter :: test_13 = nearest(negZero, -1.) == -minSubnormal22 !WARN: warning: NEAREST: S argument is zero [-Wfolding-value-checks]23 logical, parameter :: test_14 = nearest(0., negZero) == -minSubnormal24 !WARN: warning: NEAREST: S argument is zero [-Wfolding-value-checks]25 logical, parameter :: test_15 = nearest(negZero, 0.) == minSubnormal26 logical, parameter :: test_16 = nearest(tiny(1.),-1.) == 1.1754942E-3827 logical, parameter :: test_17 = nearest(tiny(1.),1.) == 1.1754945E-3828 contains29 subroutine subr(a)30 real, intent(in) :: a31 !WARN: warning: NEAREST: S argument is zero [-Wfolding-value-checks]32 print *, nearest(a, 0.)33 end34end module35 36module m237 use ieee_arithmetic, only: ieee_next_after38 real, parameter :: minSubnormal = 1.e-4539 real, parameter :: h = huge(0.0)40 logical, parameter :: test_0 = ieee_next_after(0., 0.) == 0.41 logical, parameter :: test_1 = ieee_next_after(0., 1.) == minSubnormal42 logical, parameter :: test_2 = ieee_next_after(minSubnormal, -1.) == 043 logical, parameter :: test_3 = ieee_next_after(1., 2.) == 1.000000144 logical, parameter :: test_4 = ieee_next_after(1.0000001, -1.) == 145 !WARN: warning: division by zero [-Wfolding-exception]46 real, parameter :: inf = 1. / 0.47 logical, parameter :: test_5 = ieee_next_after(inf, inf) == inf48 logical, parameter :: test_6 = ieee_next_after(inf, -inf) == h49 logical, parameter :: test_7 = ieee_next_after(-inf, inf) == -h50 logical, parameter :: test_8 = ieee_next_after(-inf, -1.) == -h51 logical, parameter :: test_9 = ieee_next_after(1.9999999, 3.) == 2.52 logical, parameter :: test_10 = ieee_next_after(2., 1.) == 1.999999953#if __x86_64__54 logical, parameter :: test_11 = ieee_next_after(1.9999999999999999999_10, 3.) == 2._1055#endif56 logical, parameter :: test_12 = ieee_next_after(1., 1.) == 1.57 !WARN: warning: invalid argument on division [-Wfolding-exception]58 real, parameter :: nan = 0. / 0.59 !WARN: warning: IEEE_NEXT_AFTER intrinsic folding: arguments are unordered [-Wfolding-value-checks]60 real, parameter :: x13 = ieee_next_after(nan, nan)61 logical, parameter :: test_13 = .not. (x13 == x13)62 !WARN: warning: IEEE_NEXT_AFTER intrinsic folding: arguments are unordered [-Wfolding-value-checks]63 real, parameter :: x14 = ieee_next_after(nan, 0.)64 logical, parameter :: test_14 = .not. (x14 == x14)65end module66 67module m368 use ieee_arithmetic, only: ieee_next_up, ieee_next_down69 real(kind(0.d0)), parameter :: minSubnormal = 5.d-32470 real(kind(0.d0)), parameter :: h = huge(0.d0)71 logical, parameter :: test_1 = ieee_next_up(0.d0) == minSubnormal72 logical, parameter :: test_2 = ieee_next_down(0.d0) == -minSubnormal73 logical, parameter :: test_3 = ieee_next_up(1.d0) == 1.0000000000000002d074 logical, parameter :: test_4 = ieee_next_down(1.0000000000000002d0) == 1.d075 !WARN: warning: division by zero [-Wfolding-exception]76 real(kind(0.d0)), parameter :: inf = 1.d0 / 0.d077 logical, parameter :: test_5 = ieee_next_up(huge(0.d0)) == inf78 logical, parameter :: test_6 = ieee_next_down(-huge(0.d0)) == -inf79 logical, parameter :: test_7 = ieee_next_up(inf) == inf80 logical, parameter :: test_8 = ieee_next_down(inf) == h81 logical, parameter :: test_9 = ieee_next_up(-inf) == -h82 logical, parameter :: test_10 = ieee_next_down(-inf) == -inf83 logical, parameter :: test_11 = ieee_next_up(1.9999999999999997d0) == 2.d084 logical, parameter :: test_12 = ieee_next_down(2.d0) == 1.9999999999999997d085 !WARN: warning: invalid argument on division [-Wfolding-exception]86 real(kind(0.d0)), parameter :: nan = 0.d0 / 0.d087 !WARN: warning: IEEE_NEXT_UP intrinsic folding: argument is NaN [-Wfolding-exception]88 real(kind(0.d0)), parameter :: x13 = ieee_next_up(nan)89 logical, parameter :: test_13 = .not. (x13 == x13)90 !WARN: warning: IEEE_NEXT_DOWN intrinsic folding: argument is NaN [-Wfolding-exception]91 real(kind(0.d0)), parameter :: x14 = ieee_next_down(nan)92 logical, parameter :: test_14 = .not. (x14 == x14)93end module94 95module m496 use ieee_arithmetic97 real(2), parameter :: neg_inf_2 = real(z'fc00',2)98 real(2), parameter :: neg_huge_2 = real(z'fbff',2)99 real(3), parameter :: neg_huge_3 = real(z'ff7f',3)100 logical, parameter :: test_1 = ieee_next_after(neg_inf_2, neg_huge_3) == neg_huge_2101end module102 103#if __x86_64__104module m5105 use ieee_arithmetic106 real(8), parameter :: neg_inf_8 = real(z'fff0000000000000',8)107 real(8), parameter :: neg_huge_8 = real(z'ffefffffffffffff',8)108 real(10), parameter :: neg_one_10 = real(z'bfff8000000000000000',10)109 real(10), parameter :: neg_inf_10 = real(z'ffff8000000000000000',10)110 logical, parameter :: test_1 = ieee_next_after(neg_inf_8, neg_one_10) == neg_huge_8111 logical, parameter :: test_2 = ieee_next_after(neg_one_10, neg_inf_10) == &112 real(z'bfff8000000000000001', 10)113end module114#endif115