So, when we also include the ‘y’, and not use spiller it will be something like this?
As I understand it, yes, basically. There are a few differences I know of.
You won’t use
or(x, 0) to reorder ops, or
xor(0, 0) to load zeros. Reordering would probably be done here by using a branch instruction encoding that allows for reordering, or the conform instruction (the Wiki isn’t up-to-date on this). Loading a zero would probably be done with
rd, since that phases well.
eql takes two arguments unless it’s ganged (then it’s 0). I think you would have to
rd in a zero or compare to
%i, but I’m not sure.
eql is also phased such that it can be in the same cycle as
brtr; my semicolon was a typo.