¶bool isKnownNegation(const llvm::Value* X,
                     const llvm::Value* Y,
                     bool NeedNSW = false)

Description

Return true if the two given values are negation. Currently can recoginze Value pair: 1: <X , Y> if X = sub (0, Y) or Y = sub (0, X) 2: <X , Y> if X = sub (A, B) and Y = sub (B, A)

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

Parameters

const llvm::Value* X

const llvm::Value* Y

bool NeedNSW = false