snapshot

Author: bobzhang

lib/4.06.1/unstable/js_compiler.ml

@@ -95430,7 +95430,7 @@ let if_ (a : t) (b : t) (c : t) : t =
          | Lprim(
             {primitive = Pnot ; args = [Lprim{primitive = Pintcomp Ceq ; args = [Lvar j; Lconst _] as args; loc}]})
            when Ident.same i j && eq_approx true_ c
-           -> Lprim{primitive = Pintcomp Ceq; args; loc}
+           -> Lprim{primitive = Pintcomp Cneq; args; loc}
          | _ -> Lifthenelse(a,b,c)
          end 
        | _ ->  Lifthenelse (a,b,c))

lib/4.06.1/whole_compiler.ml

@@ -370881,7 +370881,7 @@ let if_ (a : t) (b : t) (c : t) : t =
          | Lprim(
             {primitive = Pnot ; args = [Lprim{primitive = Pintcomp Ceq ; args = [Lvar j; Lconst _] as args; loc}]})
            when Ident.same i j && eq_approx true_ c
-           -> Lprim{primitive = Pintcomp Ceq; args; loc}
+           -> Lprim{primitive = Pintcomp Cneq; args; loc}
          | _ -> Lifthenelse(a,b,c)
          end 
        | _ ->  Lifthenelse (a,b,c))