Stream: git-cranelift

Topic: cranelift / Issue #874 Ebb removed even when still part o...


view this post on Zulip GitHub (Feb 28 2020 at 23:26):

alexcrichton transferred Issue #874:

test compile
target x86_64

function u0:0() -> i32 system_v {
    jt0 = jump_table [ebb1]

ebb0:
    v0 = iconst.i32 0
    return v0

ebb1:
    trap user0
}
function u0:0() -> i32 [%rax] system_v {
    jt0 = jump_table [ebb1]
;   ^~~~~~~~~~~~~~~~~~~~~~~
; error: jt0: invalid ebb reference ebb1


                                ebb0:
[RexOp1pu_id#b8]                    v0 = iconst.i32 0
[Op1ret#c3]                         return v0
}

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

Last updated: Dec 23 2024 at 13:07 UTC