struct RetainedKnowledge

Declaration

struct RetainedKnowledge { /* full declaration omitted */ };

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.

Declared at: llvm/include/llvm/Analysis/AssumeBundleQueries.h:100

Member Variables

public Attribute::AttrKind AttrKind = Attribute::None

public uint64_t ArgValue = 0

public llvm::Value* WasOn = nullptr

Method Overview

• public static llvm::RetainedKnowledge none()
• public bool operator bool() const

Methods

¶static llvm::RetainedKnowledge none()

Declared at: llvm/include/llvm/Analysis/AssumeBundleQueries.h:119

¶bool operator bool() const

Declared at: llvm/include/llvm/Analysis/AssumeBundleQueries.h:118