diff options
| author | Andrew Pinski <quic_apinski@quicinc.com> | 2024-08-19 08:06:36 -0700 |
|---|---|---|
| committer | Andrew Pinski <quic_apinski@quicinc.com> | 2024-08-20 15:05:37 -0700 |
| commit | c7b76a076cb2c6ded7ae208464019b04cb0531a2 (patch) | |
| tree | df96ea8f786ab26753f373ea75a09270da161e72 /gcc/cp | |
| parent | 5d5193f0734fb4706940f7ac79899da25250be9d (diff) | |
| download | gcc-c7b76a076cb2c6ded7ae208464019b04cb0531a2.zip gcc-c7b76a076cb2c6ded7ae208464019b04cb0531a2.tar.gz gcc-c7b76a076cb2c6ded7ae208464019b04cb0531a2.tar.bz2 | |
match: Reject non-ssa name/min invariants in gimple_extract [PR116412]
After the conversion for phiopt's conditional operand
to use maybe_push_res_to_seq, it was found that gimple_extract
will extract out from REALPART_EXPR/IMAGPART_EXPR/VCE and BIT_FIELD_REF,
a memory load. But that extraction was not needed as memory loads are not
simplified in match and simplify. So gimple_extract should return false
in those cases.
Changes since v1:
* Move the rejection to gimple_extract from factor_out_conditional_operation.
Bootstrapped and tested on x86_64-linux-gnu.
PR tree-optimization/116412
gcc/ChangeLog:
* gimple-match-exports.cc (gimple_extract): Return false if op0
was not a SSA name nor a min invariant for REALPART_EXPR/IMAGPART_EXPR/VCE
and BIT_FIELD_REF.
gcc/testsuite/ChangeLog:
* gcc.dg/torture/pr116412-1.c: New test.
Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
Diffstat (limited to 'gcc/cp')
0 files changed, 0 insertions, 0 deletions