Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Shift right by 32 is technically UB; in practice it should not matter because two valid HW behaviors would either keep v as is, or return 0, and both result in the same final output, but we should fix this regardless.
- Loading branch information