[PATCH] D41233: [InstCombine] Canonizing 'and' before 'shl'

[Omer Paparo Bivas via Phabricator via llvm-commits]

opaparo updated this revision to Diff 127361.
opaparo added a comment.

1. Relaxing the canonization condition: the masked shl will be canonized to the new form only if the 'shl''s 0th operand is not a shift instruction. This is due to other, better optimization that will be able to kick in.
2. Reverted the InstructionSimplify and bswap changes. Those will be added in two different reviews.


Repository:
  rL LLVM

https://reviews.llvm.org/D41233

Files:
  lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
  lib/Transforms/InstCombine/InstCombineShifts.cpp
  test/Transforms/InstCombine/2010-11-01-lshr-mask.ll
  test/Transforms/InstCombine/bswap.ll
  test/Transforms/InstCombine/cast.ll
  test/Transforms/InstCombine/or-shifted-masks.ll
  test/Transforms/InstCombine/pr17827.ll
  test/Transforms/InstCombine/rem.ll
  test/Transforms/InstCombine/select-bitext-bitwise-ops.ll
  test/Transforms/InstCombine/select-with-bitwise-ops.ll
  test/Transforms/InstCombine/select.ll
  test/Transforms/InstCombine/shift-shift.ll
  test/Transforms/InstCombine/shift.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D41233.127361.patch
Type: text/x-patch
Size: 24080 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171218/a3f5af87/attachment.bin>