Przemyslaw Ossowski via llvm-dev
2019-Dec-10 16:41 UTC
[llvm-dev] Glue two instructions together
Hi,
for DAG-to-DAG instruction selection I’ve implemented a pattern, which
creates from one SDNode two instructions, something like:
def: Pat<(NEW_SDNODE REG:$r1),
(INST_OUT (INST_IN), REG:$r1)>;
where INST_IN doesn't accepts any inputs and INST_OUT accepts two inputs -
one returned by INST_IN and REG;$r1.
Is there any possibility to ‘Glue’ two instruction created in a such way?
Maybe something similar to creation SDNodes with SDNPOutGlue, SDNPInGlue) ?
These two instructions INST_IN and INST_OUT have to be one after another
without any other inserted between them.
Thanks,
Przemek
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20191210/94de313f/attachment.html>
Krzysztof Parzyszek via llvm-dev
2019-Dec-10 16:51 UTC
[llvm-dev] Glue two instructions together
Create a pseudo-instruction that represents these two, and expand it into the
actual instructions late, after optimizations.
--
Krzysztof Parzyszek kparzysz at quicinc.com<mailto:kparzysz at
quicinc.com> AI tools development
From: llvm-dev <llvm-dev-bounces at lists.llvm.org> On Behalf Of
Przemyslaw Ossowski via llvm-dev
Sent: Tuesday, December 10, 2019 10:42 AM
To: llvm-dev <llvm-dev at lists.llvm.org>
Subject: [EXT] [llvm-dev] Glue two instructions together
Hi,
for DAG-to-DAG instruction selection I’ve implemented a pattern, which creates
from one SDNode two instructions, something like:
def: Pat<(NEW_SDNODE REG:$r1),
(INST_OUT (INST_IN), REG:$r1)>;
where INST_IN doesn't accepts any inputs and INST_OUT accepts two inputs -
one returned by INST_IN and REG;$r1.
Is there any possibility to ‘Glue’ two instruction created in a such way? Maybe
something similar to creation SDNodes with SDNPOutGlue, SDNPInGlue) ?
These two instructions INST_IN and INST_OUT have to be one after another without
any other inserted between them.
Thanks,
Przemek
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20191210/dbd82e35/attachment-0001.html>
Przemyslaw Ossowski via llvm-dev
2019-Dec-11 18:25 UTC
[llvm-dev] Glue two instructions together
I have one more question regarding expanding pseudo instruction. These two Machine Instructions, which I mentioned earlier, have to be one after another, but also have to 'communicate' using any General Purpose Register For example: *gpr4* INST_IN r2 INST_OUT *gpr4*, r1 Is there any possibility to indicate that pseudo instruction, which is representing these two instruction, will define and use 'internally' one additional register from '*gpr*' pool (except those which are ins and outs). Aa 'internal' register there might be use any of the register from 'gpr' pool. I wouldn't like to indicate particular one. Expanding will occur after register allocation, so the only solution I see is involving register scavenger during expanding pass. Is usage register scavenger in such case is proper or maybe there is also any simpler approach? Thanks, Przemek On Tue, Dec 10, 2019 at 6:01 PM Przemyslaw Ossowski < przemyslaw.ossowski at googlemail.com> wrote:> Thank you Krzysztof, > I used pseudo-instruction earlier, but thought there might be easier > solution by implementing support for that simply in TableGen files by > marking somehow the instructions:) > > Thanks for confirmation, that I have to do this in a such way, > Przemek > > > > On Tue, Dec 10, 2019 at 5:51 PM Krzysztof Parzyszek <kparzysz at quicinc.com> > wrote: > >> Create a pseudo-instruction that represents these two, and expand it into >> the actual instructions late, after optimizations. >> >> >> >> -- >> >> Krzysztof Parzyszek kparzysz at quicinc.com AI tools development >> >> >> >> *From:* llvm-dev <llvm-dev-bounces at lists.llvm.org> *On Behalf Of *Przemyslaw >> Ossowski via llvm-dev >> *Sent:* Tuesday, December 10, 2019 10:42 AM >> *To:* llvm-dev <llvm-dev at lists.llvm.org> >> *Subject:* [EXT] [llvm-dev] Glue two instructions together >> >> >> >> Hi, >> >> >> >> for DAG-to-DAG instruction selection I’ve implemented a pattern, which >> creates from one SDNode two instructions, something like: >> >> >> >> def: Pat<(NEW_SDNODE REG:$r1), >> >> (INST_OUT (INST_IN), REG:$r1)>; >> >> >> >> where INST_IN doesn't accepts any inputs and INST_OUT accepts two inputs >> - one returned by INST_IN and REG;$r1. >> >> >> >> Is there any possibility to ‘Glue’ two instruction created in a such way? >> Maybe something similar to creation SDNodes with SDNPOutGlue, SDNPInGlue) ? >> >> >> >> These two instructions INST_IN and INST_OUT have to be one after another >> without any other inserted between them. >> >> >> >> Thanks, >> >> Przemek >> >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20191211/5f81f9ee/attachment.html>
You could hardcode a register for the pseudo instruction to use in the td file.
The register allocator will make sure not to clobber it.
let uses = [ R1 ], defs = [ R1 ] in {
def MYINST : Pseudo<>
}
On Wed, Dec 11, 2019 at 10:25 AM Przemyslaw Ossowski via llvm-dev
<llvm-dev at lists.llvm.org> wrote:>
> I have one more question regarding expanding pseudo instruction.
>
> These two Machine Instructions, which I mentioned earlier, have to be one
after another, but also have to 'communicate' using any General Purpose
Register
>
> For example:
> gpr4 INST_IN
> r2 INST_OUT gpr4, r1
>
> Is there any possibility to indicate that pseudo instruction, which is
representing these two instruction,
> will define and use 'internally' one additional register from
'gpr' pool (except those which are ins and outs).
> Aa 'internal' register there might be use any of the register from
'gpr' pool. I wouldn't like to indicate particular one.
>
> Expanding will occur after register allocation, so the only solution I see
is involving register scavenger during expanding pass.
> Is usage register scavenger in such case is proper or maybe there is also
any simpler approach?
>
> Thanks,
> Przemek
>
>
>
>
>
>
>
> On Tue, Dec 10, 2019 at 6:01 PM Przemyslaw Ossowski <przemyslaw.ossowski
at googlemail.com> wrote:
>>
>> Thank you Krzysztof,
>> I used pseudo-instruction earlier, but thought there might be easier
solution by implementing support for that simply in TableGen files by marking
somehow the instructions:)
>>
>> Thanks for confirmation, that I have to do this in a such way,
>> Przemek
>>
>>
>>
>> On Tue, Dec 10, 2019 at 5:51 PM Krzysztof Parzyszek <kparzysz at
quicinc.com> wrote:
>>>
>>> Create a pseudo-instruction that represents these two, and expand
it into the actual instructions late, after optimizations.
>>>
>>>
>>>
>>> --
>>>
>>> Krzysztof Parzyszek kparzysz at quicinc.com AI tools development
>>>
>>>
>>>
>>> From: llvm-dev <llvm-dev-bounces at lists.llvm.org> On Behalf
Of Przemyslaw Ossowski via llvm-dev
>>> Sent: Tuesday, December 10, 2019 10:42 AM
>>> To: llvm-dev <llvm-dev at lists.llvm.org>
>>> Subject: [EXT] [llvm-dev] Glue two instructions together
>>>
>>>
>>>
>>> Hi,
>>>
>>>
>>>
>>> for DAG-to-DAG instruction selection I’ve implemented a pattern,
which creates from one SDNode two instructions, something like:
>>>
>>>
>>>
>>> def: Pat<(NEW_SDNODE REG:$r1),
>>>
>>> (INST_OUT (INST_IN), REG:$r1)>;
>>>
>>>
>>>
>>> where INST_IN doesn't accepts any inputs and INST_OUT accepts
two inputs - one returned by INST_IN and REG;$r1.
>>>
>>>
>>>
>>> Is there any possibility to ‘Glue’ two instruction created in a
such way? Maybe something similar to creation SDNodes with SDNPOutGlue,
SDNPInGlue) ?
>>>
>>>
>>>
>>> These two instructions INST_IN and INST_OUT have to be one after
another without any other inserted between them.
>>>
>>>
>>>
>>> Thanks,
>>>
>>> Przemek
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
Reasonably Related Threads
- Glue two instructions together
- Assigning custom information to IR instruction and passing it to its correspondent in Selection DAG
- Assigning custom information to IR instruction and passing it to its correspondent in Selection DAG
- Handling node through TargetLowering::LowerOperation vs TargetLowering::ReplaceNodeResults
- Assigning custom information to IR instruction and passing it to its correspondent in Selection DAG