Stream: git-wasmtime

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

Wasmtime GitHub notifications bot (Apr 13 2021 at 07:30):

bjorn3 opened 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: Nov 22 2024 at 16:03 UTC