[all-commits] [llvm/llvm-project] 8631e8: [LoopFusion] Allow loop fusion for idempotent outp...

[AntonyCJ30 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8631e82ddb299e39f7559a4f683bbe97cb25a0f0
      https://github.com/llvm/llvm-project/commit/8631e82ddb299e39f7559a4f683bbe97cb25a0f0
  Author: AntonyCJ30 <cj6186609 at gmail.com>
  Date:   2026-07-31 (Fri, 31 Jul 2026)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopFuse.cpp
    M llvm/test/Transforms/LoopFusion/loop_invariant.ll

  Log Message:
  -----------
  [LoopFusion] Allow loop fusion for idempotent output dependency (#206401)

Loop Fusion incorrectly blocks fusion of loops that write the same value
to two arrays.  Writing the same value twice produces identical observable results
regardless of execution order, so fusion is safe (whether the two arrays are aliased or not). 

Fixes #94676

Co-authored-by: AntonyCJ30 <cj6186609 at gmail@gmail.com>



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