[PATCH] D41354: [InstCombine] Extending InstructionSimplify

[Omer Paparo Bivas via Phabricator via llvm-commits]

opaparo created this revision.
opaparo added reviewers: spatel, craig.topper, AndreiGrischenko, zvi.

1. So far, InstructionSimplify would not approach OverflowingBinaryOperators and PossiblyExactOperators. If it have encountered one of these, it would simply give up, aborting the transformation. However, in some cases, these operators can be proven to be safe, and the transformation can carry on. I've added a function for each of the two types, determining whether they are safe or not. In this patch I've added support for all types of shifts.
2. Added support for CastInst for specific cases.


Repository:
  rL LLVM

https://reviews.llvm.org/D41354

Files:
  lib/Analysis/InstructionSimplify.cpp
  test/Transforms/InstCombine/select-bitext-bitwise-ops.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D41354.127363.patch
Type: text/x-patch
Size: 6713 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171218/bc2d5cf4/attachment-0001.bin>