[PATCH] D83643: [SCCP] Propagate inequalities

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

I think we could also try to model dereferenced pointers as non-null with a new predicate. In particular, we could create ssa_copys for dereferenced pointers, attach a predicate and rename all dominated uses. Not sure how useful/expensive that would be though. Also, ideally we would want to rename all pointers to the same underlying object.


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

https://reviews.llvm.org/D83643