[all-commits] [llvm/llvm-project] 52af7a: [GISel][ArtifactCombiner] Relax the constraint to ...

[qcolombet via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 52af7aedfe5dd5cfb1a6f486040a2549bbdbcf93
      https://github.com/llvm/llvm-project/commit/52af7aedfe5dd5cfb1a6f486040a2549bbdbcf93
  Author: Quentin Colombet <qcolombet at apple.com>
  Date:   2019-11-06 (Wed, 06 Nov 2019)

  Changed paths:
    M llvm/include/llvm/CodeGen/GlobalISel/LegalizationArtifactCombiner.h
    A llvm/test/CodeGen/AArch64/GlobalISel/integration-shuffle-vector.ll
    M llvm/test/CodeGen/AArch64/GlobalISel/legalizer-combiner.mir
    M llvm/test/CodeGen/AMDGPU/GlobalISel/artifact-combiner-unmerge-values.mir
    M llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-phi.mir

  Log Message:
  -----------
  [GISel][ArtifactCombiner] Relax the constraint to combine unmerge with concat_vectors

The combine G_UNMERGE_VALUES with G_CONCAT_VECTORS used to only be performed
when the result type of the G_UNMERGE_VALUES was a vector type.
In other words, we were expecting that the G_UNMERGE_VALUES was effectively
the exact opposite of the G_CONCAT_VECTORS.

Lift that constraint by allowing any G_UNMERGE_VALUES to be combined
with any G_CONCAT_VECTORS (as long as the size of the different pieces
that we merge/unmerge match).

Differential Revision: https://reviews.llvm.org/D69288