Lines Matching refs:hi
12 double lo, hi;
62 (void) printf("(%15.8f, %15.8f)\n", $1.lo, $1.hi);
111 $$.hi = $$.lo = $1;
116 $$.hi = $4;
117 if ( $$.lo > $$.hi )
129 $$.hi = $1.hi + $3.hi;
134 $$.hi = $1 + $3.hi;
139 $$.hi = $1.hi - $3.lo;
140 $$.lo = $1.lo - $3.hi;
144 $$.hi = $1 - $3.lo;
145 $$.lo = $1 - $3.hi;
149 $$ = vmul( $1.lo, $1.hi, $3 );
158 $$ = vdiv ( $1.lo, $1.hi, $3 );
167 $$.hi = -$2.lo;
168 $$.lo = -$2.hi;
258 v.hi = a;
263 v.hi = b;
269 if (c > v.hi)
270 v.hi = c;
276 if (d > v.hi)
277 v.hi = d;
287 return (hilo(a * v.hi, a * v.lo, b * v.hi, b * v.lo));
293 if (v.hi >= 0. && v.lo <= 0.)
304 return (hilo(a / v.hi, a / v.lo, b / v.hi, b / v.lo));