From 5ac25aa4c60d48969a85de2830c0247f5679ab6d Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Sat, 8 Feb 2025 18:58:41 +0000 Subject: [PATCH] Add sign extension to operators with unsigned counter parts (Closes #207) --- src/ty.ml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/ty.ml b/src/ty.ml index 869793fa..11041339 100644 --- 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