Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (10 years ago)
Author:
ayache
Message:

32 and 16 bits operations support in D2.2/8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/languages.mli

    r740 r818  
    2121(** The types of abstract syntax trees of each language. *)
    2222type ast =
    23   | AstClight of Clight.program
    24   | AstCminor of Cminor.program
    25   | AstRTLabs of RTLabs.program
    26   | AstRTL    of RTL.program
    27   | AstERTL   of ERTL.program
    28   | AstLTL    of LTL.program
    29   | AstLIN    of LIN.program
    30   | AstASM    of ASM.program
     23  | AstClight  of Clight.program
     24  | AstCminor  of Cminor.program
     25  | AstRTLabs  of RTLabs.program
     26  | AstRTL     of RTL.program
     27  | AstERTL    of ERTL.program
     28  | AstLTL     of LTL.program
     29  | AstLIN     of LIN.program
     30  | AstASM     of ASM.program
    3131
    3232(** [language_of_ast ast] returns the programming language of the
     
    4646    output. *)
    4747val compile : bool -> name -> name -> (ast -> ast list)
     48
     49(** [add_runtime ast] adds runtime functions for the operations not supported by
     50    the target processor. *)
     51val add_runtime : ast -> ast
    4852
    4953(** {2 Annotation}
Note: See TracChangeset for help on using the changeset viewer.