Changeset 1275 for src/joint


Ignore:
Timestamp:
Sep 26, 2011, 6:07:47 PM (9 years ago)
Author:
sacerdot
Message:

RTL ported to joint syntax, but:

  1. bug discovered: opaccs should have taken four registers
  2. push/pop should not be present in RTL :-(

ERTLToLTL and RTLtoERTL not working ATM

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint.ma

    r1271 r1275  
    3636  | joint_instr_push: acc_a_reg p → joint_instruction p globals
    3737  | joint_instr_address: ∀i: ident. (member i (eq_identifier ?) globals) → dpl_reg p → dph_reg p → joint_instruction p globals
    38   | joint_instr_opaccs: OpAccs → acc_a_reg p → acc_b_reg p → joint_instruction p globals
     38  | joint_instr_opaccs: OpAccs → acc_a_reg p → acc_b_reg p → acc_a_reg p → acc_b_reg p → joint_instruction p globals
    3939  | joint_instr_op1: Op1 → acc_a_reg p → acc_a_reg p → joint_instruction p globals
    4040  | joint_instr_op2: Op2 → acc_a_reg p → acc_a_reg p → generic_reg p → joint_instruction p globals
Note: See TracChangeset for help on using the changeset viewer.