// RUN: fir-opt %s | tco | FileCheck %s

// CHECK-LABEL: @set_all_n
func.func @set_all_n(%n : index, %x : i32) {
  %aTmp = fir.alloca i32, %n
  %aMem = fir.convert %aTmp : (!fir.ref<i32>) -> !fir.ref<!fir.array<?xi32>>
  %c1 = arith.constant 1 : index
  %aDim = fir.shape %n : (index) -> !fir.shape<1>
  %a = fir.embox %aMem(%aDim) : (!fir.ref<!fir.array<?xi32>>, !fir.shape<1>) -> !fir.box<!fir.array<?xi32>>
  // CHECK-DAG: %[[IV:.*]] = phi i64
  // CHECK-DAG: %[[LCV:.*]] = phi i64
  // CHECK: icmp sgt i64 %[[LCV]], 0
  fir.do_loop %i = %c1 to %n step %c1 unordered {
    %1 = fir.coordinate_of %a, %i : (!fir.box<!fir.array<?xi32>>, index) -> !fir.ref<i32>
    // CHECK: store i32 %{{.*}}, ptr %{{.*}}
    fir.store %x to %1 : !fir.ref<i32>
  }
  return
}