Stream: git-wasmtime

Topic: wasmtime / Issue #2121 machinst x64: bint.i8 not implemen...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2020 at 09:40):

bjorn3 opened Issue #2121:

target x86_64

function u0:0(i8) -> i8 system_v {
                                block0(v0: i8):
                                    v1 -> v0
@0001                               v2 = icmp_imm.i8 eq v1, 0
@0001                               v3 = bint.i8 v2
@0003                               return v3
}
thread 'rustc' panicked at 'internal error: entered unreachable code: unexpected extension kind from types::B1 to types::I8', /home/bjorn/.cargo/git/checkouts/wasmtime-41807828cb3a7a7e/8cfff26/cranelift/codegen/src/isa/x64/lower.rs:813:22

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2020 at 16:43):

abrown labeled Issue #2121:

target x86_64

function u0:0(i8) -> i8 system_v {
                                block0(v0: i8):
                                    v1 -> v0
@0001                               v2 = icmp_imm.i8 eq v1, 0
@0001                               v3 = bint.i8 v2
@0003                               return v3
}
thread 'rustc' panicked at 'internal error: entered unreachable code: unexpected extension kind from types::B1 to types::I8', /home/bjorn/.cargo/git/checkouts/wasmtime-41807828cb3a7a7e/8cfff26/cranelift/codegen/src/isa/x64/lower.rs:813:22

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2020 at 16:43):

abrown labeled Issue #2121:

target x86_64

function u0:0(i8) -> i8 system_v {
                                block0(v0: i8):
                                    v1 -> v0
@0001                               v2 = icmp_imm.i8 eq v1, 0
@0001                               v3 = bint.i8 v2
@0003                               return v3
}
thread 'rustc' panicked at 'internal error: entered unreachable code: unexpected extension kind from types::B1 to types::I8', /home/bjorn/.cargo/git/checkouts/wasmtime-41807828cb3a7a7e/8cfff26/cranelift/codegen/src/isa/x64/lower.rs:813:22

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2020 at 16:43):

github-actions[bot] commented on Issue #2121:

Subscribe to Label Action

cc @bnjbvr

<details>
This issue or pull request has been labeled: "cranelift"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2020 at 14:07):

bnjbvr commented on Issue #2121:

Not sure what the cranelift semantics expect here: should we sign-extend the value in the lowest bit to all the bits? If not, this would just require another arm in this match, (1, 8) => None.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2020 at 14:47):

bjorn3 commented on Issue #2121:

It should zero-extend. bint maps to false to 0 and true to 1. bmask maps false to all 0s and true to all 1s.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 20 2020 at 16:05):

bjorn3 commented on Issue #2121:

I am currently working on this and other instructions unimplemented by the new x86_64 backend, but implemented by the AArch64 backend.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 08 2020 at 13:00):

bnjbvr closed Issue #2121:

target x86_64

function u0:0(i8) -> i8 system_v {
                                block0(v0: i8):
                                    v1 -> v0
@0001                               v2 = icmp_imm.i8 eq v1, 0
@0001                               v3 = bint.i8 v2
@0003                               return v3
}
thread 'rustc' panicked at 'internal error: entered unreachable code: unexpected extension kind from types::B1 to types::I8', /home/bjorn/.cargo/git/checkouts/wasmtime-41807828cb3a7a7e/8cfff26/cranelift/codegen/src/isa/x64/lower.rs:813:22

Last updated: Dec 23 2024 at 13:07 UTC