1*d8beb2c3SValentin Clement! RUN: bbc -emit-fir %s -o - | FileCheck %s 2*d8beb2c3SValentin Clement 3*d8beb2c3SValentin Clement ! Make sure we use array values for subscripts that are arrays on the lhs so 4*d8beb2c3SValentin Clement ! that copy-in/copy-out works correctly. 5*d8beb2c3SValentin Clement integer :: a(4,4) 6*d8beb2c3SValentin Clement forall(i=1:4,j=1:4) 7*d8beb2c3SValentin Clement a(a(i,j),a(j,i)) = j - i*100 8*d8beb2c3SValentin Clement end forall 9*d8beb2c3SValentin Clementend 10*d8beb2c3SValentin Clement 11*d8beb2c3SValentin Clement! CHECK-LABEL: func @_QQmain 12*d8beb2c3SValentin Clement! CHECK: %[[a:.*]] = fir.address_of(@_QFEa) : !fir.ref<!fir.array<4x4xi32>> 13*d8beb2c3SValentin Clement! CHECK: %[[a1:.*]] = fir.array_load %[[a]](%{{.*}}) : (!fir.ref<!fir.array<4x4xi32>>, !fir.shape<2>) -> !fir.array<4x4xi32> 14*d8beb2c3SValentin Clement! CHECK: %[[a2:.*]] = fir.array_load %[[a]](%{{.*}}) : (!fir.ref<!fir.array<4x4xi32>>, !fir.shape<2>) -> !fir.array<4x4xi32> 15*d8beb2c3SValentin Clement! CHECK: %[[a3:.*]] = fir.array_load %[[a]](%{{.*}}) : (!fir.ref<!fir.array<4x4xi32>>, !fir.shape<2>) -> !fir.array<4x4xi32> 16*d8beb2c3SValentin Clement! CHECK: %[[av:.*]] = fir.do_loop 17*d8beb2c3SValentin Clement! CHECK: fir.do_loop 18*d8beb2c3SValentin Clement! CHECK: = fir.array_fetch %[[a2]], %{{.*}}, %{{.*}} : (!fir.array<4x4xi32>, index, index) -> i32 19*d8beb2c3SValentin Clement! CHECK: = fir.array_fetch %[[a3]], %{{.*}}, %{{.*}} : (!fir.array<4x4xi32>, index, index) -> i32 20*d8beb2c3SValentin Clement! CHECK: = fir.array_update %{{.*}}, %{{.*}}, %{{.*}} : (!fir.array<4x4xi32>, i32, index, index) -> !fir.array<4x4xi32> 21*d8beb2c3SValentin Clement! CHECK : fir.array_merge_store %[[a1]], %[[av]] to %[[a]] : !fir.array<4x4xi32>, !fir.array<4x4xi32>, !fir.ref<!fir.array<4x4xi32>> 22