aboutsummaryrefslogtreecommitdiff
path: root/gcc/fold-const.c
diff options
context:
space:
mode:
authorPhilippe De Muyter <phdm@macqel.be>1998-03-19 20:27:18 +0100
committerJeff Law <law@gcc.gnu.org>1998-03-19 12:27:18 -0700
commitba3ad5e002ee9c9523e4b61eb47b1b510d8841ef (patch)
tree55df1c77f881cef2e0f99f7e80beca44da88f6f3 /gcc/fold-const.c
parent6e1f1f930b46d57aaf3fdd3fbbbb5fe68aee4f7d (diff)
downloadgcc-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
Diffstat (limited to 'gcc/fold-const.c')
-rw-r--r--gcc/fold-const.c7
1 files changed, 7 insertions, 0 deletions
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