[LFTR] Assert and simplify under assumption exit counts are integers
ClosedPublic
Actions

Authored by reames on Mar 20 2023, 4:26 PM.

Details

Reviewers

nikic
efriedma

Commits

rG042783f55663: [LFTR] Assert and simplify under assumption exit counts are integers [nfc]

Summary

This invariant was introduced in 8f3d16905d75b07a933d01dc29677fe5867c1b3e. This change should be entirely obvious; I'm posting for review just for a sanity check.

Diff Detail

Repository: rG LLVM Github Monorepo

Event Timeline

reames created this revision.Mar 20 2023, 4:26 PM

Herald added a project: Restricted Project. · View Herald TranscriptMar 20 2023, 4:26 PM

Herald added subscribers: StephenFan, bollu, hiraditya, mcrosier. · View Herald Transcript

reames requested review of this revision.Mar 20 2023, 4:26 PM

Herald added a project: Restricted Project. · View Herald TranscriptMar 20 2023, 4:26 PM

reames edited the summary of this revision. (Show Details)Mar 20 2023, 4:27 PM

Another simplification.

Harbormaster completed remote builds in B220579: Diff 506773.Mar 20 2023, 5:20 PM

LGTM

This revision is now accepted and ready to land.Mar 21 2023, 1:05 AM

This revision was landed with ongoing or failed builds.Mar 21 2023, 7:35 AM

Closed by commit rG042783f55663: [LFTR] Assert and simplify under assumption exit counts are integers [nfc] (authored by reames). · Explain Why

This revision was automatically updated to reflect the committed changes.

reames added a commit: rG042783f55663: [LFTR] Assert and simplify under assumption exit counts are integers [nfc].

Revision Contents
Changeset List

Path

Size

llvm/

lib/

Transforms/

Scalar/

IndVarSimplify.cpp

7 lines

Diff 506973

View Options

llvm/lib/Transforms/Scalar/IndVarSimplify.cpp

[LFTR] Assert and simplify under assumption exit counts are integersClosedPublicActions