[Bug tree-optimization/126991] New: genmatch handling of cond^ should be improved

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 126991
           Summary: genmatch handling of cond^ should be improved
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Keywords: internal-improvement
          Severity: enhancement
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

Currently genmatch generates:
```
                  tree _p0 = build2 (gimple_cond_code (_cond_1),
boolean_type_node, _cond_lhs_1, _cond_rhs_1);
                  switch (TREE_CODE (_p0))
                    {
                    case SSA_NAME:
```

But at this point the tree code of __p0 can't be ssa name. So it should not
generate that part of the conditions at least.
This should at least reduce the code generated.
The building of the tree here might be ok though. Still deciding.