Sanjay Patel d2c64e2df9 Fix really obscure bug in CannotBeNegativeZero() (PR22688) ...

With a diabolically crafted test case, we could recurse
through this code and return true instead of false.

The larger engineering crime is the use of magic numbers. 
Added FIXME comments for those.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@230515 91177308-0d34-0410-b5e6-96231b3b80d8

2015-02-25 18:00:15 +00:00

..

2010-12-20-Boolean.ll

…

2011-01-14-Thread.ll

…

2011-02-01-Vector.ll

…

2011-09-05-InsertExtractValue.ll

…

2011-10-27-BinOpCrash.ll

…

2011-11-23-MaskedBitsCrash.ll

…

2013-04-19-ConstantFoldingCrash.ll

…

AndOrXor.ll

…

apint-or.ll

…

assume.ll

…

call-callconv.ll

…

call.ll

…

compare.ll

…

dead-code-removal.ll

…

exact-nsw-nuw.ll

…

fast-math.ll

InstSimplify: simplify 0 / X if nnan and nsz

2015-02-23 18:30:25 +00:00

fdiv.ll

…

floating-point-arithmetic.ll

Fix really obscure bug in CannotBeNegativeZero() (PR22688)

2015-02-25 18:00:15 +00:00

floating-point-compare.ll

…

fold-builtin-fma.ll

…

gep.ll

…

load.ll

…

maxmin.ll

…

noalias-ptr.ll

…

past-the-end.ll

…

phi.ll

…

ptr_diff.ll

…

reassociate.ll

…

rem.ll

…

select.ll

…

shr-nop.ll

…

undef.ll

…

vector_gep.ll

…

vector_ptr_bitcast.ll

…