Add sign extension to operators with unsigned counter parts (Closes f…

…ormalsec#207)
filipeom · Feb 8, 2025 · 244c35b · 244c35b
1 parent df1cc11
commit 244c35b
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/src/ty.ml b/src/ty.ml
@@ -242,12 +242,12 @@ module Binop = struct
     | Add -> Fmt.string fmt "add"
     | Sub -> Fmt.string fmt "sub"
     | Mul -> Fmt.string fmt "mul"
-    | Div -> Fmt.string fmt "div"
+    | Div -> Fmt.string fmt "div_s"
     | DivU -> Fmt.string fmt "div_u"
-    | Rem -> Fmt.string fmt "rem"
+    | Rem -> Fmt.string fmt "rem_s"
     | RemU -> Fmt.string fmt "rem_u"
     | Shl -> Fmt.string fmt "shl"
-    | ShrA -> Fmt.string fmt "shr"
+    | ShrA -> Fmt.string fmt "shr_s"
     | ShrL -> Fmt.string fmt "shr_u"
     | And -> Fmt.string fmt "and"
     | Or -> Fmt.string fmt "or"
@@ -299,13 +299,13 @@ module Relop = struct
   let pp fmt = function
     | Eq -> Fmt.string fmt "eq"
     | Ne -> Fmt.string fmt "ne"
-    | Lt -> Fmt.string fmt "lt"
+    | Lt -> Fmt.string fmt "lt_s"
     | LtU -> Fmt.string fmt "lt_u"
-    | Gt -> Fmt.string fmt "gt"
+    | Gt -> Fmt.string fmt "gt_s"
     | GtU -> Fmt.string fmt "gt_u"
-    | Le -> Fmt.string fmt "le"
+    | Le -> Fmt.string fmt "le_s"
     | LeU -> Fmt.string fmt "le_u"
-    | Ge -> Fmt.string fmt "ge"
+    | Ge -> Fmt.string fmt "ge_s"
     | GeU -> Fmt.string fmt "ge_u"
 end