Additional IN / NOT IN simplifications

@jayzhan211

          In the following on PR, I think we can move inlist related simplifier logic to `inlist_simplifier`.

Steps in inlist_simplifier

early stage simplification like expr IN () --> false, null IN/NOT IN
convert long OR chain or AND chain to InList expressions like what or_in_list_simplifier does
shorten InList expressions like what inlist_simplifier in this PR does
convert final inlist to OR chain or AND chain if len < 3. Move inlist related simplifier out from expr_simplifier

In this way, when the logic grows more complex, we can easily find out related conversion about specific Expr

Originally posted by @jayzhan211 in #8949 (comment)

I am interested in this and let me try to implement it

I think this issue might be done best in multiple PRs

SO for example the first PR could just move all the inlist related simplifications into one place

Note I also have a PR to change the code, for your awareness: #8971

ok, I got it 😄

Navigation Menu