[all-commits] [llvm/llvm-project] eaf6e2: [DSE] Relax constraint on isGuaranteedLoopInvariant

[luxufan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: eaf6e2fc337ce428ae87d57360a2168c415acb5d
      https://github.com/llvm/llvm-project/commit/eaf6e2fc337ce428ae87d57360a2168c415acb5d
  Author: luxufan <luxufan at iscas.ac.cn>
  Date:   2022-10-06 (Thu, 06 Oct 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
    M llvm/test/Transforms/DeadStoreElimination/multiblock-loops.ll
    M llvm/test/Transforms/DeadStoreElimination/multiblock-malloc-free.ll

  Log Message:
  -----------
  [DSE] Relax constraint on isGuaranteedLoopInvariant

If the location ptr to be killed is in no loop and the Function does not
have irreducible loops, then we can regard it as loop invariant.

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