Searched refs:ac_hi (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2092 ac_hi=$ac_mid; break
2096 ac_lo= ac_hi=
2119 ac_hi=-1 ac_mid=-1
2138 as_fn_arith '(' $ac_mid ')' - 1 && ac_hi=$as_val
2139 if test $ac_mid -le $ac_hi; then
2140 ac_lo= ac_hi=
2148 ac_lo= ac_hi=
2154 while test "x$ac_lo" != "x$ac_hi"; do
2155 as_fn_arith '(' $ac_hi - $ac_lo ')' / 2 + $ac_lo && ac_mid=$as_val
2171 ac_hi
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2400 ac_hi=$ac_mid; break
2404 ac_lo= ac_hi=
2427 ac_hi=-1 ac_mid=-1
2446 as_fn_arith '(' $ac_mid ')' - 1 && ac_hi=$as_val
2447 if test $ac_mid -le $ac_hi; then
2448 ac_lo= ac_hi=
2456 ac_lo= ac_hi=
2462 while test "x$ac_lo" != "x$ac_hi"; do
2463 as_fn_arith '(' $ac_hi - $ac_lo ')' / 2 + $ac_lo && ac_mid=$as_val
2479 ac_hi
[all...]

Completed in 30 milliseconds