Ignore:
Timestamp:
Dec 2, 2011, 3:13:04 PM (8 years ago)
Author:
tranquil
Message:
  • new form of translation written in graphUtilites (mainly as a test before implementation in Matita)
  • rewritten multiplication in RTLasbToRTL
File:
1 edited

Legend:

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

    r1580 r1584  
    333333      (* in the above case if carry is set add unsets it, that's why we must
    334334         make sure it's unset *)
     335
    335336    | Some 255, _, Some 1, I8051.Addc
    336337    | Some 255, _, _, I8051.And ->
     
    341342    | _, Some 255, _, I8051.And ->
    342343      St_move (i, a, l)
     344    | _, _, Some 0, I8051.Addc ->
     345      (* does not change time, but maybe helps getting better results
     346         with liveness analysis *)
     347      St_op2 (I8051.Add, i, arg_from_arg prop a, arg_from_arg prop b, l)
    343348    | _ ->
    344349      St_op2 (op, i, arg_from_arg prop a, arg_from_arg prop b, l)
Note: See TracChangeset for help on using the changeset viewer.