diff options
Diffstat (limited to 'aarch64_small/armV8.h.sail')
| -rw-r--r-- | aarch64_small/armV8.h.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64_small/armV8.h.sail b/aarch64_small/armV8.h.sail index ab69f323..d0278d9d 100644 --- a/aarch64_small/armV8.h.sail +++ b/aarch64_small/armV8.h.sail @@ -218,7 +218,7 @@ let _V : vector(32,dec,(register(bits(128)))) = /* lsl: used instead of the ARM ARM << over integers */ -val lsl : forall 'm 'n, 'm >= 0 & 'n >= 0. (atom('n), atom('m)) -> atom('n * (2 ^ 'm)) +val lsl : forall 'm 'n, 'm >= 0 & 'n >= 0. (int('n), int('m)) -> int('n * (2 ^ 'm)) function lsl (n, m) = n * (2 ^ m) /* not_implemented is used to indicate something WE did not implement */ |