[all-commits] [llvm/llvm-project] ee40c5: [flang] Fix WHERE self-updates on allocatable arra...

[Valentin Clement (バレンタイン クレメン) via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ee40c5e35152cbd7ddb9d44aecab455e66df8d5a
      https://github.com/llvm/llvm-project/commit/ee40c5e35152cbd7ddb9d44aecab455e66df8d5a
  Author: Valentin Clement (バレンタイン クレメン) <clementval at gmail.com>
  Date:   2026-05-28 (Thu, 28 May 2026)

  Changed paths:
    M flang/lib/Optimizer/Analysis/ArraySectionAnalyzer.cpp
    A flang/test/HLFIR/order_assignments/where-allocatable-base.f90

  Log Message:
  -----------
  [flang] Fix WHERE self-updates on allocatable array sections (#200281)

Teach ArraySectionAnalyzer to use the scheduler's value-equivalence
callback
when comparing hlfir.designate base memrefs. This lets HLFIR ordered
assignment
lowering recognize allocatable WHERE self-updates as aligned even when
the LHS
and RHS use distinct descriptor loads.

This avoids generating full-sized RHS temporaries for these masked
self-updates, preventing device heap exhaustion while preserving
parallel
kernel generation. Add a regression test for allocatable WHERE section
scheduling.



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