[PATCH] D116766: [SCEV] Poison-safe `UMin` expression

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri updated this revision to Diff 397998.
lebedev.ri added a comment.

Fix 3+-operand expansion - unsurprisingly, we must use logical `or`, i.e. it's poison-blocking form.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D116766/new/

https://reviews.llvm.org/D116766

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/include/llvm/Analysis/ScalarEvolutionDivision.h
  llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h
  llvm/include/llvm/IR/IRBuilder.h
  llvm/include/llvm/Transforms/Utils/ScalarEvolutionExpander.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp
  llvm/test/Analysis/ScalarEvolution/exit-count-select-safe.ll
  llvm/test/Transforms/IndVarSimplify/exit-count-select.ll
  polly/include/polly/Support/SCEVAffinator.h
  polly/lib/Support/SCEVAffinator.cpp
  polly/lib/Support/SCEVValidator.cpp
  polly/lib/Support/ScopHelper.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D116766.397998.patch
Type: text/x-patch
Size: 34973 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220106/7187baa2/attachment.bin>