Stream: git-wasmtime

Topic: wasmtime / issue #5099 Cranelift: `isplit` testcase crash...

Wasmtime GitHub notifications bot (Oct 22 2022 at 17:28):

afonso360 edited issue #5099:

:wave: Hey,

This is another egraphs issue that the fuzzer picked up. It seems similar to #5088

.clif Test Case

test compile
set opt_level=speed
set use_egraphs=true
set enable_llvm_abi_extensions=true
target x86_64

function %a(i128, i16) -> i16 system_v {
block0(v0: i128, v1: i16):
    v2, v3 = isplit v0
    v4 = rotr v1, v3
    v5, v6 = isplit v0
    v7 = rotr v4, v6
    return v7
}

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

thread 'worker #0' panicked at 'assertion failed: self.values[v].ty().is_invalid()', cranelift/codegen/src/ir/dfg.rs:279:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
 ERROR cranelift_filetests::concurrent > FAIL: panicked in worker #0: assertion failed: self.values[v].ty().is_invalid()
FAIL ./lmao.clif: panicked in worker #0: assertion failed: self.values[v].ty().is_invalid()
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: Linux
Architecture: x86_64 and aarch64

cc: @cfallin

Wasmtime GitHub notifications bot (Oct 22 2022 at 17:34):

afonso360 edited issue #5099:

:wave: Hey,

This is another egraphs issue that the fuzzer picked up. It seems similar to #5086.

.clif Test Case

test compile
set opt_level=speed
set use_egraphs=true
set enable_llvm_abi_extensions=true
target x86_64

function %a(i128, i16) -> i16 system_v {
block0(v0: i128, v1: i16):
    v2, v3 = isplit v0
    v4 = rotr v1, v3
    v5, v6 = isplit v0
    v7 = rotr v4, v6
    return v7
}

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

thread 'worker #0' panicked at 'assertion failed: self.values[v].ty().is_invalid()', cranelift/codegen/src/ir/dfg.rs:279:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
 ERROR cranelift_filetests::concurrent > FAIL: panicked in worker #0: assertion failed: self.values[v].ty().is_invalid()
FAIL ./lmao.clif: panicked in worker #0: assertion failed: self.values[v].ty().is_invalid()
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: Linux
Architecture: x86_64 and aarch64

cc: @cfallin

Wasmtime GitHub notifications bot (Oct 25 2022 at 05:22):

cfallin closed issue #5099:

:wave: Hey,

This is another egraphs issue that the fuzzer picked up. It seems similar to #5086.

.clif Test Case

test compile
set opt_level=speed
set use_egraphs=true
set enable_llvm_abi_extensions=true
target x86_64

function %a(i128, i16) -> i16 system_v {
block0(v0: i128, v1: i16):
    v2, v3 = isplit v0
    v4 = rotr v1, v3
    v5, v6 = isplit v0
    v7 = rotr v4, v6
    return v7
}

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

thread 'worker #0' panicked at 'assertion failed: self.values[v].ty().is_invalid()', cranelift/codegen/src/ir/dfg.rs:279:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
 ERROR cranelift_filetests::concurrent > FAIL: panicked in worker #0: assertion failed: self.values[v].ty().is_invalid()
FAIL ./lmao.clif: panicked in worker #0: assertion failed: self.values[v].ty().is_invalid()
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: Linux
Architecture: x86_64 and aarch64

cc: @cfallin

Last updated: Nov 22 2024 at 16:03 UTC