From 42eb30b557a129514aa76470115ea8bb1e35f027 Mon Sep 17 00:00:00 2001 From: Zack Weinberg Date: Thu, 17 Jun 2004 17:03:11 +0000 Subject: [PATCH] expmed.c (expand_mult_const): In sanity check... * expmed.c (expand_mult_const): In sanity check, compare only the bits of val and val_so_far that are significant in the result mode. From-SVN: r83294 --- gcc/ChangeLog | 8 +++++++- gcc/expmed.c | 4 ++++ 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 551a2ec8792..5a1a3c205a0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-06-17 Zack Weinberg + + * expmed.c (expand_mult_const): In sanity check, compare only + the bits of val and val_so_far that are significant in the + result mode. + 2004-06-17 Daniel Berlin * tree-ssa-pre.c: Update comments. @@ -198,7 +204,7 @@ 2004-06-16 Daniel Berlin * tree-cfg.c (pass_split_crit_edge): Give it a name and a dump file. - + 2004-06-16 Dale Johannesen * loop.c (loop_givs_reduce): Avoid miscompilation of diff --git a/gcc/expmed.c b/gcc/expmed.c index fb590cdf673..ae76695a133 100644 --- a/gcc/expmed.c +++ b/gcc/expmed.c @@ -2610,6 +2610,10 @@ expand_mult_const (enum machine_mode mode, rtx op0, HOST_WIDE_INT val, accum = force_operand (gen_rtx_PLUS (mode, accum, op0), target); } + /* Compare only the bits of val and val_so_far that are significant + in the result mode, to avoid sign-/zero-extension confusion. */ + val &= GET_MODE_MASK (mode); + val_so_far &= GET_MODE_MASK (mode); if (val != val_so_far) abort (); -- 2.30.2