Stream: git-wasmtime

Topic: wasmtime / issue #2827 Bugpoint: Try removing SourceLoc's


view this post on Zulip Wasmtime GitHub notifications bot (Jun 23 2024 at 02:10):

zleyyij commented on issue #2827:

I'm going to attempt this issue, absolutely no promises. I'll try to keep this updated if I give up.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 23 2024 at 08:39):

bjorn3 commented on issue #2827:

If you haven't found it yet, I think a good place to implement this would be right after https://github.com/bytecodealliance/wasmtime/blob/81efaa738419c6e2078e4ad6d14df1e1461d415f/cranelift/src/bugpoint.rs#L841 (likely in a separate function called there) It really only needs to be done once and reverted if it no longer crashes.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 20 2024 at 18:07):

yerke commented on issue #2827:

Since https://github.com/bytecodealliance/wasmtime/pull/8883 was merged, should this issue be closed?

view this post on Zulip Wasmtime GitHub notifications bot (Aug 20 2024 at 18:59):

bjorn3 closed issue #2827:

Feature

When using bugpoint to reduce clif ir turn something like

function u0:0() system_v {
                                block0:
@000c                               v0 = iconst.i32 0
@000c                               trap user0
}

into

function u0:0() system_v {
block0:
    v0 = iconst.i32 0
    trap user0
}

Benefit

Makes the reduced clif ir a bit easier to read.


Last updated: Dec 23 2024 at 12:05 UTC