[all-commits] [llvm/llvm-project] b651f6: [X86][AVX512] Add test case for PR32547

[Simon Pilgrim via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: b651f67db8ccc9fcbb128e66987f99bb63fd3cd8
      https://github.com/llvm/llvm-project/commit/b651f67db8ccc9fcbb128e66987f99bb63fd3cd8
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2020-06-11 (Thu, 11 Jun 2020)

  Changed paths:
    M llvm/test/CodeGen/X86/vector-shuffle-v1.ll

  Log Message:
  -----------
  [X86][AVX512] Add test case for PR32547

Show current codegen baseline before D81548


  Commit: 5cca9828ff1ccdb0a7bf99633afc836032dcf393
      https://github.com/llvm/llvm-project/commit/5cca9828ff1ccdb0a7bf99633afc836032dcf393
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2020-06-11 (Thu, 11 Jun 2020)

  Changed paths:
    M llvm/lib/Target/X86/X86ISelLowering.cpp
    M llvm/test/CodeGen/X86/avx512-intrinsics.ll
    M llvm/test/CodeGen/X86/pr41619.ll
    M llvm/test/CodeGen/X86/vector-shuffle-v1.ll

  Log Message:
  -----------
  [X86][AVX512] Avoid bitcasts between scalar and vXi1 bool vectors

AVX512 mask types are often bitcasted to scalar integers for various ops before being bitcast back to be used as a predicate. In many cases we can avoid these KMASK<->GPR transfers and perform equivalent operations on the mask unit.

If the destination mask type is legal, and we can confirm that the scalar op originally came from a mask/vector/float/double type then we should try to avoid the scalar entirely.

This avoids some codegen issues noticed while working on PTEST/MOVMSK improvements.

Partially fixes PR32547 - we don't create a KUNPCK yet, but OR(X,KSHIFTL(Y)) can be handled in a separate patch.

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


Compare: https://github.com/llvm/llvm-project/compare/5cc18516c483...5cca9828ff1c