[PATCH] D73763: [DSE] Lift post-dominance restriction.

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

Disclaimer: I haven't looked at the approach here.
Have you seen the MustBeExecutedContextExplorer and the path exploration it allows (D65593 <https://reviews.llvm.org/D65593>)?
Sounds like this might actually be applicable here. If the chosen approach is superior or more natural feel free to say so.



================
Comment at: llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp:1485
+        cast<Function>(M->getOrInsertFunction("____foobar", FnTy).getCallee());
+    State.ExitUseFn->addFnAttr(Attribute::ReadOnly);
+
----------------
I'm not sure this is allowed in a function pass.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D73763