aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.c
AgeCommit message (Expand)AuthorFilesLines
2012-06-20re PR tree-optimization/30318 (VRP does not create ANTI_RANGEs on overflow)Richard Guenther1-36/+172
2012-06-19tree-vrp.c (union_ranges): New function.Richard Guenther1-174/+308
2012-06-19tree-vrp.c (intersect_ranges): Handle more cases.Richard Guenther1-23/+128
2012-06-18tree-vrp.c (extract_range_from_assert): Split out range intersecting code.Richard Guenther1-233/+236
2012-06-15tree-vrp.c (set_and_canonicalize_value_range): Use canonical predicates to se...Richard Guenther1-17/+37
2012-06-14tree-vrp.c (VR_INITIALIZER): New define.Richard Guenther1-36/+137
2012-06-13tree-vrp.c (vrp_meet): Properly meet equivalent ranges.Richard Guenther1-69/+142
2012-06-022012-06-2 Kenneth Zadeck <zadeck@naturalbridge.com>Kenneth Zadeck1-2/+2
2012-05-24re PR tree-optimization/53465 (wrong code with -O1 -ftree-vrp)Jakub Jelinek1-4/+13
2012-05-15re PR tree-optimization/53355 (Autovectorization of a simple loop could be im...Richard Guenther1-0/+35
2012-05-07re PR tree-optimization/53239 (VRP vs named value return opt)Jakub Jelinek1-10/+15
2012-04-25re PR tree-optimization/53058 (Another ice in remove_range_assertions)Jakub Jelinek1-1/+4
2012-04-19re PR middle-end/53031 (gcc.dg/tree-ssa/vrp54.c scan-tree-dump-not vrp1 "link...Richard Guenther1-1/+3
2012-04-18cfgloop.h (estimate_numbers_of_iterations_loop): Remove use_undefined_p param...Richard Guenther1-7/+1
2012-04-12cfgloop.h (estimated_loop_iterations_int): Ditch 'conservative' parameter.Richard Guenther1-1/+1
2012-03-15re PR tree-optimization/52267 (a&~N where N has all the bits set up till a sp...Jakub Jelinek1-1/+271
2012-03-12re PR tree-optimization/51721 (-Warray-bounds false positives and inconsisten...Jakub Jelinek1-4/+54
2012-03-12re PR tree-optimization/52533 (ice in remove_range_assertions)Jakub Jelinek1-30/+24
2012-03-05re PR tree-optimization/51721 (-Warray-bounds false positives and inconsisten...Jakub Jelinek1-1/+88
2012-01-05tree-vrp.c (extract_range_from_binary_expr_1): Remove duplicated condition.Eric Botcazou1-16/+14
2011-12-01re PR tree-optimization/50802 (FAIL: gcc.c-torture/execute/arith-rand-ll.c ex...Joern Rennecke1-21/+39
2011-11-29re PR tree-optimization/51247 (ICE in set_value_range, at tree-vrp.c:417)Jakub Jelinek1-10/+40
2011-10-17re PR tree-optimization/50729 (Silent code gen fault: Value range propagation...Richard Guenther1-12/+14
2011-10-12re PR middle-end/50189 (Wrong code error in -O2 [-fstrict-enums] compile, tar...Paul Koning1-5/+5
2011-09-01expr.c (expand_expr_real_2): Move COND_EXPR and VEC_COND_EXPR handling here, ...Richard Guenther1-5/+5
2011-08-16tree-vrp.c (extract_range_from_multiplicative_op_1): New helper factored out ...Richard Guenther1-149/+211
2011-08-15tree-vrp.c (value_range_nonnegative_p): Fix anti-range case.Richard Guenther1-121/+72
2011-08-12tree-vrp.c (extract_range_from_unary_expr_1): Implement -X as 0 - X.Richard Biener1-60/+7
2011-08-11lto-cgraph.c (input_node): Use DECL_BUILT_IN.Richard Guenther1-2/+2
2011-08-09tree-vrp.c (zero_nonzero_bits_from_vr): Also return precise information for r...Richard Guenther1-72/+83
2011-08-08tree-vrp.c (extract_range_from_unary_expr_1): New function, split out from ...Richard Guenther1-46/+53
2011-08-05re PR tree-optimization/49984 (VRP does not handle BIT_XOR_EXPR)Richard Guenther1-2/+32
2011-08-05tree-vrp.c (zero_nonzero_bits_from_vr): Make sure to always return true for c...Richard Guenther1-67/+25
2011-08-04tree-vrp.c (vrp_expr_computes_nonnegative): Remove.Richard Guenther1-95/+89
2011-08-04re PR middle-end/49806 (FAIL: gcc.dg/tree-ssa/vrp47.c)Richard Guenther1-90/+61
2011-07-29tree-vrp.c (get_value_range): Only set parameter default definitions to varyi...Richard Guenther1-7/+18
2011-07-28tree-vrp.c (simplify_stmt_using_ranges): Remove TRUTH_NOT_EXPR case.Kai Tietz1-50/+33
2011-07-27tree-vrp.c (extract_range_from_binary_expr): Remove TRUTH-binary cases and ad...Kai Tietz1-96/+60
2011-07-26re PR middle-end/49840 (New test failures)Richard Guenther1-2/+24
2011-07-25re PR tree-optimization/49715 (Could do more efficient unsigned-to-float to c...Richard Guenther1-0/+101
2011-07-25tree-vrp.c (num_vr_values, [...]): New global vars.Richard Guenther1-5/+22
2011-07-19tree.h (fold_build_pointer_plus_loc): New helper function.Richard Guenther1-5/+2
2011-07-13tree-vrp.c (simplify_conversion_using_ranges): Make sure the final type is in...Richard Guenther1-0/+2
2011-07-11tree-vrp.c (simplify_conversion_using_ranges): Manually translate the source ...Richard Guenther1-18/+43
2011-07-07tree-vrp.c (simplify_conversion_using_ranges): New function.Richard Guenther1-5/+45
2011-06-16re PR tree-optimization/49419 (gcc -O2 miscompiles gp2c)Jakub Jelinek1-2/+4
2011-06-14dumping cleanup phase 1 -- Removing TODO_dump_funcDavid Li1-1/+0
2011-06-14re PR middle-end/45098 (Missed induction variable optimization)Zdenek Dvorak1-32/+30
2011-05-30re PR tree-optimization/49218 (Incorrect optimization of a 'for' loop creates...Richard Guenther1-4/+10
2011-05-26re PR tree-optimization/49161 (Fix VRP on switch stmts)Jakub Jelinek1-24/+34