| ! { dg-do run } |
| ! { dg-options "-fdump-tree-original" } |
| ! |
| ! PR fortran/35681 |
| ! Test the use of temporaries in case of elemental subroutines. |
| |
| PROGRAM main |
| IMPLICIT NONE |
| INTEGER, PARAMETER :: sz = 5 |
| INTEGER :: i |
| INTEGER :: a(sz) = (/ (i, i=1,sz) /) |
| INTEGER :: b(sz) |
| |
| b = a |
| CALL double(a(sz-b+1), a) ! { dg-warning "might interfere with actual" } |
| ! Don't check the result, as the above is invalid |
| ! and might produce unexpected results (overlapping vector subscripts). |
| |
| |
| b = a |
| CALL double (a, a) ! same range, no temporary |
| IF (ANY(a /= 2*b)) STOP 1 |
| |
| |
| b = a |
| CALL double (a+1, a) ! same range, no temporary |
| IF (ANY(a /= 2*b+2)) STOP 2 |
| |
| |
| b = a |
| CALL double ((a(1:sz)), a(1:sz)) ! same range, no temporary |
| IF (ANY(a /= 2*b)) STOP 3 |
| |
| |
| b = a |
| CALL double(a(1:sz-1), a(2:sz)) ! { dg-warning "might interfere with actual" } |
| ! Don't check the result, as the above is invalid, |
| ! and might produce unexpected results (arguments overlap). |
| |
| |
| b = a |
| CALL double((a(1:sz-1)), a(2:sz)) ! paren expression, temporary created |
| ! { dg-final { scan-tree-dump-times "A\.16\\\[4\\\]" 1 "original" } } |
| |
| IF (ANY(a /= (/ b(1), (2*b(i), i=1,sz-1) /))) STOP 4 |
| |
| |
| b = a |
| CALL double(a(1:sz-1)+1, a(2:sz)) ! op expression, temporary created |
| ! { dg-final { scan-tree-dump-times "A\.25\\\[4\\\]" 1 "original" } } |
| |
| IF (ANY(a /= (/ b(1), (2*b(i)+2, i=1,sz-1) /))) STOP 5 |
| |
| |
| b = a |
| CALL double(self(a), a) ! same range, no temporary |
| IF (ANY(a /= 2*b)) STOP 6 |
| |
| |
| b = a |
| CALL double(self(a(1:sz-1)), a(2:sz)) ! function expr, temporary created |
| ! { dg-final { scan-tree-dump-times "A\.37\\\[4\\\]" 1 "original" } } |
| |
| IF (ANY(a /= (/ b(1), (2*b(i), i=1,sz-1) /))) STOP 7 |
| |
| |
| CONTAINS |
| ELEMENTAL SUBROUTINE double(a, b) |
| IMPLICIT NONE |
| INTEGER, INTENT(IN) :: a |
| INTEGER, INTENT(OUT) :: b |
| b = 2 * a |
| END SUBROUTINE double |
| ELEMENTAL FUNCTION self(a) |
| IMPLICIT NONE |
| INTEGER, INTENT(IN) :: a |
| INTEGER :: self |
| self = a |
| END FUNCTION self |
| END PROGRAM main |
| |
| ! { dg-final { scan-tree-dump-times "_gfortran_internal_unpack" 3 "original" } } |