Ahmed Samara via llvm-dev
2018-Jan-29 20:48 UTC
[llvm-dev] How to use tablegen to describe branches where the status register is implicitly set?
I'm working on writing a backend for a processor that only has one Branch instruction, a BRnzp, where it branches on a status register (NZP: Negative, Zero, Positive) based on what the result of the last arithmetic operation was. It's implicitly set, nowhere in userspace. Basically, it follows the format of: ADD .... BR 010 ... (Branches if the result of the ADD was zero). Unconditional branches are given as a 111 argument. How can I use tablegen to describe this in a way that the scheduler also understands that it's 'attached' to the last instruction? -- Ahmed Samara M.S. Computer Engineering -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180129/bcba46f2/attachment.html>
Matthias Braun via llvm-dev
2018-Jan-30 01:23 UTC
[llvm-dev] How to use tablegen to describe branches where the status register is implicitly set?
You could try instruction bundles (though bundling before RA is very uncommon and I'm at least aware of some cases where the regallocator cannot handle when the last instruction (bundle) of a function produces a new value because it tries to place a spill behind the definition. Or you model it with a pseudo that expands into a sub with 0 / br (like cmp/branch on other targets) and try to eliminate the sub via late peepholes where possible. - Matthias> On Jan 29, 2018, at 12:48 PM, Ahmed Samara via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > I'm working on writing a backend for a processor that only has one Branch instruction, a BRnzp, where it branches on a status register (NZP: Negative, Zero, Positive) based on what the result of the last arithmetic operation was. It's implicitly set, nowhere in userspace. > > Basically, it follows the format of: > ADD .... > BR 010 ... (Branches if the result of the ADD was zero). > > Unconditional branches are given as a 111 argument. > > How can I use tablegen to describe this in a way that the scheduler also understands that it's 'attached' to the last instruction? > > -- > Ahmed Samara > M.S. Computer Engineering > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
Krzysztof Parzyszek via llvm-dev
2018-Jan-30 14:38 UTC
[llvm-dev] How to use tablegen to describe branches where the status register is implicitly set?
You can add the status register as an implicit use to all such branches, and as an implicit def to all instructions that modify it. Check "Defs" and "Uses" in the definition of "Instruction" in include/Target/Target.td. -Krzysztof On 1/29/2018 2:48 PM, Ahmed Samara via llvm-dev wrote:> I'm working on writing a backend for a processor that only has one > Branch instruction, a BRnzp, where it branches on a status register > (NZP: Negative, Zero, Positive) based on what the result of the last > arithmetic operation was. It's implicitly set, nowhere in userspace. > > Basically, it follows the format of: > ADD .... > BR 010 ... (Branches if the result of the ADD was zero). > > Unconditional branches are given as a 111 argument. > > How can I use tablegen to describe this in a way that the scheduler also > understands that it's 'attached' to the last instruction? > > -- > Ahmed Samara > M.S. Computer Engineering > > > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev >-- Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, hosted by The Linux Foundation
Seemingly Similar Threads
- Segmentation fault when using llc to target riscv.
- Why does Clang use GCCBuiltInFunctions? How can intrinsics that don't depend on GCC be added?
- "Build Experimental Targets not working"
- LLVM tool-chain for RISC-V
- Why do backend pass definitions call a seperate function just to call the constructor?