From 6d0d29cae64051e61393be8f1ad1187e218cad40 Mon Sep 17 00:00:00 2001
From: Andrea Corallo <andrea_corallo@yahoo.it>
Date: Thu, 11 Jul 2019 22:10:21 +0200
Subject: [PATCH] call ref works

---
 src/comp.c             | 34 ++++++++++++++++++++++++++++++++--
 test/src/comp-tests.el |  2 +-
 2 files changed, 33 insertions(+), 3 deletions(-)

diff --git a/src/comp.c b/src/comp.c
index fe868def11d..1d6eaf6648e 100644
--- a/src/comp.c
+++ b/src/comp.c
@@ -43,6 +43,8 @@ along with GNU Emacs.  If not, see <https://www.gnu.org/licenses/>.  */
   XCAR (XCDR (x))
 #define THIRD(x)				\
   XCAR (XCDR (XCDR (x)))
+#define FORTH(x)				\
+  XCAR (XCDR (XCDR (XCDR (x))))
 
 #define FUNCALL1(fun, arg)			\
   CALLN (Ffuncall, intern (STR(fun)), arg)
@@ -994,7 +996,7 @@ emit_limple_inst (Lisp_Object inst)
       */
       EMACS_UINT slot_n = XFIXNUM (FUNCALL1 (comp-mvar-slot, arg0));
       Lisp_Object arg1 = THIRD (inst);
-      eassert (FIRST (arg1) == Qcall);
+
       if (FIRST (arg1) == Qcall)
 	{
 	  char *calle = (char *) SDATA (SYMBOL_NAME (SECOND (arg1)));
@@ -1013,8 +1015,28 @@ emit_limple_inst (Lisp_Object inst)
 					comp.frame[slot_n],
 					res);
 	}
+      else if ((FIRST (arg1) == Qcallref))
+	{
+	  /* Ex: (=call #s(comp-mvar 10 1 nil nil nil) (callref Fplus 2 0)).  */
+	  char *calle = (char *) SDATA (SYMBOL_NAME (SECOND (arg1)));
+	  EMACS_UINT nargs = XFIXNUM (THIRD (arg1));
+	  EMACS_UINT base_ptr = XFIXNUM (FORTH (arg1));
+	  gcc_jit_rvalue *gcc_args[2] =
+	    { gcc_jit_context_new_rvalue_from_int (comp.ctxt,
+						   comp.ptrdiff_type,
+						   nargs),
+	      gcc_jit_lvalue_get_address (
+		comp.frame[base_ptr],
+		NULL) };
+	  gcc_jit_rvalue *res =
+	    emit_call (calle, comp.lisp_obj_type, 2, gcc_args);
+	  gcc_jit_block_add_assignment (comp.block,
+					NULL,
+					comp.frame[slot_n],
+					res);
+	}
       else
-	eassert (false);
+	error ("LIMPLE inconsistent arg1 for op =call");
     }
   else if (EQ (op, Qpar_ass))
     {
@@ -1031,6 +1053,13 @@ emit_limple_inst (Lisp_Object inst)
     }
   else if (EQ (op, Qconst_ass))
     {
+      /* EX: (=const #s(comp-mvar 9 1 t 3 nil) 3).  */
+      Lisp_Object arg1 = THIRD (inst);
+      EMACS_UINT slot_n = XFIXNUM (FUNCALL1 (comp-mvar-slot, arg0));
+      gcc_jit_block_add_assignment (comp.block,
+				    NULL,
+				    comp.frame[slot_n],
+				    emit_lisp_obj_from_ptr (arg1));
     }
   else if (EQ (op, Qcomment))
     {
@@ -2023,6 +2052,7 @@ syms_of_comp (void)
   DEFSYM (Qblock, "block");
   DEFSYM (Qjump, "jump");
   DEFSYM (Qcall, "call");
+  DEFSYM (Qcallref, "callref");
   DEFSYM (Qncall, "ncall");
   DEFSYM (Qpar_ass, "=par");
   DEFSYM (Qcall_ass, "=call");
diff --git a/test/src/comp-tests.el b/test/src/comp-tests.el
index 1d00dea2195..a8445c79c8f 100644
--- a/test/src/comp-tests.el
+++ b/test/src/comp-tests.el
@@ -64,7 +64,7 @@
   (native-compile #'comp-tests-car-safe-f)
   (native-compile #'comp-tests-cdr-safe-f)
 
-  ;; (should (equal (comp-tests-list-f) '(1 2 3)))
+  (should (equal (comp-tests-list-f) '(1 2 3)))
   (should (= (comp-tests-car-f '(1 . 2)) 1))
   (should (null (comp-tests-car-f nil)))
   (should (= (condition-case err
-- 
2.39.5