[PATCH] D69006: [SCEV] Simplify umin/max of zext and sext of the same value

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: nikic, ebrevnov, apilipenko.
Herald added subscribers: bollu, mcrosier.
Herald added a project: LLVM.

This is a common idiom which arises after induction variables are widened, and we have two or more exit conditions.

Reviewers, my commented reasoning is sound right?  This seems pretty basic, and nothing I can find in LLVM handles this pattern.  Am I missing something?


Repository:
  rL LLVM

https://reviews.llvm.org/D69006

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/umin-umax-folds.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D69006.225118.patch
Type: text/x-patch
Size: 6951 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191015/62f67191/attachment.bin>