return values are now correct. rvexFrameLowering has been changed so the ret instruction is deleted and a custom ret instruction is inserted which updates the SP to the correct value. SP restore and ret are executed in single instruction