[PATCH] D115904: [DSE] Remove calls with known writes to dead memory

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

@nikic I don't disagree with either of your recent suggestions, but the reorg your asking for is a huge amount of churn.  Do you mind if this goes in, and then we try to cleanup the attribute handling in the direction you've indicated?  I'm happy to do some of the work, but frankly, I suspect that's a lot more involved than you're making it out to be and I don't want to go boil the ocean.  :)

On the single argument vs multiple arguments, I want to preserve the functionality of returning a conservative result if passed twice, but supporting both the precise and less precise results would not be hard to do.  My strong preference would for a follow up though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D115904