From acc0ebfda053b8206b6c336a68229c7d724aea8d Mon Sep 17 00:00:00 2001 From: Henson Choi Date: Fri, 5 Jun 2026 13:14:01 +0900 Subject: [PATCH 49/68] Point to the absorption-analysis docs from the RPR flag definitions The RPR_ELEM_ABSORBABLE and RPR_ELEM_ABSORBABLE_BRANCH element flags are described in README.rpr and computed in rpr.c, but the rpr.h definitions gave no hint of where to look. Add a short pointer comment to README.rpr IV-5 ("Absorbability Analysis"), its Appendix C examples, and computeAbsorbability(), without restating the explanation. Documentation only. Per an off-list review comment from Jian He. --- src/include/optimizer/rpr.h | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/include/optimizer/rpr.h b/src/include/optimizer/rpr.h index 2fa483320ce..73c827de2b1 100644 --- a/src/include/optimizer/rpr.h +++ b/src/include/optimizer/rpr.h @@ -44,6 +44,12 @@ * quantifier */ #define RPR_ELEM_EMPTY_LOOP 0x02 /* END: group body can produce * empty match */ +/* + * The two absorption flags below are explained in README.rpr IV-5 + * ("Absorbability Analysis"), with worked examples in Appendix C; the + * analysis that sets them is computeAbsorbability() in + * optimizer/plan/rpr.c. + */ #define RPR_ELEM_ABSORBABLE_BRANCH 0x04 /* element in absorbable region */ #define RPR_ELEM_ABSORBABLE 0x08 /* absorption judgment point */ -- 2.50.1 (Apple Git-155)