diff options
| author | aarne <unknown> | 2004-09-25 08:24:11 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-25 08:24:11 +0000 |
| commit | 5a208ce3ea26726d15e814c0498680597cca45fa (patch) | |
| tree | 89ca12f9b6f9fe16cf4bcd6d165e13f3021ce619 /examples/gfcc/ImperJVM.gf | |
| parent | ff2a2895c08b667894b565c8d39f0bf63d85492a (diff) | |
compiler works on abs and fibonacci
Diffstat (limited to 'examples/gfcc/ImperJVM.gf')
| -rw-r--r-- | examples/gfcc/ImperJVM.gf | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/examples/gfcc/ImperJVM.gf b/examples/gfcc/ImperJVM.gf index 6d9dcdb39..007f8cd6f 100644 --- a/examples/gfcc/ImperJVM.gf +++ b/examples/gfcc/ImperJVM.gf @@ -36,13 +36,7 @@ flags lexer=codevars ; unlexer=code ; startcat=Stm ; Decl typ cont = instrb typ.s ( ["alloc"] ++ typ.s ++ cont.$0 ) cont ; - Assign t x exp = instrc ( - exp.s ++ - t.s ++ "_store" ++ x.s - ) ; - Return t exp = instr ( - exp.s ++ - t.s ++ "_return") ; + Assign t x exp = instrc (exp.s ++ t.s ++ "_store" ++ x.s) ; While exp loop = let test = "TEST_" ++ loop.s2 ; @@ -69,14 +63,17 @@ flags lexer=codevars ; unlexer=code ; startcat=Stm ; "label" ++ true ) ; Block stm = instrc stm.s ; + Printf t e = instrc (e.s ++ "invokestatic" ++ t.s ++ "runtime/printf" ++ paren (t.s) ++ "v") ; + Return t exp = instr (exp.s ++ t.s ++ "_return") ; + Returnv = instr "return" ; End = ss [] ** {s2,s3 = []} ; EVar t x = instr (t.s ++ "_load" ++ x.s) ; EInt n = instr ("ldc" ++ n.s) ; EFloat a b = instr ("ldc" ++ a.s ++ "." ++ b.s) ; - EAdd = binopt "add" ; - ESub = binopt "sub" ; - EMul = binopt "mul" ; + EAdd = binopt "_add" ; + ESub = binopt "_sub" ; + EMul = binopt "_mul" ; ELt t = binop ("invokestatic" ++ t.s ++ "runtime/lt" ++ paren (t.s ++ t.s) ++ "i") ; EApp args val f exps = instr ( exps.s ++ |