[PATCH v2 1/3] LegalizeDAG: Try to use Overflow operations when expanding ADD/SUB
Jan Vesely
jan.vesely at rutgers.edu
Thu Nov 13 11:26:06 PST 2014
ping?
On Tue, 2014-10-21 at 12:29 -0400, Jan Vesely wrote:
> ping
>
> On Fri, 2014-10-10 at 11:33 -0400, Jan Vesely wrote:
> > ping
> >
> > Justin, since NVPTX changes are the same as v1 may I assume that your
> > ack stands?
> >
> > Anshuman, Owen, I found your names in CODE_OWNERS, hope you're the right
> > ppl to bug about hexagon/selectiondag.
> >
> > thanks,
> > jan
> >
> > On Wed, 2014-09-24 at 20:27 -0400, Jan Vesely wrote:
> > > v2: consider BooleanContents when processing overflow
> > >
> > > Signed-off-by: Jan Vesely <jan.vesely at rutgers.edu>
> > > CC: Jyotsna Verma <jverma at codeaurora.org>
> > > CC: Justin Holewinski <jholewinski at nvidia.com>
> > > ---
> > > Hexagon does not set this and defaults to undef
> > >
> > > lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp | 33 +++++++++++++++++++++++
> > > test/CodeGen/Hexagon/adde.ll | 11 ++------
> > > test/CodeGen/Hexagon/sube.ll | 9 +++----
> > > test/CodeGen/NVPTX/add-128bit.ll | 4 +--
> > > test/CodeGen/R600/sub.ll | 10 +++----
> > > 5 files changed, 43 insertions(+), 24 deletions(-)
> > >
> > > diff --git a/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp b/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
> > > index 6b00bb1..3e5f7dd 100644
> > > --- a/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
> > > +++ b/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
> > > @@ -1625,6 +1625,39 @@ void DAGTypeLegalizer::ExpandIntRes_ADDSUB(SDNode *N,
> > > return;
> > > }
> > >
> > > + bool hasOVF =
> > > + TLI.isOperationLegalOrCustom(N->getOpcode() == ISD::ADD ?
> > > + ISD::UADDO : ISD::USUBO,
> > > + TLI.getTypeToExpandTo(*DAG.getContext(), NVT));
> > > + if (hasOVF) {
> > > + SDVTList VTList = DAG.getVTList(NVT, NVT);
> > > + TargetLoweringBase::BooleanContent BoolType = TLI.getBooleanContents(NVT);
> > > + int RevOpc;
> > > + if (N->getOpcode() == ISD::ADD) {
> > > + RevOpc = ISD::SUB;
> > > + Lo = DAG.getNode(ISD::UADDO, dl, VTList, LoOps);
> > > + Hi = DAG.getNode(ISD::ADD, dl, NVT, makeArrayRef(HiOps, 2));
> > > + } else {
> > > + RevOpc = ISD::ADD;
> > > + Lo = DAG.getNode(ISD::USUBO, dl, VTList, LoOps);
> > > + Hi = DAG.getNode(ISD::SUB, dl, NVT, makeArrayRef(HiOps, 2));
> > > + }
> > > + SDValue OVF = Lo.getValue(1);
> > > +
> > > + switch (BoolType) {
> > > + default:
> > > + case TargetLoweringBase::UndefinedBooleanContent:
> > > + OVF = DAG.getNode(ISD::AND, dl, NVT, DAG.getConstant(1, NVT), OVF);
> > > + // Fallthrough
> > > + case TargetLoweringBase::ZeroOrOneBooleanContent:
> > > + Hi = DAG.getNode(N->getOpcode(), dl, NVT, Hi, OVF);
> > > + break;
> > > + case TargetLoweringBase::ZeroOrNegativeOneBooleanContent:
> > > + Hi = DAG.getNode(RevOpc, dl, NVT, Hi, OVF);
> > > + }
> > > + return;
> > > + }
> > > +
> > > if (N->getOpcode() == ISD::ADD) {
> > > Lo = DAG.getNode(ISD::ADD, dl, NVT, LoOps);
> > > Hi = DAG.getNode(ISD::ADD, dl, NVT, makeArrayRef(HiOps, 2));
> > > diff --git a/test/CodeGen/Hexagon/adde.ll b/test/CodeGen/Hexagon/adde.ll
> > > index 6d060c1..fd45cd0 100644
> > > --- a/test/CodeGen/Hexagon/adde.ll
> > > +++ b/test/CodeGen/Hexagon/adde.ll
> > > @@ -1,16 +1,9 @@
> > > ; RUN: llc -march=hexagon < %s | FileCheck %s
> > >
> > > -; CHECK: r{{[0-9]+:[0-9]+}} = #0
> > > -; CHECK: r{{[0-9]+:[0-9]+}} = #1
> > > +; CHECK: r{{[0-9]+:[0-9]+}} = add(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > > ; CHECK: r{{[0-9]+:[0-9]+}} = add(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > > ; CHECK: p{{[0-9]+}} = cmp.gtu(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > > -; CHECK: p{{[0-9]+}} = cmp.gtu(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > > -; CHECK: r{{[0-9]+}} = mux(p{{[0-9]+}}, r{{[0-9]+}}, r{{[0-9]+}})
> > > -; CHECK: r{{[0-9]+}} = mux(p{{[0-9]+}}, r{{[0-9]+}}, r{{[0-9]+}})
> > > -; CHECK: r{{[0-9]+:[0-9]+}} = combine(r{{[0-9]+}}, r{{[0-9]+}})
> > > -; CHECK: r{{[0-9]+}} = mux(p{{[0-9]+}}, r{{[0-9]+}}, r{{[0-9]+}})
> > > -; CHECK: r{{[0-9]+}} = mux(p{{[0-9]+}}, r{{[0-9]+}}, r{{[0-9]+}})
> > > -; CHECK: r{{[0-9]+:[0-9]+}} = combine(r{{[0-9]+}}, r{{[0-9]+}})
> > > +; CHECK: r{{[0-9]+}} = mux(p{{[0-9]+}}, #1, #0)
> > > ; CHECK: r{{[0-9]+:[0-9]+}} = add(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > >
> > >
> > > diff --git a/test/CodeGen/Hexagon/sube.ll b/test/CodeGen/Hexagon/sube.ll
> > > index 735ac9e..f70127c 100644
> > > --- a/test/CodeGen/Hexagon/sube.ll
> > > +++ b/test/CodeGen/Hexagon/sube.ll
> > > @@ -1,13 +1,10 @@
> > > ; RUN: llc -march=hexagon < %s | FileCheck %s
> > >
> > > -; CHECK: r{{[0-9]+:[0-9]+}} = #0
> > > -; CHECK: r{{[0-9]+:[0-9]+}} = #1
> > > -; CHECK: p{{[0-9]+}} = cmp.gtu(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > > -; CHECK: r{{[0-9]+}} = mux(p{{[0-9]+}}, r{{[0-9]+}}, r{{[0-9]+}})
> > > -; CHECK: r{{[0-9]+}} = mux(p{{[0-9]+}}, r{{[0-9]+}}, r{{[0-9]+}})
> > > ; CHECK: r{{[0-9]+:[0-9]+}} = sub(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > > ; CHECK: r{{[0-9]+:[0-9]+}} = sub(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > > -; CHECK: r{{[0-9]+:[0-9]+}} = combine(r{{[0-9]+}}, r{{[0-9]+}})
> > > +; CHECK: p{{[0-9]+}} = cmp.gtu(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > > +; CHECK: r{{[0-9]+}} = mux(p{{[0-9]+}}, #1, #0)
> > > +; CHECK: r{{[0-9]+:[0-9]+}} = sub(r{{[0-9]+:[0-9]+}}, r{{[0-9]+:[0-9]+}})
> > >
> > > define void @check_sube_subc(i64 %AL, i64 %AH, i64 %BL, i64 %BH, i64* %RL, i64* %RH) {
> > > entry:
> > > diff --git a/test/CodeGen/NVPTX/add-128bit.ll b/test/CodeGen/NVPTX/add-128bit.ll
> > > index 29e3cdf..c1144de 100644
> > > --- a/test/CodeGen/NVPTX/add-128bit.ll
> > > +++ b/test/CodeGen/NVPTX/add-128bit.ll
> > > @@ -7,10 +7,8 @@ target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f3
> > > define void @foo(i64 %a, i64 %add, i128* %retptr) {
> > > ; CHECK: add.s64
> > > ; CHECK: setp.lt.u64
> > > -; CHECK: setp.lt.u64
> > > -; CHECK: selp.b64
> > > ; CHECK: selp.b64
> > > -; CHECK: add.s64
> > > +; CHECK: sub.s64
> > > %t1 = sext i64 %a to i128
> > > %add2 = zext i64 %add to i128
> > > %val = add i128 %t1, %add2
> > > diff --git a/test/CodeGen/R600/sub.ll b/test/CodeGen/R600/sub.ll
> > > index a8196a0..8678e2b 100644
> > > --- a/test/CodeGen/R600/sub.ll
> > > +++ b/test/CodeGen/R600/sub.ll
> > > @@ -43,11 +43,10 @@ define void @test4(<4 x i32> addrspace(1)* %out, <4 x i32> addrspace(1)* %in) {
> > > ; SI: S_SUB_U32
> > > ; SI: S_SUBB_U32
> > >
> > > -; EG-DAG: SETGE_UINT
> > > -; EG-DAG: CNDE_INT
> > > -; EG-DAG: SUB_INT
> > > ; EG-DAG: SUB_INT
> > > +; EG-DAG: SETGT_UINT
> > > ; EG-DAG: SUB_INT
> > > +; EG-DAG: ADD_INT
> > > define void @s_sub_i64(i64 addrspace(1)* noalias %out, i64 %a, i64 %b) nounwind {
> > > %result = sub i64 %a, %b
> > > store i64 %result, i64 addrspace(1)* %out, align 8
> > > @@ -58,11 +57,10 @@ define void @s_sub_i64(i64 addrspace(1)* noalias %out, i64 %a, i64 %b) nounwind
> > > ; SI: V_SUB_I32_e32
> > > ; SI: V_SUBB_U32_e32
> > >
> > > -; EG-DAG: SETGE_UINT
> > > -; EG-DAG: CNDE_INT
> > > -; EG-DAG: SUB_INT
> > > ; EG-DAG: SUB_INT
> > > +; EG-DAG: SETGT_UINT
> > > ; EG-DAG: SUB_INT
> > > +; EG-DAG: ADD_INT
> > > define void @v_sub_i64(i64 addrspace(1)* noalias %out, i64 addrspace(1)* noalias %inA, i64 addrspace(1)* noalias %inB) nounwind {
> > > %tid = call i32 @llvm.r600.read.tidig.x() readnone
> > > %a_ptr = getelementptr i64 addrspace(1)* %inA, i32 %tid
> >
>
--
Jan Vesely <jan.vesely at rutgers.edu>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141113/413d0e66/attachment.sig>
More information about the llvm-commits
mailing list