llzk::verif::detail::CallableSummaryKey Struct Reference

Cache key for one interprocedural callable-result summary query. More...

#include <ForbiddenPreconditionInfluence.h>

Public Member Functions
bool	operator== (const CallableSummaryKey &other) const

Public Attributes
mlir::Operation *	callable {}
llvm::SmallVector< InfluenceInfo >	argInfluences
unsigned	resultNumber {}

Detailed Description

Cache key for one interprocedural callable-result summary query.

The analyzer memoizes result summaries by callable body, the caller-provided forbidden-influence classification of each argument, and the specific result number being queried. Reusing this key avoids re-analyzing the same helper function under identical argument influence assumptions.

Definition at line 122 of file ForbiddenPreconditionInfluence.h.

Member Function Documentation

operator==()

bool llzk::verif::detail::CallableSummaryKey::operator== ( const CallableSummaryKey & other ) const

inline

Definition at line 127 of file ForbiddenPreconditionInfluence.h.

Member Data Documentation

argInfluences

llvm::SmallVector<InfluenceInfo> llzk::verif::detail::CallableSummaryKey::argInfluences

Definition at line 124 of file ForbiddenPreconditionInfluence.h.

callable

mlir::Operation* llzk::verif::detail::CallableSummaryKey::callable {}

Definition at line 123 of file ForbiddenPreconditionInfluence.h.

resultNumber

unsigned llzk::verif::detail::CallableSummaryKey::resultNumber {}

Definition at line 125 of file ForbiddenPreconditionInfluence.h.

---

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

• include/llzk/Dialect/Verif/Util/ForbiddenPreconditionInfluence.h