bytecodealliance / bytecodealliance/wasmtime

Cranelift: Sign/zero-extend docs do not match implementation

Open
#3,722 4 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.