diff options
| author | Andrew Pinski <quic_apinski@quicinc.com> | 2025-05-13 14:27:12 -0700 |
|---|---|---|
| committer | Andrew Pinski <quic_apinski@quicinc.com> | 2025-05-14 07:56:23 -0700 |
| commit | 2d1af9c39a154c7374d1396fbb59e4cb28ed72e9 (patch) | |
| tree | e90d16aac870befb2ecebb9f9661d02978fe9acd /gcc/fortran/dump-parse-tree.cc | |
| parent | 9a770e52028c010f31d86d0fed3635916f5852fd (diff) | |
| download | gcc-2d1af9c39a154c7374d1396fbb59e4cb28ed72e9.zip gcc-2d1af9c39a154c7374d1396fbb59e4cb28ed72e9.tar.gz gcc-2d1af9c39a154c7374d1396fbb59e4cb28ed72e9.tar.bz2 | |
gimple: Move canonicalization of bool==0 and bool!=1 to cleanupcfg
This moves the canonicalization of `bool==0` and `bool!=1` from
forwprop to cleanupcfg. We will still need to call it from forwprop
so we don't need to call forwprop a few times to fp comparisons in some
cases (forwprop-16.c was added originally for this code even).
This is the first step in removing forward_propagate_into_gimple_cond
and forward_propagate_into_comparison.
Bootstrapped and tested on x86_64-linux-gnu.
gcc/ChangeLog:
* tree-cfgcleanup.cc (canonicalize_bool_cond): New function.
(cleanup_control_expr_graph): Call canonicalize_bool_cond for GIMPLE_COND.
* tree-cfgcleanup.h (canonicalize_bool_cond): New declaration.
* tree-ssa-forwprop.cc (forward_propagate_into_gimple_cond):
Call canonicalize_bool_cond.
Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
Diffstat (limited to 'gcc/fortran/dump-parse-tree.cc')
0 files changed, 0 insertions, 0 deletions