[Sbcl-commits] CVS: sbcl/src/compiler/x86 insts.lisp,1.27,1.28

[Christophe R. <cr...@us...>]

Update of /cvsroot/sbcl/sbcl/src/compiler/x86
In directory sc8-pr-cvs1:/tmp/cvs-serv18849/src/compiler/x86

Modified Files:
	insts.lisp 
Log Message:
0.8.3.52:
	Fix treatment of effective addresses for arithmetic
	... somewhat similar to the PPC problems, ironically.  We want 
		to be able to pun signed constants as unsigned 
		constants, which we could do were it not for those
		pesky type declarations...
	... so relax the type declarations sufficiently to allow
		it to work.


Index: insts.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/x86/insts.lisp,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -d -r1.27 -r1.28
--- insts.lisp	4 Sep 2003 15:05:34 -0000	1.27
+++ insts.lisp	11 Sep 2003 12:38:38 -0000	1.28
@@ -666,7 +666,7 @@
   (base nil :type (or tn null))
   (index nil :type (or tn null))
   (scale 1 :type (member 1 2 4 8))
-  (disp 0 :type (or (signed-byte 32) fixup)))
+  (disp 0 :type (or (unsigned-byte 32) (signed-byte 32) fixup)))
 (def!method print-object ((ea ea) stream)
   (cond ((or *print-escape* *print-readably*)
 	 (print-unreadable-object (ea stream :type t)