ΒΆOptional<llvm::Value*>
combineOptionalValuesInAAValueLatice(
    const Optional<llvm::Value*>& A,
    const Optional<llvm::Value*>& B,
    llvm::Type* Ty)

Description

Return the combination of \p A and \p B such that the result is a possible value of both. \p B is potentially casted to match the type \p Ty or the type of \p A if \p Ty is null. Examples: X + none => X not_none + undef => not_none V1 + V2 => nullptr

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:209

Parameters

const Optional<llvm::Value*>& A
const Optional<llvm::Value*>& B
llvm::Type* Ty