gcc/testsuite/gfortran.dg/integer_exponentiation_3.F90

   1 ! { dg-do run }
   2 ! { dg-options "" }
   3 module mod_check
   4   implicit none
   5
   6   interface check
   7     module procedure check_i8
   8     module procedure check_i4
   9     module procedure check_r8
  10     module procedure check_r4
  11     module procedure check_c8
  12     module procedure check_c4
  13   end interface check
  14
  15   interface acheck
  16     module procedure acheck_c8
  17     module procedure acheck_c4
  18   end interface acheck
  19
  20 contains
  21
  22   subroutine check_i8 (a, b)
  23     integer(kind=8), intent(in) :: a, b
  24     if (a /= b) call abort()
  25   end subroutine check_i8
  26
  27   subroutine check_i4 (a, b)
  28     integer(kind=4), intent(in) :: a, b
  29     if (a /= b) call abort()
  30   end subroutine check_i4
  31
  32   subroutine check_r8 (a, b)
  33     real(kind=8), intent(in) :: a, b
  34     if (a /= b) call abort()
  35   end subroutine check_r8
  36
  37   subroutine check_r4 (a, b)
  38     real(kind=4), intent(in) :: a, b
  39     if (a /= b) call abort()
  40   end subroutine check_r4
  41
  42   subroutine check_c8 (a, b)
  43     complex(kind=8), intent(in) :: a, b
  44     if (a /= b) call abort()
  45   end subroutine check_c8
  46
  47   subroutine check_c4 (a, b)
  48     complex(kind=4), intent(in) :: a, b
  49     if (a /= b) call abort()
  50   end subroutine check_c4
  51
  52   subroutine acheck_c8 (a, b)
  53     complex(kind=8), intent(in) :: a, b
  54     if (abs(a-b) > 1.d-9 * min(abs(a),abs(b))) call abort()
  55   end subroutine acheck_c8
  56
  57   subroutine acheck_c4 (a, b)
  58     complex(kind=4), intent(in) :: a, b
  59     if (abs(a-b) > 1.e-5 * min(abs(a),abs(b))) call abort()
  60   end subroutine acheck_c4
  61
  62 end module mod_check
  63
  64 program test
  65   use mod_check
  66   implicit none
  67
  68   integer(kind=4) :: i4
  69   integer(kind=8) :: i8
  70   real(kind=4) :: r4
  71   real(kind=8) :: r8
  72   complex(kind=4) :: c4
  73   complex(kind=8) :: c8
  74
  75 #define TEST(base,exp,var) var = base; call check((var)**(exp),(base)**(exp))
  76 #define ATEST(base,exp,var) var = base; call acheck((var)**(exp),(base)**(exp))
  77
  78 !!!!! INTEGER BASE !!!!!
  79   TEST(0,0,i4)
  80   TEST(0_8,0_8,i8)
  81   TEST(1,0,i4)
  82   TEST(1_8,0_8,i8)
  83   TEST(-1,0,i4)
  84   TEST(-1_8,0_8,i8)
  85   TEST(huge(0),0,i4)
  86   TEST(huge(0_8),0_8,i8)
  87   TEST(-huge(0)-1,0,i4)
  88   TEST(-huge(0_8)-1_8,0_8,i8)
  89
  90   TEST(1,1,i4)
  91   TEST(1_8,1_8,i8)
  92   TEST(1,2,i4)
  93   TEST(1_8,2_8,i8)
  94   TEST(1,-1,i4)
  95   TEST(1_8,-1_8,i8)
  96   TEST(1,-2,i4)
  97   TEST(1_8,-2_8,i8)
  98   TEST(1,huge(0),i4)
  99   TEST(1_8,huge(0_8),i8)
 100   TEST(1,-huge(0)-1,i4)
 101   TEST(1_8,-huge(0_8)-1_8,i8)
 102
 103   TEST(-1,1,i4)
 104   TEST(-1_8,1_8,i8)
 105   TEST(-1,2,i4)
 106   TEST(-1_8,2_8,i8)
 107   TEST(-1,-1,i4)
 108   TEST(-1_8,-1_8,i8)
 109   TEST(-1,-2,i4)
 110   TEST(-1_8,-2_8,i8)
 111   TEST(-1,huge(0),i4)
 112   TEST(-1_8,huge(0_8),i8)
 113   TEST(-1,-huge(0)-1,i4)
 114   TEST(-1_8,-huge(0_8)-1_8,i8)
 115
 116   TEST(2,9,i4)
 117   TEST(2_8,9_8,i8)
 118   TEST(-2,9,i4)
 119   TEST(-2_8,9_8,i8)
 120   TEST(2,-9,i4)
 121   TEST(2_8,-9_8,i8)
 122   TEST(-2,-9,i4)
 123   TEST(-2_8,-9_8,i8)
 124
 125 !!!!! REAL BASE !!!!!
 126   TEST(0.0,0,r4)
 127   TEST(0.0,1,r4)
 128   TEST(0.0,huge(0),r4)
 129   TEST(0.0,0_8,r4)
 130   TEST(0.0,1_8,r4)
 131   TEST(0.0,huge(0_8),r4)
 132
 133   TEST(1.0,0,r4)
 134   TEST(1.0,1,r4)
 135   TEST(1.0,-1,r4)
 136   TEST(1.0,huge(0),r4)
 137   TEST(1.0,-huge(0)-1,r4)
 138   TEST(1.0,0_8,r4)
 139   TEST(1.0,1_8,r4)
 140   TEST(1.0,-1_8,r4)
 141   TEST(1.0,huge(0_8),r4)
 142   TEST(1.0,-huge(0_8)-1_8,r4)
 143
 144   TEST(-1.0,0,r4)
 145   TEST(-1.0,1,r4)
 146   TEST(-1.0,-1,r4)
 147   TEST(-1.0,huge(0),r4)
 148   TEST(-1.0,-huge(0)-1,r4)
 149   TEST(-1.0,0_8,r4)
 150   TEST(-1.0,1_8,r4)
 151   TEST(-1.0,-1_8,r4)
 152   TEST(-1.0,huge(0_8),r4)
 153   TEST(-1.0,-huge(0_8)-1_8,r4)
 154
 155   TEST(2.0,0,r4)
 156   TEST(2.0,1,r4)
 157   TEST(2.0,-1,r4)
 158   TEST(2.0,3,r4)
 159   TEST(2.0,-3,r4)
 160   TEST(2.0,0_8,r4)
 161   TEST(2.0,1_8,r4)
 162   TEST(2.0,-1_8,r4)
 163   TEST(2.0,3_8,r4)
 164   TEST(2.0,-3_8,r4)
 165
 166   TEST(nearest(1.0,-1.0),0,r4)
 167   TEST(nearest(1.0,-1.0),huge(0),r4) ! { dg-warning "Arithmetic underflow" }
 168   TEST(nearest(1.0,-1.0),0_8,r4)
 169   TEST(nearest(1.0_8,-1.0),huge(0_8),r8) ! { dg-warning "Arithmetic underflow" }
 170
 171   TEST(nearest(1.0,-1.0),107,r4)
 172   TEST(nearest(1.0,1.0),107,r4)
 173
 174 !!!!! COMPLEX BASE !!!!!
 175   TEST((1.0,0.2),0,c4)
 176   TEST((1.0,0.2),1,c4)
 177   TEST((1.0,0.2),2,c4)
 178   ATEST((1.0,0.2),9,c4)
 179   ATEST((1.0,0.2),-1,c4)
 180   ATEST((1.0,0.2),-2,c4)
 181   ATEST((1.0,0.2),-9,c4)
 182
 183   TEST((0.0,0.2),0,c4)
 184   TEST((0.0,0.2),1,c4)
 185   TEST((0.0,0.2),2,c4)
 186   ATEST((0.0,0.2),9,c4)
 187   ATEST((0.0,0.2),-1,c4)
 188   ATEST((0.0,0.2),-2,c4)
 189   ATEST((0.0,0.2),-9,c4)
 190
 191   TEST((1.0,0.),0,c4)
 192   TEST((1.0,0.),1,c4)
 193   TEST((1.0,0.),2,c4)
 194   TEST((1.0,0.),9,c4)
 195   ATEST((1.0,0.),-1,c4)
 196   ATEST((1.0,0.),-2,c4)
 197   ATEST((1.0,0.),-9,c4)
 198
 199 end program test
 200
 201 ! { dg-final { cleanup-modules "mod_check" } }