famin Operation Font Conventions 
if 
 (PR[qp]) { 
; 
if (tmp_isrcode = (f1, f2, f3, 
 0)) 
disabled_fp_register_fault(tmp_isrcode, 0); 
if (fp_is_natval( [f2]) || fp_is_natval(FR[f3])) { 
FR[f1] = NATVAL; 
} else { (f2, f3, sf, &tmp_fp_env); 
 
if ((tmp_fp_env)) 
fp_exception_fault((tmp_fp_env)); 
tmp_left = (FR[f2]); 
tmp_right 
 = fp_reg_read(FR[f3]); 
tmp_left.sign 
 = FP_SIGN_POSITIVE; 
tmp_right.sign 
 = FP_SIGN_POSITIVE; 
tmp_bool_res 
 = (tmp_left, tmp_right); 
FR[f1] 
 = tmp_bool_res ? FR[f2] : FR[f3]; 
(sf, tmp_fp_env); 
} (f1); 
}