[all-commits] [llvm/llvm-project] 8f56e3: [SCEV] Do not apply info from loop guards in AddRecs.

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 8f56e382f782632c4b137339ab3c362fdbab62a5
      https://github.com/llvm/llvm-project/commit/8f56e382f782632c4b137339ab3c362fdbab62a5
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-10-09 (Fri, 09 Oct 2020)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    A llvm/test/Transforms/LoopStrengthReduce/X86/pr47776-do-not-apply-info-from-guards-to-addrecs.ll

  Log Message:
  -----------
  [SCEV] Do not apply info from loop guards in AddRecs.

We cannot guarantee that the replacement expression is loop-invariant in
all AddRecs in the source expression. Use a rewriter that skips
AddRecExpr for now.

Fixes PR47776.