projects
/
platform
/
upstream
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
analyzer: start adding support for errno
2022-11-08
Andrew MacLeod
Add transitive inferred range processing.
commit
|
commitdiff
|
tree
2022-11-03
Andrew MacLeod
Add testcases resolved with ranger as VRP1.
commit
|
commitdiff
|
tree
2022-11-03
Andrew MacLeod
Update range query cache when a statement is updated.
commit
|
commitdiff
|
tree
2022-11-01
Andrew MacLeod
Make sure ssa-name is valid.
commit
|
commitdiff
|
tree
2022-11-01
Andrew MacLeod
Make ranger vrp1 default.
commit
|
commitdiff
|
tree
2022-11-01
Andrew MacLeod
Remove builtin_unreachable in VRP
commit
|
commitdiff
|
tree
2022-11-01
Andrew MacLeod
Allow queries on exit block.
commit
|
commitdiff
|
tree
2022-11-01
Andrew MacLeod
Intersect with nonzero bits can indicate change incorrectly.
commit
|
commitdiff
|
tree
2022-10-26
Andrew MacLeod
Check if varying may also be non-negative.
commit
|
commitdiff
|
tree
2022-10-20
Andrew MacLeod
Add assume support to VRP.
commit
|
commitdiff
|
tree
2022-10-19
Andrew MacLeod
Use Value_Range when applying inferred ranges.
commit
|
commitdiff
|
tree
2022-10-18
Andrew MacLeod
Merge partial relation precisions properly
commit
|
commitdiff
|
tree
2022-10-17
Andrew MacLeod
Add relation_trio class for range-ops.
commit
|
commitdiff
|
tree
2022-10-17
Andrew MacLeod
Fix nan updating in range-ops.
commit
|
commitdiff
|
tree
2022-10-17
Andrew MacLeod
Don't set useless relations.
commit
|
commitdiff
|
tree
2022-10-13
Andrew MacLeod
propagate partial equivs in the cache.
commit
|
commitdiff
|
tree
2022-10-13
Andrew MacLeod
Add partial equivalence recognition to cast and bitwise...
commit
|
commitdiff
|
tree
2022-10-13
Andrew MacLeod
Add equivalence iterator to relation oracle.
commit
|
commitdiff
|
tree
2022-10-13
Andrew MacLeod
Add partial equivalence support to the relation oracle.
commit
|
commitdiff
|
tree
2022-10-03
Andrew MacLeod
Don't process undefined range.
commit
|
commitdiff
|
tree
2022-09-29
Andrew MacLeod
Process unsigned overflow relations for plus and minus...
commit
|
commitdiff
|
tree
2022-09-29
Andrew MacLeod
Refine ranges using relations in GORI.
commit
|
commitdiff
|
tree
2022-09-29
Andrew MacLeod
Track value_relations in GORI.
commit
|
commitdiff
|
tree
2022-09-29
Andrew MacLeod
Move class value_relation the header file.
commit
|
commitdiff
|
tree
2022-09-29
Andrew MacLeod
Audit op1_range and op2_range for undefined LHS.
commit
|
commitdiff
|
tree
2022-09-29
Andrew MacLeod
Remove undefined behaviour from testscase.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_IN_PARITY to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_IN_GOACC_DIM_* to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_IN_STRLEN to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_IN_UBSAN_CHECK_* to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_IN_CLRSB to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_CTZ builtins to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_CLZ builtins to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_FFS and CFN_POPCOUNT to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_IN_TOUPPER and TOLOWER to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_IN_SIGNBIT to range-ops.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Add range-ops support for builtin functions.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Always check the return value of fold_range.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Add missing float fold_range prototype for floats.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Fix calc_op1 for undefined op2_range.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Create gimple_range_op_handler in a new source file.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Adjust range_op_handler to store the handler directly.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Replace another snippet with a call to gimple_range_ssa_names.
commit
|
commitdiff
|
tree
2022-08-23
Andrew MacLeod
Return the correct relation
commit
|
commitdiff
|
tree
2022-08-17
Andrew MacLeod
Abstract interesting ssa-names from GORI.
commit
|
commitdiff
|
tree
2022-08-15
Andrew MacLeod
Check for undefined and varying first.
commit
|
commitdiff
|
tree
2022-08-08
Andrew MacLeod
Evaluate condition arguments with the correct type.
commit
|
commitdiff
|
tree
2022-08-04
Andrew MacLeod
Loop over intersected bitmaps.
commit
|
commitdiff
|
tree
2022-08-03
Andrew MacLeod
Do not walk equivalence set in path_oracle::killing_def.
commit
|
commitdiff
|
tree
2022-08-02
Andrew MacLeod
Do not register edges for statements not understood.
commit
|
commitdiff
|
tree
2022-08-02
Andrew MacLeod
Check equivalencies when calculating range on entry.
commit
|
commitdiff
|
tree
2022-07-19
Andrew MacLeod
Resolve complicated join nodes in range_from_dom.
commit
|
commitdiff
|
tree
2022-07-19
Andrew MacLeod
Remove recursion from range_from_dom.
commit
|
commitdiff
|
tree
2022-07-18
Andrew MacLeod
Check if transitives need to be registered.
commit
|
commitdiff
|
tree
2022-07-11
Andrew MacLeod
Avoid calling range_from_dom when dominator is already...
commit
|
commitdiff
|
tree
2022-07-05
Andrew MacLeod
Provide a relation verification mechanism.
commit
|
commitdiff
|
tree
2022-06-30
Andrew MacLeod
Don't use gori dependencies to optimize.
commit
|
commitdiff
|
tree
2022-06-16
Andrew MacLeod
Clear invariant bit for inferred ranges.
commit
|
commitdiff
|
tree
2022-06-16
Andrew MacLeod
Propagator should call value_of_stmt.
commit
|
commitdiff
|
tree
2022-05-25
Andrew MacLeod
Tweak comments.
commit
|
commitdiff
|
tree
2022-05-25
Andrew MacLeod
Use infer instead of side-effect for ranges.
commit
|
commitdiff
|
tree
2022-05-17
Andrew MacLeod
Add side effect infrastructure.
commit
|
commitdiff
|
tree
2022-05-17
Andrew MacLeod
Check for equivalence after merging relations.
commit
|
commitdiff
|
tree
2022-05-13
Andrew MacLeod
Check operand for type, not LHS.
commit
|
commitdiff
|
tree
2022-05-13
Andrew MacLeod
Move VREL values to their own enumerated type.
commit
|
commitdiff
|
tree
2022-05-13
Andrew MacLeod
Return a bool result for union, and add performance...
commit
|
commitdiff
|
tree
2022-05-13
Andrew MacLeod
Add a return value to intersect and speed it up.
commit
|
commitdiff
|
tree
2022-05-13
Andrew MacLeod
Fix return value in ranger_cache::get_global_range.
commit
|
commitdiff
|
tree
2022-05-13
Andrew MacLeod
Add relation between op1 & op2 to lhs_opN_relation...
commit
|
commitdiff
|
tree
2022-05-13
Andrew MacLeod
Export global ranges during the VRP block walk.
commit
|
commitdiff
|
tree
2022-05-13
Andrew MacLeod
Clear killing defs when resetting the path in path_oracle.
commit
|
commitdiff
|
tree
2022-05-13
Andrew MacLeod
Make range_from_dom more effective.
commit
|
commitdiff
|
tree
2022-04-25
Andrew MacLeod
Retain existing range knowledge when prefilling statements.
commit
|
commitdiff
|
tree
2022-03-17
Andrew MacLeod
Always use dominators in the cache when available.
commit
|
commitdiff
|
tree
2022-02-16
Andrew MacLeod
Use range_compatible_p in condexpr_adjust
commit
|
commitdiff
|
tree
2022-02-15
Andrew MacLeod
Use GORI to evaluate arguments of a COND_EXPR.
commit
|
commitdiff
|
tree
2022-02-09
Andrew MacLeod
Register non-null side effects properly.
commit
|
commitdiff
|
tree
2022-01-20
Andrew MacLeod
Only add equivalencies that are still valid.
commit
|
commitdiff
|
tree
2022-01-18
Andrew MacLeod
Limit the number of relations registered per basic...
commit
|
commitdiff
|
tree
2022-01-13
Andrew MacLeod
Allow more precision when querying from fold_const.
commit
|
commitdiff
|
tree
2022-01-13
Andrew MacLeod
Add relation to unsigned right shift.
commit
|
commitdiff
|
tree
2022-01-12
Andrew MacLeod
Add testcase for PR 83541.
commit
|
commitdiff
|
tree
2022-01-12
Andrew MacLeod
Always set EDGE_EXECUTABLE in VRP2.
commit
|
commitdiff
|
tree
2022-01-11
Andrew MacLeod
Prevent exponential range calculations.
commit
|
commitdiff
|
tree
2021-12-06
Andrew MacLeod
Use dominators to reduce cache-flling.
commit
|
commitdiff
|
tree
2021-12-06
Andrew MacLeod
Add BB option for outgoing_edge_range_p and may_reocmpute_p.
commit
|
commitdiff
|
tree
2021-12-01
Andrew MacLeod
Also pre-process PHIs in range-of-stmt.
commit
|
commitdiff
|
tree
2021-11-30
Andrew MacLeod
Always track arguments, even when ignoring equiv params.
commit
|
commitdiff
|
tree
2021-11-30
Andrew MacLeod
Don't reuse reference after potential resize.
commit
|
commitdiff
|
tree
2021-11-25
Andrew MacLeod
Add the testcase for this PR to the testsuite.
commit
|
commitdiff
|
tree
2021-11-25
Andrew MacLeod
Check for equivalences between PHI argument and def.
commit
|
commitdiff
|
tree
2021-11-24
Andrew MacLeod
Directly resolve range_of_stmt dependencies.
commit
|
commitdiff
|
tree
2021-11-24
Andrew MacLeod
Split return functionality of get_non_stale_global_range.
commit
|
commitdiff
|
tree
2021-11-24
Andrew MacLeod
Range-on-edge trace tweak.
commit
|
commitdiff
|
tree
2021-11-19
Andrew MacLeod
Limit depth for all GORI expressions.
commit
|
commitdiff
|
tree
2021-11-10
Andrew MacLeod
Grow sbr_vector in ranger's on-entry cache as needed.
commit
|
commitdiff
|
tree
2021-11-09
Andrew MacLeod
Keep x_range_query NULL for global ranges.
commit
|
commitdiff
|
tree
2021-11-08
Andrew MacLeod
Don't calculate new values when using the private context...
commit
|
commitdiff
|
tree
2021-11-05
Andrew MacLeod
Remove def chain import assert from GORI.
commit
|
commitdiff
|
tree
2021-11-05
Andrew MacLeod
Abstract ranger cache update list.
commit
|
commitdiff
|
tree
next