hash are bits operations, they can use int primtives

when using lsr,   `x lsr i` -- it's translated into ` (x >>> i | 0)`
- FIXME: need check associativity -- seems to be wrong
- `| 0` is reduandent since the last operation is `|`

Author: bobzhang

Diff for: jscomp/runtime/bs_stdlib_mini.mli

@@ -29,7 +29,8 @@ external ( lsl ) : int -> int -> int = "%lslint"
 external ( lor ) : int -> int -> int = "%orint"
 external ( land ) : int -> int -> int = "%andint"
 external ( mod ) : int -> int -> int = "%modint"
-
+external ( lsr ) : int -> int -> int = "%lsrint"
+external ( lxor ) : int -> int -> int = "%xorint"
 type 'a ref = { mutable contents : 'a }
 external ref : 'a -> 'a ref = "%makemutable"
 

Diff for: jscomp/runtime/caml_hash_primitive.ml

@@ -24,31 +24,28 @@
 
 
 
-let (<< ) = Caml_nativeint_extern.shift_left
-let (>>>) = Caml_nativeint_extern.shift_right_logical
-let (|~) = Caml_nativeint_extern.logor
-let (^) = Caml_nativeint_extern.logxor
+
 
 
 let rotl32 (x : int) n  = 
-  (x << n) |~ (x >>> (32 - n))
+  (x lsl n) lor (x lsr (32 - n))
 
 external (.![]) : string -> int -> int = "charCodeAt" [@@bs.send]
 let caml_hash_mix_int h  d = 
   let d = ref d in 
   d.contents <- d.contents * 0xcc9e2d51 ;
   d.contents <- rotl32 d.contents 15 ;
   d.contents <- d.contents * 0x1b873593 ;
-  let h = ref (h ^ d.contents) in
+  let h = ref (h lxor d.contents) in
   h.contents <- rotl32 h.contents 13 ;
-  h.contents + (h.contents << 2)  + 0xe6546b64  
+  h.contents + (h.contents lsl 2)  + 0xe6546b64  
 
 let caml_hash_final_mix h = 
-  let h = ref (h ^ (h >>> 16)) in
+  let h = ref (h lxor (h lsr 16)) in
   h.contents <- h.contents * 0x85ebca6b ;
-  h.contents <- h.contents ^ (h.contents >>> 13);
+  h.contents <- h.contents lxor (h.contents lsr 13);
   h.contents <- h.contents * 0xc2b2ae35 ;
-  h.contents ^ (h.contents >>> 16)
+  h.contents lxor (h.contents lsr 16)
   (* Caml_nativeint_extern.logand  (h.contents ^ (h.contents >>> 16)) 0x3FFFFFFFn *)
 
 let caml_hash_mix_string h  s = 
@@ -81,7 +78,7 @@ let caml_hash_mix_string h  s =
       in 
       hash.contents <- caml_hash_mix_int hash.contents  w
     end;
-  hash.contents <- hash.contents ^ len ;
+  hash.contents <- hash.contents lxor len ;
   hash.contents 
 
 

Diff for: lib/es6/caml_hash_primitive.js

@@ -2,7 +2,7 @@
 
 
 function rotl32(x, n) {
-  return (x << n) | (x >>> (32 - n | 0));
+  return (x << n) | (x >>> (32 - n | 0)) | 0;
 }
 
 function caml_hash_mix_int(h, d) {

Diff for: lib/js/caml_hash_primitive.js

@@ -2,7 +2,7 @@
 
 
 function rotl32(x, n) {
-  return (x << n) | (x >>> (32 - n | 0));
+  return (x << n) | (x >>> (32 - n | 0)) | 0;
 }
 
 function caml_hash_mix_int(h, d) {