diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2005-01-07 10:08:10 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2005-01-07 10:08:10 +0100 |
| commit | 2a0958c5f6dcc88ec21418f65ff0a75e50c592ef (patch) | |
| tree | 63fa10dd04b8390aaf8f713cf0d4f78f5b708e64 | |
| parent | ebc0c8bbfccfc08835e7268ba4e9f5a1cecc3844 (diff) | |
| download | gcc-2a0958c5f6dcc88ec21418f65ff0a75e50c592ef.zip gcc-2a0958c5f6dcc88ec21418f65ff0a75e50c592ef.tar.gz gcc-2a0958c5f6dcc88ec21418f65ff0a75e50c592ef.tar.bz2 | |
re PR tree-optimization/19283 (Bad code generated in final_cleanup)
PR tree-optimization/19283
* fold-const.c (fold_widened_comparison): Return NULL if shorter_type
is not shorter than the original type.
* gcc.c-torture/execute/20050106-1.c: New test.
From-SVN: r93043
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/fold-const.c | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20050106-1.c | 19 |
4 files changed, 30 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6d610b4..7b8fca5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2005-01-07 Jakub Jelinek <jakub@redhat.com> + PR tree-optimization/19283 + * fold-const.c (fold_widened_comparison): Return NULL if shorter_type + is not shorter than the original type. + PR rtl-optimization/19012 * config/i386/i386.md (addqi_1_slp): Set memory attribute. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index a3d1f1d..21ee14c 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -5993,7 +5993,10 @@ fold_widened_comparison (enum tree_code code, tree type, tree arg0, tree arg1) if (arg0_unw == arg0) return NULL_TREE; shorter_type = TREE_TYPE (arg0_unw); - + + if (TYPE_PRECISION (TREE_TYPE (arg0)) <= TYPE_PRECISION (shorter_type)) + return NULL_TREE; + arg1_unw = get_unwidened (arg1, shorter_type); if (!arg1_unw) return NULL_TREE; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fdfd601..321a27a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2005-01-07 Jakub Jelinek <jakub@redhat.com> + PR tree-optimization/19283 + * gcc.c-torture/execute/20050106-1.c: New test. + PR rtl-optimization/18861 * gcc.dg/20050105-1.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/20050106-1.c b/gcc/testsuite/gcc.c-torture/execute/20050106-1.c new file mode 100644 index 0000000..e49732d --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20050106-1.c @@ -0,0 +1,19 @@ +/* PR tree-optimization/19283 */ + +void abort (void); + +static inline unsigned short +foo (unsigned int *p) +{ + return *p; +}; + +unsigned int u; + +int +main () +{ + if ((foo (&u) & 0x8000) != 0) + abort (); + return 0; +} |