https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67891
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Fri Oct 9 08:12:18 2015 New Revision: 228635 URL: https://gcc.gnu.org/viewcvs?rev=228635&root=gcc&view=rev Log: 2015-10-09 Richard Biener <rguent...@suse.de> PR tree-optimization/67891 * gimple-match.h (gimple_simplified_result_is_gimple_val): New helper. (gimple_resimplify1): Declare. (gimple_resimplify2): Likewise. (gimple_resimplify3): Likewise. * gimple-match-head.c (gimple_resimplify1): Export. (gimple_resimplify2): Likewise. (gimple_resimplify3): Likewise. (maybe_push_res_to_seq): Use gimple_simplified_result_is_gimple_val. * gimple-fold.c (gimple_fold_stmt_to_constant_1): Likewise. * tree-ssa-sccvn.c (visit_reference_op_load): Use gimple_resimplify1 to avoid creating stmts without VN info. * gcc.dg/tree-ssa/pr67891.c: New testcase. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr67891.c Modified: trunk/gcc/ChangeLog trunk/gcc/gimple-fold.c trunk/gcc/gimple-match-head.c trunk/gcc/gimple-match.h trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-sccvn.c