Page MenuHomePhabricator

[SCEV] Recognize vscale intrinsics
ClosedPublic

Authored by nikic on Thu, Mar 16, 6:44 AM.

Details

Summary

Now that SCEV has a dedicated vscale node type, we should also map vscale intrinsics to it. To make sure this does not regress ranges (which were KnownBits based previously), add support for vscale to getRangeRef() as well.

Depends on D146217.

Diff Detail

Event Timeline

nikic created this revision.Thu, Mar 16, 6:44 AM
nikic requested review of this revision.Thu, Mar 16, 6:44 AM
Herald added a project: Restricted Project. · View Herald TranscriptThu, Mar 16, 6:44 AM
reames accepted this revision.Thu, Mar 16, 7:44 AM

LGTM w/minor comment

llvm/include/llvm/Analysis/ValueTracking.h
657

Can you rephrase this comment? This doesn't just bound the vscale intrinsic, it also bounds the vscale type param.

This revision is now accepted and ready to land.Thu, Mar 16, 7:44 AM
This revision was automatically updated to reflect the committed changes.