[ValueTracking] add logic for known-never-nan with minnum/maxnum
authorSanjay Patel <spatel@rotateright.com>
Tue, 7 May 2019 22:58:31 +0000 (22:58 +0000)
committerSanjay Patel <spatel@rotateright.com>
Tue, 7 May 2019 22:58:31 +0000 (22:58 +0000)
commite088d03b9c8b25589bbf35545399ae28a34df182
treeee6008603c4b897a1b38cd1d5990b3cf413f32b9
parent0d8ae1e3435accab5130d71dfc872507043ca4f1
[ValueTracking] add logic for known-never-nan with minnum/maxnum

From the LangRef: "Returns NaN only if both operands are NaN."

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