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

[Marcello Maggioni via Phabricator via llvm-commits]

kariddi added a comment.

Sorry, you are right, I didn't notice the operands were flipped. I'm not familiar with Z3 syntax and I got confused :)

Here a link with the changes. As I said I'm not familiar with Z3 so let me know if there's something wrong

https://rise4fun.com/Z3/LoTq


Repository:
  rL LLVM

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

https://reviews.llvm.org/D57983