Diffusion LLVM Github Monorepo 0ad793f321ed

[SCEV] Also use info from assumes in applyLoopGuards.
0ad793f321ed
Actions

Authored by fhahn on Sep 28 2020, 3:59 AM.

Description

[SCEV] Also use info from assumes in applyLoopGuards.

Similar to collecting information from branches guarding a loop, we can
also collect information from assumes dominating the loop header.

Fixes PR47247.

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D87854

Details

Committed

fhahn

Sep 28 2020, 5:14 AM

Reviewer

jdoerfert

Differential Revision

D87854: [SCEV] Also use info from assumes in applyLoopGuards.

Parents

rGa48f6079f288: [AArch64] Generate .note.gnu.property based on module flags.

Branches

Unknown

Tags

Unknown

Event Timeline

fhahn committed rG0ad793f321ed: [SCEV] Also use info from assumes in applyLoopGuards. (authored by fhahn).Sep 28 2020, 5:14 AM

fhahn added an edge: D87854: [SCEV] Also use info from assumes in applyLoopGuards..

Changes (2)

Path

Size

llvm/

lib/

Analysis/

ScalarEvolution.cpp

test/

Analysis/

ScalarEvolution/

max-backedge-taken-count-guard-info.ll

rG0ad793f321ed

View Options

llvm/lib/Analysis/ScalarEvolution.cpp