https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127630

            Bug ID: 127630
           Summary: Add match.pd RTL generator
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kaelfandrew at gmail dot com
  Target Milestone: ---

Noticed from
https://gcc.gnu.org/pipermail/gcc-patches/2026-September/732648.html

Allow match.pd to produce RTL code, maybe via RTL macro like GIMPLE/GENERIC
macros.

match.pd has

/* ~~x -> x */
(simplify
  (bit_not (bit_not @0))
  (non_lvalue @0))

while simplify-rtx.cc has

simplify_context::simplify_unary_operation_1
...
    case NOT:
      /* (not (not X)) == X.  */
      if (GET_CODE (op) == NOT)
        return XEXP (op, 0);

Reply via email to