diff options
author | Tamar Christina <tamar.christina@arm.com> | 2024-12-11 11:45:36 +0000 |
---|---|---|
committer | Tamar Christina <tamar.christina@arm.com> | 2024-12-11 11:45:59 +0000 |
commit | 3c32575e5b6370270d38a80a7fa8eaa144e083d0 (patch) | |
tree | ecee0be8fe2a135cf03bce4cecf8181537d11476 /gcc/expr.cc | |
parent | 979e9dbf568f0b4d75782984833e4257080995e9 (diff) | |
download | gcc-3c32575e5b6370270d38a80a7fa8eaa144e083d0.zip gcc-3c32575e5b6370270d38a80a7fa8eaa144e083d0.tar.gz gcc-3c32575e5b6370270d38a80a7fa8eaa144e083d0.tar.bz2 |
middle-end: refactor type to be explicit in operand_equal_p [PR114932]
This is a refactoring with no expected behavioral change.
The goal with this is to make the type of the expressions being used explicit.
I did not change all the recursive calls to operand_equal_p () to recurse
directly to the new function but instead this goes through the top level call
which re-extracts the types.
This was done because in most of the cases where we recurse type == arg.
The second patch makes use of this new flexibility to implement an overload
of operand_equal_p which checks for equality under two's complement.
gcc/ChangeLog:
PR tree-optimization/114932
* fold-const.cc (operand_compare::operand_equal_p): Split into one that
takes explicit type parameters and use that in public one.
* fold-const.h (class operand_compare): Add operand_equal_p private
overload.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions