This is an archive of the discontinued LLVM Phabricator instance.

[ADCE] Don't mark blocks with UnreachableInst as live
AbandonedPublic

Authored by kuhar on Aug 18 2017, 9:52 AM.

Details

Summary

Both ReturnInst and UnreachableInst exit functions, so we can treat them the same in ADCE and not mark them as live.
The only the CFG nodes corresponding to non-trivial PostDominatorTree roots (i.e. infinite loop blocks) need to be marked as live here for ADCE to work correctly.

Diff Detail

Event Timeline

kuhar created this revision.Aug 18 2017, 9:52 AM
kuhar retitled this revision from [ADCE] Don't mark block with UnreachableInst as live to [ADCE] Don't mark blocks with UnreachableInst as live.Aug 18 2017, 9:55 AM
kuhar abandoned this revision.Feb 12 2018, 4:41 PM