** Copyright (c) 1989, NVIDIA CORPORATION.  All rights reserved.
**
** Licensed under the Apache License, Version 2.0 (the "License");
** you may not use this file except in compliance with the License.
** You may obtain a copy of the License at
**
**     http://www.apache.org/licenses/LICENSE-2.0
**
** Unless required by applicable law or agreed to in writing, software
** distributed under the License is distributed on an "AS IS" BASIS,
** WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
** See the License for the specific language governing permissions and
** limitations under the License.

*--- Induction variables and countable loops.
*    Tests of countable loops whose induction variables are potentially
*    reached by defs which store constants.

	program p
	parameter (N=7)
	integer i, j, result(N), expect(N)
	common i, j, result, expect
	integer safe_local, unsafe_local

	data j /1/
	data expect / 10, 10, 10, 10, 10, 10, 10 /

*    /* test 1 - only one def reaches do, but does not dominate do */
	if (j .ne. 0) then
	    i = 5
	    call seti()
	else
	    i = 6
	endif
	do while (i .le. 10)
	    result(1) = result(1) + 1
	    i = i + 1
	enddo

*    /* test 2 - a single def, but is killed by call */
	i = 10
	call seti()
	do while (i .le. 10)
	    result(2) = result(2) + 1
	    i = i + 1
	enddo

*    /* test 3 - is okay to use const as initial value */
	do i = 1, 10 , 1
	    result(3) = result(3) + 1
	enddo

*    /* test 4 - single def, but does not dominate do */
	call seti()
	if (j .eq. 0) then
	    i = 10
	endif
	do while (i .le. 10)
	    result(4) = result(4) + 1
	    i = i + 1
	enddo

*    /* test 5 - safe induction variable but multiple defs reaching do */
	if (j .ne. 0) then
	    safe_local = 1
	else
	    safe_local = 10
	endif
	do while (safe_local .le. 10)
	    result(5) = result(5) + 1
	    safe_local = safe_local + 1
	enddo

*    /* test 6 - single safe def unaffected by call */
	safe_local = 1
	call seti()
	do while(safe_local .le. 10)
	    result(6) = result(6) + 1
	    safe_local = safe_local + 1
	enddo

*    /* test 7 - unsafe local since its address is taken */
	unsafe_local = 10
	call func(unsafe_local)
	do while (unsafe_local .le. 10)
	    unsafe_local = unsafe_local + 1
	    result(7) = result(7) + 1
	enddo

	call check(result, expect, N)
	end

	subroutine seti
	common i
	i = 1
	end

	subroutine func(p)
	integer p
	p = 1
	end