mov pr Operation Font Conventions
if (PR[qp]) {
if (from_form) {
check_target_register;
GR[r1] = 1; // PR[0] is always 1
for (i = 1; i <= 63; i++) {
GR[r1]{i} = PR[ pr_phys_to_virt(i)];
}
GR[r1].nat = 0;
} else if (to_form) {
if (GR[r2].nat)
register_nat_consumption_fault(0);
tmp_src = sign_ext(mask17, 17);
for (i = 1; i <= 63; i++) {
if (tmp_src{i})
PR[ pr_phys_to_virt(i)] = GR[r2]{i};
}
} else { // to_rotate_form
tmp_src = sign_ext(imm44, 44);
for (i = 16; i <= 63; i++) {
PR[pr_phys_to_virt(i)] = tmp_src{i};
}
}
}