[Guile-commits] 09/25: Mark word-ref and word-ref/immediate as producing U64 values

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 06cf66d6cc56572902b5e70d3c7daff76606d550
Author: Andy Wingo <address@hidden>
Date:   Sun Jan 7 15:53:59 2018 +0100

    Mark word-ref and word-ref/immediate as producing U64 values
    
    * module/language/cps/slot-allocation.scm (compute-var-representations):
      Mark word-ref and word-ref/immediate as producing U64 values.
---
 module/language/cps/slot-allocation.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/module/language/cps/slot-allocation.scm 
b/module/language/cps/slot-allocation.scm
index b3bf19e..48d9877 100644
--- a/module/language/cps/slot-allocation.scm
+++ b/module/language/cps/slot-allocation.scm
@@ -757,7 +757,8 @@ are comparable with eqv?.  A tmp slot may be used."
                                'ulogand 'ulogior 'ulogxor 'ulogsub 'ursh 'ulsh
                                'uadd/immediate 'usub/immediate 'umul/immediate
                                'ursh/immediate 'ulsh/immediate
-                               'bv-u8-ref 'bv-u16-ref 'bv-u32-ref 'bv-u64-ref))
+                               'bv-u8-ref 'bv-u16-ref 'bv-u32-ref 'bv-u64-ref
+                               'word-ref 'word-ref/immediate))
               (intmap-add representations var 'u64))
              (($ $primcall (or 'untag-fixnum
                                'scm->s64 'load-s64 'u64->s64