Stream: git-wasmtime

Topic: wasmtime / Issue #2670 Cranelift: Verifier error when unu...

Wasmtime GitHub notifications bot (Feb 19 2021 at 14:12):

bjorn3 opened Issue #2670:

• What are the steps to reproduce the issue? Can you include a CLIF test case,
  ideally reduced with the bugpoint clif-util command?

test compile
target x86_64

function u0:325() system_v {
    jt0 = jump_table [block1]

block0:
    return

block1:
    trap unreachable
}

• What do you expect to happen? What does actually happen? Does it panic, and
  if so, with which assertion?

I expected the function to compile. Either by keeping block1 or removing jt0. Instead it gives:

FAIL verifier_error.clif: compile

Caused by:
    function u0:325() system_v {
        jt0 = jump_table [block1]
    ;   ^~~~~~~~~~~~~~~~~~~~~~~~~
    ; error: jt0: invalid block reference block1


    block0:
        return
    }

    ; 1 verifier error detected (see above). Compilation aborted.

1 tests
Error: 1 failure

• Which Cranelift version / commit hash / branch are you using? c07ec4c525318afb47b2c6ff24dcddb5d23b5f2a
• If relevant, can you include some extra information about your environment?
  (Rust version, operating system, architecture...) N/A
  

Wasmtime GitHub notifications bot (Feb 19 2021 at 14:12):

bjorn3 labeled Issue #2670:

• What are the steps to reproduce the issue? Can you include a CLIF test case,
  ideally reduced with the bugpoint clif-util command?

test compile
target x86_64

function u0:325() system_v {
    jt0 = jump_table [block1]

block0:
    return

block1:
    trap unreachable
}

• What do you expect to happen? What does actually happen? Does it panic, and
  if so, with which assertion?

I expected the function to compile. Either by keeping block1 or removing jt0. Instead it gives:

FAIL verifier_error.clif: compile

Caused by:
    function u0:325() system_v {
        jt0 = jump_table [block1]
    ;   ^~~~~~~~~~~~~~~~~~~~~~~~~
    ; error: jt0: invalid block reference block1


    block0:
        return
    }

    ; 1 verifier error detected (see above). Compilation aborted.

1 tests
Error: 1 failure

• Which Cranelift version / commit hash / branch are you using? c07ec4c525318afb47b2c6ff24dcddb5d23b5f2a
• If relevant, can you include some extra information about your environment?
  (Rust version, operating system, architecture...) N/A
  

Wasmtime GitHub notifications bot (Feb 19 2021 at 14:12):

bjorn3 labeled Issue #2670:

• What are the steps to reproduce the issue? Can you include a CLIF test case,
  ideally reduced with the bugpoint clif-util command?

test compile
target x86_64

function u0:325() system_v {
    jt0 = jump_table [block1]

block0:
    return

block1:
    trap unreachable
}

• What do you expect to happen? What does actually happen? Does it panic, and
  if so, with which assertion?

I expected the function to compile. Either by keeping block1 or removing jt0. Instead it gives:

FAIL verifier_error.clif: compile

Caused by:
    function u0:325() system_v {
        jt0 = jump_table [block1]
    ;   ^~~~~~~~~~~~~~~~~~~~~~~~~
    ; error: jt0: invalid block reference block1


    block0:
        return
    }

    ; 1 verifier error detected (see above). Compilation aborted.

1 tests
Error: 1 failure

• Which Cranelift version / commit hash / branch are you using? c07ec4c525318afb47b2c6ff24dcddb5d23b5f2a
• If relevant, can you include some extra information about your environment?
  (Rust version, operating system, architecture...) N/A
  

Wasmtime GitHub notifications bot (Feb 19 2021 at 14:13):

bjorn3 commented on Issue #2670:

I found this while trying to debug https://github.com/bjorn3/rustc_codegen_cranelift/issues/1142 by the way. That issue is a problem on my side, but this bug doesn't help with debugging.

Wasmtime GitHub notifications bot (Feb 24 2021 at 00:31):

cfallin closed Issue #2670:

• What are the steps to reproduce the issue? Can you include a CLIF test case,
  ideally reduced with the bugpoint clif-util command?

test compile
target x86_64

function u0:325() system_v {
    jt0 = jump_table [block1]

block0:
    return

block1:
    trap unreachable
}

• What do you expect to happen? What does actually happen? Does it panic, and
  if so, with which assertion?

I expected the function to compile. Either by keeping block1 or removing jt0. Instead it gives:

FAIL verifier_error.clif: compile

Caused by:
    function u0:325() system_v {
        jt0 = jump_table [block1]
    ;   ^~~~~~~~~~~~~~~~~~~~~~~~~
    ; error: jt0: invalid block reference block1


    block0:
        return
    }

    ; 1 verifier error detected (see above). Compilation aborted.

1 tests
Error: 1 failure

• Which Cranelift version / commit hash / branch are you using? c07ec4c525318afb47b2c6ff24dcddb5d23b5f2a
• If relevant, can you include some extra information about your environment?
  (Rust version, operating system, architecture...) N/A
  

Last updated: Dec 23 2024 at 12:05 UTC