From 6ec3a53d3cd1666696430d25e1d0c746f3c7dde8 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 17 Sep 2004 22:02:35 +0000
Subject: C compiler

---
 examples/gfcc/ImperJVM.gf | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 examples/gfcc/ImperJVM.gf

(limited to 'examples/gfcc/ImperJVM.gf')

diff --git a/examples/gfcc/ImperJVM.gf b/examples/gfcc/ImperJVM.gf
new file mode 100644
index 000000000..10457fbfe
--- /dev/null
+++ b/examples/gfcc/ImperJVM.gf
@@ -0,0 +1,30 @@
+--# -path=.:../prelude
+
+concrete ImperJVM of Imper = open Prelude, Precedence, ResImper in {
+
+flags lexer=codevars ; unlexer=code ; startcat=Stm ;
+  lincat
+    Stm = SS ;
+    Typ = SS ;
+    Exp = SS ;
+    Var = SS ;
+
+  lin
+    Decl  typ cont = ss [] ; ----
+    Assign t x exp = statement (exp.s ++ t.s ++ "_store" ++ x.s) ;
+    Return t exp   = statement (exp.s ++ t.s ++ "_return") ;
+    While exp loop = statement ("TEST:" ++ exp.s ++ "ifzero_goto" ++
+    "END" ++ ";" ++ loop.s ++ "END") ;
+    Block stm      = stm ;
+    Next stm cont  = ss (stm.s ++ cont.s) ;      
+
+    EVar  t x  = statement (t.s ++ "_load" ++ x.s) ;
+    EInt    n  = statement ("i_push" ++ n.s) ;
+    EFloat a b = statement ("f_push" ++ a.s ++ "." ++ b.s) ;
+    EAddI  x y = statement (x.s ++ y.s ++ "iadd") ;
+    EAddF  x y = statement (x.s ++ y.s ++ "fadd") ;
+
+    TInt       = ss "i" ;
+    TFloat     = ss "f" ;
+
+}
-- 
cgit v1.2.3