slp: Don't traverse tree on (nil) nodes.
authorTamar Christina <tamar.christina@arm.com>
Thu, 25 Feb 2021 16:26:37 +0000 (16:26 +0000)
committerTamar Christina <tamar.christina@arm.com>
Thu, 25 Feb 2021 16:27:50 +0000 (16:27 +0000)
commit28af4b9a7c5ee9f6c6fc111210639eb2f64bddcd
tree8a6adf20170e670f7a62af20661646610e55938e
parent557a0d3b1b389c46d5a8aa24e27abed4c401d17e
slp: Don't traverse tree on (nil) nodes.

The given testcase shows that one of the children of the complex MUL contains a
PHI node.  This results in the vectorizer having a child that's (nil).

The pattern matcher handles this correctly, but optimize_load_redistribution_1
needs to not traverse/inspect the NULL nodes.

This however does high-light a missed opportunity.  This testcase seems to
result in a different canonicalization than normally.

Normally the expressions are right leaning.  But sometimes, especially when type
casts are introduced the trees suddenly become left leaning. For instance this
testcase (even without type casts) won't detect the FMA form because the addition
gets the MUL node in the left and not right node as it expects.

Checking all forms would be quite expensive so for GCC 12 it probably makes sense to make
forms with type casts in them have the same form as those without?

gcc/ChangeLog:

* tree-vect-slp.c (optimize_load_redistribution_1): Abort on NULL nodes.

gcc/testsuite/ChangeLog:

* g++.dg/vect/simd-complex-num-null-node.cc: New test.
gcc/testsuite/g++.dg/vect/simd-complex-num-null-node.cc [new file with mode: 0644]
gcc/tree-vect-slp.c