mlir::abi::ArgClassification Struct Reference

Describes how a single argument or return value is passed after ABI lowering. More...

#include "mlir/ABI/ABIRewriteContext.h"

Public Member Functions
bool	isPassThrough () const
	Whether the value is passed as-is, so a rewriter can leave it alone.
bool	operator== (const ArgClassification &other) const
	Whether two classifications describe the same wire format.

Static Public Member Functions
static ArgClassification	getDirect (Type coerced=nullptr)
static ArgClassification	getIgnore ()
static ArgClassification	getIndirect (llvm::Align align, bool byVal=true)
static ArgClassification	getExtend (Type coerced, bool signExt)

Public Attributes
ArgKind	kind = ArgKind::Direct
Type	coercedType = nullptr
	The ABI-coerced type, if different from the original.
llvm::Align	indirectAlign = llvm::Align(1)
	For Indirect: alignment of the pointed-to object.
bool	signExtend = false
	For Extend: whether to sign-extend (true) or zero-extend (false).
bool	canFlatten = true
	For Direct: whether a struct coercion can be flattened into individual register-width arguments.
bool	byVal = false
	For Indirect: whether the callee gets ownership (byval).

Detailed Description

Describes how a single argument or return value is passed after ABI lowering.

Definition at line 58 of file ABIRewriteContext.h.

Member Function Documentation

getDirect()

ArgClassification mlir::abi::ArgClassification::getDirect ( Type coerced = nullptr )

inlinestatic

Definition at line 93 of file ABIRewriteContext.h.

References coercedType, mlir::abi::Direct, and kind.

getExtend()

ArgClassification mlir::abi::ArgClassification::getExtend ( Type coerced, bool signExt )

inlinestatic

Definition at line 114 of file ABIRewriteContext.h.

References coercedType, mlir::abi::Extend, kind, and signExtend.

getIgnore()

ArgClassification mlir::abi::ArgClassification::getIgnore ( )

inlinestatic

Definition at line 100 of file ABIRewriteContext.h.

References mlir::abi::Ignore, and kind.

getIndirect()

ArgClassification mlir::abi::ArgClassification::getIndirect ( llvm::Align align, bool byVal = true )

inlinestatic

Definition at line 106 of file ABIRewriteContext.h.

References byVal, mlir::abi::Indirect, indirectAlign, and kind.

isPassThrough()

bool mlir::abi::ArgClassification::isPassThrough ( ) const

inline

Whether the value is passed as-is, so a rewriter can leave it alone.

Only an uncoerced Direct qualifies. Extend counts as needing a rewrite even though it only adds an attribute, because the attribute changes observable behavior.

Definition at line 82 of file ABIRewriteContext.h.

References coercedType, mlir::abi::Direct, and kind.

Referenced by mlir::abi::FunctionClassification::needsRewrite().

operator==()

bool mlir::abi::ArgClassification::operator== ( const ArgClassification & other ) const

inline

Whether two classifications describe the same wire format.

Every field participates, so a field added above must be added here as well.

Definition at line 86 of file ABIRewriteContext.h.

References byVal, canFlatten, coercedType, indirectAlign, kind, and signExtend.

Member Data Documentation

byVal

bool mlir::abi::ArgClassification::byVal = false

For Indirect: whether the callee gets ownership (byval).

Definition at line 76 of file ABIRewriteContext.h.

Referenced by getIndirect(), and operator==().

canFlatten

bool mlir::abi::ArgClassification::canFlatten = true

For Direct: whether a struct coercion can be flattened into individual register-width arguments.

Definition at line 73 of file ABIRewriteContext.h.

Referenced by operator==().

coercedType

Type mlir::abi::ArgClassification::coercedType = nullptr

The ABI-coerced type, if different from the original.

Null means use the original type.

Definition at line 63 of file ABIRewriteContext.h.

Referenced by getDirect(), getExtend(), isPassThrough(), and operator==().

indirectAlign

llvm::Align mlir::abi::ArgClassification::indirectAlign = llvm::Align(1)

For Indirect: alignment of the pointed-to object.

Definition at line 66 of file ABIRewriteContext.h.

Referenced by getIndirect(), and operator==().

kind

ArgKind mlir::abi::ArgClassification::kind = ArgKind::Direct

Definition at line 59 of file ABIRewriteContext.h.

Referenced by getDirect(), getExtend(), getIgnore(), getIndirect(), isPassThrough(), and operator==().

signExtend

bool mlir::abi::ArgClassification::signExtend = false

For Extend: whether to sign-extend (true) or zero-extend (false).

Definition at line 69 of file ABIRewriteContext.h.

Referenced by getExtend(), and operator==().

---

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

• include/mlir/ABI/ABIRewriteContext.h