diff options
| author | Philippe De Muyter <phdm@macqel.be> | 1998-03-19 20:27:18 +0100 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 1998-03-19 12:27:18 -0700 |
| commit | ba3ad5e002ee9c9523e4b61eb47b1b510d8841ef (patch) | |
| tree | 55df1c77f881cef2e0f99f7e80beca44da88f6f3 | |
| parent | 6e1f1f930b46d57aaf3fdd3fbbbb5fe68aee4f7d (diff) | |
| download | gcc-ba3ad5e002ee9c9523e4b61eb47b1b510d8841ef.zip gcc-ba3ad5e002ee9c9523e4b61eb47b1b510d8841ef.tar.gz gcc-ba3ad5e002ee9c9523e4b61eb47b1b510d8841ef.tar.bz2 | |
fold-const.c (fold): Replace sign-extension of a zero extended value by a single zero extension.
* fold-const.c (fold): Replace sign-extension of a zero extended
value by a single zero extension.
From-SVN: r18713
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fold-const.c | 7 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 391fd9c..e25b040 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +Thu Mar 19 20:30:31 1998 Philippe De Muyter <phdm@macqel.be> + + * fold-const.c (fold): Replace sign-extension of a zero extended + value by a single zero extension. + Thu Mar 19 00:58:07 1998 Jason Merrill <jason@yorick.cygnus.com> * except.c (init_eh): Do nothing. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 3a24e4c..4fcd744 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -4101,6 +4101,13 @@ fold (expr) && ! final_ptr) return convert (final_type, TREE_OPERAND (TREE_OPERAND (t, 0), 0)); + /* If we have a sign-extension of a zero-extended value, we can + replace that by a single zero-extension. */ + if (inside_int && inter_int && final_int + && inside_prec < inter_prec && inter_prec < final_prec + && inside_unsignedp && !inter_unsignedp) + return convert (final_type, TREE_OPERAND (TREE_OPERAND (t, 0), 0)); + /* Two conversions in a row are not needed unless: - some conversion is floating-point (overstrict for now), or - the intermediate type is narrower than both initial and |