[Bug tree-optimization/56034] [4.8 Regression] ICE: verify_gimple failed (invalid PHI argument) with -ftree-loop-distribution

[rguenth at gcc dot gnu.org]

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

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-28 14:45:50 UTC ---
Author: rguenth
Date: Mon Jan 28 14:45:46 2013
New Revision: 195508

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195508
Log:
2013-01-28  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/56034
    * tree-loop-distribution.c (enum partition_kind): Add
    PKIND_REDUCTION.
    (partition_builtin_p): Adjust.
    (generate_code_for_partition): Handle PKIND_REDUCTION.  Assert
    it is the last partition.
    (rdg_flag_uses): Check SSA_NAME_IS_DEFAULT_DEF before looking
    up the vertex for the definition.
    (classify_partition): Classify whether a partition is a
    PKIND_REDUCTION, thus has uses outside of the loop.
    (ldist_gen): Inherit PKIND_REDUCTION when merging partitions.
    Merge all PKIND_REDUCTION partitions into the last partition.
    (tree_loop_distribution): Seed partitions from reductions as well.

    * gcc.dg/torture/pr56034.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr56034.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-loop-distribution.c