This is an archive of the discontinued LLVM Phabricator instance.

[MustExec] Add simple backward support to MustBeExecutedContextExplorer
AbandonedPublic

Authored by uenoku on Aug 26 2019, 10:24 AM.

Details

Reviewers
jdoerfert
hfinkel
Summary

This patch introduces backward support to MustBeExecutedContext. For a given program point P, MustBeExecutedContextExplorer will explore until one can't go backward(In this patch, the condition is that predecessor block is only one). While exploration, store the instruction to stack.

Diff Detail

Event Timeline

uenoku created this revision.Aug 26 2019, 10:24 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 26 2019, 10:24 AM

This is not (a stripped down version of) the code in D64975 which does the same thing, correct?

uenoku abandoned this revision.Aug 26 2019, 11:01 AM

This is not (a stripped down version of) the code in D64975 which does the same thing, correct?

Oh, I missed it;) That's fine.