OSDN Git Service

* expmed.c (expand_mult_const): In sanity check, compare only
authorzack <zack@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 17 Jun 2004 17:03:11 +0000 (17:03 +0000)
committerzack <zack@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 17 Jun 2004 17:03:11 +0000 (17:03 +0000)
the bits of val and val_so_far that are significant in the
result mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@83294 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/expmed.c

index 551a2ec..5a1a3c2 100644 (file)
@@ -1,3 +1,9 @@
+2004-06-17  Zack Weinberg  <zack@codesourcery.com>
+
+       * 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  <dberlin@dberlin.org>
 
        * tree-ssa-pre.c:  Update comments.
 2004-06-16  Daniel Berlin  <dberlin@dberlin.org>
 
        * tree-cfg.c (pass_split_crit_edge): Give it a name and a dump file.
-       
+
 2004-06-16  Dale Johannesen  <dalej@apple.com>
 
        * loop.c (loop_givs_reduce): Avoid miscompilation of
index fb590cd..ae76695 100644 (file)
@@ -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 ();