Changeset 1568 for Deliverables/D2.2/8051/src/common/intValue.ml
 Timestamp:
 Nov 25, 2011, 7:43:39 PM (10 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D2.2/8051/src/common/intValue.ml
r818 r1568 66 66 val logxor : t > t > t 67 67 val shl : t > t > t 68 val rotl : t > t 68 69 val shr : t > t > t 69 70 val shrl : t > t > t … … 176 177 let pow = power_int_positive_big_int 2 (cast b) in 177 178 cast (mult_big_int a pow) 179 180 let rotl a = 181 if ge_big_int a half_bound then 182 cast (add_big_int (mult_big_int a two) one) 183 else 184 cast (mult_big_int a two) 178 185 179 186 let shr a b =
Note: See TracChangeset
for help on using the changeset viewer.