Ignore:
Timestamp:
Nov 28, 2011, 3:13:14 PM (8 years ago)
Author:
tranquil
Message:
  • corrected previous bug
  • finished propagating immediates
File:
1 edited

Legend:

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

    r1568 r1572  
    5050     statement. *)
    5151  | St_opaccs of I8051.opaccs * Register.t * Register.t *
    52                                 Register.t * Register.t * Label.t
     52                                argument * argument * Label.t
    5353
    5454  (* Apply an unary operation. Parameters are the operation, the destination
     
    5858  (* Apply a binary operation. Parameters are the operation, the destination
    5959     register, the source arguments, and the label of the next statement. *)
    60   | St_op2 of I8051.op2 * Register.t * Register.t * argument * Label.t
     60  | St_op2 of I8051.op2 * Register.t * argument * argument * Label.t
    6161
    6262  (* Set the carry flag to zero. Parameter is the label of the next
     
    7070     address registers (low bytes first), and the label of the next
    7171     statement. *)
    72   | St_load of Register.t * Register.t * Register.t * Label.t
     72  | St_load of Register.t * argument * argument * Label.t
    7373
    7474  (* Store to external memory. Parameters are the address registers (low bytes
    7575     first), the source register, and the label of the next statement. *)
    76   | St_store of Register.t * Register.t * Register.t * Label.t
     76  | St_store of argument * argument * argument * Label.t
    7777
    7878  (* Call to a function given its name. Parameters are the name of the function,
    7979     the arguments of the function, the destination registers, and the label of
    8080     the next statement. *)
    81   | St_call_id of AST.ident * Register.t list * registers * Label.t
     81  | St_call_id of AST.ident * argument list * registers * Label.t
    8282
    8383  (* Call to a function given its address. Parameters are the registers holding
     
    8585     function, the destination registers, and the label of the next
    8686     statement. *)
    87   | St_call_ptr of Register.t * Register.t * Register.t list * registers *
     87  | St_call_ptr of Register.t * Register.t * argument list * registers *
    8888      Label.t
    8989
    9090  (* Tail call to a function given its name. Parameters are the name of the
    9191     function, and the arguments of the function. *)
    92   | St_tailcall_id of AST.ident * Register.t list
     92  | St_tailcall_id of AST.ident * argument list
    9393
    9494  (* Tail call to a function given its address. Parameters are the registers
    9595     holding the address of the function (low bytes first), and the arguments of
    9696     the function. *)
    97   | St_tailcall_ptr of Register.t * Register.t * Register.t list
     97  | St_tailcall_ptr of Register.t * Register.t * argument list
    9898
    9999  (* Branch. Parameters are the register holding the value for the branching,
     
    103103
    104104  (* Return the value of some registers (low bytes first). *)
    105   | St_return of registers
     105  | St_return of argument list
    106106
    107107
Note: See TracChangeset for help on using the changeset viewer.