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

    r1568 r1572  
    6161     register, the signature of the function and the label of the next
    6262     statement. *)
    63   | St_call_id of AST.ident * Register.t list * Register.t option *
     63  | St_call_id of AST.ident * argument list * Register.t option *
    6464                  AST.signature * Label.t
    6565
     
    7171     differenciate the two to allow translation to a formalism with no
    7272     function pointer. *)
    73   | St_call_ptr of Register.t * Register.t list * Register.t option *
     73  | St_call_ptr of Register.t * argument list * Register.t option *
    7474                   AST.signature * Label.t
    7575
     
    7777     function, the arguments of the function, the signature of the function and
    7878     the label of the next statement. *)
    79   | St_tailcall_id of AST.ident * Register.t list * AST.signature
     79  | St_tailcall_id of AST.ident * argument list * AST.signature
    8080
    8181  (* Tail call to a function given its address. Parameters are a register
     
    8383     signature of the function and the label of the next statement. Same remark
    8484     as for the [St_call_ptr]. *)
    85   | St_tailcall_ptr of Register.t * Register.t list * AST.signature
     85  | St_tailcall_ptr of Register.t * argument list * AST.signature
    8686
    8787  (* Branch. Parameters are the register holding the value to branch on, the
     
    9696
    9797  (* Return statement. *)
    98   | St_return of Register.t option
     98  | St_return of argument option
    9999
    100100
Note: See TracChangeset for help on using the changeset viewer.