diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2022-08-23 10:17:02 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2022-09-29 18:34:18 -0400 |
| commit | 7ea258a13a115e9e73d60f59369d16892ed07435 (patch) | |
| tree | b4b6a91902b2930dd8dfb2483a067681afb32913 /libgcc | |
| parent | 67166c9ec35d58efd0225b74730983aa480a88f1 (diff) | |
| download | gcc-7ea258a13a115e9e73d60f59369d16892ed07435.zip gcc-7ea258a13a115e9e73d60f59369d16892ed07435.tar.gz gcc-7ea258a13a115e9e73d60f59369d16892ed07435.tar.bz2 | |
Process unsigned overflow relations for plus and minus is range-ops.
If a relation is available, calculate overflow and normal ranges. Then
apply as appropriate.
gcc/
* range-op.cc (plus_minus_ranges): New.
(adjust_op1_for_overflow): New.
(operator_plus::op1_range): Use new adjustment.
(operator_plus::op2_range): Ditto.
(operator_minus::op1_range): Ditto.
* value-relation.h (relation_lt_le_gt_ge_p): New.
gcc/testsuite/
* gcc.dg/tree-ssa/pr79095.c: Test evrp pass rather than vrp1.
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions