[PATCH] D57983: [ConstantRange] Shl of ConstantRanges considers full-set shifting to last bit position

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

I believe the contains function I wrote is correct. It says that an integer n belongs to interval I iff n >= lower(I) and n < upper(I) is there's no wrapping.
BTW, function isWrappedSet() just changed recently, so that needs tweaking in the Z3 model I sent (https://github.com/llvm-mirror/llvm/blob/master/lib/IR/ConstantRange.cpp#L347)

Can you please send a rise4fun.com permalink with your code changes?


Repository:
  rL LLVM

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

https://reviews.llvm.org/D57983