If the qualifying branch predicate is 1, the branch is taken and the following occurs:
CFM, EC, and the current privilege level are restored from PFS. (The privilege level is restored only if this does not increase privilege.)
The caller's stack frame is restored.
If the return lowers the privilege, and PSR.lp is 1, then a Lower-privilege Transfer trap is taken.