diff options
Diffstat (limited to 'gcc/fold-const.c')
-rw-r--r-- | gcc/fold-const.c | 44 |
1 files changed, 41 insertions, 3 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 966a3ae6c26..041a586957b 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -5367,13 +5367,23 @@ fold (tree expr) tree tem; tree type = TREE_TYPE (expr); tree arg0 = NULL_TREE, arg1 = NULL_TREE; - enum tree_code code = TREE_CODE (t); - int kind = TREE_CODE_CLASS (code); - + /* APPLE LOCAL begin AltiVec */ + enum tree_code code; + int kind, invert; + /* APPLE LOCAL end AltiVec */ /* WINS will be nonzero when the switch is done if all operands are constant. */ int wins = 1; + /* APPLE LOCAL begin AltiVec */ + /* Fold constant comma expressions. */ + while (TREE_CODE (t) == COMPOUND_EXPR && TREE_CONSTANT (t)) + t = TREE_OPERAND (t, 1); + + code = TREE_CODE (t); + kind = TREE_CODE_CLASS (code); + /* APPLE LOCAL end AltiVec */ + /* Don't try to process an RTL_EXPR since its operands aren't trees. Likewise for a SAVE_EXPR that's already been evaluated. */ if (code == RTL_EXPR || (code == SAVE_EXPR && SAVE_EXPR_RTL (t) != 0)) @@ -6063,6 +6073,34 @@ fold (tree expr) TREE_OPERAND (arg0, 0), build_real (type, c1))); } + /* Convert a + (b*c + d*e) into (a + b*c) + d*e */ + if (flag_unsafe_math_optimizations + && TREE_CODE (arg1) == PLUS_EXPR + && TREE_CODE (arg0) != MULT_EXPR) + { + tree tree10 = TREE_OPERAND (arg1, 0); + tree tree11 = TREE_OPERAND (arg1, 1); + if (TREE_CODE (tree11) == MULT_EXPR) + { + tree tree0; + tree0 = fold (build (PLUS_EXPR, type, arg0, tree10)); + return fold (build (PLUS_EXPR, type, tree0, tree11)); + } + } + /* Convert (b*c + d*e) + a into b*c + (d*e +a) */ + if (flag_unsafe_math_optimizations + && TREE_CODE (arg0) == PLUS_EXPR + && TREE_CODE (arg1) != MULT_EXPR) + { + tree tree00 = TREE_OPERAND (arg0, 0); + tree tree01 = TREE_OPERAND (arg0, 1); + if (TREE_CODE (tree01) == MULT_EXPR) + { + tree tree0; + tree0 = fold (build (PLUS_EXPR, type, tree01, arg1)); + return fold (build (PLUS_EXPR, type, tree00, tree0)); + } + } } bit_rotate: |