recognize implied ranges for modulo.
authorAndrew MacLeod <amacleod@redhat.com>
Tue, 17 Nov 2020 19:47:58 +0000 (14:47 -0500)
committerAndrew MacLeod <amacleod@redhat.com>
Tue, 17 Nov 2020 21:59:48 +0000 (16:59 -0500)
commit1e27e7a582a9b86bcf86f5c103cd947672746e97
tree62dba27e63b49b12d89a0b669c93fb51be9b511a
parent0c1db9fa47b97ac4f080994e7c4b382b7353e6dd
recognize implied ranges for modulo.

implement op1_range for modulo with implied positive and negative ranges.

gcc/
PR tree-optimization/91029
* range-op.cc (operator_trunc_mod::op1_range): New.
gcc/testsuite/
* gcc.dg/pr91029.c: New.
gcc/range-op.cc
gcc/testsuite/gcc.dg/pr91029.c [new file with mode: 0644]