Ignore:
Timestamp:
Mar 21, 2013, 8:11:50 PM (6 years ago)
Author:
sacerdot
Message:

New extraction, several bug fixed. RTL_semantics fixed by hand, will be fixed
automatically when Paolo commits.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.ml

    r2921 r2933  
    884884   | List.Cons (destr, x) ->
    885885     (fun _ ->
    886        let l = List.Cons ((Joint.OP1 (BackEndOps.Cmpl, (Obj.magic destr),
    887          (Obj.magic destr))), List.Nil)
     886       let l = List.Cons ((Joint.OP2 (BackEndOps.Xor, (Obj.magic destr),
     887         (Obj.magic (Joint.psd_argument_from_reg destr)),
     888         (Obj.magic
     889           (Joint.psd_argument_from_byte (Joint.byte_of_nat (Nat.S Nat.O)))))),
     890         List.Nil)
    888891       in
    889892       Bind_new.Bret l)) __
Note: See TracChangeset for help on using the changeset viewer.