[Guile-commits] branch main updated: Add representations for new primcalls

[Andy Wingo]

This is an automated email from the git hooks/post-receive script.

wingo pushed a commit to branch main
in repository guile.

The following commit(s) were added to refs/heads/main by this push:
     new 896960dad Add representations for new primcalls
896960dad is described below

commit 896960dadeba7770ebbad97514ec6c4d7f18212d
Author: Andy Wingo <wingo@pobox.com>
AuthorDate: Thu Jun 22 16:19:15 2023 +0200

    Add representations for new primcalls
    
    * module/language/cps/utils.scm (compute-var-representations): Add
    representations for vector-length and so on.
---
 module/language/cps/utils.scm | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/module/language/cps/utils.scm b/module/language/cps/utils.scm
index d3aff7f5a..5fbd9db28 100644
--- a/module/language/cps/utils.scm
+++ b/module/language/cps/utils.scm
@@ -1,6 +1,6 @@
 ;;; Continuation-passing style (CPS) intermediate language (IL)
 
-;; Copyright (C) 2013, 2014, 2015, 2017, 2018, 2019, 2020, 2021 Free Software 
Foundation, Inc.
+;; Copyright (C) 2013, 2014, 2015, 2017, 2018, 2019, 2020, 2021, 2023 Free 
Software Foundation, Inc.
 
 ;;;; This library is free software; you can redistribute it and/or
 ;;;; modify it under the terms of the GNU Lesser General Public
@@ -406,7 +406,9 @@ by a label, respectively."
                                'ursh/immediate 'ulsh/immediate
                                'u8-ref 'u16-ref 'u32-ref 'u64-ref
                                'word-ref 'word-ref/immediate
-                               'untag-char))
+                               'untag-char
+                               'vector-length 'vtable-size 'bv-length
+                               'string-length 'string-ref))
               (intmap-add representations var 'u64))
              (($ $primcall (or 'untag-fixnum
                                'assume-s64
@@ -414,7 +416,8 @@ by a label, respectively."
                                'srsh 'srsh/immediate
                                's8-ref 's16-ref 's32-ref 's64-ref))
               (intmap-add representations var 's64))
-             (($ $primcall (or 'pointer-ref/immediate
+             (($ $primcall (or 'bv-contents
+                               'pointer-ref/immediate
                                'tail-pointer-ref/immediate))
               (intmap-add representations var 'ptr))
              (($ $code)