FIX

Author: vouillon

compiler/lib-wasm/typing.ml

@@ -117,6 +117,14 @@ let update_deps st { blocks; _ } =
       List.iter block.body ~f:(fun i ->
           match i with
           | Let (x, Block (_, lst, _, _)) -> Array.iter ~f:(fun y -> add_dep st x y) lst
+          | Let (x, Prim (Extern ("%int_and" | "%int_or" | "%int_xor"), lst)) ->
+              (* The return type of these primitives depend on the input type *)
+              List.iter
+                ~f:(fun p ->
+                  match p with
+                  | Pc _ -> ()
+                  | Pv y -> add_dep st x y)
+                lst
           | _ -> ()))
     blocks
 
@@ -159,14 +167,16 @@ let prim_type ~approx prim args =
       Number (Int Unnormalized)
   | "%int_and" -> (
       match List.map ~f:(fun x -> arg_type ~approx x) args with
-      | [ Number (Int Unnormalized); Number (Int Unnormalized) ] ->
-          Number (Int Unnormalized)
-      | _ -> Number (Int Normalized))
+      | [ (Bot | Number (Int (Ref | Normalized))); _ ]
+      | [ _; (Bot | Number (Int (Ref | Normalized))) ] -> Number (Int Normalized)
+      | _ -> Number (Int Unnormalized))
   | "%int_or" | "%int_xor" -> (
+      Format.eprintf "XOR %a@." Domain.print (arg_type ~approx (List.hd args));
       match List.map ~f:(fun x -> arg_type ~approx x) args with
-      | [ Number (Int Unnormalized); _ ] | [ _; Number (Int Unnormalized) ] ->
-          Number (Int Unnormalized)
-      | _ -> Number (Int Normalized))
+      | [ (Bot | Number (Int (Ref | Normalized)))
+        ; (Bot | Number (Int (Ref | Normalized)))
+        ] -> Number (Int Normalized)
+      | _ -> Number (Int Unnormalized))
   | "%int_lsr"
   | "%int_asr"
   | "%int_div"