qat.experimental.dialect.q1.ir.ops module

Concrete QBlox Q1 ISA operations.

This module mirrors the single-sequencer assembly instruction set as MLIR operations. Operation names use the pattern q1.<signature>.<mnemonic> where the signature encodes operand/result shapes. For example rir encodes the variant register-immediate-register.

Each operation inherits a reusable format class from qat.experimental.dialect.q1.ir.abstract_ops.

Flag mnemonic glossary used in op docstrings:

ZF: zero flag
NF: negative/sign flag
CF: carry flag
OF: overflow flag

class AddRIROp(a, b, rd, comment=None)

Bases: RsIRdOperation[IntRegisterType]

Add a register and immediate operand and store the result in destination.

property a: Semantic alias for the generic rs field.

property b: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.rir.add': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class AddRRROp(a, b, rd, comment=None)

Bases: RsRsRdOperation[IntRegisterType]

Add two register operands and store the result in destination.

property a: Semantic alias for the first generic rs field.

property b: Semantic alias for the second generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rrr.add': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class AndRIROp(a, b, rd, comment=None)

Bases: RsIRdOperation[IntRegisterType]

Bitwise AND between register and immediate operands into destination.

property a: Semantic alias for the generic rs field.

property b: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.rir.and': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class AndRRROp(a, b, rd, comment=None)

Bases: RsRsRdOperation[IntRegisterType]

Bitwise AND between two register operands into destination.

property a: Semantic alias for the first generic rs field.

property b: Semantic alias for the second generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rrr.and': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class AslRIROp(a, b, rd, comment=None)

Bases: RsIRdOperation[IntRegisterType]

Arithmetic left shift by immediate bit-count into destination.

property a: Semantic alias for the generic rs field.

property b: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.rir.asl': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class AslRRROp(a, b, rd, comment=None)

Bases: RsRsRdOperation[IntRegisterType]

Arithmetic left shift by register bit-count into destination.

property a: Semantic alias for the first generic rs field.

property b: Semantic alias for the second generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rrr.asl': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class AsrRIROp(a, b, rd, comment=None)

Bases: RsIRdOperation[IntRegisterType]

Arithmetic right shift by immediate bit-count into destination.

property a: Semantic alias for the generic rs field.

property b: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.rir.asr': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class AsrRRROp(a, b, rd, comment=None)

Bases: RsRsRdOperation[IntRegisterType]

Arithmetic right shift by register bit-count into destination.

property a: Semantic alias for the first generic rs field.

property b: Semantic alias for the second generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rrr.asr': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class DefDirectiveOp(alias, value, comment=None)

Bases: DefDirectiveOp, Q1AsmOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Define an alias in Q1 assembly via .DEF <name> <value>.

Example:

.DEF SQG_TIME 100 # Time in ns for single qubit gate wait $SQG_TIME

alias: Accessor for an operation property.

assembly_line()

Default assembly code generator.

Return type:: str | None

assembly_line_args()

Instruction arguments in the order they should be printed in the assembly.

Return type:: tuple[IntegerAttr | SSAValue | RegisterType | StringAttr | str | None, ...]

assembly_mnemonic()

Because operation name must match q1.<format>.<mnemonic>, the instruction name (mnemonic) is extracted from the operation name to be the third field.

Return type:: str

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.xx.DEF': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

value: Accessor for an operation property.

verify_()

class FbAcqIqIdIIOp(id, duration, comment=None)

Bases: FbAcqIqIdIIOp, IIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Configure the id tag attached to IQ data sent over LINQ (immediate variant) and wait duration ns.

Setting id = 0 disables transmission.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the second generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property id: Semantic alias for the first generic imm field.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.ii.fb_acq_iq_id': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class FbAcqIqIdRIOp(id, duration, comment=None)

Bases: RsIOperation[IntRegisterType]

Configure the id tag attached to IQ data sent over LINQ (register variant) and wait duration ns.

Setting id = 0 disables transmission.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property id: Semantic alias for the generic rs field.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.ri.fb_acq_iq_id': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class FbAcqIqShiftIIOp(shift, duration, comment=None)

Bases: FbAcqIqShiftIIOp, IIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Right-shift IQ values by shift bits before LINQ transmission to reduce resolution, then wait duration ns.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the second generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.ii.fb_acq_iq_shift': The operation name. Should be a static member of the class

property shift: Semantic alias for the first generic imm field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class FbAcqTbCfgIIIIOp(wc, bit_pos, length, duration, comment=None)

Bases: FbAcqTbCfgIIIIOp, IIIIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Configure write-combine mode, bit position, payload length, and wait duration for thresholded-bit transmissions.

property bit_pos: Semantic alias for the second generic imm field.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the fourth generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

imm3: Accessor for an operation property.

imm4: Accessor for an operation property.

property length: Semantic alias for the third generic imm field.

name: ClassVar[str] = 'q1.iiii.fb_acq_tb_cfg': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

property wc: Semantic alias for the first generic imm field.

class FbAcqTbExtraIIIOp(enable, extra, duration, comment=None)

Bases: FbAcqTbExtraIIIOp, IIIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Enable or disable inclusion of extra bytes in the TB payload and wait duration ns.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the third generic imm field.

property enable: Semantic alias for the first generic imm field.

property extra: Semantic alias for the second generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

imm3: Accessor for an operation property.

name: ClassVar[str] = 'q1.iii.fb_acq_tb_extra': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class FbAcqTbIdIIOp(id, duration, comment=None)

Bases: FbAcqTbIdIIOp, IIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Configure the id tag attached to thresholded bits (TB) sent over LINQ (immediate variant) and wait duration ns.

Setting id = 0 disables transmission.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the second generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property id: Semantic alias for the first generic imm field.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.ii.fb_acq_tb_id': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class FbAcqTbIdRIOp(id, duration, comment=None)

Bases: RsIOperation[IntRegisterType]

Configure the id tag attached to thresholded bits (TB) sent over LINQ (register variant) and wait duration ns.

Setting id = 0 disables transmission.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property id: Semantic alias for the generic rs field.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.ri.fb_acq_tb_id': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class FbAcqTbMockIIIIOp(enable, valid, data, count, comment=None)

Bases: FbAcqTbMockIIIIOp, IIIIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Transmit mock thresholded bits instead of real TB data when enable = 1.

comment: Accessor for an optional operation property.

property count: Semantic alias for the fourth generic imm field.

property data: Semantic alias for the third generic imm field.

property enable: Semantic alias for the first generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

imm3: Accessor for an operation property.

imm4: Accessor for an operation property.

name: ClassVar[str] = 'q1.iiii.fb_acq_tb_mock': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

property valid: Semantic alias for the second generic imm field.

verify_()

class FbAcqTbValidIIOp(valid, duration, comment=None)

Bases: FbAcqTbValidIIOp, IIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Configure the valid bit for thresholded bits (TB) sent over LINQ (immediate variant) and wait duration ns.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the second generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.ii.fb_acq_tb_valid': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

property valid: Semantic alias for the first generic imm field.

verify_()

class FbAcqTbValidRIOp(valid, duration, comment=None)

Bases: RsIOperation[IntRegisterType]

Configure the valid bit for thresholded bits (TB) sent over LINQ (register variant) and wait duration ns.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.ri.fb_acq_tb_valid': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

property valid: Semantic alias for the generic rs field.

verify_()

class FbCmdIIIOp(id, value, duration, comment=None)

Bases: FbCmdIIIOp, IIIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Send an immediate command value over LINQ tagged with the given id and wait duration ns.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the third generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property id: Semantic alias for the first generic imm field.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

imm3: Accessor for an operation property.

name: ClassVar[str] = 'q1.iii.fb_cmd': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

property value: Semantic alias for the second generic imm field.

verify_()

class FbCmdIRIOp(id, value, duration, comment=None)

Bases: IRsIOperation[IntRegisterType]

Send a register command value over LINQ tagged with the given id and wait duration ns.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the second generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property id: Semantic alias for the first generic imm field.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.iri.fb_cmd': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

property value: Semantic alias for the generic rs field.

verify_()

class FbComCfgIIIIOp(wc, bit_pos, length, duration, comment=None)

Bases: FbComCfgIIIIOp, IIIIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Configure write-combine mode, bit position, payload length, and wait duration for subsequent fb_com_data transmissions.

property bit_pos: Semantic alias for the second generic imm field.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the fourth generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

imm3: Accessor for an operation property.

imm4: Accessor for an operation property.

property length: Semantic alias for the third generic imm field.

name: ClassVar[str] = 'q1.iiii.fb_com_cfg': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

property wc: Semantic alias for the first generic imm field.

class FbComDataIIIOp(id, value, duration, comment=None)

Bases: FbComDataIIIOp, IIIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Send an immediate value over LINQ tagged with the given id and wait duration ns.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the third generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property id: Semantic alias for the first generic imm field.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

imm3: Accessor for an operation property.

name: ClassVar[str] = 'q1.iii.fb_com_data': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

property value: Semantic alias for the second generic imm field.

verify_()

class FbComDataIRIOp(id, value, duration, comment=None)

Bases: IRsIOperation[IntRegisterType]

Send a register value over LINQ tagged with the given id and wait duration ns.

comment: Accessor for an optional operation property.

property duration: Semantic alias for the second generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property id: Semantic alias for the first generic imm field.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.iri.fb_com_data': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

property value: Semantic alias for the generic rs field.

verify_()

class FbComExtraIIIOp(enable, extra, duration, comment=None)

Bases: FbComExtraIIIOp, IIIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Enable or disable inclusion of extra bytes in the LINQ data payload and wait duration ns.

Signature: enable: I, extra: I, duration: I

comment: Accessor for an optional operation property.

property duration: Semantic alias for the third generic imm field.

property enable: Semantic alias for the first generic imm field.

property extra: Semantic alias for the second generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

imm3: Accessor for an operation property.

name: ClassVar[str] = 'q1.iii.fb_com_extra': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class FbPopDataIROp(id, destination, comment=None)

Bases: IRdOperation[IntRegisterType]

Pop the next entry whose id matches the immediate from the feedback queue and write the associated data value into the destination register.

comment: Accessor for an optional operation property.

property destination: Semantic alias for the generic rd field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property id: Semantic alias for the generic imm field.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.ir.fb_pop_data': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class FbPullDataRROp(destination_id, destination, comment=None)

Bases: RdRdOperation[IntRegisterType]

Pull the first available entry from the feedback queue regardless of id, writing the entry’s id into destination_id and the associated data into destination.

comment: Accessor for an optional operation property.

property destination: Semantic alias for the second generic rd field.

property destination_id: Semantic alias for the first generic rd field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rr.fb_pull_data': The operation name. Should be a static member of the class

rd1: Access a non-variadic construct which appears before any variadic arguments.

rd2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class IllegalOp(comment=None)

Bases: IllegalOp, NullaryOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Invalid instruction that halts the sequencer with an illegal-instruction error.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1..illegal': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JaIOp(address, comment=None)

Bases: JaIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if unsigned a > b condition holds (ZF == 0 and CF == 0).

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.ja': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JaROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if unsigned a > b condition holds (ZF == 0 and CF == 0).

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.ja': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JaeIOp(address, comment=None)

Bases: JaeIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if unsigned a >= b condition holds (CF == 0).

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jae': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JaeROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if unsigned a >= b condition holds (CF == 0).

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jae': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JbIOp(address, comment=None)

Bases: JbIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if unsigned a < b condition holds (CF == 1).

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jb': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JbROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if unsigned a < b condition holds (CF == 1).

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jb': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JbeIOp(address, comment=None)

Bases: JbeIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if unsigned a <= b condition holds (ZF == 1 or CF == 1).

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jbe': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JbeROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if unsigned a <= b condition holds (ZF == 1 or CF == 1).

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jbe': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JgIOp(address, comment=None)

Bases: JgIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if signed a > b condition holds (ZF == 0 and NF == OF).

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jg': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JgROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if signed a > b condition holds (ZF == 0 and NF == OF).

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jg': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JgeRIIOp(a, b, address, comment=None)

Bases: RsIIOperation[IntRegisterType]

Deprecated legacy jump variant for unsigned a >= b with immediate address.

property a: Semantic alias for the generic rs field.

property address: Semantic alias for the second generic imm field.

property b: Semantic alias for the first generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.rii.jge': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JgeRIROp(a, b, address, comment=None)

Bases: RsIRsOperation[IntRegisterType]

Deprecated legacy jump variant for unsigned a >= b with register address.

property a: Semantic alias for the first generic rs field.

property address: Semantic alias for the second generic rs field.

property b: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.rir.jge': The operation name. Should be a static member of the class

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JlIOp(address, comment=None)

Bases: JlIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if signed a < b condition holds (NF != OF).

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jl': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JlROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if signed a < b condition holds (NF != OF).

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jl': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JleIOp(address, comment=None)

Bases: JleIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if signed a <= b condition holds (ZF == 1 or NF != OF).

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jle': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JleROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if signed a <= b condition holds (ZF == 1 or NF != OF).

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jle': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JltRIIOp(a, b, address, comment=None)

Bases: RsIIOperation[IntRegisterType]

Deprecated legacy jump variant for unsigned a < b with immediate address.

property a: Semantic alias for the generic rs field.

property address: Semantic alias for the second generic imm field.

property b: Semantic alias for the first generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.rii.jlt': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JltRIROp(a, b, address, comment=None)

Bases: RsIRsOperation[IntRegisterType]

Deprecated legacy jump variant for unsigned a < b with register address.

property a: Semantic alias for the first generic rs field.

property address: Semantic alias for the second generic rs field.

property b: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.rir.jlt': The operation name. Should be a static member of the class

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JmpIOp(address, comment=None)

Bases: JmpIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Unconditional jump to an immediate address.

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jmp': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JmpROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Unconditional jump to an address stored in a register.

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jmp': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JnoIOp(address, comment=None)

Bases: JnoIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if OF == 0 to an immediate address.

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jno': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JnoROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if OF == 0 to a register address.

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jno': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JnsIOp(address, comment=None)

Bases: JnsIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if NF == 0 to an immediate address.

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jns': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JnsROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if NF == 0 to a register address.

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jns': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JnzIOp(address, comment=None)

Bases: JnzIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if ZF == 0 to an immediate address.

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jnz': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JnzROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if ZF == 0 to a register address.

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jnz': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JoIOp(address, comment=None)

Bases: JoIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if OF == 1 to an immediate address.

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jo': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JoROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if OF == 1 to a register address.

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jo': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JsIOp(address, comment=None)

Bases: JsIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if NF == 1 to an immediate address.

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.js': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JsROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if NF == 1 to a register address.

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.js': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JzIOp(address, comment=None)

Bases: JzIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Jump if ZF == 1 to an immediate address.

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.jz': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class JzROp(address, comment=None)

Bases: RsOperation[IntRegisterType]

Jump if ZF == 1 to a register address.

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.jz': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class LabelOp(reference, comment=None)

Bases: LabelOp, Q1AsmOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Emit a textual label used as a branch or jump target.

Example:

func: # Label reference that jumping operations can refer to add R1, R2, R3

assembly_line()

Default assembly code generator.

Return type:: str | None

assembly_line_args()

Instruction arguments in the order they should be printed in the assembly.

Return type:: tuple[IntegerAttr | SSAValue | RegisterType | StringAttr | str | None, ...]

assembly_mnemonic()

Because operation name must match q1.<format>.<mnemonic>, the instruction name (mnemonic) is extracted from the operation name to be the third field.

Return type:: str

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.x.label': The operation name. Should be a static member of the class

reference: Accessor for an operation property.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class LoopRIOp(source, address, comment=None)

Bases: RdIOperation[IntRegisterType]

Deprecated legacy loop: decrement source and jump while the result is non-zero.

property address: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.ri.loop': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

property source: Semantic alias for the generic rd field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class LoopRROp(source, address, comment=None)

Bases: RdRsOperation[IntRegisterType]

Deprecated legacy loop: decrement source and jump while the result is non-zero.

property address: Semantic alias for the generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rr.loop': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

property source: Semantic alias for the generic rd field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class MoveIROp(source, rd, comment=None)

Bases: IRdOperation[IntRegisterType]

Copy an immediate source value into a destination register.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.ir.move': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

property source: Semantic alias for the generic imm field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class MoveRROp(source, rd, comment=None)

Bases: RsRdOperation[IntRegisterType]

Copy a register source value into a destination register.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rr.move': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

property source: Semantic alias for the generic rs field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class NopOp(comment=None)

Bases: NopOp, NullaryOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

No-op instruction that waits one Q1 core cycle (4 ns) without changing state.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1..nop': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class NotIROp(source, rd, comment=None)

Bases: IRdOperation[IntRegisterType]

Bitwise invert an immediate source value and write the result to destination.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.ir.not': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

property source: Semantic alias for the generic imm field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class NotRROp(source, rd, comment=None)

Bases: RsRdOperation[IntRegisterType]

Bitwise invert a register source value and write the result to destination.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rr.not': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

property source: Semantic alias for the generic rs field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class OrRIROp(a, b, rd, comment=None)

Bases: RsIRdOperation[IntRegisterType]

Bitwise OR between register and immediate operands into destination.

property a: Semantic alias for the generic rs field.

property b: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.rir.or': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class OrRRROp(a, b, rd, comment=None)

Bases: RsRsRdOperation[IntRegisterType]

Bitwise OR between two register operands into destination.

property a: Semantic alias for the first generic rs field.

property b: Semantic alias for the second generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rrr.or': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class ResetPhOp(comment=None)

Bases: ResetPhOp, NullaryOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Set the latched phase-reset flag to reset NCO phase accumulation.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1..reset_ph': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetAwgGainIIOp(gain0, gain1, comment=None)

Bases: SetAwgGainIIOp, IIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Set latched AWG gains for both output paths from immediate values.

comment: Accessor for an optional operation property.

property gain0: Semantic alias for the first generic imm field.

property gain1: Semantic alias for the second generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.ii.set_awg_gain': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetAwgGainRROp(gain0, gain1, comment=None)

Bases: RsRsOperation[IntRegisterType]

Set latched AWG gains for both output paths from register values.

comment: Accessor for an optional operation property.

property gain0: Semantic alias for the first generic rs field.

property gain1: Semantic alias for the second generic rs field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rr.set_awg_gain': The operation name. Should be a static member of the class

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetAwgOffsIIOp(offset0, offset1, comment=None)

Bases: SetAwgOffsIIOp, IIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Set latched AWG offsets for both output paths from immediate values.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

name: ClassVar[str] = 'q1.ii.set_awg_offs': The operation name. Should be a static member of the class

property offset0: Semantic alias for the first generic imm field.

property offset1: Semantic alias for the second generic imm field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetAwgOffsRROp(offset0, offset1, comment=None)

Bases: RsRsOperation[IntRegisterType]

Set latched AWG offsets for both output paths from register values.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rr.set_awg_offs': The operation name. Should be a static member of the class

property offset0: Semantic alias for the first generic rs field.

property offset1: Semantic alias for the second generic rs field.

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetCondIIIIOp(enable, mask, operator, else_duration, comment=None)

Bases: SetCondIIIIOp, IIIIOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Configure conditional execution from trigger-network condition parameters.

comment: Accessor for an optional operation property.

property else_duration: Semantic alias for the fourth generic imm field.

property enable: Semantic alias for the first generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm1: Accessor for an operation property.

imm2: Accessor for an operation property.

imm3: Accessor for an operation property.

imm4: Accessor for an operation property.

property mask: Semantic alias for the second generic imm field.

name: ClassVar[str] = 'q1.iiii.set_cond': The operation name. Should be a static member of the class

property operator: Semantic alias for the third generic imm field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetCondRRRIOp(enable, mask, operator, else_duration, comment=None)

Bases: RsRsRsIOperation[IntRegisterType]

Configure conditional execution from register-based condition parameters.

comment: Accessor for an optional operation property.

property else_duration: Semantic alias for the generic imm field.

property enable: Semantic alias for the first generic rs field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

property mask: Semantic alias for the second generic rs field.

name: ClassVar[str] = 'q1.rrri.set_cond': The operation name. Should be a static member of the class

property operator: Semantic alias for the third generic rs field.

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

rs3: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetFreqIOp(frequency, comment=None)

Bases: SetFreqIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Set the latched NCO frequency from an immediate source.

comment: Accessor for an optional operation property.

property frequency: Semantic alias for the generic imm field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.set_freq': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetFreqROp(frequency, comment=None)

Bases: RsOperation[IntRegisterType]

Set the latched NCO frequency from a register source.

comment: Accessor for an optional operation property.

property frequency: Semantic alias for the generic rs field.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.set_freq': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetMrkIOp(mask, comment=None)

Bases: SetMrkIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Set marker output mask from an immediate source.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

property mask: Semantic alias for the generic imm field.

name: ClassVar[str] = 'q1.i.set_mrk': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetMrkROp(mask, comment=None)

Bases: RsOperation[IntRegisterType]

Set marker output mask from a register source.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

property mask: Semantic alias for the generic rs field.

name: ClassVar[str] = 'q1.r.set_mrk': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetPhDeltaIOp(phase_delta, comment=None)

Bases: SetPhDeltaIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Set the latched instantaneous phase-kick source from an immediate.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.set_ph_delta': The operation name. Should be a static member of the class

property phase_delta: Semantic alias for the generic imm field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetPhDeltaROp(phase_delta, comment=None)

Bases: RsOperation[IntRegisterType]

Set the latched instantaneous phase-kick source from a register.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.set_ph_delta': The operation name. Should be a static member of the class

property phase_delta: Semantic alias for the generic rs field.

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetPhIOp(phase_offset, comment=None)

Bases: SetPhIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Set the latched NCO phase-offset source from an immediate.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.set_ph': The operation name. Should be a static member of the class

property phase_offset: Semantic alias for the generic imm field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SetPhROp(phase_offset, comment=None)

Bases: RsOperation[IntRegisterType]

Set the latched NCO phase-offset source from a register.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.set_ph': The operation name. Should be a static member of the class

property phase_offset: Semantic alias for the generic rs field.

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class StopIOp(status, comment=None)

Bases: StopIOp, IOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Stop the sequencer using an immediate stop code.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.i.stop': The operation name. Should be a static member of the class

property status: Semantic alias for the generic imm field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class StopOp(comment=None)

Bases: StopOp, NullaryOperation, Q1Instruction, Q1AsmOperation, Q1RegAllocOperation, HasRegisterConstraints, RegisterAllocatableOperation, IRDLOperation, OneLineAssemblyPrintable, AssemblyPrintable, Operation, _IRNode, ABC, object

Stop the sequencer with default stop code 0 (pseudo-op for stop 0).

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1..stop': The operation name. Should be a static member of the class

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class StopROp(status, comment=None)

Bases: RsOperation[IntRegisterType]

Stop the sequencer using a stop code read from a register.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.r.stop': The operation name. Should be a static member of the class

rs: Access a non-variadic construct which appears before any variadic arguments.

property status: Semantic alias for the generic rs field.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SubRIROp(a, b, rd, comment=None)

Bases: RsIRdOperation[IntRegisterType]

Subtract an immediate operand from a register operand into destination.

property a: Semantic alias for the generic rs field.

property b: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.rir.sub': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class SubRRROp(a, b, rd, comment=None)

Bases: RsRsRdOperation[IntRegisterType]

Subtract a register operand from another register operand into destination.

property a: Semantic alias for the first generic rs field.

property b: Semantic alias for the second generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rrr.sub': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class XorRIROp(a, b, rd, comment=None)

Bases: RsIRdOperation[IntRegisterType]

Bitwise XOR between register and immediate operands into destination.

property a: Semantic alias for the generic rs field.

property b: Semantic alias for the generic imm field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

imm: Accessor for an operation property.

name: ClassVar[str] = 'q1.rir.xor': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()

class XorRRROp(a, b, rd, comment=None)

Bases: RsRsRdOperation[IntRegisterType]

Bitwise XOR between two register operands into destination.

property a: Semantic alias for the first generic rs field.

property b: Semantic alias for the second generic rs field.

comment: Accessor for an optional operation property.

classmethod get_irdl_definition(): Get the IRDL operation definition.

name: ClassVar[str] = 'q1.rrr.xor': The operation name. Should be a static member of the class

rd: OpResult[RInvT]: Access a non-variadic construct which appears before any variadic arguments.

rs1: Access a non-variadic construct which appears before any variadic arguments.

rs2: Access a non-variadic construct which appears before any variadic arguments.

traits: ClassVar[OpTraits] = <xdsl.ir.core.OpTraits object>: Traits attached to an operation definition. This is a static field, and is made empty by default by PyRDL if not set by the operation definition.

verify_()