diff options
| author | Thomas Bauereiss | 2017-08-12 19:05:32 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-12 19:05:32 +0100 |
| commit | 44850d32e227647813b44a8c97c4de57cd7a9978 (patch) | |
| tree | 55ca7f7636b469a1eb4761a1496577761aaf01eb /src/gen_lib/sail_values.lem | |
| parent | 73965da84487d06066eae4b9b5fa49da8d123d7b (diff) | |
Resolve ambiguity between negation of integers and bools
Diffstat (limited to 'src/gen_lib/sail_values.lem')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index 38f7d512..49f37381 100644 --- a/src/gen_lib/sail_values.lem +++ b/src/gen_lib/sail_values.lem @@ -266,7 +266,7 @@ let hardware_quot (a:integer) (b:integer) : integer = if ((a<0) = (b<0)) then q (* same sign -- result positive *) else - ~q (* different sign -- result negative *) + integerNegate q (* different sign -- result negative *) let quot_signed = hardware_quot @@ -956,4 +956,3 @@ let diafp_to_dia reginfo = function | DIAFP_concrete v -> DIA_concrete_address (address_of_bitv v) | DIAFP_reg r -> DIA_register (regfp_to_reg reginfo r) end - |