[all-commits] [llvm/llvm-project] a4fb88: [MSSA] Extending IsGuaranteedLoopInvariant to supp...

[Matteo F. via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a4fb88669cd98db6fef7dcac88e3ec425d40c00d
      https://github.com/llvm/llvm-project/commit/a4fb88669cd98db6fef7dcac88e3ec425d40c00d
  Author: Matteo Favaro <fvrmatteo at gmail.com>
  Date:   2021-03-23 (Tue, 23 Mar 2021)

  Changed paths:
    M llvm/lib/Analysis/MemorySSA.cpp
    M llvm/unittests/Analysis/MemorySSATest.cpp

  Log Message:
  -----------
  [MSSA] Extending IsGuaranteedLoopInvariant to support an instruction defined in the entry block

As mentioned in [[ https://reviews.llvm.org/D96979 | D96979 ]], I'm extending the **IsGuaranteedLoopInvariant** check also to the `MemorySSA.cpp` file.

@fhahn For now I didn't unify the function into `MemorySSA.h` because, as you mentioned, it's not directly MSSA related. I'm open to suggestions to find a better place so we can improve the unification process.

Reviewed By: fhahn

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