[X86][SSE] matchShuffleWithPACK - avoid poison pollution from bitcasting multiple...
authorSimon Pilgrim <llvm-dev@redking.me.uk>
Sun, 18 Jul 2021 13:25:28 +0000 (14:25 +0100)
committerSimon Pilgrim <llvm-dev@redking.me.uk>
Sun, 18 Jul 2021 13:25:28 +0000 (14:25 +0100)
commit51a12d2ff097837ba05dfeaea832d7b5a738db6c
treebc83170707b170e3e0a14892917995c4c5a85781
parent367ec7755f6a166569fab207d57a88165440a546
[X86][SSE] matchShuffleWithPACK - avoid poison pollution from bitcasting multiple elements together.

D106053 exposed that we've not been taking into account that by bitcasting smaller elements together and then performing a ComputeKnownBits on the result we'd be allowing a poison element to influence other neighbouring elements being used in the pack. Instead we now peek through any existing bitcast to ensure that the source type already matches the width source of the pack node we're trying to match.

This has also been a chance to stop matchShuffleWithPACK creating unused nodes on the fly which could affect oneuse tests during shuffle lowering/combining.

The only regression we're seeing is due to being unable to peek through a bitcast as its on the other side of a extract_subvector - which should go away once we finally allow shuffle combining across different vector widths (by making matchShuffleWithPACK using const SelectionDAG& we've gotten closer to this - see PR45974).
llvm/lib/Target/X86/X86ISelLowering.cpp
llvm/test/CodeGen/X86/vector-shuffle-512-v64.ll