From 5dc3ee5029f6e828b7e77a176a67894e8fa00696 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Thu, 14 Jun 2018 04:49:47 +0100
Subject: Refactor C backend, and split RTS into multiple files

---
 language/bytecode.ott | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'language')

diff --git a/language/bytecode.ott b/language/bytecode.ott
index 704bda83..bcd7b5b0 100644
--- a/language/bytecode.ott
+++ b/language/bytecode.ott
@@ -65,11 +65,11 @@ fragment :: 'F_' ::=
 
 ctyp :: 'CT_' ::=
   {{ com C type }}
-  | mpz_t                   :: :: mpz
+  | mpz_t                   :: :: int
 % Arbitrary precision GMP integer, mpz_t in C. }}
-  | bv_t ( bool )           :: :: bv
+  | bv_t ( bool )           :: :: bits
 % Variable length bitvector - flag represents direction, true - dec or false - inc }}
-  | 'uint64_t' ( nat , bool ) :: :: uint64
+  | 'uint64_t' ( nat , bool ) :: :: bits64
 % Fixed length bitvector that fits within a 64-bit word. - int
 % represents length, and flag is the same as CT_bv. }}
   | 'int64_t'               :: :: int64
-- 
cgit v1.2.3


From 5489108f054fb51aa190e1fda847d8ab59ee915b Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 20 Jun 2018 17:12:04 +0100
Subject: Simplify the ANF->IR translation

Previously the ANF->IR translation cared too much about how things
were allocated in C, so it had to constantly check whether things
needed to be allocated on the stack or heap, and generate different
cequences of IR instructions depending on either. This change removes
the ialloc IR instruction, and changes iinit and idecl so that the
code generator now generates different C for the same IR instructions
based on the variable types involved.

The next change in this vein would be to merge icopy and iconvert at
the IR level so that conversions between uint64_t and large-bitvectors
are inserted by the code generator. This would be good because it
would make the ANF->IR translation more robust to changes in the types
of variables caused by flow-typing, and optimization passes could
convert large bitvectors to uint64_t as local changes.
---
 language/bytecode.ott | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'language')

diff --git a/language/bytecode.ott b/language/bytecode.ott
index bcd7b5b0..895ac34b 100644
--- a/language/bytecode.ott
+++ b/language/bytecode.ott
@@ -122,7 +122,6 @@ iannot :: 'IA_' ::=
 instr :: 'I_' ::=
   {{ aux _ iannot }}
   | ctyp id                                        :: :: decl
-  | alloc ctyp id                                  :: :: alloc
   | ctyp id = cval                                 :: :: init
   | if ( cval ) { instr0 ; ... ; instrn }
     else { instr0 ; ... ; instrm } : ctyp          :: :: if
@@ -150,8 +149,6 @@ cdef :: 'CDEF_' ::=
   | ctype_def          :: :: type
   | let nat ( id0 : ctyp0 , ... , idn : ctypn ) = {
       instr0 ; ... ; instrm
-    } {
-      instr0 ; ... ; instri
     } :: :: let
 % The first list of instructions creates up the global letbinding, the
 % second kills it.
-- 
cgit v1.2.3