Jonas Jensen 6b9aaf63d7 C++: Speed up getAFeasiblePredecessorBlock ...

This predicate was unbearably slow on a ChakraCore snapshot (and
probably everywhere else):

    ReachableBlock::getAFeasiblePredecessorBlock#2#ff#antijoin_rhs .. 1m6s
    ReachableBlock::getAFeasiblePredecessorBlock#ff#antijoin_rhs .... 31.8s

With this change, the predicate is so fast that it doesn't even show up
in the clause timing report.

It's possible that we only tested this for performance in 1.18, and then
it has regressed in 1.19. Otherwise I can't explain how we've missed
this. I'm using QL for Eclipse 1.20.0.201901070127.

2019-01-17 13:36:20 +01:00

..

config/suites

Merge branch 'master' into users/raulga/c6277

2018-10-12 15:59:54 -07:00

ql

C++: Speed up getAFeasiblePredecessorBlock

2019-01-17 13:36:20 +01:00