[PATCH] D88783: [InstCombine] matchFunnelShift - fold or(shl(a,x),lshr(b,sub(bw,x))) -> fshl(a,b,x) iff x < bw

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D88783#2321414 <https://reviews.llvm.org/D88783#2321414>, @RKSimon wrote:

> Just so I don't unnecessarily waste time on this - are your main/blocking concerns that backend legalization/lowering is still poor or is it more fundamental than that?

I'm mainly interested in a better spelled-out motivation for the knownbits restriction.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D88783