forked from OSchip/llvm-project
80 lines
2.5 KiB
Fortran
80 lines
2.5 KiB
Fortran
! Test expression rewrites, in case where the expression cannot be
|
|
! folded to constant values.
|
|
! RUN: %flang_fc1 -fdebug-unparse %s 2>&1 | FileCheck %s
|
|
|
|
! Test rewrites of inquiry intrinsics with arguments whose shape depends
|
|
! on a function reference with non constant shape. The function reference
|
|
! must be retained.
|
|
module some_mod
|
|
contains
|
|
function returns_array(n, m)
|
|
integer :: returns_array(10:n+10,10:m+10)
|
|
returns_array = 0
|
|
end function
|
|
|
|
function returns_array_2(n)
|
|
integer, intent(in) :: n
|
|
integer :: returns_array_2(n)
|
|
returns_array_2 = 0
|
|
end function
|
|
|
|
function returns_array_3()
|
|
integer :: returns_array_3(7:46+2)
|
|
returns_array_3 = 0
|
|
end function
|
|
|
|
subroutine ubound_test(x, n, m)
|
|
integer :: x(n, m)
|
|
!CHECK: PRINT *, [INTEGER(4)::int(size(x,dim=1),kind=4),int(size(x,dim=2),kind=4)]
|
|
print *, ubound(x)
|
|
!CHECK: PRINT *, ubound(returns_array(n,m))
|
|
print *, ubound(returns_array(n, m))
|
|
!CHECK: PRINT *, ubound(returns_array(n,m),dim=1_4)
|
|
print *, ubound(returns_array(n, m), dim=1)
|
|
!CHECK: PRINT *, ubound(returns_array_2(m))
|
|
print *, ubound(returns_array_2(m))
|
|
!CHECK: PRINT *, 42_8
|
|
print *, ubound(returns_array_3(), dim=1, kind=8)
|
|
end subroutine
|
|
|
|
subroutine size_test(x, n, m)
|
|
integer :: x(n, m)
|
|
!CHECK: PRINT *, int(size(x,dim=1)*size(x,dim=2),kind=4)
|
|
print *, size(x)
|
|
!CHECK: PRINT *, size(returns_array(n,m))
|
|
print *, size(returns_array(n, m))
|
|
!CHECK: PRINT *, size(returns_array(n,m),dim=1_4)
|
|
print *, size(returns_array(n, m), dim=1)
|
|
!CHECK: PRINT *, size(returns_array_2(m))
|
|
print *, size(returns_array_2(m))
|
|
!CHECK: PRINT *, 42_8
|
|
print *, size(returns_array_3(), kind=8)
|
|
end subroutine
|
|
|
|
subroutine shape_test(x, n, m)
|
|
integer :: x(n, m)
|
|
!CHECK: PRINT *, [INTEGER(4)::int(size(x,dim=1),kind=4),int(size(x,dim=2),kind=4)]
|
|
print *, shape(x)
|
|
!CHECK: PRINT *, shape(returns_array(n,m))
|
|
print *, shape(returns_array(n, m))
|
|
!CHECK: PRINT *, shape(returns_array_2(m))
|
|
print *, shape(returns_array_2(m))
|
|
!CHECK: PRINT *, [INTEGER(8)::42_8]
|
|
print *, shape(returns_array_3(), kind=8)
|
|
end subroutine
|
|
|
|
subroutine lbound_test(x, n, m)
|
|
integer :: x(n, m)
|
|
!CHECK: PRINT *, [INTEGER(4)::1_4,1_4]
|
|
print *, lbound(x)
|
|
!CHECK: PRINT *, [INTEGER(4)::1_4,1_4]
|
|
print *, lbound(returns_array(n, m))
|
|
!CHECK: PRINT *, 1_4
|
|
print *, lbound(returns_array(n, m), dim=1)
|
|
!CHECK: PRINT *, 1_4
|
|
print *, lbound(returns_array_2(m), dim=1)
|
|
!CHECK: PRINT *, 1_4
|
|
print *, lbound(returns_array_3(), dim=1)
|
|
end subroutine
|
|
end module
|