diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2025-03-26 10:34:42 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2025-03-28 10:25:30 -0400 |
| commit | dd9ed951f4002419ceff744bbd87ae9b8affdaf4 (patch) | |
| tree | 7b30ffedee0f05f8c3ab7d3edb8e8bbeea78f159 /libcpp | |
| parent | dcb7009efc5358207d1b0612732a0608915a3ef7 (diff) | |
| download | gcc-dd9ed951f4002419ceff744bbd87ae9b8affdaf4.zip gcc-dd9ed951f4002419ceff744bbd87ae9b8affdaf4.tar.gz gcc-dd9ed951f4002419ceff744bbd87ae9b8affdaf4.tar.bz2 | |
If the LHS does not contain zero, neither do multiply operands.
Given ~[0,0] = op1 * op2, range-ops should determine that neither op1 nor
op2 is zero. Add this to the operator_mult for op1_range. op2_range
simply invokes op1_range, so both will be covered.
PR tree-optimzation/110992.c
PR tree-optimzation/119471.c
gcc/
* range-op.cc (operator_mult::op1_range): If the LHS does not
contain zero, return non-zero.
gcc/testsuite/
* gcc.dg/pr110992.c: New.
* gcc.dg/pr119471.c: New.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions