[all-commits] [llvm/llvm-project] 951252: [X86][FPEnv] Teach X86 mask compare intrinsics to ...

[Pengfei Wang via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9512525947028df71ed5c5312629a1a0ce25d661
      https://github.com/llvm/llvm-project/commit/9512525947028df71ed5c5312629a1a0ce25d661
  Author: Wang, Pengfei <pengfei.wang at intel.com>
  Date:   2020-08-11 (Tue, 11 Aug 2020)

  Changed paths:
    M clang/lib/CodeGen/CGBuiltin.cpp
    M clang/test/CodeGen/avx512f-builtins-constrained-cmp.c
    M clang/test/CodeGen/avx512vl-builtins-constrained-cmp.c
    M llvm/include/llvm/IR/IntrinsicsX86.td
    M llvm/lib/IR/AutoUpgrade.cpp
    M llvm/lib/Target/X86/X86ISelDAGToDAG.cpp
    M llvm/lib/Target/X86/X86ISelLowering.cpp
    M llvm/lib/Target/X86/X86ISelLowering.h
    M llvm/lib/Target/X86/X86InstCombineIntrinsic.cpp
    M llvm/lib/Target/X86/X86InstrAVX512.td
    M llvm/lib/Target/X86/X86InstrFragmentsSIMD.td
    M llvm/lib/Target/X86/X86IntrinsicsInfo.h
    M llvm/test/CodeGen/X86/avx512-cmp-kor-sequence.ll
    M llvm/test/CodeGen/X86/avx512-cmp-mask.ll
    M llvm/test/CodeGen/X86/avx512-intrinsics-upgrade.ll
    M llvm/test/CodeGen/X86/avx512-intrinsics.ll
    M llvm/test/CodeGen/X86/avx512vl-intrinsics-upgrade.ll
    M llvm/test/CodeGen/X86/avx512vl-intrinsics.ll
    M llvm/test/CodeGen/X86/avx512vl-vec-masked-cmp.ll
    M llvm/test/CodeGen/X86/stack-folding-fp-avx512.ll
    M llvm/test/CodeGen/X86/stack-folding-fp-avx512vl.ll
    M llvm/test/CodeGen/X86/vector-shuffle-v1.ll
    R llvm/test/Transforms/InstCombine/X86/X86FsubCmpCombine.ll

  Log Message:
  -----------
  [X86][FPEnv] Teach X86 mask compare intrinsics to respect strict FP semantics.

When we use mask compare intrinsics under strict FP option, the masked
elements shouldn't raise any exception. So, we cann't replace the
intrinsic with a full compare + "and" operation.

Reviewed By: craig.topper

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