[SCEV] Preserve information in applyLoopGuards
AbandonedPublic
Actions

Authored by alonkom on Jun 27 2022, 11:42 PM.

Details

Reviewers

fhahn
nikic
reames

Summary

Preserve both the information on divisibility of an expression (Expr%M == 0) and minimum value of the expression (Expr > N) regardless of their order.
Fixing #55645

Diff Detail

Event Timeline

alonkom created this revision.Jun 27 2022, 11:42 PM

Herald added a project: Restricted Project. · View Herald TranscriptJun 27 2022, 11:42 PM

Herald added a subscriber: hiraditya. · View Herald Transcript

alonkom requested review of this revision.Jun 27 2022, 11:42 PM

Herald added a project: Restricted Project. · View Herald TranscriptJun 27 2022, 11:42 PM

Herald added a subscriber: llvm-commits. · View Herald Transcript

alonkom added a reviewer: Florian.Jun 27 2022, 11:43 PM

nikic edited reviewers, added: fhahn, nikic, reames; removed: Florian.Jun 28 2022, 12:23 AM

Harbormaster completed remote builds in B172391: Diff 440489.Jun 28 2022, 12:29 AM

Ping. Can you please address this change?

caojoshua mentioned this in D141850: [SCEV] Preserve divisibility and min/max information in applyLoopGuards.Jan 17 2023, 12:45 AM

alonkom abandoned this revision.Jan 17 2023, 4:01 AM

Herald added a subscriber: StephenFan. · View Herald TranscriptJan 17 2023, 4:01 AM

Revision Contents
Changeset List

Path

Size

llvm/

lib/

Analysis/

ScalarEvolution.cpp

106 lines

test/

Analysis/

ScalarEvolution/

trip-multiple-guard-info.ll

12 lines

Diff 440489

View Options

llvm/lib/Analysis/ScalarEvolution.cpp