[all-commits] [llvm/llvm-project] 55bdb1: [LoopPredication] Preserve MemorySSA

[annamthomas via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 55bdb14026ca21a2b773f749a01bf7e6f3fa7c0b
      https://github.com/llvm/llvm-project/commit/55bdb14026ca21a2b773f749a01bf7e6f3fa7c0b
  Author: Anna Thomas <anna at azul.com>
  Date:   2021-08-26 (Thu, 26 Aug 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopPredication.cpp
    M llvm/test/Transforms/LoopPredication/basic.ll
    M llvm/test/Transforms/LoopPredication/basic_widenable_branch_guards.ll
    M llvm/test/Transforms/LoopPredication/invariant_load.ll
    M llvm/test/Transforms/LoopPredication/nested.ll
    M llvm/test/Transforms/LoopPredication/predicate-exits.ll
    M llvm/test/Transforms/LoopPredication/profitability.ll
    M llvm/test/Transforms/LoopPredication/reverse.ll
    M llvm/test/Transforms/LoopPredication/unswitch-exit-loop.ll
    M llvm/test/Transforms/LoopPredication/visited.ll
    M llvm/test/Transforms/LoopPredication/widened.ll

  Log Message:
  -----------
  [LoopPredication]  Preserve MemorySSA

Since LICM has now unconditionally moved to MemorySSA based form, all
passes that run in same LPM as LICM need to preserve MemorySSA (i.e. our
downstream pipeline).

Added loop-mssa to all tests and perform -verify-memoryssa within
LoopPredication itself.

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