aboutsummaryrefslogtreecommitdiff
path: root/gcc/range-op-float.cc
AgeCommit message (Expand)AuthorFilesLines
2022-09-23frange: drop endpoints to min/max representable numbers for -ffinite-math-only.Aldy Hernandez1-8/+10
2022-09-22Add missing float fold_range prototype for floats.Andrew MacLeod1-0/+10
2022-09-21[PR106967] frange: revamp relational operators for NANs.Aldy Hernandez1-93/+177
2022-09-18Rewrite NAN and sign handling in frangeAldy Hernandez1-17/+21
2022-09-14frange: add both zeros to ranges when there's the possiblity of equality.Aldy Hernandez1-6/+25
2022-09-14Pass full range to build_* in range-op-float.ccAldy Hernandez1-36/+36
2022-09-14Provide cleaner set_nan(), clear_nan(), and update_nan() methods.Aldy Hernandez1-29/+17
2022-09-08Implement known/maybe fpclassify like API for frange.Aldy Hernandez1-15/+11
2022-09-06Handle > INF and < INF correctly in range-op-float.ccAldy Hernandez1-24/+75
2022-09-05Disable decimal floating point in frange.Aldy Hernandez1-10/+0
2022-09-01Convert ranger uses of real_inf to dconst[n]inf.Aldy Hernandez1-10/+6
2022-09-01Add signbit property to frange to better model signed zeros.Aldy Hernandez1-0/+6
2022-08-31remove unused functionMartin Liska1-16/+0
2022-08-30Implement relational operators for frange with endpoints.Aldy Hernandez1-54/+304
2022-08-30Add support for floating point endpoints to frange.Aldy Hernandez1-21/+58
2022-08-26[ranger] x == -0.0 does not mean we can replace x with -0.0Aldy Hernandez1-2/+15
2022-08-23Copy range from op2 in foperator_equal::op1_range.Aldy Hernandez1-1/+2
2022-08-02Implement basic range operators to enable floating point VRP.Aldy Hernandez1-0/+564
2022-07-25Dispatch code for floating point range ops.Aldy Hernandez1-0/+206