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

Description

Return true if we can prove that the specified FP value's sign bit is 0. NaN --> true/false (depending on the NaN's sign bit) +0 --> true -0 --> false x > +0 --> true x < -0 --> false

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

Parameters

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