1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
! { dg-do compile }
! { dg-options "-O3 -fno-inline -fwhole-program -fdump-ipa-cp-details -fdump-tree-lversion-details" }
module x
implicit none
contains
subroutine foo(a, b)
real :: a(:,:)
real :: b
integer :: i,j
b = 0.
do j=1,size(a,2)
do i=1,size(a,1)
b = b + a(i,j) * i * j
end do
end do
end subroutine foo
subroutine bar(a, b)
real :: a(:,:)
real :: b
call foo (a,b)
end subroutine bar
end module x
program main
use x
implicit none
integer :: n, m
real, dimension(4,3) :: a
real, dimension(3,4) :: c
real :: b
call random_number(a)
call bar(a,b)
print *,b
call random_number(c)
call bar(c,b)
print *,b
end program main
! { dg-final { scan-ipa-dump "op assert_expr 1" "cp" } }
! { dg-final { scan-tree-dump-not "versioned this loop for when certain strides are 1" "lversion" } }
|