1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/leadz_trailz_3.f90 b/gcc/testsuite/gfortran.dg/leadz_trailz_3.f90
new file mode 100644
index 000000000..b54a11f63
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/leadz_trailz_3.f90
@@ -0,0 +1,30 @@
+! We want to check that ISHFT evaluates its arguments only once
+!
+! { dg-do run }
+! { dg-options "-fdump-tree-original" }
+
+program test
+
+  if (leadz (foo()) /= bit_size(0) - 1) call abort
+  if (leadz (foo()) /= bit_size(0) - 2) call abort
+  if (trailz (foo()) /= 0) call abort
+  if (trailz (foo()) /= 2) call abort
+  if (trailz (foo()) /= 0) call abort
+  if (trailz (foo()) /= 1) call abort
+
+contains
+  
+  integer function foo ()
+    integer, save :: i = 0
+    i = i + 1
+    foo = i
+  end function
+
+end program
+
+! The regexp "foo ()" should be seen once in the dump:
+!   -- once in the function definition itself
+!   -- plus as many times as the function is called
+!
+! { dg-final { scan-tree-dump-times "foo *\\\(\\\)" 7 "original" } }
+! { dg-final { cleanup-tree-dump "original" } }