Lines Matching refs:result_pw
558 pword result_pw; \
559 Make_Checked_Float(&result_pw, dbl); \
560 Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
564 pword result_pw; \
565 Make_Checked_Double(&result_pw, dbl); \
566 Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
570 pword result_pw; \
571 Make_Checked_Interval(&result_pw, from, to); \
572 Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
600 pword result_pw; \
601 Make_Checked_Float(&result_pw, dbl); \
602 Return_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
606 pword result_pw; \
607 Make_Checked_Double(&result_pw, dbl); \
608 Return_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
612 pword result_pw; \
613 Make_Checked_Interval(&result_pw, from, to); \
614 Return_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \