This is an archive of the discontinued LLVM Phabricator instance.

[IRCE] Refactor parseRangeCheckICmp to compute SCEVs instead of Values
ClosedPublic

Authored by aleksandr.popov on Apr 13 2023, 2:46 AM.

Details

Summary

The motivation is to make an opportunity to compute and return
expressions after parsing ICmp into a range check (e.g. Length + 1)

Diff Detail

Event Timeline

Herald added a project: Restricted Project. · View Herald TranscriptApr 13 2023, 2:46 AM
aleksandr.popov requested review of this revision.Apr 13 2023, 2:46 AM
Herald added a project: Restricted Project. · View Herald TranscriptApr 13 2023, 2:46 AM
mkazantsev accepted this revision.Apr 13 2023, 10:19 PM

Looks pretty straightforward.

llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
368–369

*Index = nullptr, just to avoid errors in the future.

This revision is now accepted and ready to land.Apr 13 2023, 10:19 PM