[all-commits] [llvm/llvm-project] 3f0cc0: [flang] Assume matching shapes in elemental assign...

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3f0cc068cef26e820b3acbd21b3577817e4bf4ca
      https://github.com/llvm/llvm-project/commit/3f0cc068cef26e820b3acbd21b3577817e4bf4ca
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2024-12-05 (Thu, 05 Dec 2024)

  Changed paths:
    M flang/lib/Optimizer/HLFIR/Transforms/OptimizedBufferization.cpp
    M flang/test/HLFIR/minloc-elemental.fir
    A flang/test/HLFIR/opt-bufferization-non-realloc-assignment.fir
    M flang/test/Integration/OpenMP/workshare-axpy.f90

  Log Message:
  -----------
  [flang] Assume matching shapes in elemental assignment with non-realloc lhs. (#118552)

The optimized bufferization pass cannot optimize very simple cases of
elemental
assignments, because of the suboptimal checks order. This patch relies
on the fact that in a legal program the lhs and rhs of an assignment
have matching shapes, when lhs is not an allocatable and rhs is a result
of an elemental array operation.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications