diff options
| -rw-r--r-- | src/focaccia/miasm_util.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/focaccia/miasm_util.py b/src/focaccia/miasm_util.py index 878683b..2cbcc52 100644 --- a/src/focaccia/miasm_util.py +++ b/src/focaccia/miasm_util.py @@ -93,11 +93,13 @@ def simp_fpconvert_fp64(expr_simp, expr: ExprOp): if expr.op != 'fpconvert_fp64': return expr - assert(len(expr.args) == 1) + if not len(expr.args) == 1: + raise NotImplementedError(f'fpconvert_fp64 on number of arguments not in 1: {expr.args}') + operand = expr.args[0] if operand.is_int(): if not operand.size == 32: - raise NotImplementedError('fpconvert_fp64 on values of size not in 64') + raise NotImplementedError(f'fpconvert_fp64 on values of size not in 64: {operand.size}') res = double_bits_to_uint(uint_bits_to_double(float_bits_to_uint(operand.arg))) return expr_simp(ExprInt(res, 64)) |