subroutine arrays(a, b, c)
  integer :: a(4), b(4), c(4)
  b = 1
  c = 2
  a = 11
  a = b + c
end subroutine

! Expand the assignments explicitly, without enabling other optimizations.
! Each following assignment must retain a separate entry branch carrying its
! source location, outside both the preceding and following loops.
! RUN: %flang_fc1 -emit-hlfir -mmlir --mlir-print-debuginfo -o - %s | fir-opt --inline-elementals --inline-hlfir-assign --mlir-print-debuginfo -o %t.fir && %flang_fc1 -O0 -debug-info-kind=line-tables-only -emit-llvm %t.fir -o - | FileCheck %s

! CHECK-LABEL: define void @arrays_(
! CHECK: br label %[[FIRST:[0-9]+]], !dbg ![[LOC1:[0-9]+]]
! CHECK: [[FIRST]]:
! CHECK: br i1 {{.*}}, label %{{[0-9]+}}, label %[[ENTRY2:[0-9]+]], !dbg ![[LOC1]]
! CHECK: [[ENTRY2]]:
! CHECK-NEXT: br label %[[SECOND:[0-9]+]], !dbg ![[LOC2:[0-9]+]]
! CHECK: [[SECOND]]:
! CHECK-NEXT: {{.*}} = phi i64 {{.*}}[ {{[01]}}, %[[ENTRY2]] ]
! CHECK: br i1 {{.*}}, label %{{[0-9]+}}, label %[[ENTRY3:[0-9]+]], !dbg ![[LOC2]]
! CHECK: [[ENTRY3]]:
! CHECK-NEXT: br label %[[THIRD:[0-9]+]], !dbg ![[LOC3:[0-9]+]]
! CHECK: [[THIRD]]:
! CHECK-NEXT: {{.*}} = phi i64 {{.*}}[ {{[01]}}, %[[ENTRY3]] ]
! CHECK: br i1 {{.*}}, label %{{[0-9]+}}, label %[[ENTRY4:[0-9]+]], !dbg ![[LOC3]]
! CHECK: [[ENTRY4]]:
! CHECK-NEXT: br label %[[FOURTH:[0-9]+]], !dbg ![[LOC4:[0-9]+]]
! CHECK: [[FOURTH]]:
! CHECK-NEXT: {{.*}} = phi i64 {{.*}}[ {{[01]}}, %[[ENTRY4]] ]
! CHECK: br i1 {{.*}}, !dbg ![[LOC4]]
! CHECK-DAG: ![[LOC1]] = !DILocation(line: 3, column: 3,
! CHECK-DAG: ![[LOC2]] = !DILocation(line: 4, column: 3,
! CHECK-DAG: ![[LOC3]] = !DILocation(line: 5, column: 3,
! CHECK-DAG: ![[LOC4]] = !DILocation(line: 6, column: 3,