Changeset 2844


Ignore:
Timestamp:
Mar 11, 2013, 1:28:10 PM (4 years ago)
Author:
piccolo
Message:

Stupid bug fixed

Files:
2 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTLptrToLTL.ml

    r2827 r2844  
    896896        | Joint.SET_CARRY ->
    897897          Blocks.ensure_step_block (Joint.graph_params_to_params LTL.lTL)
    898             globals (List.Cons (Joint.CLEAR_CARRY, List.Nil))
     898            globals (List.Cons (Joint.SET_CARRY, List.Nil))
    899899        | Joint.LOAD (dstr, addr1, addr2) ->
    900900          Blocks.ensure_step_block (Joint.graph_params_to_params LTL.lTL)
  • src/ERTLptr/ERTLptrToLTL.ma

    r2824 r2844  
    353353        (lookup_arg addr2)
    354354    | CLEAR_CARRY ⇒ [CLEAR_CARRY ??]
    355     | SET_CARRY ⇒ [CLEAR_CARRY ??]
     355    | SET_CARRY ⇒ [SET_CARRY ??]
    356356    | OP2 op dst arg1 arg2 ⇒
    357357      translate_op2_smart ? localss carry_lives_after op
Note: See TracChangeset for help on using the changeset viewer.