[PATCH] D109065: [X86] combineX86ShufflesRecursively(): call SimplifyMultipleUseDemandedVectorElts() on after finishing recursing

[Simon Pilgrim via Phabricator via llvm-commits]

RKSimon added inline comments.


================
Comment at: llvm/lib/Target/X86/X86ISelLowering.cpp:37553
+  unsigned NumElts = DemandedElts.getBitWidth();
+  unsigned NumSrcElts = SrcDemandedElts.getBitWidth();
+
----------------
We should assert that (NumElts % NumSrcElts) == 0 || (NumSrcElts % NumElts) == 0 - or return true/false on success/failure.


================
Comment at: llvm/lib/Target/X86/X86ISelLowering.cpp:37911
+
+    unsigned NumOpElts = Op.getValueType().getVectorNumElements();
+
----------------
lebedev.ri wrote:
> RKSimon wrote:
> > lebedev.ri wrote:
> > > RKSimon wrote:
> > > > Op might be a different width to the Root - see the "Widen any subvector shuffle inputs we've collected." code below.
> > > I keep hitting the same pitfail.
> > We still need to do this before the widenSubVector() code - otherwise we'll never be able to simplify any input that doesn't match RootSizeInBits, which are likely to be the most interesting cases imo.
> I agree, but is this a correctness concern for this patch?
what correctness?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109065