pto.pintlv_b32

pto.pintlv_b32 is part of the Predicate Generation And Algebra instruction set.

Summary

Interleave two b32-granularity predicate sources and materialize the lower and higher result halves as two predicate outputs.

Mechanism

pto.pintlv_b32 is the 32-bit-element-granularity variant of the predicate-interleave family (pto.pintlv_b8 / pto.pintlv_b16 / pto.pintlv_b32). It takes two !pto.mask<b32> sources and emits the two interleaved halves under the same b32 granularity. The hardware view of the predicate-register image is preserved bit-for-bit; only how the bits are grouped into 32-bit element slots changes.

Syntax

AS Level 1 (SSA)

%low, %high = pto.pintlv_b32 %src0, %src1
    : !pto.mask<b32>, !pto.mask<b32> -> !pto.mask<b32>, !pto.mask<b32>

Inputs

Operand Type Description
%src0 !pto.mask<b32> First predicate source
%src1 !pto.mask<b32> Second predicate source

Expected Outputs

Result Type Description
%low !pto.mask<b32> Lower interleaved half produced from %src0 / %src1
%high !pto.mask<b32> Upper interleaved half produced from %src0 / %src1

Side Effects

None. pto.pintlv_b32 is a pure predicate transform; it does not read or write UB, GM, or any architectural state beyond producing its two SSA results.

Constraints

Constraints

  • All operands and results MUST use !pto.mask<b32>. Mixing predicate granularities is illegal; use pto.pbitcast first if a producer emits a different granularity.
  • The two outputs form an ordered pair (%low, %high) and that pairing MUST be preserved.

Examples

%lo, %hi = pto.pintlv_b32 %m0, %m1
    : !pto.mask<b32>, !pto.mask<b32> -> !pto.mask<b32>, !pto.mask<b32>