diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Scalars.ml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/Scalars.ml b/src/Scalars.ml index 29c2779f..178929c6 100644 --- a/src/Scalars.ml +++ b/src/Scalars.ml @@ -108,3 +108,22 @@ let check_scalar_value_in_range (v : scalar_value) : bool = let i = scalar_value_get_value v in let int_ty = scalar_value_get_integer_type v in check_int_in_range int_ty i + +(** Make a scalar value, while checking the value is in range *) +let mk_scalar (int_ty : integer_type) (i : big_int) : + (scalar_value, unit) result = + if check_int_in_range int_ty i then + match int_ty with + | Types.Isize -> Ok (Isize i) + | Types.I8 -> Ok (I8 i) + | Types.I16 -> Ok (I16 i) + | Types.I32 -> Ok (I32 i) + | Types.I64 -> Ok (I64 i) + | Types.I128 -> Ok (I128 i) + | Types.Usize -> Ok (Usize i) + | Types.U8 -> Ok (U8 i) + | Types.U16 -> Ok (U16 i) + | Types.U32 -> Ok (U32 i) + | Types.U64 -> Ok (U64 i) + | Types.U128 -> Ok (U128 i) + else Error () |