On Fri Mar 22 23:02:08 2024 +0000, Zebediah Figura wrote:
I would solve that problem by running it again, then, earlier.
That makes sense!
I implemented it but there is a detail: the current implementation of compute_liveness_recurse() (required by dce) only works with offset nodes. So I extended it to work with both paths and offsets. I don't think it looks bad with the introduction of the deref_mark_last_read() helper.
We may eventually remove the rel_offset parts when we complete the translation to vsir, because we would be able to use remove_dead_code() there.