bytecodealliance / bytecodealliance/wasmtime

Cranelift: ISLE extraction panics

Open
#3,743 3 comments 0 reactions 0 assignees View on GitHub
bug cranelift isle
Dominant language
Rust
Stars
18.6k
Forks
1.8k
Avg merge
1d 18h
Merged PRs (30d)
126

Description

When I create a new extractor, one to extract the comparison flag from a comparison referenced by `select`, ISLE panics.

### Steps to Reproduce

Add:

```
(decl select_fcmp_flag (FloatCC) Inst)
(extractor (select_fcmp_flag comparison_flag)
(select (def_inst (fcmp comparison_flag a b)) x y))
```

Then run:

```
cargo build -p cranelift-codegen --features rebuild-isle
```

### Expected Results

The ISLE code to generate without failure.

### Actual Results

```
--- stderr
thread 'main' panicked at 'assertion failed: !tyenv.errors.is_empty()', cranelift/isle/isle/src/sema.rs:1055:29
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
```

### Versions and Environment

Cranelift version or commit: latest `HEAD`

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.