Page MenuHomePhabricator

[LAA] Only require computable BTC when runtime checks are needed.
Needs ReviewPublic

Authored by fhahn on Jan 1 2021, 5:59 AM.

Details

Reviewers
Ayal
anemet
Summary

LAA only requires a backedge-taken-count when generating memory
runtime checks. If no memory checks are required, we can continue with
the analysis.

Note that this patch updates users of LAA to check for computable
backedge-taken counts themselves, if required.

Diff Detail

Event Timeline

fhahn created this revision.Jan 1 2021, 5:59 AM
fhahn requested review of this revision.Jan 1 2021, 5:59 AM
Herald added a project: Restricted Project. · View Herald TranscriptJan 1 2021, 5:59 AM