[PATCH] D55107: Prototype BasicAA improvements for discussion on llvm-dev

[Markus Lavin via Phabricator via llvm-commits]

markus added a comment.

In D55107#1314238 <https://reviews.llvm.org/D55107#1314238>, @aqjune wrote:

> I think we need to check whether shl/mul has nsw flag.
>
> For example, 'shl i16 1024, 10' and 'shl i16 1024, 11' are both 0, so we need to check whether they don't overflow.


Right. For my input there is no nsw flag but I guess one could equally well require more assumes on %X e.g. that it is in interval [a,b] and for this range the shl does not overflow.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D55107