diff options
| author | George Kuan <george.kuan@intel.com> | 2015-08-06 10:19:34 -0700 |
|---|---|---|
| committer | George Kuan <george.kuan@intel.com> | 2015-08-06 10:19:34 -0700 |
| commit | 8fc02a3883ac7fa73b7fbb7115cb2820b45c994e (patch) | |
| tree | 3d26e60e5840fc99193438f2cadde60a338be4cc | |
| parent | 15ede791a3ea2c46344535d884e7ba5357c89628 (diff) | |
| download | nanowasm-design-8fc02a3883ac7fa73b7fbb7115cb2820b45c994e.tar.gz | |
Minor clarification of int bit operations
Clarify zero/one bit semantics especially in the immediate vicinity of the mentions of int value 0.
| -rw-r--r-- | AstSemantics.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index f44a68b..2c55705 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -367,9 +367,9 @@ results into the result type. * `int32.sge`: signed greater than or equal * `int32.ugt`: unsigned greater than * `int32.uge`: unsigned greater than or equal - * `int32.clz`: sign-agnostic count leading zeroes (defined for all values, including zero) - * `int32.ctz`: sign-agnostic count trailing zeroes (defined for all values, including zero) - * `int32.popcnt`: sign-agnostic count number of ones + * `int32.clz`: sign-agnostic count leading zero bits (defined for all values, including zero) + * `int32.ctz`: sign-agnostic count trailing zero bits (defined for all values, including zero) + * `int32.popcnt`: sign-agnostic count number of one bits Shifts interpret their shift count operand as an unsigned value. When the shift count is at least the bitwidth of the shift, `shl` and `shr` produce `0`, and |