[all-commits] [llvm/llvm-project] 922285: [PatternMatch] Add new FP matchers. NFC.

[Jay Foad via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 922285abec7cdcce1045b979ea1ff1091243bb0b
      https://github.com/llvm/llvm-project/commit/922285abec7cdcce1045b979ea1ff1091243bb0b
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2020-10-22 (Thu, 22 Oct 2020)

  Changed paths:
    M llvm/include/llvm/IR/PatternMatch.h
    M llvm/unittests/IR/PatternMatch.cpp

  Log Message:
  -----------
  [PatternMatch] Add new FP matchers. NFC.

This adds matchers m_NonNaN, m_NonInf, m_Finite and m_NonZeroFP as well
as generic support for binding the matched value to an APFloat.

I tried to follow the existing convention of using an FP suffix for
predicates like zero and non-zero, which could be confused with the
integer versions, but not for predicates which are clearly already
FP-specific.

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