diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2014-04-09 12:22:03 -0400 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2014-04-09 12:22:30 -0400 |
commit | d6f0694465ba46e07d895124e6ecb676e23ee8e8 (patch) | |
tree | e7dc85c34f962ef68be2b96ed5aba2c09e5774f7 /kernel/nativevalues.ml | |
parent | d481fb0ee62e1e09f2149a853da6f5d5498e47fb (diff) |
Fix name of some Int31 operations in native compiler.
Diffstat (limited to 'kernel/nativevalues.ml')
-rw-r--r-- | kernel/nativevalues.ml | 18 |
1 files changed, 9 insertions, 9 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 |