From: Andrea Corallo <akrl@sdf.org>
Date: Thu, 21 May 2020 16:51:31 +0000 (+0100)
Subject: * src/comp.c: Fix 32bit wide-int.
X-Git-Tag: emacs-28.0.90~2727^2~622
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=0a2ac47909c497d299e5d5cc111cf77206dcda9b;p=emacs.git

* src/comp.c: Fix 32bit wide-int.

	* src/comp.c (emit_XFIXNUM): Make right shift for MSB_TAG
	arithmetic too to preserve sign bit.
---

diff --git a/src/comp.c b/src/comp.c
index 6371757487c..994bd7db934 100644
--- a/src/comp.c
+++ b/src/comp.c
@@ -1066,6 +1066,8 @@ emit_XFIXNUM (gcc_jit_rvalue *obj)
   emit_comment ("XFIXNUM");
   gcc_jit_rvalue *i = emit_coerce (comp.emacs_uint_type, emit_XLI (obj));
 
+  /* FIXME: Implementation dependent (both RSHIFT are arithmetics).  */
+
   if (!USE_LSB_TAG)
     {
       i = emit_binary_op (GCC_JIT_BINARY_OP_LSHIFT,
@@ -1073,14 +1075,12 @@ emit_XFIXNUM (gcc_jit_rvalue *obj)
 			  i,
 			  comp.inttypebits);
 
-      return emit_coerce (comp.emacs_int_type,
-			  emit_binary_op (GCC_JIT_BINARY_OP_RSHIFT,
-					  comp.emacs_uint_type,
-					  i,
-					  comp.inttypebits));
+      return emit_binary_op (GCC_JIT_BINARY_OP_RSHIFT,
+			     comp.emacs_int_type,
+			     i,
+			     comp.inttypebits);
     }
   else
-    /* FIXME: Implementation dependent (wants arithmetic shift).  */
     return emit_coerce (comp.emacs_int_type,
 			emit_binary_op (GCC_JIT_BINARY_OP_RSHIFT,
 					comp.emacs_int_type,