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

[Nuno Lopes via Phabricator via llvm-commits]

nlopes requested changes to this revision.
nlopes added a comment.
This revision now requires changes to proceed.

This patch is not correct for this input:
lhs = FullSet
rhs = [0, 1)

should output FullSet
but this patch gives EmptySet

Here's a Z3 model if you want to play further with this patch: https://rise4fun.com/Z3/akYEt


Repository:
  rL LLVM

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

https://reviews.llvm.org/D57983