From c4ad4020535725115653d7c276142d0baba97eb3 Mon Sep 17 00:00:00 2001 From: Juneyoung Lee Date: Sat, 28 Mar 2020 17:38:27 +0900 Subject: [PATCH] [LegalizeTypes] Add SoftenFloatRes_FREEZE Summary: This adds SoftenFloatRes_FREEZE. Reviewers: bkramer, JamesNagurne, craig.topper, efriedma Reviewed By: craig.topper Subscribers: AbigailLinden, hiraditya, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D76980 --- lib/CodeGen/SelectionDAG/LegalizeFloatTypes.cpp | 7 +++++++ lib/CodeGen/SelectionDAG/LegalizeTypes.h | 1 + test/CodeGen/ARM/freeze-soften.ll | 16 ++++++++++++++++ 3 files changed, 24 insertions(+) create mode 100644 test/CodeGen/ARM/freeze-soften.ll diff --git a/lib/CodeGen/SelectionDAG/LegalizeFloatTypes.cpp b/lib/CodeGen/SelectionDAG/LegalizeFloatTypes.cpp index 60174fc9da8..994c491da69 100644 --- a/lib/CodeGen/SelectionDAG/LegalizeFloatTypes.cpp +++ b/lib/CodeGen/SelectionDAG/LegalizeFloatTypes.cpp @@ -125,6 +125,7 @@ void DAGTypeLegalizer::SoftenFloatResult(SDNode *N, unsigned ResNo) { case ISD::ATOMIC_SWAP: R = BitcastToInt_ATOMIC_SWAP(N); break; case ISD::SELECT: R = SoftenFloatRes_SELECT(N); break; case ISD::SELECT_CC: R = SoftenFloatRes_SELECT_CC(N); break; + case ISD::FREEZE: R = SoftenFloatRes_FREEZE(N); break; case ISD::STRICT_SINT_TO_FP: case ISD::STRICT_UINT_TO_FP: case ISD::SINT_TO_FP: @@ -184,6 +185,12 @@ SDValue DAGTypeLegalizer::SoftenFloatRes_BITCAST(SDNode *N) { return BitConvertToInteger(N->getOperand(0)); } +SDValue DAGTypeLegalizer::SoftenFloatRes_FREEZE(SDNode *N) { + EVT Ty = TLI.getTypeToTransformTo(*DAG.getContext(), N->getValueType(0)); + return DAG.getNode(ISD::FREEZE, SDLoc(N), Ty, + GetSoftenedFloat(N->getOperand(0))); +} + SDValue DAGTypeLegalizer::SoftenFloatRes_MERGE_VALUES(SDNode *N, unsigned ResNo) { SDValue Op = DisintegrateMERGE_VALUES(N, ResNo); diff --git a/lib/CodeGen/SelectionDAG/LegalizeTypes.h b/lib/CodeGen/SelectionDAG/LegalizeTypes.h index aee4ab1fcd6..e27f1e5b323 100644 --- a/lib/CodeGen/SelectionDAG/LegalizeTypes.h +++ b/lib/CodeGen/SelectionDAG/LegalizeTypes.h @@ -519,6 +519,7 @@ private: SDValue SoftenFloatRes_FP_ROUND(SDNode *N); SDValue SoftenFloatRes_FPOW(SDNode *N); SDValue SoftenFloatRes_FPOWI(SDNode *N); + SDValue SoftenFloatRes_FREEZE(SDNode *N); SDValue SoftenFloatRes_FREM(SDNode *N); SDValue SoftenFloatRes_FRINT(SDNode *N); SDValue SoftenFloatRes_FROUND(SDNode *N); diff --git a/test/CodeGen/ARM/freeze-soften.ll b/test/CodeGen/ARM/freeze-soften.ll new file mode 100644 index 00000000000..4148a750df9 --- /dev/null +++ b/test/CodeGen/ARM/freeze-soften.ll @@ -0,0 +1,16 @@ +; RUN: llc -mtriple=thumbv8m.main-none-eabi %s -o - | FileCheck %s + +; Check that freeze operations on floating types are successfully softened. + +; CHECK-LABEL: sitofp_f32_i32: +; CHECK: bl __aeabi_i2f +define float @sitofp_f32_i32(i32 %x) #0 { + %val = call float @llvm.experimental.constrained.sitofp.f32.i32(i32 %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0 + %val.fr = freeze float %val + ret float %val.fr +} + +attributes #0 = { strictfp } + +declare float @llvm.experimental.constrained.sitofp.f32.i32(i32, metadata, metadata) +declare double @llvm.experimental.constrained.sitofp.f64.i32(i32, metadata, metadata)