llvm::ElementCount

Name

Description

details::FixedOrScalableQuantity<ElementCount, unsigned int>

Common representation for a quantity that may be fixed or scaled by runtime vscale, shared by ElementCount and TypeSize.

Name

Description

ScalarTy

Scalar type used to store the fixed or scalable quantity.

Name

Description

ElementCount [constructor]

Construct a zero fixed element count.

coefficientNextPowerOf2

Round the known‐min coefficient up to the next power of two.

divideCoefficientBy

Divide the known‐min coefficient by RHS.

getFixedValue

Return the compile‐time quantity when this is fixed or zero; asserts if called on a non‐zero scalable quantity.

getKnownMinValue

Returns the minimum value this quantity can represent.

getKnownScalarFactor

Returns a value X where RHS.multiplyCoefficientBy(X) will result in a value whose quantity matches our own.

getWithIncrement

Add RHS to the underlying quantity.

hasKnownScalarFactor

Returns true if there exists a value X where RHS.multiplyCoefficientBy(X) will result in a value whose quantity matches our own.

isFixed

Returns true if the quantity is not scaled by vscale.

isKnownEven

Return true if the known‐min coefficient is even.

isKnownMultipleOf

isKnownMultipleOf overloads

isNonZero

Return true if the underlying coefficient is non‐zero.

isScalable

Returns whether the quantity is scaled by a runtime quantity (vscale).

isScalar

Exactly one element.

isVector

One or more elements.

isZero

Return true if the known‐minimum coefficient is zero.

multiplyCoefficientBy

Multiply the known‐min coefficient by RHS, preserving fixed/scalable kind.

print

Print this quantity to OS.

operator bool

Return true if the quantity is non‐zero.

operator==

Return true if quantity and scalable kind equal those of RHS.

operator!=

Return true if quantity or scalable kind differs from RHS.

Name

Description

get

Return an element count with minimum value MinVal, optionally scalable.

getFixed

Return a fixed (non‐vscale) element count of MinVal.

getScalable

Return a scalable element count with known‐minimum MinVal.

isKnownGE

Return true when LHS is definitely greater than or equal to RHS given that vscale >= 1; returns false when the relation cannot be proved.

isKnownGT

Return true when LHS is definitely greater than RHS given that vscale >= 1; returns false when the relation cannot be proved.

isKnownLE

Return true when LHS is definitely less than or equal to RHS given that vscale >= 1; returns false when the relation cannot be proved.

isKnownLT

Return true when LHS is definitely less than RHS given that vscale >= 1; returns false when the relation cannot be proved.

Name

Description

Quantity

Known‐minimum quantity (coefficient of 1 or of vscale).

Scalable

True when Quantity is scaled by the runtime vscale factor.

Name

Description

SplitBlockAndInsertForEachLane

Invoke a callback once for each lane of a vector with EC elements.

getOptionalElementCountLoopAttribute

Build an ElementCount from loop vectorize width metadata, if present.

getVectorizedTypeVF

Returns the number of vector elements for a vectorized type.

details::operator*

Multiply LHS by the scalar RHS, preserving its fixed/scalable kind.

details::operator*=

Multiply LHS by the scalar RHS in place, preserving its fixed/scalable kind.

details::operator+

Add RHS to LHS when both have compatible fixed/scalable kinds.

details::operator+=

Add RHS into LHS when both have compatible fixed/scalable kinds.

details::operator‐

Negate LHS when the scalar type is signed.

details::operator‐

Subtract RHS from LHS when both have compatible fixed/scalable kinds; asserts if the operands cannot be combined.

details::operator‐=

Subtract RHS from LHS when both have compatible fixed/scalable kinds; asserts if the operands cannot be combined.