/* do some stuff with a and b */
return j ? a : b;
}
The MEM_EXPRs are different here, one referencing a, the other b.
But aren't the MEM's different too? Or is the point that this is only
a register-indirect machine so the forms of the addresses are the same?