[all-commits] [llvm/llvm-project] 0ad793: [SCEV] Also use info from assumes in applyLoopGuards.

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 0ad793f321ed8714870cacf0421e60cf9a3b7468
      https://github.com/llvm/llvm-project/commit/0ad793f321ed8714870cacf0421e60cf9a3b7468
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-09-28 (Mon, 28 Sep 2020)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll

  Log Message:
  -----------
  [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