[PATCH] D28190: [LVI] Switch from BFS to DFS exploration strategy

[Daniel Berlin via Phabricator via llvm-commits]

dberlin added a comment.

FYI: i ran this on all LLVM files for correlatedvalueprop and jumpthreading.
As expected, it produces strictly better answers.
For CVP, it is significantly better at propagating non-nullness (but otherwise no code-differences).
For jump threading, no differences are found.


https://reviews.llvm.org/D28190