Changeset 5236

Timestamp:

Sep 21, 2006, 3:01:27 AM (18 years ago)

Author:

Gary Byers

Message:

sign/zero-extend ffcall, syscall return values. (Probably only matters
in a few cases, like the Darwin x86-64 version of #_nanosleep, which
returns a non-sign-extended "int" value if the sleep is interruted.)

File:

• trunk/ccl/compiler/X86/x862.lisp (modified) (2 diffs)

trunk/ccl/compiler/X86/x862.lisp

@@ -7935 +7935 @@
                  (<- ($ x8664::arg_z))))
               (t
+               (case resultspec
+                 (:signed-byte (! sign-extend-s8 x8664::imm0 x8664::imm0))
+                 (:signed-halfword (! sign-extend-s16 x8664::imm0 x8664::imm0))
+                 (:signed-fullword (! sign-extend-s32 x8664::imm0 x8664::imm0))
+                 (:unsigned-byte (! zero-extend-u8 x8664::imm0 x8664::imm0))
+                 (:unsigned-halfword (! zero-extend-u16 x8664::imm0 x8664::imm0))
+                 (:unsigned-fullword (! zero-extend-u32 x8664::imm0 x8664::imm0)))               
                (<- (make-wired-lreg x8664::imm0
                                     :mode
@@ -8083 +8090 @@
                  (<- ($  x8664::rax :class :gpr :mode :s64))))
               (t
+               (case resultspec
+                 (:signed-byte (! sign-extend-s8 x8664::imm0 x8664::imm0))
+                 (:signed-halfword (! sign-extend-s16 x8664::imm0 x8664::imm0))
+                 (:signed-fullword (! sign-extend-s32 x8664::imm0 x8664::imm0))
+                 (:unsigned-byte (! zero-extend-u8 x8664::imm0 x8664::imm0))
+                 (:unsigned-halfword (! zero-extend-u16 x8664::imm0 x8664::imm0))
+                 (:unsigned-fullword (! zero-extend-u32 x8664::imm0 x8664::imm0)))
                (<- (make-wired-lreg x8664::imm0
                                     :mode