Hi, Yes, that's what I would do. If you want LLVM and the register allocator to also know that the instruction explicitly defines the register, I would designate the register into it's own register class and have your instruction write to that class (and there will be only a single option for RA). cheers, Sam Sam Parker Research Student Electronic Systems Design Group Loughborough University UK ________________________________________ From: Dmitri Kovalenko [dmitri.a.kovalenko at gmail.com] Sent: 31 August 2014 21:53 To: Sam Parker Cc: llvmdev at cs.uiuc.edu Subject: Re: [LLVMdev] understanding DAG: node creation Sam, thanks for your answer. That's a great suggestion. And excuse me for maybe dilettante question: To hard-code use of the global register means to hard-code it in the 'asm string' argument of the instruction definition in the .td file? 2014-09-01 0:44 GMT+04:00 Sam Parker <S.Parker3 at lboro.ac.uk<mailto:S.Parker3 at lboro.ac.uk>>: Hi Dmitri, If you have such a simple intrinsic which operates on a single register, just lower the intrinsic to a target specific node which is only implemented by a single instruction. Like you were doing before and by using a chain operand. Hard code the instruction to use and define the global register and only pass the instruction the actual variable argument. Hope that helps, Sam Sam Parker Research Student Electronic Systems Design Group School of Electronic, Electrical and Systems Engineering Loughborough University ----- Reply message ----- From: "Dmitri Kovalenko" <dmitri.a.kovalenko at gmail.com<mailto:dmitri.a.kovalenko at gmail.com>> To: <llvmdev at cs.uiuc.edu<mailto:llvmdev at cs.uiuc.edu>> Subject: [LLVMdev] understanding DAG: node creation Date: Sat, Aug 30, 2014 22:18 I have an intrinsic and it must be lowered to instruction, which works with fixed register. So, it takes contents of this register and another argument as input. After execution, the result of the instruction is placed into that same fixed register. What should I do in SelectionDAGBuilder::visitIntrinicCall to describe such behaviour for a SDNode? Thank you for the ideas and insights. -- Sincerely, Dmitri Kovalenko -- Sincerely, Dmitri Kovalenko
Before I wrote here, I tried both ways you decsribed, but none of them has worked out for me. With yours sugesstions I was able to move a bit further with the first approach (when we don't create regclass and just hard-code it in .td) But I still receive strange errors. I received DAG which I happy with (DAG here: http://goo.gl/62tpkk), but everything goes broken on scheduling. I had to chain mine nodes, because otherwise nodes xmac and srxacc got removed on first combine. But since they are chained, they have MVT::Other return type, and that causes strange crash inside func GetCostFor in ScheduleDAGRRList.cpp: Def RegClass = TLI->getRepRegClassFor(VT)->getID(); When VT is MVT::Other it returns 0x0, what results crash. It got me confused, because reading documentation on CodeGen gave me an idea, that chain edges are control flow edges, not data edges. So I don't understand why scheduler tries to assign some register to it. I'm struggling with this problem way to long for now, and I very appreciate yours help, Sam. 2014-09-01 1:50 GMT+04:00 Sam Parker <S.Parker3 at lboro.ac.uk>:> Hi, > > Yes, that's what I would do. If you want LLVM and the register allocator > to also know that the instruction explicitly defines the register, I would > designate the register into it's own register class and have your > instruction write to that class (and there will be only a single option for > RA). > > cheers, > Sam > > Sam Parker > Research Student > Electronic Systems Design Group > Loughborough University > UK > > ________________________________________ > From: Dmitri Kovalenko [dmitri.a.kovalenko at gmail.com] > Sent: 31 August 2014 21:53 > To: Sam Parker > Cc: llvmdev at cs.uiuc.edu > Subject: Re: [LLVMdev] understanding DAG: node creation > > Sam, thanks for your answer. > That's a great suggestion. > > And excuse me for maybe dilettante question: > To hard-code use of the global register means to hard-code it in the 'asm > string' argument of the instruction definition in the .td file? > > > 2014-09-01 0:44 GMT+04:00 Sam Parker <S.Parker3 at lboro.ac.uk<mailto: > S.Parker3 at lboro.ac.uk>>: > Hi Dmitri, > > If you have such a simple intrinsic which operates on a single register, > just lower the intrinsic to a target specific node which is only > implemented by a single instruction. Like you were doing before and by > using a chain operand. Hard code the instruction to use and define the > global register and only pass the instruction the actual variable argument. > > Hope that helps, > Sam > > Sam Parker > Research Student > Electronic Systems Design Group > School of Electronic, Electrical and Systems Engineering > Loughborough University > > ----- Reply message ----- > From: "Dmitri Kovalenko" <dmitri.a.kovalenko at gmail.com<mailto: > dmitri.a.kovalenko at gmail.com>> > To: <llvmdev at cs.uiuc.edu<mailto:llvmdev at cs.uiuc.edu>> > Subject: [LLVMdev] understanding DAG: node creation > Date: Sat, Aug 30, 2014 22:18 > > > I have an intrinsic and it must be lowered to instruction, which works > with fixed register. > So, it takes contents of this register and another argument as input. > After execution, the result of the instruction is placed into that same > fixed register. > > What should I do in SelectionDAGBuilder::visitIntrinicCall to describe > such behaviour for a SDNode? > > Thank you for the ideas and insights. > > -- > Sincerely, > Dmitri Kovalenko > > > > -- > Sincerely, > Dmitri Kovalenko >-- Sincerely, Dmitri Kovalenko -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140901/44e4de70/attachment.html>
Hi, I'm not sure. But in your lowered DAG the chain nodes are the first operands for you custom nodes, however for the other nodes the chain is the last operand. I seem to remember that during targetlowering the chain is the first operand and then it seems to switch over after ISelDAG, this confused me and may have something to do with the issue that you are seeing. I really don't know much about scheduling, do you want to post your instruction definitions again to see if someone else has some ideas,. cheers, sam Sam Parker Research Student Electronic System Design Group School of Electronic, Electrical and Systems Engineering Loughborough University UK On 01/09/14 14:35, Dmitri Kovalenko wrote:> Before I wrote here, I tried both ways you decsribed, but none of them > has worked out for me. > With yours sugesstions I was able to move a bit further with the first > approach (when we don't create regclass and just hard-code it in .td) > > But I still receive strange errors. I received DAG which I happy with > (DAG here: http://goo.gl/62tpkk), but everything goes broken on > scheduling. > > I had to chain mine nodes, because otherwise nodes xmac and srxacc got > removed on first combine. But since they are chained, they have > MVT::Other return type, and that causes strange crash inside func > GetCostFor in ScheduleDAGRRList.cpp: > > Def RegClass = TLI->getRepRegClassFor(VT)->getID(); > When VT is MVT::Other it returns 0x0, what results crash. > > It got me confused, because reading documentation on CodeGen gave me > an idea, that chain edges are control flow edges, not data edges. So I > don't understand why scheduler tries to assign some register to it. > > I'm struggling with this problem way to long for now, and I very > appreciate yours help, Sam. > > > > 2014-09-01 1:50 GMT+04:00 Sam Parker <S.Parker3 at lboro.ac.uk > <mailto:S.Parker3 at lboro.ac.uk>>: > > Hi, > > Yes, that's what I would do. If you want LLVM and the register > allocator to also know that the instruction explicitly defines the > register, I would designate the register into it's own register > class and have your instruction write to that class (and there > will be only a single option for RA). > > cheers, > Sam > > Sam Parker > Research Student > Electronic Systems Design Group > Loughborough University > UK > > ________________________________________ > From: Dmitri Kovalenko [dmitri.a.kovalenko at gmail.com > <mailto:dmitri.a.kovalenko at gmail.com>] > Sent: 31 August 2014 21:53 > To: Sam Parker > Cc: llvmdev at cs.uiuc.edu <mailto:llvmdev at cs.uiuc.edu> > Subject: Re: [LLVMdev] understanding DAG: node creation > > Sam, thanks for your answer. > That's a great suggestion. > > And excuse me for maybe dilettante question: > To hard-code use of the global register means to hard-code it in > the 'asm string' argument of the instruction definition in the .td > file? > > > 2014-09-01 0:44 GMT+04:00 Sam Parker <S.Parker3 at lboro.ac.uk > <mailto:S.Parker3 at lboro.ac.uk><mailto:S.Parker3 at lboro.ac.uk > <mailto:S.Parker3 at lboro.ac.uk>>>: > Hi Dmitri, > > If you have such a simple intrinsic which operates on a single > register, just lower the intrinsic to a target specific node > which is only implemented by a single instruction. Like you were > doing before and by using a chain operand. Hard code the > instruction to use and define the global register and only pass > the instruction the actual variable argument. > > Hope that helps, > Sam > > Sam Parker > Research Student > Electronic Systems Design Group > School of Electronic, Electrical and Systems Engineering > Loughborough University > > ----- Reply message ----- > From: "Dmitri Kovalenko" <dmitri.a.kovalenko at gmail.com > <mailto:dmitri.a.kovalenko at gmail.com><mailto:dmitri.a.kovalenko at gmail.com > <mailto:dmitri.a.kovalenko at gmail.com>>> > To: <llvmdev at cs.uiuc.edu > <mailto:llvmdev at cs.uiuc.edu><mailto:llvmdev at cs.uiuc.edu > <mailto:llvmdev at cs.uiuc.edu>>> > Subject: [LLVMdev] understanding DAG: node creation > Date: Sat, Aug 30, 2014 22:18 > > > I have an intrinsic and it must be lowered to instruction, which > works with fixed register. > So, it takes contents of this register and another argument as > input. After execution, the result of the instruction is placed > into that same fixed register. > > What should I do in SelectionDAGBuilder::visitIntrinicCall to > describe such behaviour for a SDNode? > > Thank you for the ideas and insights. > > -- > Sincerely, > Dmitri Kovalenko > > > > -- > Sincerely, > Dmitri Kovalenko > > > > > -- > Sincerely, > Dmitri Kovalenko-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140901/e97a4b6f/attachment.html>