Skip to content

Unimplemented in ISLE error with egraphs and simd #5437

Closed
#5438
Closed
Unimplemented in ISLE error with egraphs and simd#5437
#5438
Labels
fuzz-bugBugs found by a fuzzer
@alexcrichton

Description

@alexcrichton
alexcrichton
opened on Dec 14, 2022

This input:

(module
  (type (;0;) (func))
  (func (;0;) (type 0)
    (local v128)
    i32.const 0
    if ;; label = @1
      unreachable
    end
    local.get 0
    local.get 0
    i16x8.lt_u
    i32x4.bitmask
    i32.const 0
    br_if 0 (;@0;)
    call 2
    br_table 0 (;@0;) 0 (;@0;)
    call 1
  )
  (func (;1;) (type 0))
  (func (;2;) (type 0))
)

fails to compile with:

$ cargo run compile --cranelift-set use_egraphs=true ./testcase0.shrunken.wat
    Finished dev [unoptimized + debuginfo] target(s) in 0.12s
     Running `target/debug/wasmtime compile --cranelift-set use_egraphs=true ./testcase0.shrunken.wat`
thread '<unnamed>' panicked at 'should be implemented in ISLE: inst = `v10 = iconst.i16x8 0`, type = `Some(types::I16X8)`', cranelift/codegen/src/machinst/lower.rs:753:21
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

on x86_64

Metadata

Metadata

Assignees

No one assigned

    Labels

    fuzz-bugBugs found by a fuzzer

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions