aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.c
AgeCommit message (Expand)AuthorFilesLines
2012-08-01tree-vrp.c (find_case_label_ranges): New function.Tom de Vries1-6/+100
2012-07-26re PR tree-optimization/54098 (ICE on valid code)Richard Guenther1-2/+4
2012-07-25re PR tree-optimization/30318 (VRP does not create ANTI_RANGEs on overflow)Marc Glisse1-54/+71
2012-07-20re PR c++/28656 (duplicated null argument warning on memcpy())Jakub Jelinek1-21/+24
2012-07-17dumpfile.h (TDF_COMMENT): New define.Steven Bosscher1-1/+1
2012-07-16system.h (dump_file): Do not define.Steven Bosscher1-2/+0
2012-07-13re PR tree-optimization/53922 (VRP: semantic conflict between range_includes_...Richard Guenther1-52/+26
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