Ignore:
Timestamp:
Dec 5, 2012, 6:57:16 PM (7 years ago)
Author:
tranquil
Message:

added FCOND in LIN, and rewritten linearise so that it never adds a GOTO after a COND (writes in FCOND instead)
LIN to ASM is broken atm

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/TranslateUtils.ma

    r2443 r2532  
    270270    | final inst ⇒
    271271      b_adds_graph … fresh_reg (inr … (trans_fin_step lbl inst)) lbl it def
     272    | FCOND abs _ _ _ ⇒ Ⓧabs
    272273    ] in
    273274  foldi … f (joint_if_code … def) empty.
     
    297298    | final inst ⇒
    298299      adds_graph … (inr … (trans_fin_step lbl inst)) lbl it def
     300    | FCOND abs _ _ _ ⇒ Ⓧabs
    299301    ] in
    300302  foldi … f (joint_if_code … def) empty.
Note: See TracChangeset for help on using the changeset viewer.