diff options
| author | Thomas Koenig <tkoenig@gcc.gnu.org> | 2025-01-27 18:43:44 +0100 |
|---|---|---|
| committer | Thomas Koenig <tkoenig@gcc.gnu.org> | 2025-02-04 08:56:19 +0100 |
| commit | c2a0ee58865c5abad40acc59549dd98f40a8f7aa (patch) | |
| tree | d594d7fd671d8aabe183ba3786dd600cafa023d8 /gcc/fortran/gfortran.texi | |
| parent | 5b46c01c50662a1c730e6658ea4307d4f80da578 (diff) | |
| download | gcc-c2a0ee58865c5abad40acc59549dd98f40a8f7aa.zip gcc-c2a0ee58865c5abad40acc59549dd98f40a8f7aa.tar.gz gcc-c2a0ee58865c5abad40acc59549dd98f40a8f7aa.tar.bz2 | |
Add modular exponentiation for UNSIGNED.
gcc/fortran/ChangeLog:
* arith.cc (arith_power): Handle modular arithmetic for
BT_UNSIGNED.
(eval_intrinsic): Error for unsigned exponentiation with
-pedantic.
* expr.cc (gfc_type_convert_binary): Use type of first
argument for unsigned exponentiation.
* gfortran.texi: Mention arithmetic exponentiation.
* resolve.cc (resolve_operator): Allow unsigned exponentiation.
* trans-decl.cc (gfc_build_intrinsic_function_decls): Build
declarations for unsigned exponentiation.
* trans-expr.cc (gfc_conv_cst_uint_power): New function.
(gfc_conv_power_op): Call it. Handle unsigned exponentiation.
* trans.h (gfor_fndecl_unsigned_pow_list): Add declaration.
libgfortran/ChangeLog:
* Makefile.am: Add files for unsigned exponentiation.
* Makefile.in: Regenerate.
* gfortran.map: Add functions for unsigned exponentiation.
* generated/pow_m16_m1.c: New file.
* generated/pow_m16_m16.c: New file.
* generated/pow_m16_m2.c: New file.
* generated/pow_m16_m4.c: New file.
* generated/pow_m16_m8.c: New file.
* generated/pow_m1_m1.c: New file.
* generated/pow_m1_m16.c: New file.
* generated/pow_m1_m2.c: New file.
* generated/pow_m1_m4.c: New file.
* generated/pow_m1_m8.c: New file.
* generated/pow_m2_m1.c: New file.
* generated/pow_m2_m16.c: New file.
* generated/pow_m2_m2.c: New file.
* generated/pow_m2_m4.c: New file.
* generated/pow_m2_m8.c: New file.
* generated/pow_m4_m1.c: New file.
* generated/pow_m4_m16.c: New file.
* generated/pow_m4_m2.c: New file.
* generated/pow_m4_m4.c: New file.
* generated/pow_m4_m8.c: New file.
* generated/pow_m8_m1.c: New file.
* generated/pow_m8_m16.c: New file.
* generated/pow_m8_m2.c: New file.
* generated/pow_m8_m4.c: New file.
* generated/pow_m8_m8.c: New file.
* m4/powu.m4: New file.
gcc/testsuite/ChangeLog:
* gfortran.dg/unsigned_15.f90: Adjust error messages.
* gfortran.dg/unsigned_43.f90: New test.
* gfortran.dg/unsigned_44.f90: New test.
Diffstat (limited to 'gcc/fortran/gfortran.texi')
| -rw-r--r-- | gcc/fortran/gfortran.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/fortran/gfortran.texi b/gcc/fortran/gfortran.texi index d3fe093..ab8a4cb 100644 --- a/gcc/fortran/gfortran.texi +++ b/gcc/fortran/gfortran.texi @@ -2772,9 +2772,10 @@ end program main @noindent which outputs the number 18446744073709551583. -Arithmetic operations work on unsigned integers, except for exponentiation, -which is prohibited. Unary minus is not permitted when @code{-pedantic} -is in force; this prohibition is part of J3/24-116.txt. +Arithmetic operations work on unsigned integers, also for +exponentiation. As an extension to J3/24-116.txt, unary minus +and exponentiation of unsigned integers are permitted unless +@code{-pedantic} is in force. In intrinsic procedures, unsigned arguments are typically permitted for arguments for the data to be processed, analogous to the |