[llvm-dev] LazyValueInfo vs ScalarEvolution
John Regehr via llvm-dev
llvm-dev at lists.llvm.org
Mon Jul 24 15:08:35 PDT 2017
Also I should add that I strongly doubt that it will be acceptable to
simply call ScalarEvolution's integer range analysis from LVI. The right
answer is no doubt more nuanced and the actual experts in this stuff are
here and hopefully they can chime in with opinions. Also, I am hoping to
get together with a few people who care about LVI at the October dev
meeting, you should join if you are going to attend.
On 07/24/2017 03:59 PM, John Regehr wrote:
> On 07/24/2017 03:43 PM, Hongbin Zheng wrote:
>> Also, the last time I looked, there seemed to be a fair amount of
>> room for improvement in LVI and ConstantRange.
>> Could you point some out?
> Check out the TODO items in binaryAnd and BinaryOr in ConstantRange.cpp.
> There are some missing cases in the switch in ConstantRange::binaryOp,
> such as xor and ashr.
> Argh this is embarrassing, I have some unfinished work sitting in
> Phabricator that could use a helper if you have time to take a look:
More information about the llvm-dev