llvm::RetainedKnowledge Struct Reference

Represent one information held inside an operand bundle of an llvm.assume. More...

#include "llvm/Analysis/AssumeBundleQueries.h"

Public Member Functions
bool	operator== (RetainedKnowledge Other) const
bool	operator!= (RetainedKnowledge Other) const
bool	operator< (RetainedKnowledge Other) const
	This is only intended for use in std::min/stdmax between attribute that only differ in ArgValue.
	operator bool () const

Static Public Member Functions
static RetainedKnowledge	none ()

Public Attributes
Attribute::AttrKind	AttrKind = Attribute::None
uint64_t	ArgValue = 0
Value *	WasOn = nullptr

Detailed Description

Represent one information held inside an operand bundle of an llvm.assume.

AttrKind is the property that holds. WasOn if not null is that Value for which AttrKind holds. ArgValue is optionally an argument of the attribute. For example if we know that P has an alignment of at least four:

• AttrKind will be Attribute::Alignment.
• WasOn will be P.
• ArgValue will be 4.

Definition at line 99 of file AssumeBundleQueries.h.

Member Function Documentation

none()

static RetainedKnowledge llvm::RetainedKnowledge::none ( )

inlinestatic

Definition at line 118 of file AssumeBundleQueries.h.

Referenced by llvm::getKnowledgeForValue(), llvm::getKnowledgeFromUse(), and llvm::simplifyRetainedKnowledge().

operator bool()

llvm::RetainedKnowledge::operator bool ( ) const

inline

Definition at line 117 of file AssumeBundleQueries.h.

References AttrKind, and llvm::Attribute::None.

operator!=()

bool llvm::RetainedKnowledge::operator!= ( RetainedKnowledge  Other ) const

inline

Definition at line 107 of file AssumeBundleQueries.h.

References llvm::Other.

operator<()

bool llvm::RetainedKnowledge::operator< ( RetainedKnowledge  Other ) const

inline

This is only intended for use in std::min/stdmax between attribute that only differ in ArgValue.

Definition at line 110 of file AssumeBundleQueries.h.

References ArgValue, assert(), AttrKind, llvm::Attribute::None, llvm::Other, and WasOn.

operator==()

bool llvm::RetainedKnowledge::operator== ( RetainedKnowledge  Other ) const

inline

Definition at line 103 of file AssumeBundleQueries.h.

References ArgValue, AttrKind, llvm::Other, and WasOn.

Member Data Documentation

ArgValue

uint64_t llvm::RetainedKnowledge::ArgValue = 0

Definition at line 101 of file AssumeBundleQueries.h.

Referenced by isDereferenceableAndAlignedPointer(), operator<(), operator==(), and llvm::InstCombinerImpl::visitCallInst().

AttrKind

Attribute::AttrKind llvm::RetainedKnowledge::AttrKind = Attribute::None

Definition at line 100 of file AssumeBundleQueries.h.

Referenced by llvm::getKnowledgeFromUse(), operator bool(), operator<(), operator==(), and llvm::InstCombinerImpl::visitCallInst().

WasOn

Value* llvm::RetainedKnowledge::WasOn = nullptr

Definition at line 102 of file AssumeBundleQueries.h.

Referenced by operator<(), operator==(), and llvm::InstCombinerImpl::visitCallInst().

---

The documentation for this struct was generated from the following file:

• include/llvm/Analysis/AssumeBundleQueries.h