60     int min_length = Math.min(bo.length, Math.min(b1.length, b2.length));  in halving_add_signed()  local
61     for (int i = 0; i < min_length; i++) {  in halving_add_signed()
101     int min_length = Math.min(bo.length, Math.min(b1.length, b2.length));  in halving_add_signed_alt()  local
102     for (int i = 0; i < min_length; i++) {  in halving_add_signed_alt()
142     int min_length = Math.min(bo.length, Math.min(b1.length, b2.length));  in halving_add_unsigned()  local
143     for (int i = 0; i < min_length; i++) {  in halving_add_unsigned()
180     int min_length = Math.min(bo.length, Math.min(b1.length, b2.length));  in rounding_halving_add_signed()  local
181     for (int i = 0; i < min_length; i++) {  in rounding_halving_add_signed()
218     int min_length = Math.min(bo.length, Math.min(b1.length, b2.length));  in rounding_halving_add_signed_alt()  local
219     for (int i = 0; i < min_length; i++) {  in rounding_halving_add_signed_alt()
260     int min_length = Math.min(bo.length, Math.min(b1.length, b2.length));  in rounding_halving_add_signed_alt2()  local
261     for (int i = 0; i < min_length; i++) {  in rounding_halving_add_signed_alt2()
302     int min_length = Math.min(bo.length, Math.min(b1.length, b2.length));  in rounding_halving_add_unsigned()  local
303     for (int i = 0; i < min_length; i++) {  in rounding_halving_add_unsigned()
343     int min_length = Math.min(bo.length, Math.min(b1.length, b2.length));  in rounding_halving_add_unsigned_alt()  local
344     for (int i = 0; i < min_length; i++) {  in rounding_halving_add_unsigned_alt()
384     int min_length = Math.min(bo.length, b1.length);  in halving_add_signed_constant()  local
385     for (int i = 0; i < min_length; i++) {  in halving_add_signed_constant()
425     int min_length = Math.min(bo.length, b1.length);  in halving_add_unsigned_constant()  local
426     for (int i = 0; i < min_length; i++) {  in halving_add_unsigned_constant()