diff options
| -rw-r--r-- | kernel/nativevalues.ml | 18 | ||||
| -rw-r--r-- | kernel/nativevalues.mli | 12 |
2 files changed, 15 insertions, 15 deletions
diff --git a/kernel/nativevalues.ml b/kernel/nativevalues.ml index ab56c4be0..043f06e26 100644 --- a/kernel/nativevalues.ml +++ b/kernel/nativevalues.ml @@ -380,24 +380,24 @@ let subc accu x y = if is_int x && is_int y then no_check_subc x y else accu x y -let no_check_addCarryC x y = +let no_check_addcarryc x y = let s = Uint31.add (Uint31.add (to_uint x) (to_uint y)) (Uint31.of_int 1) in mkCarry (Uint31.le s (to_uint x)) s -let addCarryC accu x y = - if is_int x && is_int y then no_check_addCarryC x y +let addcarryc accu x y = + if is_int x && is_int y then no_check_addcarryc x y else accu x y -let no_check_subCarryC x y = +let no_check_subcarryc x y = let s = Uint31.sub (Uint31.sub (to_uint x) (to_uint y)) (Uint31.of_int 1) in mkCarry (Uint31.le (to_uint x) (to_uint y)) s -let subCarryC accu x y = - if is_int x && is_int y then no_check_subCarryC x y +let subcarryc accu x y = + if is_int x && is_int y then no_check_subcarryc x y else accu x y let of_pair (x, y) = @@ -426,15 +426,15 @@ let div21 accu x y z = if is_int x && is_int y && is_int z then no_check_div21 x y z else accu x y z -let no_check_addMulDiv x y z = +let no_check_addmuldiv x y z = let p, i, j = to_uint x, to_uint y, to_uint z in let p' = Uint31.to_int p in of_uint (Uint31.l_or (Uint31.l_sl i p) (Uint31.l_sr j (Uint31.of_int (31 - p')))) -let addMulDiv accu x y z = - if is_int x && is_int y && is_int z then no_check_addMulDiv x y z +let addmuldiv accu x y z = + if is_int x && is_int y && is_int z then no_check_addmuldiv x y z else accu x y z diff --git a/kernel/nativevalues.mli b/kernel/nativevalues.mli index 9b0ce8e82..4fbf493cc 100644 --- a/kernel/nativevalues.mli +++ b/kernel/nativevalues.mli @@ -135,14 +135,14 @@ val l_or : t -> t -> t -> t val addc : t -> t -> t -> t val subc : t -> t -> t -> t -val addCarryC : t -> t -> t -> t -val subCarryC : t -> t -> t -> t +val addcarryc : t -> t -> t -> t +val subcarryc : t -> t -> t -> t val mulc : t -> t -> t -> t val diveucl : t -> t -> t -> t val div21 : t -> t -> t -> t -> t -val addMulDiv : t -> t -> t -> t -> t +val addmuldiv : t -> t -> t -> t -> t val eq : t -> t -> t -> t val lt : t -> t -> t -> t @@ -167,14 +167,14 @@ val no_check_l_or : t -> t -> t val no_check_addc : t -> t -> t val no_check_subc : t -> t -> t -val no_check_addCarryC : t -> t -> t -val no_check_subCarryC : t -> t -> t +val no_check_addcarryc : t -> t -> t +val no_check_subcarryc : t -> t -> t val no_check_mulc : t -> t -> t val no_check_diveucl : t -> t -> t val no_check_div21 : t -> t -> t -> t -val no_check_addMulDiv : t -> t -> t -> t +val no_check_addmuldiv : t -> t -> t -> t val no_check_eq : t -> t -> t val no_check_lt : t -> t -> t |