diff options
Diffstat (limited to 'aarch64_small/armV8_A64_lib.sail')
| -rw-r--r-- | aarch64_small/armV8_A64_lib.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64_small/armV8_A64_lib.sail b/aarch64_small/armV8_A64_lib.sail index 8c684fc7..8b32e09f 100644 --- a/aarch64_small/armV8_A64_lib.sail +++ b/aarch64_small/armV8_A64_lib.sail @@ -799,7 +799,7 @@ function ExtendReg (N, _reg, etype, shift) = { let len = uMin(len, length(_val) - shift); assert( len >= 1 & 'S + len < 'N); - let a = (_val[(len - 1)..0]); +/* let a = (_val[(len - 1)..0]);*/ /* Zeros() */ Extend((_val[(len - 1)..0]) @ (Zeros() : bits('S)), _unsigned) } |