[PATCH] D142292: [SCEV] Introduce `SCEVSelectExpr`

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri updated this revision to Diff 491469.
lebedev.ri marked 3 inline comments as done.
lebedev.ri added a comment.

Thank you for taking a look!
Addressing nits.

@efriedma @Meinersbur that didn't help polly tests. I'm completely not familiar with polly,
so i don't feel qualified to address the polly part, or adjusting the tests.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D142292

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/include/llvm/Analysis/ScalarEvolutionDivision.h
  llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h
  llvm/include/llvm/Transforms/Utils/ScalarEvolutionExpander.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp
  llvm/test/Analysis/ScalarEvolution/becount-invalidation.ll
  llvm/test/Analysis/ScalarEvolution/exit-count-select-safe.ll
  llvm/test/Analysis/ScalarEvolution/exit-count-select.ll
  llvm/test/Analysis/ScalarEvolution/ext_min_max.ll
  llvm/test/Analysis/ScalarEvolution/incorrect-exit-count.ll
  llvm/test/Analysis/ScalarEvolution/increasing-or-decreasing-iv.ll
  llvm/test/Analysis/ScalarEvolution/logical-operations.ll
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info-rewrite-expressions.ll
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll
  llvm/test/Analysis/ScalarEvolution/min-max-exprs.ll
  llvm/test/Analysis/ScalarEvolution/nsw.ll
  llvm/test/Analysis/ScalarEvolution/pointer-rounding.ll
  llvm/test/Analysis/ScalarEvolution/pointer-select.ll
  llvm/test/Analysis/ScalarEvolution/sext-to-zext.ll
  llvm/test/Analysis/ScalarEvolution/shift-recurrences.ll
  llvm/test/Analysis/ScalarEvolution/symbolic_max_exit_count.ll
  llvm/test/Analysis/ScalarEvolution/trip-count-minmax.ll
  llvm/test/Analysis/ScalarEvolution/trivial-phis.ll
  llvm/test/Analysis/StackSafetyAnalysis/local.ll
  llvm/test/Analysis/StackSafetyAnalysis/memintrin.ll
  llvm/test/Transforms/IRCE/decrementing-loop.ll
  llvm/test/Transforms/IndVarSimplify/lftr-pr20680.ll
  llvm/test/Transforms/IndVarSimplify/promote-iv-to-eliminate-casts.ll
  llvm/test/Transforms/LoopVectorize/single-value-blend-phis.ll
  llvm/test/Transforms/SimpleLoopUnswitch/update-scev.ll
  llvm/unittests/Transforms/Utils/ScalarEvolutionExpanderTest.cpp
  polly/include/polly/Support/SCEVAffinator.h
  polly/lib/Support/SCEVAffinator.cpp
  polly/lib/Support/SCEVValidator.cpp
  polly/lib/Support/ScopHelper.cpp
  polly/test/CodeGen/non-affine-exit-node-dominance.ll
  polly/test/CodeGen/only_non_affine_error_region.ll
  polly/test/CodeGen/region_multiexit_partialwrite.ll
  polly/test/ScheduleOptimizer/SIMDInParallelFor.ll
  polly/test/ScopInfo/Alias-0.ll
  polly/test/ScopInfo/Alias-1.ll
  polly/test/ScopInfo/parameter_with_constant_factor_in_add.ll
  polly/test/ScopInfo/phi_after_error_block.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D142292.491469.patch
Type: text/x-patch
Size: 167056 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230123/703a613e/attachment-0001.bin>