[PATCH] D145230: [ScalarEvolution] Apply loop guards against min/max for its arguments

[Dmitry Makogon via Phabricator via llvm-commits]

dmakogon updated this revision to Diff 502950.
dmakogon added a comment.

Thanks for the suggestions, Max.

1. Now the switch uses fallthroughs.
2. The expressions are now processed in a worklist, for min/max we enqueue their operands.
3. Suggest to fix +/- 1 bug in a follow-up. The bug was there before, this patch doesn't expose it anyway.


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

https://reviews.llvm.org/D145230

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info-rewrite-expressions.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D145230.502950.patch
Type: text/x-patch
Size: 25472 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230307/08a7c5a7/attachment.bin>