diff options
author | Geert Bosch <bosch@adacore.com> | 2008-11-07 09:39:38 +0000 |
---|---|---|
committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2008-11-07 09:39:38 +0000 |
commit | 2575024c21b803674a4fc18cf312509f97fe5686 (patch) | |
tree | 67d9b54bc13a4235e50c5de54720dd5e4a632978 | |
parent | 4ae393838b9982c154d8aa5cc4176a4392e4d0f3 (diff) | |
download | gcc-2575024c21b803674a4fc18cf312509f97fe5686.zip gcc-2575024c21b803674a4fc18cf312509f97fe5686.tar.gz gcc-2575024c21b803674a4fc18cf312509f97fe5686.tar.bz2 |
trans.c (build_binary_op_trapv): Avoid emitting overflow check for constant result.
* gcc-interface/trans.c (build_binary_op_trapv): Avoid emitting
overflow check for constant result.
From-SVN: r141666
-rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/ada/gcc-interface/trans.c | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f9d8993..68f0623 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 2008-11-07 Geert Bosch <bosch@adacore.com> + * gcc-interface/trans.c (build_binary_op_trapv): Avoid emitting + overflow check for constant result. + +2008-11-07 Geert Bosch <bosch@adacore.com> + * gcc-interface/trans.c (build_binary_op_trapv): Use more efficient overflow check for addition/subtraction if neither operand is constant. diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 5d56ef8..aca7167 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -6146,6 +6146,10 @@ build_binary_op_trapv (enum tree_code code, gnu_expr = build_binary_op (code, gnu_type, lhs, rhs); + /* If we can fold the expression to a constant, just return it. + The caller will deal with overflow, no need to generate a check. */ + if (TREE_CONSTANT (gnu_expr)) return gnu_expr; + check = fold_build3 (COND_EXPR, integer_type_node, rhs_lt_zero, check_neg, check_pos); |