Page MenuHomePhabricator

[DebugInfo] Ensure dead store elimination can mark an operand value as undefined

Authored by chrisjackson on Mar 27 2020, 8:10 AM.



See Bugzilla Dead Store Elimination was failing to mark a value as undefined, instead producing an empty dbg.value.

This patch replaces the salvageDebugInfo() call with a salvageDebugInfoOrMarkUndef() call. If these two variants are replaced by a single function, we can eliminate the cause of this bug and prevent the same mistake in future.

Diff Detail

Event Timeline

chrisjackson created this revision.Mar 27 2020, 8:10 AM
aprantl accepted this revision.Mar 27 2020, 8:43 AM


This revision is now accepted and ready to land.Mar 27 2020, 8:43 AM
vsk accepted this revision.Mar 27 2020, 9:54 AM

Thanks, lgtm, +1 for the proposal to hide/delete salvageDebugInfo.