Whateverable/query

91ec1bbf601f2b9060a3ffc481407508296a481d is the first bad commit
commit 91ec1bbf601f2b9060a3ffc481407508296a481d (HEAD)
Author: Vadim Belman <vrurg@lflat.org>
Date:   Sat Dec 11 22:34:11 2021 -0500

    Implement optimization of topicalized smartmatches
    
    Topicalization is not needed in typematch case if RHS uses the default
    ACCEPTS method.
    
    Also, when we know variable/routine type and can ensure it cannot be a
    Regexp then the code can be simplified to just `ACCEPTS`+`Bool` method
    calls.
    
    Aside of this, smartmatch optimizator depends on operand nodes to be
    pre-optimized. This lets it do better analysis. But it was also
    resulting in incorrect statistics collected about localizable variables
    whenever the smartmatching node is replaced entirely.
    
    Fixing this required a new approach with two-pass optimization where the
    first pass is done without collecting the variable statistics and
    localization pass. The statistic collection is now prevented by wrapping
    the `@!block_var_stack` attribute into a specialized `BlockVarStack`
    class. All method calls used to be done on the stack top element must
    now be made via `BlockVarStack` `do` method. The class supports dry run
    mode when method invocations via `do` are ignored.
    
    Smartmatch optimizer uses dry run for first-pass optimization of its
    operands.
    
    Some code re-arrangements took place to improve re-usability.

 src/Perl6/Actions.nqp   |   3 +
 src/Perl6/Optimizer.nqp | 845 ++++++++++++++++++++++++++++++++++++++++++++++++------------------------------------
 2 files changed, 483 insertions(+), 365 deletions(-)

git bisect start
# status: waiting for both good and bad commits
# good: [c56c578cb42d36f110e1a71a9186ec185a8c707c] disallow creating Uni with out-of-range codepoints
git bisect good c56c578cb42d36f110e1a71a9186ec185a8c707c
# status: waiting for bad commit, 1 good commit known
# bad: [5855c1d55786adff02cc54d882167cfbdfaa6e43] Extend smartmatch and `when` optimization
git bisect bad 5855c1d55786adff02cc54d882167cfbdfaa6e43
# bad: [5855c1d55786adff02cc54d882167cfbdfaa6e43] Extend smartmatch and `when` optimization
git bisect bad 5855c1d55786adff02cc54d882167cfbdfaa6e43
# bad: [91ec1bbf601f2b9060a3ffc481407508296a481d] Implement optimization of topicalized smartmatches
git bisect bad 91ec1bbf601f2b9060a3ffc481407508296a481d
# bad: [fb909efcee6dac44d66aba7da0f56713e4ca96f0] Bump NQP to get the latest MoarVM fixes
git bisect bad fb909efcee6dac44d66aba7da0f56713e4ca96f0
# bad: [32401c4762a18c98b3d5b0bdd7c03b27400cb521] Implement smartmatch as a dispatcher
git bisect bad 32401c4762a18c98b3d5b0bdd7c03b27400cb521
# bad: [67906e48dca69ff9af9dbb4d01dd1ff3a1e759b9] Add missing methods to Distribution::Resource
git bisect bad 67906e48dca69ff9af9dbb4d01dd1ff3a1e759b9
# bad: [369093c837036d2651bc7c1797469d007e32a943] Add .repeated to native arrays
git bisect bad 369093c837036d2651bc7c1797469d007e32a943
# good: [c56c578cb42d36f110e1a71a9186ec185a8c707c] disallow creating Uni with out-of-range codepoints
git bisect good c56c578cb42d36f110e1a71a9186ec185a8c707c
# bad: [16c3dc9a7cc5c3abb5d9a4398cbe7d3f6fc00911] Merge pull request #4721 from vrurg/new-disp-smartmatch
git bisect bad 16c3dc9a7cc5c3abb5d9a4398cbe7d3f6fc00911
# bad: [32401c4762a18c98b3d5b0bdd7c03b27400cb521] Implement smartmatch as a dispatcher
git bisect bad 32401c4762a18c98b3d5b0bdd7c03b27400cb521
# good: [59d12ec87a4b7945ad3c80af7ff592d0c66c1992] Merge pull request #4565 from Leont/harness6-fixes
git bisect good 59d12ec87a4b7945ad3c80af7ff592d0c66c1992
# good: [30a7e94ed2669fde1fdf173d2a2444c7cc70024d] Remove obsolete runtime compilation of native function bodies
git bisect good 30a7e94ed2669fde1fdf173d2a2444c7cc70024d
# bad: [f737b0801c59682a5436f49695b25c7b5584858d] Introducing $*RAT-UPGRADE-CLASS (#4299)
git bisect bad f737b0801c59682a5436f49695b25c7b5584858d
# good: [951af2c2e0806038ff28a25a05ee2389d1283693] [release] Bump VERSION to 2021.12
git bisect good 951af2c2e0806038ff28a25a05ee2389d1283693
# bad: [80fbaadd98a4463ef70f05b0eabe0b5ad5c564fb] Cache symbols lookups in setting
git bisect bad 80fbaadd98a4463ef70f05b0eabe0b5ad5c564fb
# good: [0ab6df2c727622713d5cdca8e7a73f9e1554dd3c] Merge pull request #4687 from vrurg/rakudo_1809-numeric-ranges
git bisect good 0ab6df2c727622713d5cdca8e7a73f9e1554dd3c
# good: [9f80771c91c0fad65ceade5a6309a1decd5dcc79] Unify type matching ACCEPTS with other versions in the core
git bisect good 9f80771c91c0fad65ceade5a6309a1decd5dcc79
# good: [5855c1d55786adff02cc54d882167cfbdfaa6e43] Extend smartmatch and `when` optimization
git bisect good 5855c1d55786adff02cc54d882167cfbdfaa6e43
# bad: [fedfd716a0f1ce39331b72fdef270138206eace1] Slightly optimize and secure implicit Pair creation
git bisect bad fedfd716a0f1ce39331b72fdef270138206eace1
# bad: [91ec1bbf601f2b9060a3ffc481407508296a481d] Implement optimization of topicalized smartmatches
git bisect bad 91ec1bbf601f2b9060a3ffc481407508296a481d
# first bad commit: [91ec1bbf601f2b9060a3ffc481407508296a481d] Implement optimization of topicalized smartmatches