commit	9588ad9611368d65a6f619ae5e79fff70854a1fc	[log] [tgz]
author	Nicola Zaghen <nicola.zaghen@imgtec.com>	Tue Sep 04 10:29:48 2018 +0000
committer	Nicola Zaghen <nicola.zaghen@imgtec.com>	Tue Sep 04 10:29:48 2018 +0000
tree	f51068c83cdebf1b82bf5bdfd2512383917f2fb0
parent	ef16ea7f7ade8dbe3647e7c829a13d1dbeee0f0e [diff]

[InstCombine] Fold icmp ugt/ult (add nuw X, C2), C --> icmp ugt/ult X, (C - C2)

Support for sgt/slt was added in rL294898, this adds the same cases also for unsigned compares.

This is the Alive proof: https://rise4fun.com/Alive/nyY

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

llvm-svn: 341353

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp[diff]
llvm/test/Analysis/ValueTracking/non-negative-phi-bits.ll[diff]
llvm/test/Transforms/InstCombine/icmp-add.ll[diff]
llvm/test/Transforms/LoopVectorize/X86/masked_load_store.ll[diff]
llvm/test/Transforms/LoopVectorize/if-conversion-nest.ll[diff]
llvm/test/Transforms/LoopVectorize/runtime-check.ll[diff]

6 files changed

tree: f51068c83cdebf1b82bf5bdfd2512383917f2fb0

clang/
clang-tools-extra/
compiler-rt/
debuginfo-tests/
libclc/
libcxx/
libcxxabi/
libunwind/
lld/
lldb/
llgo/
llvm/
openmp/
parallel-libs/
polly/
README.md

README.md

Low Level Virtual Machine (LLVM)

This directory and its subdirectories contain source code for LLVM, a toolkit for the construction of highly optimized compilers, optimizers, and runtime environments.