ΒΆbool CannotBeOrderedLessThanZero(
    const llvm::Value* V,
    const llvm::TargetLibraryInfo* TLI)

Description

Return true if we can prove that the specified FP value is either NaN or never less than -0.0. NaN --> true +0 --> true -0 --> true x > +0 --> true x < -0 --> false

Declared at: llvm/include/llvm/Analysis/ValueTracking.h:204

Parameters

const llvm::Value* V
const llvm::TargetLibraryInfo* TLI