diff options
| author | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-29 17:30:54 -0800 |
|---|---|---|
| committer | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-30 15:33:35 -0800 |
| commit | 05c7d36e7a4844ac1c8a14035776fbba6e00704b (patch) | |
| tree | 1c9a5919a9ce461f64b9f8b7c26c26cf54c1b4d3 /contrib | |
| parent | bc2378517a2f4100ba614cd44b3aa047089c82c8 (diff) | |
Remove wrong `ExtractMultLeadingBit` rule
The rule `ExtractMultLeadingBit` estimated the number of leading zeros
wrong: when there were ones in the leading constant parts of the
factors, it was using the length of the non-zero part instead of the
length of the zero part. This commit includes an example for which the
previous version of the rule would cause a wrong answer.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions