diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2014-04-29 16:44:07 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2014-04-29 16:44:07 +0200 |
| commit | 62fb101e69b1b1c99e3bf4951616eb3ce3015006 (patch) | |
| tree | 09f0906e732040a14e4c16680206a15c68ca8130 /gcc/tree-tailcall.c | |
| parent | d77f7b19b7f15ac0fec0823e7cc507f39ab36c30 (diff) | |
| download | gcc-62fb101e69b1b1c99e3bf4951616eb3ce3015006.zip gcc-62fb101e69b1b1c99e3bf4951616eb3ce3015006.tar.gz gcc-62fb101e69b1b1c99e3bf4951616eb3ce3015006.tar.bz2 | |
re PR tree-optimization/60971 (Wrong code when coercing unsigned char to bool)
PR tree-optimization/60971
* tree-tailcall.c (process_assignment): Reject conversions which
reduce precision.
* c-c++-common/turtore/pr60971.c: New test.
From-SVN: r209900
Diffstat (limited to 'gcc/tree-tailcall.c')
| -rw-r--r-- | gcc/tree-tailcall.c | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c index 11a2965..9ad25d8 100644 --- a/gcc/tree-tailcall.c +++ b/gcc/tree-tailcall.c @@ -285,9 +285,19 @@ process_assignment (gimple stmt, gimple_stmt_iterator call, tree *m, { /* Reject a tailcall if the type conversion might need additional code. */ - if (gimple_assign_cast_p (stmt) - && TYPE_MODE (TREE_TYPE (dest)) != TYPE_MODE (TREE_TYPE (src_var))) - return false; + if (gimple_assign_cast_p (stmt)) + { + if (TYPE_MODE (TREE_TYPE (dest)) != TYPE_MODE (TREE_TYPE (src_var))) + return false; + + /* Even if the type modes are the same, if the precision of the + type is smaller than mode's precision, + reduce_to_bit_field_precision would generate additional code. */ + if (INTEGRAL_TYPE_P (TREE_TYPE (dest)) + && (GET_MODE_PRECISION (TYPE_MODE (TREE_TYPE (dest))) + > TYPE_PRECISION (TREE_TYPE (dest)))) + return false; + } if (src_var != *ass_var) return false; |