[all-commits] [llvm/llvm-project] 7f1590: [LoopFusion] Sorting of undominated FusionCandidat...

[ram-NK via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7f15907acc90284706310843b6a712641b00bf1d
      https://github.com/llvm/llvm-project/commit/7f15907acc90284706310843b6a712641b00bf1d
  Author: Ramkrishnan Narayanan Komala <ramkrishnan.nk at huawei.com>
  Date:   2023-01-11 (Wed, 11 Jan 2023)

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

  Log Message:
  -----------
  [LoopFusion] Sorting of undominated FusionCandidates crashes

This patch tries to fix [[ https://github.com/llvm/llvm-project/issues/56263 | issue ]].

If two **FusionCandidates** are in same level of dominator tree then, they will not be dominates each other. But they are control flow equivalent. To sort those FusionCandidates **nonStrictlyPostDominate** check is needed.

Reviewed By: Narutoworld

Differential Revision: https://reviews.llvm.org/D139993