[LLVMdev] understanding DAG: node creation

Dmitri Kovalenko dmitri.a.kovalenko at gmail.com
Mon Sep 1 06:35:09 PDT 2014


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>


More information about the llvm-dev mailing list