Ensured final register saving for comparisons
Added a note about overwritten registers