gcc/testsuite/gfortran.dg/integer_exponentiation_3.F90

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