diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2020-11-19 17:41:30 -0500 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2020-11-19 17:41:30 -0500 |
| commit | d0d8b5d83614d8f0d0e40c0520d4f40ffa01f8d9 (patch) | |
| tree | b3e41b7114dececa7aad5faf4b314771673d2b2a /gcc/tree-data-ref.h | |
| parent | 5bba2215c23d71ea08fb81656d93041229f7ea9c (diff) | |
| download | gcc-d0d8b5d83614d8f0d0e40c0520d4f40ffa01f8d9.zip gcc-d0d8b5d83614d8f0d0e40c0520d4f40ffa01f8d9.tar.gz gcc-d0d8b5d83614d8f0d0e40c0520d4f40ffa01f8d9.tar.bz2 | |
Process only valid shift ranges.
When shifting outside the valid range of [0, precision-1], we can
choose to process just the valid ones since the rest is undefined.
this allows us to produce results for x << [0,2][+INF, +INF] by discarding
the invalid ranges and processing just [0,2].
gcc/
PR tree-optimization/93781
* range-op.cc (get_shift_range): Rename from
undefined_shift_range_check and now return valid shift ranges.
(operator_lshift::fold_range): Use result from get_shift_range.
(operator_rshift::fold_range): Ditto.
gcc/testsuite/
* gcc.dg/tree-ssa/pr93781-1.c: New.
* gcc.dg/tree-ssa/pr93781-2.c: New.
* gcc.dg/tree-ssa/pr93781-3.c: New.
Diffstat (limited to 'gcc/tree-data-ref.h')
0 files changed, 0 insertions, 0 deletions