|
Lines 1520-1525
Link Here
|
| 1520 |
| na2 & (nb3 | nb2)) |
1520 |
| na2 & (nb3 | nb2)) |
| 1521 |
| na2 & b3 & b4 |
1521 |
| na2 & b3 & b4 |
| 1522 |
| a2 & (nb1 & b4 | a3 & na4 & b1) & nb3); |
1522 |
| a2 & (nb1 & b4 | a3 & na4 & b1) & nb3); |
|
|
1523 |
// the above formulae do not handle the state 0111, do it now explicitly: |
| 1524 |
long ax = ~a1 & a2 & a3 & a4; |
| 1525 |
long bx = ~b1 & b2 & b3 & b4; |
| 1526 |
long x = ax|bx; |
| 1527 |
if (x != 0) { |
| 1528 |
// restore state 0111 for all variable ids in x: |
| 1529 |
this.nullBit1 &= ~x; |
| 1530 |
this.nullBit2 |= x; |
| 1531 |
this.nullBit3 |= x; |
| 1532 |
this.nullBit4 |= x; |
| 1533 |
} |
| 1534 |
|
| 1523 |
if (COVERAGE_TEST_FLAG) { |
1535 |
if (COVERAGE_TEST_FLAG) { |
| 1524 |
if(CoverageTestId == 30) { |
1536 |
if(CoverageTestId == 30) { |
| 1525 |
this.nullBit4 = ~0; |
1537 |
this.nullBit4 = ~0; |
