Ignore:
Timestamp:
Nov 25, 2011, 7:43:39 PM (8 years ago)
Author:
tranquil
Message:
  • Immediates introduced (but not fully used yet in RTLabs to RTL pass)
  • translation streamlined
  • BUGGY: interpretation fails in LTL, trying to fetch a function with incorrect address
File:
1 edited

Legend:

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

    r1542 r1568  
    11
    22(** This module defines the abstract syntax tree of [LIN]. *)
     3
     4type argument = LTL.argument
    35
    46(** Compared to LTL where functions were graphs, the functions of a LIN program
     
    5557  (* Apply a binary operation on the A accumulator. Parameters are the
    5658     operation, and the other source register. *)
    57   | St_op2 of I8051.op2 * I8051.register
     59  | St_op2 of I8051.op2 * argument
    5860
    5961  (* Set the carry flag to zero. *)
Note: See TracChangeset for help on using the changeset viewer.