[ValueTracking] Teach cannotBeOrderedLessThanZeroImpl to look through ExtractElement.
authorCraig Topper <craig.topper@intel.com>
Tue, 27 Feb 2018 19:53:45 +0000 (19:53 +0000)
committerCraig Topper <craig.topper@intel.com>
Tue, 27 Feb 2018 19:53:45 +0000 (19:53 +0000)
commit301991080e24ac402793ca6684daa2fc70647f8a
tree50631586f141be7472fc4d34a5dccad86f6338b7
parent308e27ee9df861a219f62acb5452969fd161cecc
[ValueTracking] Teach cannotBeOrderedLessThanZeroImpl to look through ExtractElement.

This is similar to what's done in computeKnownBits and computeSignBits. Don't do anything fancy just collect information valid for any element.

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

llvm-svn: 326237
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll