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/LTL/LTL.mli

    r1542 r1568  
    77    algorithm. Actually, this coloring algorithm relies on the result of a
    88    liveness analysis that will also allow to remove dead code. *)
     9
     10type argument =
     11  | Reg of I8051.register
     12  | Imm of int
    913
    1014type statement =
     
    5862
    5963  (* Apply a binary operation on the A accumulator. Parameters are the
    60      operation, the other source register, and the label of the next
     64     operation, the other argument, and the label of the next
    6165     statement. *)
    62   | St_op2 of I8051.op2 * I8051.register * Label.t
     66  | St_op2 of I8051.op2 * argument * Label.t
    6367
    6468  (* Set the carry flag to zero. Parameter is the label of the next
Note: See TracChangeset for help on using the changeset viewer.