ΒΆOptional<llvm::Value*>
combineOptionalValuesInAAValueLatice(
const Optional<llvm::Value*>& A,
const Optional<llvm::Value*>& B,
llvm::Type* Ty)
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