|
@@ -565,7 +565,7 @@ let rec reduce_loop ctx e =
|
|
)
|
|
)
|
|
in
|
|
in
|
|
let ebool t =
|
|
let ebool t =
|
|
- { e with eexpr = TConst (TBool (t (Int32.compare b a))) }
|
|
|
|
|
|
+ { e with eexpr = TConst (TBool (t (Int32.compare a b))) }
|
|
in
|
|
in
|
|
(match op with
|
|
(match op with
|
|
| OpAdd -> check_overflow Int64.add
|
|
| OpAdd -> check_overflow Int64.add
|
|
@@ -594,7 +594,7 @@ let rec reduce_loop ctx e =
|
|
e
|
|
e
|
|
in
|
|
in
|
|
let ebool t =
|
|
let ebool t =
|
|
- { e with eexpr = TConst (TBool (t (compare b a))) }
|
|
|
|
|
|
+ { e with eexpr = TConst (TBool (t (compare a b))) }
|
|
in
|
|
in
|
|
(match op with
|
|
(match op with
|
|
| OpAdd -> fop (+.)
|
|
| OpAdd -> fop (+.)
|