+2010-11-16 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/44545
+ * tree-ssa-reassoc.c (linearize_expr_tree): Possibly throwing
+ statements are not reassociatable.
+ (reassociate_bb): Likewise.
+
2010-11-16 Nathan Froyd <froydnj@codesourcery.com>
* bitmap.c: Delete unnecessary includes.
+2010-11-16 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/44545
+ * gcc.dg/pr44545.c: New testcase.
+
2010-11-16 Andrey Belevantsev <abel@ispras.ru>
PR rtl-optimization/46366
--- /dev/null
+/* { dg-do compile } */
+/* { dg-options "-O2 -fnon-call-exceptions -ftrapv -fexceptions" } */
+int
+DrawChunk(int *tabSize, int x)
+{
+ const int numEnds = 10;
+ int ends[numEnds + 2];
+ if (*tabSize > 0) {
+ x -= 5;
+ x = (x + *tabSize) / *tabSize;
+ }
+}
+
if (TREE_CODE (binlhs) == SSA_NAME)
{
binlhsdef = SSA_NAME_DEF_STMT (binlhs);
- binlhsisreassoc = is_reassociable_op (binlhsdef, rhscode, loop);
+ binlhsisreassoc = (is_reassociable_op (binlhsdef, rhscode, loop)
+ && !stmt_could_throw_p (binlhsdef));
}
if (TREE_CODE (binrhs) == SSA_NAME)
{
binrhsdef = SSA_NAME_DEF_STMT (binrhs);
- binrhsisreassoc = is_reassociable_op (binrhsdef, rhscode, loop);
+ binrhsisreassoc = (is_reassociable_op (binrhsdef, rhscode, loop)
+ && !stmt_could_throw_p (binrhsdef));
}
/* If the LHS is not reassociable, but the RHS is, we need to swap
{
gimple stmt = gsi_stmt (gsi);
- if (is_gimple_assign (stmt))
+ if (is_gimple_assign (stmt)
+ && !stmt_could_throw_p (stmt))
{
tree lhs, rhs1, rhs2;
enum tree_code rhs_code = gimple_assign_rhs_code (stmt);