[llvm-dev] LazyValueInfo

Markus Lavin via llvm-dev llvm-dev at lists.llvm.org
Mon Dec 17 02:19:06 PST 2018


I have been looking at using LazyValueInfo to improve BasicAA for some cases but have noted some issues with LVI

1. The interface (e.g. getConstantRange) seem to expect pointer-to-non-const objects which is a bit troublesome if you want to use the analysis from a place where you have pointer-to-const. Resorting to const_cast is obviously undesirable.

2. Assumption patterns of the form 'icmp <pred> (add Val, Offset)' (https://github.com/llvm-mirror/llvm/blob/master/lib/Analysis/LazyValueInfo.cpp#L1097) will not make it through the assumption cache after commit https://github.com/llvm-mirror/llvm/commit/a6e44bd6350ff4aaa40b104abff1e28a9918ef87

Is this something worth fixing or does this mean that LVI is not very much used and there might even be plans to remove/replace it in the future?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20181217/7dbba191/attachment.html>

More information about the llvm-dev mailing list