1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/masklr_2.F90 b/gcc/testsuite/gfortran.dg/masklr_2.F90
new file mode 100644
index 000000000..a7545a188
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/masklr_2.F90
@@ -0,0 +1,32 @@
+! Test the MASKL and MASKR intrinsics.
+!
+! { dg-do run }
+! { dg-options "-ffree-line-length-none" }
+! { dg-require-effective-target fortran_integer_16 }
+
+#define CHECK(I,KIND,FUNCL,FUNCR,RESL,RESR) \
+  if (maskl(I,KIND) /= RESL) call abort ; \
+  if (FUNCL(I) /= RESL) call abort ; \
+  if (maskr(I,KIND) /= RESR) call abort ; \
+  if (FUNCR(I) /= RESR) call abort
+
+  CHECK(0,16,run_maskl16,run_maskr16,0_16,0_16)
+  CHECK(1,16,run_maskl16,run_maskr16,-huge(0_16)-1_16,1_16)
+  CHECK(2,16,run_maskl16,run_maskr16,(-huge(0_16)-1_16)/2_16,3_16)
+  CHECK(3,16,run_maskl16,run_maskr16,(-huge(0_16)-1_16)/4_16,7_16)
+  CHECK(int(bit_size(0_16))-2,16,run_maskl16,run_maskr16,-4_16,huge(0_16)/2_16)
+  CHECK(int(bit_size(0_16))-1,16,run_maskl16,run_maskr16,-2_16,huge(0_16))
+  CHECK(int(bit_size(0_16)),16,run_maskl16,run_maskr16,-1_16,-1_16)
+
+contains
+
+  pure integer(kind=16) function run_maskl16(i) result(res)
+    integer, intent(in) :: i
+    res = maskl(i,kind=16)
+  end function
+  pure integer(kind=16) function run_maskr16(i) result(res)
+    integer, intent(in) :: i
+    res = maskr(i,kind=16)
+  end function
+
+end