[Bug tree-optimization/46309] optimization a==3||a==1

["jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46309

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-09-30 15:00:18 UTC ---
Author: jakub
Date: Fri Sep 30 15:00:12 2011
New Revision: 179388

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179388
Log:
    PR tree-optimization/46309
    * fold-const.c (make_range, merge_ranges): Remove prototypes.
    (make_range_step): New function.
    (make_range): Use it.
    * tree.h (make_range_step): New prototypes.
    * Makefile.in (tree-ssa-reassoc.o): Depend on $(DIAGNOSTIC_CORE_H).
    * tree-ssa-reassoc.c: Include diagnostic-core.h.
    (struct range_entry): New type.
    (init_range_entry, range_entry_cmp, update_range_test,
    optimize_range_tests): New functions.
    (reassociate_bb): Call optimize_range_tests.

    * gcc.dg/pr46309.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr46309.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/Makefile.in
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-reassoc.c
    trunk/gcc/tree.h