regalloc2 icon indicating copy to clipboard operation
regalloc2 copied to clipboard

Extend Fuzzer to Check Debug Locations

Open d-sonuga opened this issue 1 year ago • 3 comments

For #194. The checker can now check whether the entries in the debug_locations output contain the vregs they're expected to contain as indicated by Function::debug_value_labels. The checking doesn't happen by default; instead, it's only enabled during fuzzing.

d-sonuga avatar Oct 18 '24 20:10 d-sonuga

@cfallin, I'm definitely aware that this is inefficient: I actually just wanted some thoughts on whether or not the correctness of the debug locations is actually being checked reasonably.

My bad for not being explicit about that in the initial comment :sweat_smile:.

d-sonuga avatar Oct 26 '24 12:10 d-sonuga

@d-sonuga ah, in that case, yes the checks do look correct at least. I'm happy to leave this open as a draft if you'd like or we can close it, up to you.

cfallin avatar Nov 21 '24 22:11 cfallin

I'd prefer to leave it open as a draft. I still intend to work on this.

d-sonuga avatar Nov 25 '24 08:11 d-sonuga