[all-commits] [llvm/llvm-project] 1d5092: [SCEV] Simplify umin/max of zext and sext of the s...

[Philip Reames via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 1d509201e2d2e926654ef762524754311fafcd59
      https://github.com/llvm/llvm-project/commit/1d509201e2d2e926654ef762524754311fafcd59
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2019-10-19 (Sat, 19 Oct 2019)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/max-trip-count-address-space.ll
    M llvm/test/Analysis/ScalarEvolution/max-trip-count.ll
    M llvm/test/Analysis/ScalarEvolution/sext-mul.ll
    M llvm/test/Analysis/ScalarEvolution/umin-umax-folds.ll

  Log Message:
  -----------
  [SCEV] Simplify umin/max of zext and sext of the same value

This is a common idiom which arises after induction variables are widened, and we have two or more exit conditions.  Interestingly, we don't have instcombine or instsimplify support for this either.

Differential Revision: https://reviews.llvm.org/D69006

llvm-svn: 375349