[PATCH] D69277: [CVP] No-wrap deduction for `shl`

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM. Small overall effect, but I think it still makes sense for completeness, and as far as I know this shouldn't be particularly expensive.

Can I interest you in making LVI use the recently added `addWithNoWrap()` method, to get some cross-pollination from nowrap flags inferred by other passes? Would be interesting to see if that allows us to infer/simplify more in CVP. If it does, we can invest some effort in adding this functionality for other operators as well.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D69277