| line | l | !l&&r | !l&&!r | condition | 
 
| 392 | 0 | 14 | 44 | is_InfD64($_[0]) or not $_[0] | 
 
| 401 | 0 | 0 | 0 | is_InfD64($_[0]) or not $_[0] | 
 
| 409 | 2 | 2 | 47728 | is_NaND64($_[0]) or is_InfD64($_[0]) | 
 
|  | 4 | 337 | 47391 | is_NaND64($_[0]) or is_InfD64($_[0]) or is_ZeroD64($_[0]) | 
 
| 514 | 0 | 0 | 0 | Math::MPFR::Rmpfr_zero_p($fr) or Math::MPFR::Rmpfr_inf_p($fr) | 
 
|  | 0 | 0 | 0 | Math::MPFR::Rmpfr_zero_p($fr) or Math::MPFR::Rmpfr_inf_p($fr) or Math::MPFR::Rmpfr_nan_p($fr) | 
 
| 545 | 219223 | 3243 | 324414 | $len_1 >= 16 or $arg2 < -398 | 
 
| 589 | 107 | 6 | 8 | substr($rounder, 1) =~ /[1-9]/ || substr($man, -1, 1) % 2 == 1 | 
 
| 618 | 1 | 0 | 7 | $len_2 >= 16 or $arg3 < -398 | 
 
| 696 | 0 | 0 | 0 | $first[1] =~ /inf/i or $first[1] =~ /nan/i | 
 
| 730 | 0 | 0 | 0 | $pre eq '00' or $pre eq '01' | 
 
|  | 0 | 0 | 0 | $pre eq '00' or $pre eq '01' or $pre eq '10' | 
 
| 736 | 0 | 0 | 0 | $pre eq '1100' or $pre eq '1101' | 
 
|  | 0 | 0 | 0 | $pre eq '1100' or $pre eq '1101' or $pre eq '1110' | 
 
| 780 | 59279 | 59702 | 61750 | $pre eq '00' or $pre eq '01' | 
 
|  | 118981 | 52671 | 9079 | $pre eq '00' or $pre eq '01' or $pre eq '10' | 
 
| 794 | 368 | 2898 | 5813 | $pre eq '1100' or $pre eq '1101' | 
 
|  | 3266 | 5813 | 0 | $pre eq '1100' or $pre eq '1101' or $pre eq '1110' | 
 
| 855 | 0 | 0 | 0 | $pre eq '00' or $pre eq '01' | 
 
|  | 0 | 0 | 0 | $pre eq '00' or $pre eq '01' or $pre eq '10' | 
 
| 863 | 353 | 799 | 384 | $pre eq '00' or $pre eq '01' | 
 
|  | 1152 | 317 | 67 | $pre eq '00' or $pre eq '01' or $pre eq '10' | 
 
| 973 | 0 | 0 | 0 | length $man > 16 or $exp < -398 | 
 
| 1079 | 14 | 0 | 38 | substr($trailing, $_[1], 1) <= 4 or substr($trailing, $_[1]) =~ /^5(0+)?$/ and substr($trailing, $_[1] - 1, 1) % 2 == 0 |