[SimplifyIndVar] Canonicalize comparisons to unsigned while eliminating truncs
authorMax Kazantsev <max.kazantsev@azul.com>
Fri, 27 Jul 2018 09:43:39 +0000 (09:43 +0000)
committerMax Kazantsev <max.kazantsev@azul.com>
Fri, 27 Jul 2018 09:43:39 +0000 (09:43 +0000)
commit4d980515d2accf33ca684524fbbeb31f098be6c4
treed6069b8f3ffb9f2f1f7e81ab5a13fed60d97526b
parenta4ba5f9951498bee2df9892ba78defdc8e5f0422
[SimplifyIndVar] Canonicalize comparisons to unsigned while eliminating truncs

This is a follow-up for the patch rL335020. When we replace compares against
trunc with compares against wide IV, we can also replace signed predicates with
unsigned where it is legal.

Reviewed By: reames
Differential Revision: https://reviews.llvm.org/D48763

llvm-svn: 338115
llvm/lib/Transforms/Utils/SimplifyIndVar.cpp
llvm/test/Transforms/IndVarSimplify/eliminate-trunc.ll