+2016-04-22 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/70740
+ * tree-ssa-phiprop.c (propagate_with_phi): Handle inserted
+ VDEF.
+
2016-04-21 H.J. Lu <hongjiu.lu@intel.com>
PR target/70750
+2016-04-22 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/70740
+ * gcc.dg/torture/pr70740.c: New testcase.
+
2016-04-21 H.J. Lu <hongjiu.lu@intel.com>
PR target/70750
continue;
/* Check if we can move the loads. The def stmt of the virtual use
- needs to be in a different basic block dominating bb. */
+ needs to be in a different basic block dominating bb. When the
+ def is an edge-inserted one we know it dominates us. */
vuse = gimple_vuse (use_stmt);
def_stmt = SSA_NAME_DEF_STMT (vuse);
if (!SSA_NAME_IS_DEFAULT_DEF (vuse)
&& (gimple_bb (def_stmt) == bb
- || !dominated_by_p (CDI_DOMINATORS,
- bb, gimple_bb (def_stmt))))
+ || (gimple_bb (def_stmt)
+ && !dominated_by_p (CDI_DOMINATORS,
+ bb, gimple_bb (def_stmt)))))
goto next;
/* Found a proper dereference with an aggregate copy. Just