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

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

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.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D55107