From 299908a885d00ec735070a937f9720410fe224a9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 17 Oct 2019 20:07:19 -0400
Subject: Ported JVM pattern-matching & loop generation to the new JVM bytecode
 machinery.

---
 new-luxc/source/luxc/lang/translation/jvm/case.lux | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/jvm/case.lux')

diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.lux b/new-luxc/source/luxc/lang/translation/jvm/case.lux
index 484604323..7ea571450 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/case.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/case.lux
@@ -39,17 +39,23 @@
 (def: peekI
   Inst
   (|>> _.DUP
-       runtime.peekI))
+       (_.int +0)
+       _.AALOAD))
 
 (def: pushI
   Inst
-  (|>> (_.INVOKESTATIC //.$Runtime "pm_push" (type.method [(list runtime.$Stack //.$Value) runtime.$Stack (list)]))))
+  (_.INVOKESTATIC //.$Runtime "pm_push" (type.method [(list runtime.$Stack //.$Value) runtime.$Stack (list)])))
+
+(def: popI
+  (|>> (_.int +1)
+       _.AALOAD
+       (_.CHECKCAST runtime.$Stack)))
 
 (def: (path' phase stack-depth @else @end path)
   (-> Phase Nat Label Label Path (Operation Inst))
   (.case path
     #synthesis.Pop
-    (operation@wrap runtime.popI)
+    (operation@wrap ..popI)
     
     (#synthesis.Bind register)
     (operation@wrap (|>> peekI
-- 
cgit v1.2.3