diff options
author | Hal Finkel <hfinkel@anl.gov> | 2014-03-05 22:14:00 +0000 |
---|---|---|
committer | Hal Finkel <hfinkel@anl.gov> | 2014-03-05 22:14:00 +0000 |
commit | f698d7775a96afd6385b0f9b9c66646df8feb88a (patch) | |
tree | 6b03605550f2748441a869df4a0a8bef941aa190 | |
parent | af0cc459bf5fdce42f723e575ae8c320752ac3e1 (diff) | |
download | llvm-f698d7775a96afd6385b0f9b9c66646df8feb88a.tar.gz llvm-f698d7775a96afd6385b0f9b9c66646df8feb88a.tar.bz2 llvm-f698d7775a96afd6385b0f9b9c66646df8feb88a.tar.xz |
With PPC CR bit registers, handle int_to_fp on older cores
On cores without fpcvt support, we cannot promote int_to_fp i1 operations,
because there is nothing to promote them to. The most straightforward
implementation of this uses a select to choose between the two possible
resulting floating-point values (and that's what is done here).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@203015 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Target/PowerPC/PPCISelLowering.cpp | 22 | ||||
-rw-r--r-- | test/CodeGen/PowerPC/i1-to-double.ll | 21 |
2 files changed, 37 insertions, 6 deletions
diff --git a/lib/Target/PowerPC/PPCISelLowering.cpp b/lib/Target/PowerPC/PPCISelLowering.cpp index f53557319e..05e74fb049 100644 --- a/lib/Target/PowerPC/PPCISelLowering.cpp +++ b/lib/Target/PowerPC/PPCISelLowering.cpp @@ -100,12 +100,17 @@ PPCTargetLowering::PPCTargetLowering(PPCTargetMachine &TM) if (Subtarget->useCRBits()) { setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i1, Expand); - setOperationAction(ISD::SINT_TO_FP, MVT::i1, Promote); - AddPromotedToType (ISD::SINT_TO_FP, MVT::i1, - isPPC64 ? MVT::i64 : MVT::i32); - setOperationAction(ISD::UINT_TO_FP, MVT::i1, Promote); - AddPromotedToType (ISD::UINT_TO_FP, MVT::i1, - isPPC64 ? MVT::i64 : MVT::i32); + if (isPPC64 || Subtarget->hasFPCVT()) { + setOperationAction(ISD::SINT_TO_FP, MVT::i1, Promote); + AddPromotedToType (ISD::SINT_TO_FP, MVT::i1, + isPPC64 ? MVT::i64 : MVT::i32); + setOperationAction(ISD::UINT_TO_FP, MVT::i1, Promote); + AddPromotedToType (ISD::UINT_TO_FP, MVT::i1, + isPPC64 ? MVT::i64 : MVT::i32); + } else { + setOperationAction(ISD::SINT_TO_FP, MVT::i1, Custom); + setOperationAction(ISD::UINT_TO_FP, MVT::i1, Custom); + } // PowerPC does not support direct load / store of condition registers setOperationAction(ISD::LOAD, MVT::i1, Custom); @@ -4972,6 +4977,11 @@ SDValue PPCTargetLowering::LowerINT_TO_FP(SDValue Op, if (Op.getValueType() != MVT::f32 && Op.getValueType() != MVT::f64) return SDValue(); + if (Op.getOperand(0).getValueType() == MVT::i1) + return DAG.getNode(ISD::SELECT, dl, Op.getValueType(), Op.getOperand(0), + DAG.getConstantFP(1.0, Op.getValueType()), + DAG.getConstantFP(0.0, Op.getValueType())); + assert((Op.getOpcode() == ISD::SINT_TO_FP || PPCSubTarget.hasFPCVT()) && "UINT_TO_FP is supported only with FPCVT"); diff --git a/test/CodeGen/PowerPC/i1-to-double.ll b/test/CodeGen/PowerPC/i1-to-double.ll new file mode 100644 index 0000000000..e3d9fc2ab2 --- /dev/null +++ b/test/CodeGen/PowerPC/i1-to-double.ll @@ -0,0 +1,21 @@ +; RUN: llc -march=ppc32 -mcpu=ppc32 -mtriple=powerpc-unknown-linux-gnu < %s | FileCheck %s +define double @test(i1 %X) { + %Y = uitofp i1 %X to double + ret double %Y +} + +; CHECK-LABEL: @test + +; CHECK: andi. {{[0-9]+}}, 3, 1 +; CHECK: bc 12, 1, + +; CHECK: li 3, .LCP[[L1:[A-Z0-9_]+]]@l +; CHECK: addis 3, 3, .LCP[[L1]]@ha +; CHECK: lfs 1, 0(3) +; CHECK: blr + +; CHECK: li 3, .LCP[[L2:[A-Z0-9_]+]]@l +; CHECK: addis 3, 3, .LCP[[L2]]@ha +; CHECK: lfs 1, 0(3) +; CHECK: blr + |