Craig Topper 63b17eb9ec [RISCV] Add strictfp support for compares. ...

This adds support for STRICT_FSETCC(quiet) and STRICT_FSETCCS(signaling).

FEQ matches well to STRICT_FSETCC oeq.
FLT/FLE matches well to STRICT_FSETCCS olt/ole.

Others require commuting operands or multiple instructions.

STRICT_FSETCC olt/ole/ogt/oge/ult/ule/ugt/uge uses FLT/FLE,
but we need to save/restore FFLAGS around them to avoid spurious
exceptions. I've implemented pseudo instructions with a
CustomInserter to insert the save/restore CSR instructions.
Unfortunately, this doesn't honor exceptions for signaling NANs
but I'm not sure if signaling nans are really supported by the
constrained intrinsics.

STRICT_FSETCC one and ueq expand to a pair of FLT instructions
with a save/restore of fflags around each. This could be improved
in the future.

There may be some opportunities to generate better code for strict
comparisons mixed with nonans fast math flags. I've left FIXMEs in
the .td files for that.

Co-Authored-by: ShihPo Hung <shihpo.hung@sifive.com>

Reviewed By: arcbbb

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

2022-01-11 20:01:41 -08:00

..

CMakeLists.txt

llvmbuildectomy - replace llvm-build by plain cmake

2020-11-13 10:35:24 +01:00

DAGCombiner.cpp

Fix a missed opportunity to merge stores.

2022-01-10 13:49:02 -08:00

FastISel.cpp

[PowerPC] fast isel can lower intrinsics call on AIX.

2022-01-10 02:30:05 +00:00

FunctionLoweringInfo.cpp

Revert "[SelectionDAGBuilder] Compute and cache PreferredExtendType on demand."

2021-08-19 08:42:05 -07:00

InstrEmitter.cpp

[DebugInfo][InstrRef] Add indirection from dbg.declare in SelectionDAG

2021-11-29 22:24:19 +00:00

InstrEmitter.h

[DebugInfo][InstrRef][3/4] Produce DBG_INSTR_REFs for all variable locations

2021-07-06 18:31:38 +01:00

LegalizeDAG.cpp

[RISCV] Add strictfp support for compares.

2022-01-11 20:01:41 -08:00

LegalizeFloatTypes.cpp

[LegalizeTypes][VP] Add splitting support for vp.select

2022-01-07 08:46:01 +00:00

LegalizeIntegerTypes.cpp

[LegalizeTypes][VP] Add splitting support for vp.select

2022-01-07 08:46:01 +00:00

LegalizeTypes.cpp

Use DenseMap::lookup (NFC)

2021-12-17 18:19:25 -08:00

LegalizeTypes.h

[LegalizeTypes][VP] Add splitting support for vp.select

2022-01-07 08:46:01 +00:00

LegalizeTypesGeneric.cpp

[LegalizeTypes][VP] Add splitting support for vp.select

2022-01-07 08:46:01 +00:00

LegalizeVectorOps.cpp

[VP][ISel] use LEGALPOS for legalization action

2022-01-04 14:50:49 +01:00

LegalizeVectorTypes.cpp

[LegalizeTypes][VP] Add splitting support for vp.select

2022-01-07 08:46:01 +00:00

ResourcePriorityQueue.cpp

[CodeGen] Use range-based for loops (NFC)

2021-12-06 08:49:10 -08:00

ScheduleDAGFast.cpp

[llvm] Use pop_back_val (NFC)

2021-09-19 13:44:23 -07:00

ScheduleDAGRRList.cpp

…

ScheduleDAGSDNodes.cpp

[llvm] Use the default constructor for SDValue (NFC)

2022-01-01 10:36:59 -08:00

ScheduleDAGSDNodes.h

…

ScheduleDAGVLIW.cpp

[CodeGen] Use range-based for loops (NFC)

2021-12-06 08:49:10 -08:00

SDNodeDbgValue.h

[CodeGen] SDDbgValue::getSDNodes() - use const-ref to avoid unnecessary copies. NFCI.

2021-09-21 13:01:08 +01:00

SelectionDAG.cpp

[SelectionDAG] Add FP_TO_UINT_SAT/FP_TO_SINT_SAT to computeKnownBits/computeNumSignBits.

2022-01-09 17:48:05 -08:00

SelectionDAGAddressAnalysis.cpp

[SelectionDAG] Replace error prone index check in BaseIndexOffset::computeAliasing

2021-10-05 12:15:55 +02:00

SelectionDAGBuilder.cpp

[SelectionDAG] treat X constrained labels as i for asm

2022-01-11 10:29:40 -08:00

SelectionDAGBuilder.h

[NFC][CodeGen] Remove rarely used DL variable from SelectionDAGBuilder

2021-12-08 17:05:46 +00:00

SelectionDAGDumper.cpp

Revert @llvm.isnan intrinsic patchset.

2021-09-02 13:53:56 +03:00

SelectionDAGISel.cpp

[llvm] Use range-based for loops (NFC)

2021-12-07 09:17:03 -08:00

SelectionDAGPrinter.cpp

[SelectionDAG] Drop unnecessary const from a return type (NFC)

2021-02-07 09:49:33 -08:00

SelectionDAGTargetInfo.cpp

…

StatepointLowering.cpp

[Analysis, CodeGen] Migrate from arg_operands to args (NFC)

2021-10-03 08:22:20 -07:00

StatepointLowering.h

More precisely type code used for gc.relocate assertions [nfc]

2021-04-06 11:27:36 -07:00

TargetLowering.cpp

[SelectionDAG] treat X constrained labels as i for asm

2022-01-11 10:29:40 -08:00