bytecodealliance / bytecodealliance/wasmtime
Cranelift: Sign/zero-extend docs do not match implementation
Open
bug
cranelift
- Dominant language
- Rust
- Stars
- 18.6k
- Forks
- 1.8k
- Avg merge
- 1d 18h
- Merged PRs (30d)
- 126
Description
The docs for `uextend` and friends mention
> If the input and output types are the same, this is a no-op.
When called with matching types, the verifier complains though:
https://github.com/bytecodealliance/wasmtime/blob/5fc01bafc7185b797f71c37352cbe66aa740893c/cranelift/codegen/src/verifier/mod.rs#L1471
(Whoops, this probably shouldn't be labeled as a bug ^^)
Contributor guide
Assessment
This issue has not been assessed yet.