diff options
| author | Richard Biener <rguenther@suse.de> | 2016-08-19 07:02:05 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-08-19 07:02:05 +0000 |
| commit | 1a5da5b66a5d2d2fe87fdeddf475ec2c3c54c49f (patch) | |
| tree | 66a0ee1a6c56de95b154b3ba52310053be19a87c /gcc/tree-vect-loop-manip.c | |
| parent | 82f72146967e71693f2d4f6646f35c3c00780602 (diff) | |
| download | gcc-1a5da5b66a5d2d2fe87fdeddf475ec2c3c54c49f.zip gcc-1a5da5b66a5d2d2fe87fdeddf475ec2c3c54c49f.tar.gz gcc-1a5da5b66a5d2d2fe87fdeddf475ec2c3c54c49f.tar.bz2 | |
re PR tree-optimization/77286 (ICE in fold_convert_loc, at fold-const.c:2248 building 435.gromacs)
2016-08-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/77286
* tree-vect-loop-manip.c (slpeel_duplicate_current_defs_from_edges):
Deal with virtual PHIs being out-of-order.
* gcc.dg/torture/pr77286.c: New testcase.
From-SVN: r239605
Diffstat (limited to 'gcc/tree-vect-loop-manip.c')
| -rw-r--r-- | gcc/tree-vect-loop-manip.c | 25 |
1 files changed, 18 insertions, 7 deletions
diff --git a/gcc/tree-vect-loop-manip.c b/gcc/tree-vect-loop-manip.c index 90b7df9..01d6bb1 100644 --- a/gcc/tree-vect-loop-manip.c +++ b/gcc/tree-vect-loop-manip.c @@ -735,22 +735,33 @@ slpeel_duplicate_current_defs_from_edges (edge from, edge to) gimple *from_phi = gsi_stmt (gsi_from); gimple *to_phi = gsi_stmt (gsi_to); tree from_arg = PHI_ARG_DEF_FROM_EDGE (from_phi, from); - if (TREE_CODE (from_arg) != SSA_NAME) - { + tree to_arg = PHI_ARG_DEF_FROM_EDGE (to_phi, to); + if (virtual_operand_p (from_arg)) + { gsi_next (&gsi_from); continue; } - tree to_arg = PHI_ARG_DEF_FROM_EDGE (to_phi, to); - if (TREE_CODE (to_arg) != SSA_NAME) - { + if (virtual_operand_p (to_arg)) + { gsi_next (&gsi_to); continue; } - if (get_current_def (to_arg) == NULL_TREE) - set_current_def (to_arg, get_current_def (from_arg)); + if (TREE_CODE (from_arg) != SSA_NAME) + gcc_assert (operand_equal_p (from_arg, to_arg, 0)); + else + { + if (get_current_def (to_arg) == NULL_TREE) + set_current_def (to_arg, get_current_def (from_arg)); + } gsi_next (&gsi_from); gsi_next (&gsi_to); } + + gphi *from_phi = get_virtual_phi (from->dest); + gphi *to_phi = get_virtual_phi (to->dest); + if (from_phi) + set_current_def (PHI_ARG_DEF_FROM_EDGE (to_phi, to), + get_current_def (PHI_ARG_DEF_FROM_EDGE (from_phi, from))); } |