[all-commits] [llvm/llvm-project] 69ca5c: [SCEV] Add flag to control invertible check for no...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 69ca5c9d62deef66a00ceb26706fab7c755d1f10
      https://github.com/llvm/llvm-project/commit/69ca5c9d62deef66a00ceb26706fab7c755d1f10
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-07-05 (Wed, 05 Jul 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolutionNormalization.h
    M llvm/lib/Analysis/ScalarEvolutionNormalization.cpp
    M llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp
    A llvm/test/Transforms/LoopStrengthReduce/X86/normalization-during-scev-expansion.ll

  Log Message:
  -----------
  [SCEV] Add flag to control invertible check for normalization.

When normalizing a SCEV expression during expansion, there should be
no need for it to be invertible, as it will only be used for code
generation. This fixes a crash after 7f5b15ad150e.

Fixes https://github.com/llvm/llvm-project/issues/63678.