You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@calcite.apache.org by "Vladimir Sitnikov (Jira)" <ji...@apache.org> on 2021/02/28 09:55:00 UTC
[jira] [Created] (CALCITE-4517) $node isAlwaysTrue, so it should
simplify to TRUE unknownAsFalse
Vladimir Sitnikov created CALCITE-4517:
------------------------------------------
Summary: $node isAlwaysTrue, so it should simplify to TRUE unknownAsFalse
Key: CALCITE-4517
URL: https://issues.apache.org/jira/browse/CALCITE-4517
Project: Calcite
Issue Type: Sub-task
Components: core
Reporter: Vladimir Sitnikov
Fix For: 1.27.0
{noformat}
@Test void singleFuzzyTest() {
Random r = new Random();
r.setSeed(6321443803263498676L);
RexFuzzer fuzzer = new RexFuzzer(rexBuilder, typeFactory);
generateRexAndCheckTrueFalse(fuzzer, r);
}
yields
$node isAlwaysTrue, so it should simplify to TRUE unknownAsFalse
SEARCH(-(COALESCE(?0.int0, CASE(=(CASE(false, SEARCH(?0.notNullInt0, Sarg[(0..2]; NULL AS FALSE]), true), NOT(IS NOT TRUE(false))), -(+(100500), -(CASE(true, 1, 100500), CASE(=(?0.notNullBool0, ?0.notNullBool0), null:INTEGER, ?0.notNullInt1))), CASE(=(COALESCE(0, ?0.int1), 1), 1, =(COALESCE(0, ?0.int1), -(null, ?0.int1)), CASE(?0.notNullBool0, COALESCE(?0.int0, ?0.int1), -(null:INTEGER, null:INTEGER)), null:INTEGER)), +(*(COALESCE(COALESCE(1, -2038957448, 0), CASE(false, ?0.int0, null:INTEGER), COALESCE(?0.notNullInt0, null:INTEGER, null:INTEGER, -1), COALESCE(0, 933814882, ?0.int0)), COALESCE(+(100500), CASE(?0.bool1, ?0.notNullInt0, null:INTEGER))))), CASE(=(-(null:INTEGER), 100500), COALESCE(-(-(CASE(=(?0.bool0, ?0.notNullBool1), ?0.notNullInt1, null:INTEGER), ?0.notNullInt0)), +(COALESCE(-(-1), ?0.notNullInt1, -(null:INTEGER, null:INTEGER))), CASE(=(OR(?0.bool0, ?0.bool1, false), <(true, ?0.notNullBool0)), -(+(null:INTEGER)), =(OR(?0.bool0, ?0.bool1, false), SEARCH(null:INTEGER, Sarg[TRUE])), CASE(=(-1, null), CASE(=(?0.notNullBool1, ?0.bool0), 1135316986, null:INTEGER), =(-1, 1), +(null:INTEGER), =(-1, 100500), -(1), +(?0.notNullInt1, ?0.notNullInt0)), COALESCE(-(null:INTEGER), CASE(true, 100500, null:INTEGER), *(1994412942, null))), CASE(=(IS UNKNOWN(?0.notNullBool0), IS NOT UNKNOWN(?0.notNullBool1)), +(?0.notNullInt1), =(IS UNKNOWN(?0.notNullBool0), IS DISTINCT FROM(?0.notNullInt1, 1)), -(null, +(-1)), =(IS UNKNOWN(?0.notNullBool0), >(false, true)), +(-(null, ?0.int1), *(100500, ?0.int0)), CASE(=(?0.bool0, false), +(-1, 100500), *(-1236110720, ?0.int0)))), =(-(null:INTEGER), +(+(COALESCE(?0.int0, null:INTEGER, null:INTEGER, ?0.notNullInt0)))), ?0.notNullInt1, 100500)), Sarg[=])
Actual :IS NOT NULL(-(COALESCE(?0.int0, CASE(=(CASE(false, SEARCH(?0.notNullInt0, Sarg[(0..2]; NULL AS FALSE]), true), NOT(IS NOT TRUE(false))), -(+(100500), -(CASE(true, 1, 100500), CASE(=(?0.notNullBool0, ?0.notNullBool0), null:INTEGER, ?0.notNullInt1))), CASE(=(COALESCE(0, ?0.int1), 1), 1, =(COALESCE(0, ?0.int1), -(null, ?0.int1)), CASE(?0.notNullBool0, COALESCE(?0.int0, ?0.int1), -(null:INTEGER, null:INTEGER)), null:INTEGER)), +(*(COALESCE(COALESCE(1, -2038957448, 0), CASE(false, ?0.int0, null:INTEGER), COALESCE(?0.notNullInt0, null:INTEGER, null:INTEGER, -1), COALESCE(0, 933814882, ?0.int0)), COALESCE(+(100500), CASE(?0.bool1, ?0.notNullInt0, null:INTEGER))))), CASE(=(-(null:INTEGER), 100500), COALESCE(-(-(CASE(=(?0.bool0, ?0.notNullBool1), ?0.notNullInt1, null:INTEGER), ?0.notNullInt0)), +(COALESCE(-(-1), ?0.notNullInt1, -(null:INTEGER, null:INTEGER))), CASE(=(OR(?0.bool0, ?0.bool1, false), <(true, ?0.notNullBool0)), -(+(null:INTEGER)), =(OR(?0.bool0, ?0.bool1, false), SEARCH(null:INTEGER, Sarg[TRUE])), CASE(=(-1, null), CASE(=(?0.notNullBool1, ?0.bool0), 1135316986, null:INTEGER), =(-1, 1), +(null:INTEGER), =(-1, 100500), -(1), +(?0.notNullInt1, ?0.notNullInt0)), COALESCE(-(null:INTEGER), CASE(true, 100500, null:INTEGER), *(1994412942, null))), CASE(=(IS UNKNOWN(?0.notNullBool0), IS NOT UNKNOWN(?0.notNullBool1)), +(?0.notNullInt1), =(IS UNKNOWN(?0.notNullBool0), IS DISTINCT FROM(?0.notNullInt1, 1)), -(null, +(-1)), =(IS UNKNOWN(?0.notNullBool0), >(false, true)), +(-(null, ?0.int1), *(100500, ?0.int0)), CASE(=(?0.bool0, false), +(-1, 100500), *(-1236110720, ?0.int0)))), =(-(null:INTEGER), +(+(COALESCE(?0.int0, null:INTEGER, null:INTEGER, ?0.notNullInt0)))), ?0.notNullInt1, 100500)))
at org.apache.calcite.test.fuzzer.RexProgramFuzzyTest.checkUnknownAs(RexProgramFuzzyTest.java:251){noformat}
--
This message was sent by Atlassian Jira
(v8.3.4#803005)