Page MenuHomePhabricator

[Attributor][MustExecute] Use optimistic information in MustBeExecutedContextExplorer

Authored by jdoerfert on Sun, Oct 13, 11:25 PM.


NOTE: This is a prototype. We need a way to keep MustBeExecutedContextExplorer updates separate from other updates so they can continue on, then this should help.

This allows optimistic information to be used to answer the question if
a call returns. This will also record dependences between attributes
using the explorer and AAWillReturn/AANoUnwind that are used to improve
the IR information. If the latter ever get fixed, the updates of the
former are triggered and we have better known information available.

Event Timeline

jdoerfert created this revision.Sun, Oct 13, 11:25 PM
Herald added a project: Restricted Project. · View Herald TranscriptSun, Oct 13, 11:25 PM
jdoerfert abandoned this revision.Tue, Oct 29, 10:55 PM