Marco Costalba
060eef4f4e
Do not use evaluate() for razoring
...
Because razoring is reached 10% of times and about 50% of time
first two conditions are met we can save 5% of calls to the fairly
costly evaluate().
On the other side statistics have shown 95% of nodes that pass
the first two razoring conditions pass also the evaluate() test.
So the risk of dropping the third condition seems low enough.
Testing seems to validate this.
Signed-off-by: Marco Costalba <mcostalba@gmail.com >
2008-09-23 23:36:51 +02:00
..
2008-09-18 12:27:09 +02:00
2008-09-18 12:26:39 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-21 22:19:07 +02:00
2008-09-01 07:59:13 +02:00
2008-09-19 13:53:36 +02:00
2008-09-19 13:53:36 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-23 08:07:50 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-20 06:53:06 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-21 11:51:38 +02:00
2008-09-21 11:23:50 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-18 12:26:10 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-20 06:53:06 +02:00
2008-09-18 12:27:09 +02:00
2008-09-01 07:59:13 +02:00
2008-09-18 12:26:18 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-23 23:36:51 +02:00
2008-09-18 12:27:09 +02:00
2008-09-20 06:53:06 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-06 15:53:43 +02:00
2008-09-06 15:53:43 +02:00
2008-09-01 07:59:13 +02:00
2008-09-18 12:27:09 +02:00
2008-09-01 07:59:13 +02:00
2008-09-03 23:29:04 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00
2008-09-01 07:59:13 +02:00