Lines Matching refs:vlo
1848 p_cpx_lo_hi(value vlo, type tlo, value vhi, type thi)
1851 Request_Unify_Float(vlo, tlo, -CPX_INFBOUND);
2854 value vlo, type tlo,
2873 if ((newlo = Dbl(vlo)) < -CPX_INFBOUND) newlo = -CPX_INFBOUND;
2944 value vlo, type tlo,
2971 if ((newlo = Dbl(vlo)) < -CPX_INFBOUND) newlo = -CPX_INFBOUND;
3050 value vlo, type tlo,
3072 Request_Unify_Float(vlo, tlo, lpd->bdl[j]);
3083 Request_Unify_Float(vlo, tlo, lpd->bdl[j]);
3098 Request_Unify_Float(vlo, tlo, lo);