3 files changed, 131 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/internal_pack_1.f90 b/gcc/testsuite/gfortran.dg/internal_pack_1.f90
new file mode 100644
index 00000000000..87565bee322
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/internal_pack_1.f90
@@ -0,0 +1,85 @@
+! { dg-do run }
+! Test that the internal pack and unpack routines work OK
+! for different data types
+
+program main
+  integer(kind=1), dimension(3) :: i1
+  integer(kind=2), dimension(3) :: i2
+  integer(kind=4), dimension(3) :: i4
+  integer(kind=8), dimension(3) :: i8
+  real(kind=4), dimension(3) :: r4
+  real(kind=8), dimension(3) :: r8
+
+  i1 = (/ -1, 1, -3 /)
+  call sub_i1(i1(1:3:2))
+  if (any(i1 /= (/ 3, 1, 2 /))) call abort
+
+  i2 = (/ -1, 1, -3 /)
+  call sub_i2(i2(1:3:2))
+  if (any(i2 /= (/ 3, 1, 2 /))) call abort
+
+  i4 = (/ -1, 1, -3 /)
+  call sub_i4(i4(1:3:2))
+  if (any(i4 /= (/ 3, 1, 2 /))) call abort
+
+  i8 = (/ -1, 1, -3 /)
+  call sub_i8(i8(1:3:2))
+  if (any(i8 /= (/ 3, 1, 2 /))) call abort
+
+  r4 = (/ -1.0, 1.0, -3.0 /)
+  call sub_r4(r4(1:3:2))
+  if (any(r4 /= (/ 3.0, 1.0, 2.0/))) call abort
+
+  r8 = (/ -1.0_8, 1.0_8, -3.0_8 /)
+  call sub_r8(r8(1:3:2))
+  if (any(r8 /= (/ 3.0_8, 1.0_8, 2.0_8/))) call abort
+
+end program main
+
+subroutine sub_i1(i)
+  integer(kind=1), dimension(2) :: i
+  if (i(1) /= -1) call abort
+  if (i(2) /= -3) call abort
+  i(1) = 3
+  i(2) = 2
+end subroutine sub_i1
+
+subroutine sub_i2(i)
+  integer(kind=2), dimension(2) :: i
+  if (i(1) /= -1) call abort
+  if (i(2) /= -3) call abort
+  i(1) = 3
+  i(2) = 2
+end subroutine sub_i2
+
+subroutine sub_i4(i)
+  integer(kind=4), dimension(2) :: i
+  if (i(1) /= -1) call abort
+  if (i(2) /= -3) call abort
+  i(1) = 3
+  i(2) = 2
+end subroutine sub_i4
+
+subroutine sub_i8(i)
+  integer(kind=8), dimension(2) :: i
+  if (i(1) /= -1) call abort
+  if (i(2) /= -3) call abort
+  i(1) = 3
+  i(2) = 2
+end subroutine sub_i8
+
+subroutine sub_r4(r)
+  real(kind=4), dimension(2) :: r
+  if (r(1) /= -1.) call abort
+  if (r(2) /= -3.) call abort
+  r(1) = 3.
+  r(2) = 2.
+end subroutine sub_r4
+
+subroutine sub_r8(r)
+  real(kind=8), dimension(2) :: r
+  if (r(1) /= -1._8) call abort
+  if (r(2) /= -3._8) call abort
+  r(1) = 3._8
+  r(2) = 2._8
+end subroutine sub_r8
diff --git a/gcc/testsuite/gfortran.dg/internal_pack_2.f90 b/gcc/testsuite/gfortran.dg/internal_pack_2.f90
new file mode 100644
index 00000000000..1966e7d05d2
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/internal_pack_2.f90
@@ -0,0 +1,25 @@
+! { dg-do run }
+! { dg-require-effective-target fortran_large_real }
+! Test that the internal pack and unpack routines work OK
+! for our large real type.
+
+program main
+  implicit none
+  integer,parameter :: k = selected_real_kind (precision (0.0_8) + 1)
+  real(kind=k), dimension(3) :: rk
+
+  rk = (/ -1.0_k, 1.0_k, -3.0_k /)
+  call sub_rk(rk(1:3:2))
+  if (any(rk /= (/ 3.0_k, 1.0_k, 2.0_k/))) call abort
+
+end program main
+
+subroutine sub_rk(r)
+  implicit none
+  integer,parameter :: k = selected_real_kind (precision (0.0_8) + 1)
+  real(kind=k), dimension(2) :: r
+  if (r(1) /= -1._k) call abort
+  if (r(2) /= -3._k) call abort
+  r(1) = 3._k
+  r(2) = 2._k
+end subroutine sub_rk
diff --git a/gcc/testsuite/gfortran.dg/internal_pack_3.f90 b/gcc/testsuite/gfortran.dg/internal_pack_3.f90
new file mode 100644
index 00000000000..8312e1d2265
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/internal_pack_3.f90
@@ -0,0 +1,21 @@
+! { dg-do run }
+! { dg-require-effective-target fortran_large_int }
+! Test that the internal pack and unpack routines work OK
+! for our large integer type.
+
+program main
+  integer,parameter :: k = selected_int_kind (range (0_8) + 1)
+  integer(kind=k), dimension(3) :: ik
+
+  ik = (/ -1, 1, -3 /)
+  call sub_ik(ik(1:3:2))
+  if (any(ik /= (/ 3, 1, 2 /))) call abort
+end program main
+
+subroutine sub_ik(i)
+  integer(kind=k), dimension(2) :: i
+  if (i(1) /= -1) call abort
+  if (i(2) /= -3) call abort
+  i(1) = 3
+  i(2) = 2
+end subroutine sub_ik