diff options
| author | Andrew Pinski <quic_apinski@quicinc.com> | 2025-05-13 13:04:32 -0700 |
|---|---|---|
| committer | Andrew Pinski <quic_apinski@quicinc.com> | 2025-05-14 07:56:22 -0700 |
| commit | d8d3cb676949ea3c2af5ff2d4f6c5582ce7cc9f8 (patch) | |
| tree | d44b4397674e00663055622515634f40038f807b /gcc | |
| parent | 1759734f1584a3db75c5a931bc1b144b7695b80a (diff) | |
| download | gcc-d8d3cb676949ea3c2af5ff2d4f6c5582ce7cc9f8.zip gcc-d8d3cb676949ea3c2af5ff2d4f6c5582ce7cc9f8.tar.gz gcc-d8d3cb676949ea3c2af5ff2d4f6c5582ce7cc9f8.tar.bz2 | |
forwprop: Change an if into an assert
Since the merge of the tuples branch (r0-88576-g726a989a8b74bf), the
if:
```
if (TREE_CODE_CLASS (gimple_cond_code (stmt)) != tcc_comparison)
```
Will always be false so let's change it into an assert.
gcc/ChangeLog:
* tree-ssa-forwprop.cc (forward_propagate_into_gimple_cond): Assert
that gimple_cond_code is always a comparison.
Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/tree-ssa-forwprop.cc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/tree-ssa-forwprop.cc b/gcc/tree-ssa-forwprop.cc index 4ec5b6a..60b7c80 100644 --- a/gcc/tree-ssa-forwprop.cc +++ b/gcc/tree-ssa-forwprop.cc @@ -551,9 +551,8 @@ forward_propagate_into_gimple_cond (gcond *stmt) tree rhs1 = gimple_cond_lhs (stmt); tree rhs2 = gimple_cond_rhs (stmt); - /* We can do tree combining on SSA_NAME and comparison expressions. */ - if (TREE_CODE_CLASS (gimple_cond_code (stmt)) != tcc_comparison) - return 0; + /* GIMPLE_COND will always be a comparison. */ + gcc_assert (TREE_CODE_CLASS (gimple_cond_code (stmt)) == tcc_comparison); tmp = forward_propagate_into_comparison_1 (stmt, code, boolean_type_node, |