[all-commits] [llvm/llvm-project] c86a98: [SCEV] `getSequentialMinMaxExpr()`: rewrite dedupl...

[Roman Lebedev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c86a982d7dad36c31fcfc5b06fd03b2e3289175f
      https://github.com/llvm/llvm-project/commit/c86a982d7dad36c31fcfc5b06fd03b2e3289175f
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2022-01-14 (Fri, 14 Jan 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/exit-count-select-safe.ll

  Log Message:
  -----------
  [SCEV] `getSequentialMinMaxExpr()`: rewrite deduplication to be fully recursive

Since we don't merge/expand non-sequential umin exprs into umin_seq exprs,
we may have umin_seq(umin(umin_seq())) chain, and the innermost umin_seq
can have duplicate operands still.