| line | l | !l | condition | 
 
| 521 | 13443 | 360230 | substr($arg1, -34, 10) || '0' | 
 
| 522 | 107600 | 266073 | substr($arg1, -24, 12) || '0' | 
 
| 523 | 371421 | 2252 | substr($arg1, -12, 12) || '0' | 
 
| 598 | 2 | 9 | substr($arg2, -34, 10) || '0' | 
 
| 599 | 2 | 9 | substr($arg2, -24, 12) || '0' | 
 
| 600 | 10 | 1 | substr($arg2, -12, 12) || '0' | 
| line | l | !l&&r | !l&&!r | condition | 
 
| 397 | 0 | 12 | 48 | is_InfD128($_[0]) or not $_[0] | 
 
| 405 | 2 | 2 | 47728 | is_NaND128($_[0]) or is_InfD128($_[0]) | 
 
|  | 4 | 334 | 47394 | is_NaND128($_[0]) or is_InfD128($_[0]) or is_ZeroD128($_[0]) | 
 
| 509 | 1 | 11278 | 362395 | $len_1 > 34 or $arg2 < -6176 | 
 
| 555 | 424 | 13 | 10 | substr($rounder, 1) =~ /[1-9]/ || substr($man, -1, 1) % 2 == 1 | 
 
| 588 | 0 | 0 | 11 | $len_2 > 34 or $arg3 < -6176 | 
 
| 666 | 0 | 0 | 0 | $first[1] =~ /inf/i or $first[1] =~ /nan/i | 
 
| 700 | 0 | 0 | 0 | $pre eq "00" or $pre eq "01" | 
 
|  | 0 | 0 | 0 | $pre eq "00" or $pre eq "01" or $pre eq 10 | 
 
| 706 | 0 | 0 | 0 | $pre eq 1100 or $pre eq 1101 | 
 
|  | 0 | 0 | 0 | $pre eq 1100 or $pre eq 1101 or $pre eq 1110 | 
 
| 750 | 378 | 183960 | 375 | $pre eq "00" or $pre eq "01" | 
 
|  | 184338 | 375 | 0 | $pre eq "00" or $pre eq "01" or $pre eq 10 | 
 
| 766 | 0 | 0 | 0 | $pre eq 1100 or $pre eq 1101 | 
 
|  | 0 | 0 | 0 | $pre eq 1100 or $pre eq 1101 or $pre eq 1110 | 
 
| 865 | 0 | 0 | 0 | $pre eq "00" or $pre eq "01" | 
 
|  | 0 | 0 | 0 | $pre eq "00" or $pre eq "01" or $pre eq 10 | 
 
| 873 | 374 | 8944 | 406 | $pre eq "00" or $pre eq "01" | 
 
|  | 9318 | 406 | 0 | $pre eq "00" or $pre eq "01" or $pre eq 10 | 
 
| 944 | 0 | 0 | 0 | length $man > 34 or $exp < -6176 | 
 
| 1050 | 14 | 20 | 18 | substr($trailing, $_[1], 1) <= 4 or substr($trailing, $_[1]) =~ /^5(0+)?$/ and substr($trailing, $_[1] - 1, 1) % 2 == 0 |