[PATCH] D68672: [APInt] Rounding right-shifts

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

> I'd like to try to extend ConstantRange::makeGuaranteedNoWrapRegion()
>  to deal with Instruction::Shl so i believe i need rounding right shifts.

I don't think rounding shifts are strictly necessary for this purpose, the correct behavior should fall out when applying the normal lshr/ashr operations to -1 / signed_min / signed_max.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D68672