[Guile-commits] branch wip-tailify updated: Fix arg representations for 'restore and 'restore1 primcalls

[Andy Wingo]

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

wingo pushed a commit to branch wip-tailify
in repository guile.

The following commit(s) were added to refs/heads/wip-tailify by this push:
     new 518060b6e Fix arg representations for 'restore and 'restore1 primcalls
518060b6e is described below

commit 518060b6effc7756f9681faa3fd657ec6e6033fc
Author: Andy Wingo <wingo@pobox.com>
AuthorDate: Wed Mar 29 16:33:50 2023 +0200

    Fix arg representations for 'restore and 'restore1 primcalls
---
 module/language/cps/utils.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/module/language/cps/utils.scm b/module/language/cps/utils.scm
index f628a4d5a..cc2130e05 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
@@ -419,6 +419,8 @@ by a label, respectively."
              (($ $primcall (or 'pointer-ref/immediate
                                'tail-pointer-ref/immediate))
               (intmap-add representations var 'ptr))
+             (($ $primcall 'restore1 repr ())
+              (intmap-add representations var repr))
              (($ $code)
               (intmap-add representations var 'u64))
              (_
@@ -430,6 +432,10 @@ by a label, respectively."
                       (intmap-add representations var
                                   (intmap-ref representations arg)))
                     representations args vars))
+             (($ $primcall 'restore reprs ())
+              (fold (lambda (var repr representations)
+                      (intmap-add representations var repr))
+                    representations vars reprs))
              (($ $callk)
               (fold1 (lambda (var representations)
                       (intmap-add representations var 'scm))