aboutsummaryrefslogtreecommitdiff
path: root/gcc/range-op.cc
AgeCommit message (Expand)AuthorFilesLines
2021-07-30Handle constants in wi_fold for trunc_mod.Andrew MacLeod1-0/+12
2021-07-30Change integral divide by zero to produce UNDEFINED.Andrew MacLeod1-8/+1
2021-07-26Implement operator_bitwise_xor::op1_op2_relation_effect.Aldy Hernandez1-0/+33
2021-07-26Pass relationship to methods calling generic fold_range.Aldy Hernandez1-4/+4
2021-07-16Add wi_fold_in_parts.Andrew MacLeod1-5/+70
2021-07-12Do not register a cast as an equivalence.Andrew MacLeod1-25/+0
2021-07-02Fix build_gt and build_lt for signed 1 bit values.Andrew MacLeod1-2/+16
2021-06-29Fix MINUS_EXPR relations.Andrew MacLeod1-17/+47
2021-06-24Fix comment typo.Andrew MacLeod1-1/+1
2021-06-22Add relational self-tests.Andrew MacLeod1-0/+25
2021-06-22Add relation between LHS and op1 for casts and copies.Andrew MacLeod1-0/+41
2021-06-22Add relation effects between operands to MINUS_EXPR.Andrew MacLeod1-0/+44
2021-06-22Add relations between LHS and op1/op2 for PLUS_EXPR.Andrew MacLeod1-0/+80
2021-06-22Add relational support to range-op.Andrew MacLeod1-136/+448
2021-06-15range-ops: (nonzero | X) is nonzeroAldy Hernandez1-5/+26
2021-05-10Remove call to gcc_unreachable in range-op.ccEric Botcazou1-6/+5
2021-05-07Change x mod 0 to produce UNDEFINED rather than VARYING.Andrew MacLeod1-1/+1
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-12-17Fix trap in pointer conversion in op1_range.Andrew MacLeod1-0/+25
2020-11-20ranger: Improve a % b operand ranges [PR91029]Jakub Jelinek1-16/+53
2020-11-19Process only valid shift ranges.Andrew MacLeod1-28/+36
2020-11-18vrp: Fix operator_trunc_mod::op1_range [PR97888]Jakub Jelinek1-3/+3
2020-11-17recognize implied ranges for modulo.Andrew MacLeod1-0/+28
2020-11-17IOR with nonzero, range cannot contain 0.Andrew MacLeod1-0/+8
2020-11-13Cleanup range of address calculations.Andrew MacLeod1-0/+1
2020-11-12Change range_handler, was Re: Fix gimple_expr_code?Andrew MacLeod1-2/+4
2020-11-10Fix wrong code for boolean negation in condition at -O2Eric Botcazou1-14/+14
2020-11-09Clean up irange self tests.Aldy Hernandez1-493/+150
2020-11-05Pass multi-range from range_query::value_* routinesAndrew MacLeod1-6/+6
2020-10-26Handle signed 1-bit ranges in irange::invert.Aldy Hernandez1-2/+15
2020-10-20Special case shifting by zero in operator_rshift::op1_range.Aldy Hernandez1-0/+5
2020-10-19Gracefully handle right shifts larger than the precision.Aldy Hernandez1-0/+4
2020-10-19Handle right shifts by zero in range-ops.Aldy Hernandez1-0/+5
2020-10-16pointer_plus [0, 0] + const foldingAndrew MacLeod1-0/+8
2020-10-16Don't assert on a negative shift.Andrew MacLeod1-1/+2
2020-10-12operator_trunc_mod::wi_fold: Return VARYING for mod by zero.Aldy Hernandez1-3/+3
2020-10-12Ignore shifts larger than precision in operator_rshift::op1_range.Aldy Hernandez1-0/+7
2020-10-09Fix for PR97317.Andrew MacLeod1-7/+18
2020-10-08Fix PR97315 (part 2 of 2)Aldy Hernandez1-0/+9
2020-10-05Cleanup legacy_union and legacy intersect in value_range.Aldy Hernandez1-0/+21
2020-10-05Import various range-op fixes from ranger branch.Aldy Hernandez1-50/+114
2020-09-17Allow copying of symbolic ranges to an irange.Aldy Hernandez1-0/+15
2020-09-04rename widest_irange to int_range_max.Aldy Hernandez1-66/+66
2020-08-03Avoid shifting by amounts larger than target int in irange self-tests.Aldy Hernandez1-9/+10
2020-08-03Multi-range implementation for value_range (irange).Aldy Hernandez1-617/+1335
2020-01-01Update copyright years.Jakub Jelinek1-1/+1
2019-11-14Change fold_range to return a boolean result.Andrew MacLeod1-84/+93
2019-11-14re PR tree-optimization/92506 (Wrong code with -fwrapv since r277979)Andrew MacLeod1-1/+2
2019-11-14Remove range_intersect, range_invert, and range_union.Aldy Hernandez1-45/+21
2019-11-14Remove higher precision range tests because they are unused.Aldy Hernandez1-148/+5
generated by cgit v1.1 at 2025-01-15 10:47:01 +0000