Ignore:
Timestamp:
Mar 2, 2011, 11:06:58 PM (9 years ago)
Author:
ayache
Message:

Bug fixs and signed division hack in D2.2.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/clight/clightInterpret.ml

    r619 r624  
    296296
    297297let eval_div = function
     298(*
    298299  | ((v1,t1),(v2,t2)) when t1=t2 && is_int_type t1 -> Value.div v1 v2
     300*)
     301  (* TODO: temporary hack! *)
     302  | ((v1,t1),(v2,t2)) when t1=t2 && is_int_type t1 -> Value.divu v1 v2
    299303  | ((v1,t1),(v2,t2)) when t1=t2 && is_float_type t1 ->
    300304      assert false (*Not supported*)
Note: See TracChangeset for help on using the changeset viewer.