Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/common/value.mli

    r486 r619  
    6464  val undef     : t
    6565
    66   (** [cast8unsigned v] returns undefined for non-integer values. For integer
    67       values, it supposes that the value is a 8 bit unsigned integer. It will
    68       return the integer value that represents the same quantity, but using
    69       every bits. The other cast operations behave the same way. *)
     66
     67  (** Sign or 0 extensions from various bounded integers. *)
    7068  val cast8unsigned  : t -> t
    7169  val cast8signed    : t -> t   
     
    9694  val add_and_of : t -> t -> (t * t)
    9795  val add        : t -> t -> t
    98   (** [add_of v1 v2] returns the 1 value if the sum of [v1] and [v2]
    99       overflows, and 0 otherwise. *)
     96  (** [add_of v1 v2] returns the [1] value if the sum of [v1] and [v2]
     97      overflows, and [0] otherwise. *)
    10098  val add_of     : t -> t -> t
    10199  (** [sub_and_of v1 v2] returns the substraction of [v1] and [v2], and whether
    102       this substraction overflows. *)
    103   val sub_and_of : t -> t -> (t * t)
     100      this substraction underflows. *)
     101  val sub_and_uf : t -> t -> (t * t)
    104102  val sub        : t -> t -> t
    105   (** [sub_of v1 v2] returns the 1 value if the substraction of [v1] and [v2]
    106       overflows, and 0 otherwise. *)
    107   val sub_of     : t -> t -> t
     103  (** [sub_of v1 v2] returns the [1] value if the substraction of [v1] and [v2]
     104      underflows, and [0] otherwise. *)
     105  val sub_uf     : t -> t -> t
    108106  val mul        : t -> t -> t
    109107  val div        : t -> t -> t
    110108  val divu       : t -> t -> t
    111109  val modulo     : t -> t -> t
    112   val modu       : t -> t -> t
     110  val modulou    : t -> t -> t
    113111  val and_op     : t -> t -> t
    114112  val or_op      : t -> t -> t
Note: See TracChangeset for help on using the changeset viewer.