166c166,169
< R15 = xc->readPC();
---
> if (Pstate<3:>)
> R15 = (xc->readPC())<31:0>;
> else
> R15 = xc->readPC();
580a584,586
>
> if(Cleanwin < NWindows - 1)
> Cleanwin = Cleanwin + 1;
878c884,887
< Rd = xc->readPC();
---
> if (Pstate<3:>)
> (Rd = xc->readPC())<31:0>;
> else
> Rd = xc->readPC();