Test modification: added another check for when pass non-contiguous input, but choose to skip contiguity check

Author: eugeneepshteyn

flang/test/Lower/force-temp.f90

@@ -11,9 +11,15 @@ subroutine pass_ignore_tkr(buf, n)
     real, intent(inout) :: buf(n)
     integer, intent(in) :: n
   end subroutine
+
+  subroutine pass_ignore_tkr_c(buf, n)
+    implicit none
+    !DIR$ IGNORE_TKR (tkrc) buf
+    real, intent(inout) :: buf(n)
+    integer, intent(in) :: n
+  end subroutine
 
   subroutine s1()
-
 !CHECK-LABEL: func.func @_QMtestPs1()
 !CHECK: hlfir.copy_in
 !CHECK: fir.call @_QMtestPpass_ignore_tkr
@@ -23,11 +29,9 @@ subroutine s1()
   x = [1,2,3,4,5]
   ! Non-contiguous input
   call pass_ignore_tkr(x(1::2), size(x(1::2)))
-
   end subroutine s1
 
   subroutine s2()
-
 !CHECK-LABEL: func.func @_QMtestPs2()
 !CHECK-NOT: hlfir.copy_in
 !CHECK: fir.call @_QMtestPpass_ignore_tkr
@@ -37,9 +41,18 @@ subroutine s2()
   x = [1,2,3,4,5]
   ! Contiguous input
   call pass_ignore_tkr(x(1:3), size(x(1:3)))
-
   end subroutine s2
-end module test
 
+  subroutine s3()
+!CHECK-LABEL: func.func @_QMtestPs3()
+!CHECK-NOT: hlfir.copy_in
+!CHECK: fir.call @_QMtestPpass_ignore_tkr_c
+!CHECK-NOT: hlfir.copy_out
 
-end program
+  integer :: x(5)
+  x = [1,2,3,4,5]
+  ! Non-contiguous input, but the dummy arg declaration ignores
+  ! the contiguity check
+  call pass_ignore_tkr_c(x(1::2), size(x(1::2)))
+  end subroutine s3
+end module test