[PATCH] D141185: [MemorySSA] Don't check def set when cloning memoryaccesses

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/lib/Analysis/MemorySSA.cpp:1764
-    // FIXME: Would Def value always be consistent after transforms?
-    assert(Def == DefCheck && "Invalid template");
     if (!Def && Use != UseCheck) {
----------------
We could do something like `assert(Def == DefCheck || !DefCheck)`, to check that we only reduce, but not increase possible accesses. (Though I suspect that we'll hit cases like that as well...)


================
Comment at: llvm/test/Transforms/SimpleLoopUnswitch/pr59546.ll:41
+
+attributes #0 = { "target-cpu"="foobar" }
----------------
Is this needed to prevent inlining? Can we mark it noinline instead?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D141185/new/

https://reviews.llvm.org/D141185