search for: pseudobr

...ire a bit more of work to discover something that will ultimately lead to a redundant copy. I will investigate this option as well. I correct myself here: in the MIR dumps (for this example) right after copy coalescing the copy is redundant even at vregs %14:gpr = COPY %0 BEQ %6, $x0, %bb.3 PseudoBR %bb.1 bb.1.for.body.preheader: %14:gpr = COPY %0 Kind regards, -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200316/29fa7739/attachment.html>

Hi Sjoerd, I'm already using RDA in the pass I mentioned and it works great. Thanks Sam! Regarding the root cause, I didn't see anything obviously suboptimal not in the copy coalescing or the register allocation, at least in my previous example. Alternatively we might want to improve what we pass onto RA: i.e. remove the redundant copy earlier. At this point however it doesn't