projects
/
platform
/
upstream
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]
[platform/upstream/gcc.git]
/
gcc
/
value-range.cc
2022-11-12
Aldy Hernandez
[frange] Avoid testing signed zero test for -fno-signed...
blob
|
commitdiff
2022-11-10
Aldy Hernandez
Do not specify NAN sign in frange::set_nonnegative.
blob
|
commitdiff
|
diff to current
2022-11-09
Aldy Hernandez
Clear NAN when reading back a global range if necessary.
blob
|
commitdiff
|
diff to current
2022-11-08
Aldy Hernandez
Provide normalized and denormal format version of real_...
blob
|
commitdiff
|
diff to current
2022-11-02
Aldy Hernandez
Fix bug in frange::contains_p() for signed zeros.
blob
|
commitdiff
|
diff to current
2022-11-01
Andrew MacLeod
Intersect with nonzero bits can indicate change incorre...
blob
|
commitdiff
|
diff to current
2022-10-28
Aldy Hernandez
Change remaining flag_finite_math_only use in value...
blob
|
commitdiff
|
diff to current
2022-10-26
Aldy Hernandez
Convert flag_finite_math_only uses in frange to HONOR_*.
blob
|
commitdiff
|
diff to current
2022-10-24
Aldy Hernandez
Check HONOR_NANS instead of flag_finite_math_only in...
blob
|
commitdiff
|
diff to current
2022-10-22
Aldy Hernandez
Update selftest such that [-Inf, +Inf] is always VARYIN...
blob
|
commitdiff
|
diff to current
2022-10-20
Aldy Hernandez
Do not set NAN flags for VARYING ranges when !HONOR_NANS.
blob
|
commitdiff
|
diff to current
2022-10-19
Aldy Hernandez
[PR tree-optimization/107312] Make range_true_and_false...
blob
|
commitdiff
|
diff to current
2022-10-17
Aldy Hernandez
Do not test for -Inf when flag_finite_math_only.
blob
|
commitdiff
|
diff to current
2022-10-14
Aldy Hernandez
Implement distinction between HONOR_SIGNED_ZEROS and...
blob
|
commitdiff
|
diff to current
2022-10-14
Aldy Hernandez
Check rvc_normal in real_isdenormal.
blob
|
commitdiff
|
diff to current
2022-10-14
Aldy Hernandez
Normalize ranges over the range for both bounds when...
blob
|
commitdiff
|
diff to current
2022-10-14
Aldy Hernandez
Drop -0.0 in frange::set() for !HONOR_SIGNED_ZEROS.
blob
|
commitdiff
|
diff to current
2022-10-12
Aldy Hernandez
Disable tree to bool conversion in frange::update_nan.
blob
|
commitdiff
|
diff to current
2022-10-11
Aldy Hernandez
[PR107195] Set range to zero when nonzero mask is 0.
blob
|
commitdiff
|
diff to current
2022-10-07
Jonathan Wakely
gcc: Fix comment typo
blob
|
commitdiff
|
diff to current
2022-10-07
Aldy Hernandez
Convert nonzero mask back to tree.
blob
|
commitdiff
|
diff to current
2022-10-07
Jakub Jelinek
Fix comment typos
blob
|
commitdiff
|
diff to current
2022-10-06
Aldy Hernandez
Setting explicit NANs sets UNDEFINED for -ffinite-math...
blob
|
commitdiff
|
diff to current
2022-10-04
Aldy Hernandez
Remove assert from set_nonzero_bits.
blob
|
commitdiff
|
diff to current
2022-10-04
Aldy Hernandez
Convert nonzero mask in irange to wide_int.
blob
|
commitdiff
|
diff to current
2022-10-03
Aldy Hernandez
Do not pessimize range in set_nonzero_bits.
blob
|
commitdiff
|
diff to current
2022-10-03
Aldy Hernandez
Avoid comparing ranges when sub-ranges is 0.
blob
|
commitdiff
|
diff to current
2022-10-03
Aldy Hernandez
Do not compare nonzero masks for varying.
blob
|
commitdiff
|
diff to current
2022-09-27
Aldy Hernandez
irange: keep better track of powers of 2.
blob
|
commitdiff
|
diff to current
2022-09-26
Martin Liska
ranger: remove unused function
blob
|
commitdiff
|
diff to current
2022-09-23
Aldy Hernandez
frange: Make the setter taking trees a wrapper.
blob
|
commitdiff
|
diff to current
2022-09-23
Aldy Hernandez
frange: drop endpoints to min/max representable numbers...
blob
|
commitdiff
|
diff to current
2022-09-21
Aldy Hernandez
[PR106967] Set known NANs to undefined for flag_finite_...
blob
|
commitdiff
|
diff to current
2022-09-21
Aldy Hernandez
Clear unused flags in frange for undefined ranges.
blob
|
commitdiff
|
diff to current
2022-09-20
Aldy Hernandez
frange::set_nonnegative should not contain -NAN.
blob
|
commitdiff
|
diff to current
2022-09-20
Aldy Hernandez
frange: flush denormals to zero
blob
|
commitdiff
|
diff to current
2022-09-18
Jakub Jelinek
[PR106831] Avoid propagating long doubles that may...
blob
|
commitdiff
|
diff to current
2022-09-18
Aldy Hernandez
Rewrite NAN and sign handling in frange
blob
|
commitdiff
|
diff to current
2022-09-14
Aldy Hernandez
Use frange::set_nan() from the generic frange::set().
blob
|
commitdiff
|
diff to current
2022-09-14
Aldy Hernandez
Provide cleaner set_nan(), clear_nan(), and update_nan...
blob
|
commitdiff
|
diff to current
2022-09-14
Aldy Hernandez
Minor fixes to frange.
blob
|
commitdiff
|
diff to current
2022-09-12
Aldy Hernandez
frange::set_signbit: Avoid changing sign when already...
blob
|
commitdiff
|
diff to current
2022-09-08
Aldy Hernandez
Implement known/maybe fpclassify like API for frange.
blob
|
commitdiff
|
diff to current
2022-09-05
Aldy Hernandez
Do not ICE when updating a NAN to a non-NAN.
blob
|
commitdiff
|
diff to current
2022-09-05
Aldy Hernandez
Be even more conservative in intersection of NANs.
blob
|
commitdiff
|
diff to current
2022-09-04
Aldy Hernandez
Do not clobber signbit when unioning a NAN.
blob
|
commitdiff
|
diff to current
2022-09-03
Aldy Hernandez
[PR/middle-end 106819] NANs can never be a singleton
blob
|
commitdiff
|
diff to current
2022-09-01
Aldy Hernandez
Convert ranger uses of real_inf to dconst[n]inf.
blob
|
commitdiff
|
diff to current
2022-09-01
Aldy Hernandez
Add signbit property to frange to better model signed...
blob
|
commitdiff
|
diff to current
2022-09-01
Aldy Hernandez
Make frange selftests work on !HONOR_NANS systems.
blob
|
commitdiff
|
diff to current
2022-08-30
Aldy Hernandez
Improve union of ranges containing NAN.
blob
|
commitdiff
|
diff to current
2022-08-30
Aldy Hernandez
Force a [NAN, NAN] range when the definite NAN property...
blob
|
commitdiff
|
diff to current
2022-08-30
Aldy Hernandez
Add support for floating point endpoints to frange.
blob
|
commitdiff
|
diff to current
2022-08-26
Aldy Hernandez
Make all default vrange setters set VARYING.
blob
|
commitdiff
|
diff to current
2022-08-15
Andrew MacLeod
Check for undefined and varying first.
blob
|
commitdiff
|
diff to current
2022-08-05
Aldy Hernandez
Inline unsupported_range constructor.
blob
|
commitdiff
|
diff to current
2022-08-02
Aldy Hernandez
More frange::set cleanups.
blob
|
commitdiff
|
diff to current
2022-08-01
Aldy Hernandez
Cleanups to frange.
blob
|
commitdiff
|
diff to current
2022-08-01
Aldy Hernandez
const_tree conversion of vrange::supports_*
blob
|
commitdiff
|
diff to current
2022-07-26
Aldy Hernandez
Handle non constant ranges in irange pretty printer.
blob
|
commitdiff
|
diff to current
2022-07-25
Aldy Hernandez
frange class to represent floating point ranges
blob
|
commitdiff
|
diff to current
2022-07-15
Aldy Hernandez
Convert vrange dumping facilities to pretty_printer.
blob
|
commitdiff
|
diff to current
2022-07-15
Aldy Hernandez
Implement visitor pattern for vrange.
blob
|
commitdiff
|
diff to current
2022-07-13
Aldy Hernandez
Clear nonzero mask when inverting ranges.
blob
|
commitdiff
|
diff to current
2022-07-12
Aldy Hernandez
Set nonzero bits from bitwise and operator in range...
blob
|
commitdiff
|
diff to current
2022-07-10
Aldy Hernandez
Cleanups to irange::nonzero bit code.
blob
|
commitdiff
|
diff to current
2022-07-09
Aldy Hernandez
Set VR_VARYING in irange::irange_single_pair_union.
blob
|
commitdiff
|
diff to current
2022-07-04
Aldy Hernandez
Integrate nonzero bits with irange.
blob
|
commitdiff
|
diff to current
2022-07-04
Aldy Hernandez
Remove some deprecated irange methods.
blob
|
commitdiff
|
diff to current
2022-06-03
Aldy Hernandez
Flesh out unsupported_range.
blob
|
commitdiff
|
diff to current
2022-06-03
Aldy Hernandez
Implement vrange::supports_type_p.
blob
|
commitdiff
|
diff to current
2022-06-01
Aldy Hernandez
Implement generic range temporaries.
blob
|
commitdiff
|
diff to current
2022-06-01
Aldy Hernandez
Implement abstract vrange class.
blob
|
commitdiff
|
diff to current
2022-05-13
Andrew MacLeod
Return a bool result for union, and add performance...
blob
|
commitdiff
|
diff to current
2022-05-13
Andrew MacLeod
Add a return value to intersect and speed it up.
blob
|
commitdiff
|
diff to current
2022-04-29
Aldy Hernandez
Remove various deprecated methods in class irange.
blob
|
commitdiff
|
diff to current
2022-01-17
Martin Liska
Change references of .c files to .cc files
blob
|
commitdiff
|
diff to current
2022-01-03
Jakub Jelinek
Update copyright years.
blob
|
commitdiff
|
diff to current
2021-12-06
Richard Sandiford
ranger: Optimise irange_union
blob
|
commitdiff
|
diff to current
2021-11-15
Aldy Hernandez
Drop tree overflow in irange setter.
blob
|
commitdiff
|
diff to current
2021-10-08
Aldy Hernandez
Implement irange::debug()
blob
|
commitdiff
|
diff to current
2021-10-06
Andrew MacLeod
Add range intersect with 2 wide-ints.
blob
|
commitdiff
|
diff to current
2021-05-25
Aldy Hernandez
Fix selftest for targets where short and int are the...
blob
|
commitdiff
|
diff to current
2021-05-24
Aldy Hernandez
VARYING ranges of different sizes should not be equal.
blob
|
commitdiff
|
diff to current
2021-05-01
Aldy Hernandez
Add GTY support for irange.
blob
|
commitdiff
|
diff to current
2021-04-26
Aldy Hernandez
Handle anti-ranges of MIN,MAX uniformly.
blob
|
commitdiff
|
diff to current
2021-04-26
Aldy Hernandez
Cache irange::num_pairs() for non-legacy code.
blob
|
commitdiff
|
diff to current
2021-04-26
Aldy Hernandez
Keep VR_UNDEFINED and VR_VARYING in sync (speeds up...
blob
|
commitdiff
|
diff to current
2021-04-26
Aldy Hernandez
Remove irange::varying_p checks from symbolic_p and...
blob
|
commitdiff
|
diff to current
2021-04-26
Aldy Hernandez
Replace !irange::undefined_p checks with num_ranges...
blob
|
commitdiff
|
diff to current
2021-03-23
Aldy Hernandez
Handle setting of 1-bit anti-ranges uniformly.
blob
|
commitdiff
|
diff to current
2021-01-06
Richard Biener
tree-optimization/98513 - fix bug in range intersection...
blob
|
commitdiff
|
diff to current
2021-01-04
Jakub Jelinek
Update copyright years.
blob
|
commitdiff
|
diff to current
2020-11-11
Aldy Hernandez
Early exit on VR_VARYING from irange::set.
blob
|
commitdiff
|
diff to current
2020-11-10
Aldy Hernandez
Early exit from irange::set for poly ints.
blob
|
commitdiff
|
diff to current
2020-11-10
Aldy Hernandez
Normalize VARYING for -fstrict-enums.
blob
|
commitdiff
|
diff to current
2020-11-09
Aldy Hernandez
Clean up irange self tests.
blob
|
commitdiff
|
diff to current
2020-11-09
Aldy Hernandez
Cleanup irange::set.
blob
|
commitdiff
|
diff to current
2020-10-28
Richard Sandiford
value-range: Give up on POLY_INT_CST ranges [PR97457]
blob
|
commitdiff
|
diff to current
2020-10-26
Aldy Hernandez
Handle signed 1-bit ranges in irange::invert.
blob
|
commitdiff
|
diff to current
next