addp4 Operation Font Conventions
if (PR[qp]) {
check_target_register;

tmp_src = (register_form ? GR[r2] : sign_ext(imm14, 14));
tmp_nat = (register_form ? GR[r2].nat : 0);

tmp_res = tmp_src + GR[r3];
tmp_res = zero_ext(tmp_res{31:0}, 32);
tmp_res{62:61} = GR[r3]{31:30};
GR[r1] = tmp_res;
GR[r1].nat = tmp_nat || GR[r3].nat;
}