Stream: git-wasmtime

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

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.

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.

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?

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: Oct 23 2024 at 20:03 UTC