Optimizing translation out of SSA using renaming constraints | IEEE Conference Publication | IEEE Xplore