xref: /llvm-project/flang/test/HLFIR/order_assignments/where-fusing-scheduling.f90 (revision 222a8a1b2da16dde3df7a9d8bda54c7fb0730b72)
1*222a8a1bSJean Perier! Test scheduling of WHERE in lower-hlfir-ordered-assignments pass
2*222a8a1bSJean Perier! when fusing is enabled or disabled.
3*222a8a1bSJean Perier
4*222a8a1bSJean Perier!RUN: bbc -hlfir -o - -pass-pipeline="builtin.module(lower-hlfir-ordered-assignments{fuse-assignments=false})" --debug-only=flang-ordered-assignment -flang-dbg-order-assignment-schedule-only %s 2>&1 | FileCheck %s --check-prefix NOFUSE
5*222a8a1bSJean Perier
6*222a8a1bSJean Perier!RUN: bbc -hlfir -o - -pass-pipeline="builtin.module(lower-hlfir-ordered-assignments{fuse-assignments=true})" --debug-only=flang-ordered-assignment -flang-dbg-order-assignment-schedule-only %s 2>&1 | FileCheck %s --check-prefix FUSE
7*222a8a1bSJean Perier
8*222a8a1bSJean Perier!REQUIRES: asserts
9*222a8a1bSJean Perier
10*222a8a1bSJean Periersubroutine fusable(x, y, mask)
11*222a8a1bSJean Perier  real :: x(:), y(:)
12*222a8a1bSJean Perier  logical :: mask(:)
13*222a8a1bSJean Perier  where (mask)
14*222a8a1bSJean Perier    x = 41.
15*222a8a1bSJean Perier    y = 42.
16*222a8a1bSJean Perier  end where
17*222a8a1bSJean Perierend subroutine
18*222a8a1bSJean Perier
19*222a8a1bSJean Periersubroutine unfusable(x, y, mask)
20*222a8a1bSJean Perier  real :: x(:), y(:)
21*222a8a1bSJean Perier  logical :: mask(:)
22*222a8a1bSJean Perier  where (mask)
23*222a8a1bSJean Perier    x(1:10) = y
24*222a8a1bSJean Perier    y = x(10:1:-1)
25*222a8a1bSJean Perier  end where
26*222a8a1bSJean Perierend subroutine
27*222a8a1bSJean Perier
28*222a8a1bSJean Perier!NOFUSE-LABEL: ------------ scheduling where in _QPfusable ------------
29*222a8a1bSJean Perier!NOFUSE-NEXT: run 1 evaluate: where/region_assign1
30*222a8a1bSJean Perier!NOFUSE-NEXT: run 2 evaluate: where/region_assign2
31*222a8a1bSJean Perier!NOFUSE-LABEL: ------------ scheduling where in _QPunfusable ------------
32*222a8a1bSJean Perier!NOFUSE-NEXT: run 1 evaluate: where/region_assign1
33*222a8a1bSJean Perier!NOFUSE-NEXT: run 2 evaluate: where/region_assign2
34*222a8a1bSJean Perier
35*222a8a1bSJean Perier!FUSE-LABEL: ------------ scheduling where in _QPfusable ------------
36*222a8a1bSJean Perier!FUSE-NEXT: run 1 evaluate: where/region_assign1
37*222a8a1bSJean Perier!FUSE-NEXT: run 1 evaluate: where/region_assign2
38*222a8a1bSJean Perier!FUSE-LABEL: ------------ scheduling where in _QPunfusable ------------
39*222a8a1bSJean Perier!FUSE-NEXT: run 1 evaluate: where/region_assign1
40*222a8a1bSJean Perier!FUSE-NEXT: conflict: R/W: <block argument> of type '!fir.box<!fir.array<?xf32>>' at index: 1 W:<block argument> of type '!fir.box<!fir.array<?xf32>>' at index: 1
41*222a8a1bSJean Perier!FUSE-NEXT: run 2 evaluate: where/region_assign2
42