]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Teach planner to transform "x IS [NOT] DISTINCT FROM NULL" to a NullTest
authorRichard Guo <rguo@postgresql.org>
Tue, 10 Feb 2026 01:19:25 +0000 (10:19 +0900)
committerRichard Guo <rguo@postgresql.org>
Tue, 10 Feb 2026 01:19:25 +0000 (10:19 +0900)
commitf41ab51573a4c3d11f906b32a068182a1fd8596d
treec2d6c7ca43ba9114e8981f71b5d3141f7af404cb
parent0aaf0de7fed8555114aca766e9cdc836dad763a3
Teach planner to transform "x IS [NOT] DISTINCT FROM NULL" to a NullTest

In the spirit of 8d19d0e13, this patch teaches the planner about the
principle that NullTest with !argisrow is fully equivalent to SQL's IS
[NOT] DISTINCT FROM NULL.

The parser already performs this transformation for literal NULLs.
However, a DistinctExpr expression with one input evaluating to NULL
during planning (e.g., via const-folding of "1 + NULL" or parameter
substitution in custom plans) currently remains as a DistinctExpr
node.

This patch closes the gap for const-folded NULLs.  It specifically
targets the case where one input is a constant NULL and the other is a
nullable non-constant expression.  (If the other input were otherwise,
the DistinctExpr node would have already been simplified to a constant
TRUE or FALSE.)

This transformation can be beneficial because NullTest is much more
amenable to optimization than DistinctExpr, since the planner knows a
good deal about the former and next to nothing about the latter.

Author: Richard Guo <guofenglinux@gmail.com>
Reviewed-by: Tender Wang <tndrwang@gmail.com>
Discussion: https://postgr.es/m/CAMbWs49BMAOWvkdSHxpUDnniqJcEcGq3_8dd_5wTR4xrQY8urA@mail.gmail.com
src/backend/optimizer/util/clauses.c
src/test/regress/expected/predicate.out
src/test/regress/sql/predicate.sql