This is an archive of the discontinued LLVM Phabricator instance.

[GlobalsAA] Set MayReadAnyGlobal as a separate bit from ModRefInfo.
Needs ReviewPublic

Authored by asbirlea on Oct 31 2019, 4:47 PM.

Details

Summary

When changing ModRefInfo to use the Must bit, the MRI lattice was extended by 1 bit.
This meant that the Must bit now overlaps with the MayReadAnyGlobal in GlobalsAA.
While this is acceptable assuming the Must bit is ignored in this AA, a safer approach is using another bit.

Event Timeline

asbirlea created this revision.Oct 31 2019, 4:47 PM
Herald added a project: Restricted Project. · View Herald TranscriptOct 31 2019, 4:47 PM
Herald added a subscriber: hiraditya. · View Herald Transcript