[RISCV] Add lowering for scalar fmaximum/fminimum.
authorCraig Topper <craig.topper@sifive.com>
Mon, 24 Jul 2023 20:38:51 +0000 (13:38 -0700)
committerCraig Topper <craig.topper@sifive.com>
Mon, 24 Jul 2023 20:46:35 +0000 (13:46 -0700)
commit49429783b0f4fb9c6f2a25746fe90072e19eb38c
treebff32bdbe3fb19660924c23c20c9737c86e04e9b
parent6c48f57c14dcfe2410afcb4c6778dcbb40d294b5
[RISCV] Add lowering for scalar fmaximum/fminimum.

Unlike fmaxnum and fminnum, these operations propagate nan and
consider -0.0 to be less than +0.0.

Without Zfa, we don't have a single instruction for this. The
lowering I've used forces the other input to nan if one input
is a nan. If both inputs are nan, they get swapped. Then use
the fmax or fmin instruction.

New ISD nodes are needed because fmaxnum/fminnum to not define
the order of -0.0 and +0.0.

This lowering ensures the snans are quieted though that is probably not
required in default environment). Also ensures non-canonical nans
are canonicalized, though I'm also not sure that's needed.

Another option could be to use fmax/fmin and then overwrite the
result based on the inputs being nan, but I'm not sure we can do
that with any less code.

Future work will handle nonans FMF, and handling the case where
we can prove the input isn't nan.

This does fix the crash in #64022, but we need to do more work
to avoid scalarization.

Reviewed By: fakepaper56

Differential Revision: https://reviews.llvm.org/D156069
llvm/lib/Target/RISCV/RISCVISelLowering.cpp
llvm/lib/Target/RISCV/RISCVISelLowering.h
llvm/lib/Target/RISCV/RISCVInstrInfoD.td
llvm/lib/Target/RISCV/RISCVInstrInfoF.td
llvm/lib/Target/RISCV/RISCVInstrInfoZfh.td
llvm/test/Analysis/CostModel/RISCV/fp-min-max-abs.ll
llvm/test/CodeGen/RISCV/double-maximum-minimum.ll [new file with mode: 0644]
llvm/test/CodeGen/RISCV/float-maximum-minimum.ll [new file with mode: 0644]
llvm/test/CodeGen/RISCV/half-maximum-minimum.ll [new file with mode: 0644]