Return to Issue Details Register Optimisation by Equivalence Analysis Download Download PDF