Ops

ops

RISCV = Dialect('riscv', [AddiOp, SltiOp, SltiuOp, AndiOp, OriOp, XoriOp, SlliOp, SrliOp, SraiOp, LuiOp, AuipcOp, MVOp, SeqzOp, SnezOp, ZextBOp, ZextWOp, SextWOp, AddOp, SltOp, SltuOp, AndOp, OrOp, XorOp, SllOp, SrlOp, SubOp, SraOp, NopOp, JalOp, JOp, JalrOp, ReturnOp, BeqOp, BneOp, BltOp, BgeOp, BltuOp, BgeuOp, LbOp, LbuOp, LhOp, LhuOp, LwOp, SbOp, ShOp, SwOp, CsrrwOp, CsrrsOp, CsrrcOp, CsrrwiOp, CsrrsiOp, CsrrciOp, MulOp, MulhOp, MulhsuOp, MulhuOp, DivOp, DivuOp, RemOp, RemuOp, RolOp, RorOp, RemuwOp, SrliwOp, SraiwOp, AddwOp, SubwOp, SllwOp, SrlwOp, SrawOp, RemwOp, MulwOp, DivwOp, DivuwOp, CZeroEqzOp, CZeroNezOp, BclrOp, BextOp, BinvOp, BsetOp, RolwOp, RorwOp, AddUwOp, Sh1addOp, Sh2addOp, Sh3addOp, Sh1addUwOp, Sh2addUwOp, Sh3addUwOp, SextBOp, SextHOp, ZextHOp, AndnOp, OrnOp, XnorOp, MaxOp, MaxUOp, MinOp, MinUOp, BclrIOp, BextIOp, BsetIOp, BinvIOp, RoriOp, RoriwOp, SlliUwOp, EcallOp, LabelOp, DirectiveOp, AssemblySectionOp, EbreakOp, WfiOp, CustomAssemblyInstructionOp, CommentOp, GetFloatRegisterOp, FMVOp, FMAddSOp, FMSubSOp, FNMSubSOp, FNMAddSOp, FAddSOp, FSubSOp, FMulSOp, FDivSOp, FSqrtSOp, FSgnJSOp, FSgnJNSOp, FSgnJXSOp, FMinSOp, FMaxSOp, FCvtWSOp, FCvtWuSOp, FMvXWOp, FeqSOp, FltSOp, FleSOp, FClassSOp, FCvtSWOp, FCvtSWuOp, FMvWXOp, FLwOp, FSwOp, FMAddDOp, FMSubDOp, FAddDOp, FSubDOp, FMulDOp, FDivDOp, FMinDOp, FMaxDOp, FCvtDWOp, FCvtDWuOp, FLdOp, FSdOp, FMvDOp, VFAddSOp, VFMulSOp, ParallelMovOp], [IntRegisterType, FloatRegisterType, LabelAttr, FastMathFlagsAttr]) module-attribute

AddiOpHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class AddiOpHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            AddImmediateConstant,
            AddImmediateZero,
        )

        return (
            AddImmediateZero(),
            AddImmediateConstant(),
        )

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        AddImmediateConstant,
        AddImmediateZero,
    )

    return (
        AddImmediateZero(),
        AddImmediateConstant(),
    )

AddiOp dataclass

Bases: RdRsImmIntegerOperation

Adds the sign-extended 12-bit immediate to register rs1. Arithmetic overflow is ignored and the result is simply the low XLEN bits of the result.

x[rd] = x[rs1] + sext(immediate)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AddiOp(RdRsImmIntegerOperation):
    """
    Adds the sign-extended 12-bit immediate to register rs1.
    Arithmetic overflow is ignored and the result is simply the low XLEN bits of the result.

    x[rd] = x[rs1] + sext(immediate)

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#addi).
    """

    name = "riscv.addi"

    traits = traits_def(AlwaysSpeculatable(), AddiOpHasCanonicalizationPatternsTrait())

name = 'riscv.addi' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable(), AddiOpHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

SltiOp dataclass

Bases: RdRsImmIntegerOperation

Place the value 1 in register rd if register rs1 is less than the sign-extended immediate when both are treated as signed numbers, else 0 is written to rd.

x[rd] = x[rs1] <s sext(immediate)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SltiOp(RdRsImmIntegerOperation):
    """
    Place the value 1 in register rd if register rs1 is less than the sign-extended
    immediate when both are treated as signed numbers, else 0 is written to rd.

    x[rd] = x[rs1] <s sext(immediate)

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#slti).
    """

    name = "riscv.slti"

name = 'riscv.slti' class-attribute instance-attribute

SltiuOp dataclass

Bases: RdRsImmIntegerOperation

Place the value 1 in register rd if register rs1 is less than the immediate when both are treated as unsigned numbers, else 0 is written to rd.

x[rd] = x[rs1] <u sext(immediate)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SltiuOp(RdRsImmIntegerOperation):
    """
    Place the value 1 in register rd if register rs1 is less than the immediate when
    both are treated as unsigned numbers, else 0 is written to rd.

    x[rd] = x[rs1] <u sext(immediate)

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sltiu).
    """

    name = "riscv.sltiu"

name = 'riscv.sltiu' class-attribute instance-attribute

AndiOpHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class AndiOpHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            AndiImmediate,
            AndiZero,
        )

        return (
            AndiImmediate(),
            AndiZero(),
        )

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        AndiImmediate,
        AndiZero,
    )

    return (
        AndiImmediate(),
        AndiZero(),
    )

AndiOp dataclass

Bases: RdRsImmIntegerOperation

Performs bitwise AND on register rs1 and the sign-extended 12-bit immediate and place the result in rd.

x[rd] = x[rs1] & sext(immediate)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AndiOp(RdRsImmIntegerOperation):
    """
    Performs bitwise AND on register rs1 and the sign-extended 12-bit
    immediate and place the result in rd.

    x[rd] = x[rs1] & sext(immediate)

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#andi).
    """

    name = "riscv.andi"
    traits = traits_def(AndiOpHasCanonicalizationPatternsTrait())

name = 'riscv.andi' class-attribute instance-attribute

traits = traits_def(AndiOpHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

OriOpHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class OriOpHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            OriImmediate,
            OriImmediateZero,
        )

        return (OriImmediate(), OriImmediateZero())

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        OriImmediate,
        OriImmediateZero,
    )

    return (OriImmediate(), OriImmediateZero())

OriOp dataclass

Bases: RdRsImmIntegerOperation

Performs bitwise OR on register rs1 and the sign-extended 12-bit immediate and place the result in rd.

x[rd] = x[rs1] | sext(immediate)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class OriOp(RdRsImmIntegerOperation):
    """
    Performs bitwise OR on register rs1 and the sign-extended 12-bit immediate and place
    the result in rd.

    x[rd] = x[rs1] | sext(immediate)

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#ori).
    """

    name = "riscv.ori"
    traits = traits_def(OriOpHasCanonicalizationPatternsTrait())

name = 'riscv.ori' class-attribute instance-attribute

traits = traits_def(OriOpHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

XoriOpHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class XoriOpHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            XoriImmediate,
            XoriSelfInverse,
            XoriZero,
        )

        return (XoriZero(), XoriSelfInverse(), XoriImmediate())

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        XoriImmediate,
        XoriSelfInverse,
        XoriZero,
    )

    return (XoriZero(), XoriSelfInverse(), XoriImmediate())

XoriOp dataclass

Bases: RdRsImmIntegerOperation

Performs bitwise XOR on register rs1 and the sign-extended 12-bit immediate and place the result in rd.

x[rd] = x[rs1] ^ sext(immediate)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class XoriOp(RdRsImmIntegerOperation):
    """
    Performs bitwise XOR on register rs1 and the sign-extended 12-bit immediate and place
    the result in rd.

    x[rd] = x[rs1] ^ sext(immediate)

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#xori).
    """

    name = "riscv.xori"
    traits = traits_def(XoriOpHasCanonicalizationPatternsTrait())

name = 'riscv.xori' class-attribute instance-attribute

traits = traits_def(XoriOpHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

SlliOp dataclass

Bases: RdRsImmShiftOperation

Performs logical left shift on the value in register rs1 by the shift amount held in the lower 5 bits of the immediate.

x[rd] = x[rs1] << shamt

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SlliOp(RdRsImmShiftOperation):
    """
    Performs logical left shift on the value in register rs1 by the shift amount
    held in the lower 5 bits of the immediate.

    x[rd] = x[rs1] << shamt

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#slli).
    """

    name = "riscv.slli"

    def py_operation(self, rs1: IntegerAttr[I32]) -> IntegerAttr[I32]:
        return IntegerAttr(rs1.value.data << self.immediate.value.data, i32)

name = 'riscv.slli' class-attribute instance-attribute

py_operation(rs1: IntegerAttr[I32]) -> IntegerAttr[I32]

Source code in xdsl/dialects/riscv/ops.py

def py_operation(self, rs1: IntegerAttr[I32]) -> IntegerAttr[I32]:
    return IntegerAttr(rs1.value.data << self.immediate.value.data, i32)

SrliOp dataclass

Bases: RdRsImmShiftOperation

Performs logical right shift on the value in register rs1 by the shift amount held in the lower 5 bits of the immediate.

x[rd] = x[rs1] >>u shamt

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SrliOp(RdRsImmShiftOperation):
    """
    Performs logical right shift on the value in register rs1 by the shift amount held
    in the lower 5 bits of the immediate.

    x[rd] = x[rs1] >>u shamt

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#srli).
    """

    name = "riscv.srli"

    def py_operation(self, rs1: IntegerAttr[I32]) -> IntegerAttr[I32]:
        return IntegerAttr(
            (rs1.value.data % 0x100000000) >> self.immediate.value.data, i32
        )

name = 'riscv.srli' class-attribute instance-attribute

py_operation(rs1: IntegerAttr[I32]) -> IntegerAttr[I32]

Source code in xdsl/dialects/riscv/ops.py

def py_operation(self, rs1: IntegerAttr[I32]) -> IntegerAttr[I32]:
    return IntegerAttr(
        (rs1.value.data % 0x100000000) >> self.immediate.value.data, i32
    )

SraiOp dataclass

Bases: RdRsImmShiftOperation

Performs arithmetic right shift on the value in register rs1 by the shift amount held in the lower 5 bits of the immediate.

x[rd] = x[rs1] >>s shamt

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SraiOp(RdRsImmShiftOperation):
    """
    Performs arithmetic right shift on the value in register rs1 by the shift amount
    held in the lower 5 bits of the immediate.

    x[rd] = x[rs1] >>s shamt

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#srai).
    """

    name = "riscv.srai"

    def py_operation(self, rs1: IntegerAttr[I32]) -> IntegerAttr[I32]:
        return IntegerAttr(rs1.value.data >> self.immediate.value.data, i32)

name = 'riscv.srai' class-attribute instance-attribute

py_operation(rs1: IntegerAttr[I32]) -> IntegerAttr[I32]

Source code in xdsl/dialects/riscv/ops.py

def py_operation(self, rs1: IntegerAttr[I32]) -> IntegerAttr[I32]:
    return IntegerAttr(rs1.value.data >> self.immediate.value.data, i32)

AddiwOp dataclass

Bases: RdRsImmIntegerOperation

Adds the sign-extended 12-bit immediate to register rs1 and produces the proper sign-extension of a 32-bit result in rd. Overflows are ignored and the result is the low 32 bits of the result sign-extended to 64 bits.

x[rd] = sext((x[rs1] + sext(immediate))[31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AddiwOp(RdRsImmIntegerOperation):
    """
    Adds the sign-extended 12-bit immediate to register rs1 and produces the proper sign-extension of a 32-bit result in rd.
    Overflows are ignored and the result is the low 32 bits of the result sign-extended to 64 bits.
    ```
    x[rd] = sext((x[rs1] + sext(immediate))[31:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rv64i.html#addiw).
    """

    name = "riscv.addiw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.addiw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SlliwOp dataclass

Bases: RdRsImmShiftOperation

Performs logical left shift on the 32-bit of value in register rs1 by the shift amount held in the lower 5 bits of the immediate.

x[rd] = sext((x[rs1] << shamt)[31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SlliwOp(RdRsImmShiftOperation):
    """
    Performs logical left shift on the 32-bit of value in register rs1 by the
    shift amount held in the lower 5 bits of the immediate.
    ```
    x[rd] = sext((x[rs1] << shamt)[31:0])
    ```
    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#slliw).
    """

    name = "riscv.slliw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.slliw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SrliwOp dataclass

Bases: RdRsImmShiftOperation

Performs logical right shift on the 32-bit of value in register rs1 by the shift amount held in the lower 5 bits of the immediate.

x[rd] = sext(x[rs1][31:0] >>u shamt)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SrliwOp(RdRsImmShiftOperation):
    """
    Performs logical right shift on the 32-bit of value in register rs1 by the shift amount held in the
    lower 5 bits of the immediate.
    ```
    x[rd] = sext(x[rs1][31:0] >>u shamt)
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#srliw).
    """

    name = "riscv.srliw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.srliw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SraiwOp dataclass

Bases: RdRsImmIntegerOperation

Performs arithmetic right shift on the 32-bit of value in register rs1 by the shift amount held in the lower 5 bits of the immediate.

x[rd] = sext(x[rs1][31:0] >>s shamt)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SraiwOp(RdRsImmIntegerOperation):
    """
    Performs arithmetic right shift on the 32-bit of value in register rs1 by the shift amount held
    in the lower 5 bits of the immediate.
    ```
    x[rd] = sext(x[rs1][31:0] >>s shamt)
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sraiw).
    """

    name = "riscv.sraiw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sraiw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

AddwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Adds the 32-bit of registers rs1 and 32-bit of register rs2 and stores the result in rd. Arithmetic overflow is ignored and the low 32-bits of the result is sign-extended to 64-bits and written to the destination register.

x[rd] = sext((x[rs1] + x[rs2])[31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AddwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Adds the 32-bit of registers rs1 and 32-bit of register rs2 and stores the result in rd.
    Arithmetic overflow is ignored and the low 32-bits of the result is sign-extended to 64-bits and
    written to the destination register.
    ```
    x[rd] = sext((x[rs1] + x[rs2])[31:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#addw).
    """

    name = "riscv.addw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.addw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SubwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Subtract the 32-bit of registers rs1 and 32-bit of register rs2 and stores the result in rd. Arithmetic overflow is ignored and the low 32-bits of the result is sign-extended to 64-bits and written to the destination register.

x[rd] = sext((x[rs1] - x[rs2])[31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SubwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Subtract the 32-bit of registers rs1 and 32-bit of register rs2 and stores the result in rd.
    Arithmetic overflow is ignored and the low 32-bits of the result is sign-extended to 64-bits
    and written to the destination register.
    ```
    x[rd] = sext((x[rs1] - x[rs2])[31:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#subw).
    """

    name = "riscv.subw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.subw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SllwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs logical left shift on the low 32-bits value in register rs1 by the shift amount held in the lower 5 bits of register rs2 and produce 32-bit results and written to the destination register rd.

x[rd] = sext((x[rs1] << x[rs2][4:0])[31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SllwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs logical left shift on the low 32-bits value in register rs1 by the shift amount held
    in the lower 5 bits of register rs2 and produce 32-bit results and written to the destination register rd.
    ```
    x[rd] = sext((x[rs1] << x[rs2][4:0])[31:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sllw).
    """

    name = "riscv.sllw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sllw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SrlwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs logical right shift on the low 32-bits value in register rs1 by the shift amount held in the lower 5 bits of register rs2 and produce 32-bit results and written to the destination register rd.

x[rd] = sext(x[rs1][31:0] >>u x[rs2][4:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SrlwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs logical right shift on the low 32-bits value in register rs1 by the shift amount held
    in the lower 5 bits of register rs2 and produce 32-bit results and written to the destination
    register rd.
    ```
    x[rd] = sext(x[rs1][31:0] >>u x[rs2][4:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#srlw).
    """

    name = "riscv.srlw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.srlw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SrawOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs arithmetic right shift on the low 32-bits value in register rs1 by the shift amount held in the lower 5 bits of register rs2 and produce 32-bit results and written to the destination register rd.

x[rd] = sext(x[rs1][31:0] >>s x[rs2][4:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SrawOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs arithmetic right shift on the low 32-bits value in register rs1 by the shift amount held in the lower
    5 bits of register rs2 and produce 32-bit results and written to the destination register rd.
    ```
    x[rd] = sext(x[rs1][31:0] >>s x[rs2][4:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sraw).
    """

    name = "riscv.sraw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sraw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

LuiOp dataclass

Bases: RdImmIntegerOperation

Build 32-bit constants and uses the U-type format. LUI places the U-immediate value in the top 20 bits of the destination register rd, filling in the lowest 12 bits with zeros.

x[rd] = sext(immediate[31:12] << 12)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class LuiOp(RdImmIntegerOperation):
    """
    Build 32-bit constants and uses the U-type format. LUI places the U-immediate value
    in the top 20 bits of the destination register rd, filling in the lowest 12 bits with zeros.

    x[rd] = sext(immediate[31:12] << 12)

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#lui).
    """

    name = "riscv.lui"

name = 'riscv.lui' class-attribute instance-attribute

AuipcOp dataclass

Bases: RdImmIntegerOperation

Build pc-relative addresses and uses the U-type format. AUIPC forms a 32-bit offset from the 20-bit U-immediate, filling in the lowest 12 bits with zeros, adds this offset to the pc, then places the result in register rd.

x[rd] = pc + sext(immediate[31:12] << 12)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AuipcOp(RdImmIntegerOperation):
    """
    Build pc-relative addresses and uses the U-type format. AUIPC forms a 32-bit offset
    from the 20-bit U-immediate, filling in the lowest 12 bits with zeros, adds this
    offset to the pc, then places the result in register rd.

    x[rd] = pc + sext(immediate[31:12] << 12)

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#auipc).
    """

    name = "riscv.auipc"

name = 'riscv.auipc' class-attribute instance-attribute

MVHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class MVHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            RemoveRedundantMv,
        )

        return (RemoveRedundantMv(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        RemoveRedundantMv,
    )

    return (RemoveRedundantMv(),)

MVOp dataclass

Bases: RdRsIntegerOperation[IntRegisterType]

A pseudo instruction to copy contents of one int register to another.

Equivalent to addi rd, rs, 0

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MVOp(RdRsIntegerOperation[IntRegisterType]):
    """
    A pseudo instruction to copy contents of one int register to another.

    Equivalent to `addi rd, rs, 0`
    """

    name = "riscv.mv"

    traits = traits_def(
        AlwaysSpeculatable(),
        MVHasCanonicalizationPatternsTrait(),
    )

name = 'riscv.mv' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable(), MVHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

SeqzOp dataclass

Bases: RdRsIntegerOperation[IntRegisterType]

A pseudo instruction that sets the destination register to 1 if the source register is equal to zero.

Equivalent to `sltiu rd, rs, 1

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SeqzOp(RdRsIntegerOperation[IntRegisterType]):
    """
    A pseudo instruction that sets the destination register to 1 if the source register is equal to zero.

    Equivalent to `sltiu rd, rs, 1
    """

    name = "riscv.seqz"

name = 'riscv.seqz' class-attribute instance-attribute

SnezOp dataclass

Bases: RdRsIntegerOperation[IntRegisterType]

A pseudo instruction that sets the destination register to 1 if the source register is not equal to zero.

Equivalent to sltu rd, x0, rs1

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SnezOp(RdRsIntegerOperation[IntRegisterType]):
    """
    A pseudo instruction that sets the destination register to 1 if the source register is not equal to zero.

    Equivalent to `sltu rd, x0, rs1 `
    """

    name = "riscv.snez"

name = 'riscv.snez' class-attribute instance-attribute

ZextBOp dataclass

Bases: RdRsIntegerOperation[IntRegisterType]

A pseudo instruction that zero-extends the least-significant byte of the source to XLEN by copying the into all of the bits more significant than 31.

Equivalent to andi rd, rs1, 255

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class ZextBOp(RdRsIntegerOperation[IntRegisterType]):
    """
    A pseudo instruction that zero-extends the least-significant byte of the source to XLEN by copying the
    into all of the bits more significant than 31.

    Equivalent to `andi rd, rs1, 255`
    """

    name = "riscv.zext.b"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.zext.b' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

ZextWOp dataclass

Bases: RdRsIntegerOperation[IntRegisterType]

A pseudo instruction that zero-extends the least-significant word of the source to XLEN by inserting 0’s into all of the bits more significant than 31.

Equivalent to add.uw rd, rs1, 0

See external documentation

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class ZextWOp(RdRsIntegerOperation[IntRegisterType]):
    """
    A pseudo instruction that zero-extends the least-significant word of the source to XLEN by inserting 0’s
    into all of the bits more significant than 31.

    Equivalent to `add.uw rd, rs1, 0`

    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-add_uw)
    """

    name = "riscv.zext.w"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.zext.w' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SextWOp dataclass

Bases: RdRsIntegerOperation[IntRegisterType]

A pseudo instruction that writes the sign-extension of the lower 32 bits of register rs1 into register rd.

Equivalent to addiw rd, rs, 0

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SextWOp(RdRsIntegerOperation[IntRegisterType]):
    """
    A pseudo instruction that writes the sign-extension of the lower 32 bits of register rs1 into register rd.

    Equivalent to `addiw rd, rs, 0 `

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/#_addiw).
    """

    name = "riscv.sext.w"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sext.w' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FMVHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class FMVHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import RemoveRedundantFMv

        return (RemoveRedundantFMv(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import RemoveRedundantFMv

    return (RemoveRedundantFMv(),)

FMVOp dataclass

Bases: RdRsFloatOperation[FloatRegisterType]

A pseudo instruction to copy contents of one float register to another.

Equivalent to fsgnj.s rd, rs, rs.

Both clang and gcc emit fsw rs, 0(x); flw rd, 0(x) to copy floats, possibly because storing and loading bits from memory is a lower overhead in practice than reasoning about floating-point values.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMVOp(RdRsFloatOperation[FloatRegisterType]):
    """
    A pseudo instruction to copy contents of one float register to another.

    Equivalent to `fsgnj.s rd, rs, rs`.

    Both clang and gcc emit `fsw rs, 0(x); flw rd, 0(x)` to copy floats, possibly because
    storing and loading bits from memory is a lower overhead in practice than reasoning
    about floating-point values.
    """

    name = "riscv.fmv.s"

    traits = traits_def(
        AlwaysSpeculatable(),
        FMVHasCanonicalizationPatternsTrait(),
    )

name = 'riscv.fmv.s' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable(), FMVHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

AddOpHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class AddOpHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            AddImmediates,
            AdditionOfSameVariablesToMultiplyByTwo,
        )

        return (AddImmediates(), AdditionOfSameVariablesToMultiplyByTwo())

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        AddImmediates,
        AdditionOfSameVariablesToMultiplyByTwo,
    )

    return (AddImmediates(), AdditionOfSameVariablesToMultiplyByTwo())

AddOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Adds the registers rs1 and rs2 and stores the result in rd. Arithmetic overflow is ignored and the result is simply the low XLEN bits of the result.

x[rd] = x[rs1] + x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AddOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Adds the registers rs1 and rs2 and stores the result in rd.
    Arithmetic overflow is ignored and the result is simply the low XLEN bits of the result.

    ```
    x[rd] = x[rs1] + x[rs2]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#add).
    """

    name = "riscv.add"

    traits = traits_def(
        AlwaysSpeculatable(),
        AddOpHasCanonicalizationPatternsTrait(),
    )

name = 'riscv.add' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable(), AddOpHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

SltOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Place the value 1 in register rd if register rs1 is less than register rs2 when both are treated as signed numbers, else 0 is written to rd.

x[rd] = x[rs1] <s x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SltOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Place the value 1 in register rd if register rs1 is less than register rs2 when both
    are treated as signed numbers, else 0 is written to rd.

    x[rd] = x[rs1] <s x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#slt).
    """

    name = "riscv.slt"

name = 'riscv.slt' class-attribute instance-attribute

SltuOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Place the value 1 in register rd if register rs1 is less than register rs2 when both are treated as unsigned numbers, else 0 is written to rd.

x[rd] = x[rs1] <u x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SltuOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Place the value 1 in register rd if register rs1 is less than register rs2 when both
    are treated as unsigned numbers, else 0 is written to rd.

    x[rd] = x[rs1] <u x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sltu).
    """

    name = "riscv.sltu"

name = 'riscv.sltu' class-attribute instance-attribute

BitwiseAndHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class BitwiseAndHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            BitwiseAndBySelf,
            BitwiseAndByZero,
        )

        return (BitwiseAndByZero(), BitwiseAndBySelf())

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        BitwiseAndBySelf,
        BitwiseAndByZero,
    )

    return (BitwiseAndByZero(), BitwiseAndBySelf())

AndOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs bitwise AND on registers rs1 and rs2 and place the result in rd.

x[rd] = x[rs1] & x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AndOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs bitwise AND on registers rs1 and rs2 and place the result in rd.

    x[rd] = x[rs1] & x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#and).
    """

    name = "riscv.and"

    traits = traits_def(BitwiseAndHasCanonicalizationPatternsTrait())

name = 'riscv.and' class-attribute instance-attribute

traits = traits_def(BitwiseAndHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

BitwiseOrHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class BitwiseOrHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            BitwiseOrBySelf,
            BitwiseOrByZero,
        )

        return (BitwiseOrByZero(), BitwiseOrBySelf())

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        BitwiseOrBySelf,
        BitwiseOrByZero,
    )

    return (BitwiseOrByZero(), BitwiseOrBySelf())

OrOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs bitwise OR on registers rs1 and rs2 and place the result in rd.

x[rd] = x[rs1] | x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class OrOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs bitwise OR on registers rs1 and rs2 and place the result in rd.

    x[rd] = x[rs1] | x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#or).
    """

    name = "riscv.or"

    traits = traits_def(BitwiseOrHasCanonicalizationPatternsTrait())

name = 'riscv.or' class-attribute instance-attribute

traits = traits_def(BitwiseOrHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

BitwiseXorHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class BitwiseXorHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            BitwiseXorByZero,
            XorBySelf,
        )

        return (XorBySelf(), BitwiseXorByZero())

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        BitwiseXorByZero,
        XorBySelf,
    )

    return (XorBySelf(), BitwiseXorByZero())

XorOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs bitwise XOR on registers rs1 and rs2 and place the result in rd.

x[rd] = x[rs1] ^ x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class XorOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs bitwise XOR on registers rs1 and rs2 and place the result in rd.

    x[rd] = x[rs1] ^ x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#xor).
    """

    name = "riscv.xor"

    traits = traits_def(BitwiseXorHasCanonicalizationPatternsTrait())

name = 'riscv.xor' class-attribute instance-attribute

traits = traits_def(BitwiseXorHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

SllOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs logical left shift on the value in register rs1 by the shift amount held in the lower 5 bits of register rs2.

x[rd] = x[rs1] << x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SllOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs logical left shift on the value in register rs1 by the shift amount
    held in the lower 5 bits of register rs2.

    x[rd] = x[rs1] << x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sll).
    """

    name = "riscv.sll"

name = 'riscv.sll' class-attribute instance-attribute

SrlOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Logical right shift on the value in register rs1 by the shift amount held in the lower 5 bits of register rs2.

x[rd] = x[rs1] >>u x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SrlOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Logical right shift on the value in register rs1 by the shift amount held
    in the lower 5 bits of register rs2.

    x[rd] = x[rs1] >>u x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#srl).
    """

    name = "riscv.srl"

name = 'riscv.srl' class-attribute instance-attribute

SubOpHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class SubOpHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            SubAddi,
            SubBySelf,
            SubImmediates,
        )

        return (SubImmediates(), SubAddi(), SubBySelf())

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        SubAddi,
        SubBySelf,
        SubImmediates,
    )

    return (SubImmediates(), SubAddi(), SubBySelf())

SubOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Subtracts the registers rs1 and rs2 and stores the result in rd. Arithmetic overflow is ignored and the result is simply the low XLEN bits of the result.

x[rd] = x[rs1] - x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SubOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Subtracts the registers rs1 and rs2 and stores the result in rd.
    Arithmetic overflow is ignored and the result is simply the low XLEN bits of the result.

    x[rd] = x[rs1] - x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sub).
    """

    name = "riscv.sub"

    traits = traits_def(SubOpHasCanonicalizationPatternsTrait())

name = 'riscv.sub' class-attribute instance-attribute

traits = traits_def(SubOpHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

SraOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs arithmetic right shift on the value in register rs1 by the shift amount held in the lower 5 bits of register rs2.

x[rd] = x[rs1] >>s x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SraOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs arithmetic right shift on the value in register rs1 by the shift amount held
    in the lower 5 bits of register rs2.

    x[rd] = x[rs1] >>s x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sub).
    """

    name = "riscv.sra"

name = 'riscv.sra' class-attribute instance-attribute

NopOp dataclass

Bases: NullaryOperation

Does not change any user-visible state, except for advancing the pc register. Canonical nop is encoded as addi x0, x0, 0.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class NopOp(NullaryOperation):
    """
    Does not change any user-visible state, except for advancing the pc register.
    Canonical nop is encoded as addi x0, x0, 0.
    """

    name = "riscv.nop"

name = 'riscv.nop' class-attribute instance-attribute

JalOp dataclass

Bases: RdImmJumpOperation

Jump to address and place return address in rd.

jal mylabel is a pseudoinstruction for jal ra, mylabel

x[rd] = pc+4; pc += sext(offset)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class JalOp(RdImmJumpOperation):
    """
    Jump to address and place return address in rd.

    jal mylabel is a pseudoinstruction for jal ra, mylabel

    x[rd] = pc+4; pc += sext(offset)

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#jal).
    """

    name = "riscv.jal"

name = 'riscv.jal' class-attribute instance-attribute

JOp

Bases: RdImmJumpOperation

A pseudo-instruction, for unconditional jumps you don't expect to return from. Is equivalent to JalOp with rd = x0. Used to be a part of the spec, removed in 2.0.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class JOp(RdImmJumpOperation):
    """
    A pseudo-instruction, for unconditional jumps you don't expect to return from.
    Is equivalent to JalOp with `rd` = `x0`.
    Used to be a part of the spec, removed in 2.0.
    """

    name = "riscv.j"

    def __init__(
        self,
        immediate: int | IntegerAttr[SI20] | str | LabelAttr,
        *,
        comment: str | StringAttr | None = None,
    ):
        super().__init__(immediate, rd=Registers.ZERO, comment=comment)

    def assembly_line_args(self) -> tuple[AssemblyInstructionArg, ...]:
        # J op is a special case of JalOp with zero return register
        return (self.immediate,)

name = 'riscv.j' class-attribute instance-attribute

__init__(immediate: int | IntegerAttr[SI20] | str | LabelAttr, *, comment: str | StringAttr | None = None)

Source code in xdsl/dialects/riscv/ops.py

def __init__(
    self,
    immediate: int | IntegerAttr[SI20] | str | LabelAttr,
    *,
    comment: str | StringAttr | None = None,
):
    super().__init__(immediate, rd=Registers.ZERO, comment=comment)

assembly_line_args() -> tuple[AssemblyInstructionArg, ...]

Source code in xdsl/dialects/riscv/ops.py

def assembly_line_args(self) -> tuple[AssemblyInstructionArg, ...]:
    # J op is a special case of JalOp with zero return register
    return (self.immediate,)

JalrOp dataclass

Bases: RdRsImmJumpOperation

Jump to address and place return address in rd.

t = pc+4
pc = (x[rs1] + sext(offset)) & ~1
x[rd] = t

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class JalrOp(RdRsImmJumpOperation):
    """
    Jump to address and place return address in rd.

    ```C
    t = pc+4
    pc = (x[rs1] + sext(offset)) & ~1
    x[rd] = t
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#jalr).
    """

    name = "riscv.jalr"

name = 'riscv.jalr' class-attribute instance-attribute

ReturnOp dataclass

Bases: NullaryOperation

Pseudo-op for returning from subroutine.

Equivalent to jalr x0, x1, 0

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class ReturnOp(NullaryOperation):
    """
    Pseudo-op for returning from subroutine.

    Equivalent to `jalr x0, x1, 0`
    """

    name = "riscv.ret"

    traits = traits_def(IsTerminator())

name = 'riscv.ret' class-attribute instance-attribute

traits = traits_def(IsTerminator()) class-attribute instance-attribute

BeqOp dataclass

Bases: RsRsOffIntegerOperation

Take the branch if registers rs1 and rs2 are equal.

if (x[rs1] == x[rs2]) pc += sext(offset)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BeqOp(RsRsOffIntegerOperation):
    """
    Take the branch if registers rs1 and rs2 are equal.

    ```C
    if (x[rs1] == x[rs2]) pc += sext(offset)
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#beq).
    """

    name = "riscv.beq"

name = 'riscv.beq' class-attribute instance-attribute

BneOp dataclass

Bases: RsRsOffIntegerOperation

Take the branch if registers rs1 and rs2 are not equal.

if (x[rs1] != x[rs2]) pc += sext(offset)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BneOp(RsRsOffIntegerOperation):
    """
    Take the branch if registers rs1 and rs2 are not equal.

    ```C
    if (x[rs1] != x[rs2]) pc += sext(offset)
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#bne).
    """

    name = "riscv.bne"

name = 'riscv.bne' class-attribute instance-attribute

BltOp dataclass

Bases: RsRsOffIntegerOperation

Take the branch if registers rs1 is less than rs2, using signed comparison.

if (x[rs1] <s x[rs2]) pc += sext(offset)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BltOp(RsRsOffIntegerOperation):
    """
    Take the branch if registers rs1 is less than rs2, using signed comparison.

    ```C
    if (x[rs1] <s x[rs2]) pc += sext(offset)
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#blt).
    """

    name = "riscv.blt"

name = 'riscv.blt' class-attribute instance-attribute

BgeOp dataclass

Bases: RsRsOffIntegerOperation

Take the branch if registers rs1 is greater than or equal to rs2, using signed comparison.

if (x[rs1] >=s x[rs2]) pc += sext(offset)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BgeOp(RsRsOffIntegerOperation):
    """
    Take the branch if registers rs1 is greater than or equal to rs2, using signed comparison.

    ```C
    if (x[rs1] >=s x[rs2]) pc += sext(offset)
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#bge).
    """

    name = "riscv.bge"

name = 'riscv.bge' class-attribute instance-attribute

BltuOp dataclass

Bases: RsRsOffIntegerOperation

Take the branch if registers rs1 is less than rs2, using unsigned comparison.

if (x[rs1] <u x[rs2]) pc += sext(offset)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BltuOp(RsRsOffIntegerOperation):
    """
    Take the branch if registers rs1 is less than rs2, using unsigned comparison.

    ```C
    if (x[rs1] <u x[rs2]) pc += sext(offset)
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#bltu).
    """

    name = "riscv.bltu"

name = 'riscv.bltu' class-attribute instance-attribute

BgeuOp dataclass

Bases: RsRsOffIntegerOperation

Take the branch if registers rs1 is greater than or equal to rs2, using unsigned comparison.

if (x[rs1] >=u x[rs2]) pc += sext(offset)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BgeuOp(RsRsOffIntegerOperation):
    """
    Take the branch if registers rs1 is greater than or equal to rs2, using unsigned comparison.

    ```C
    if (x[rs1] >=u x[rs2]) pc += sext(offset)
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#bgeu).
    """

    name = "riscv.bgeu"

name = 'riscv.bgeu' class-attribute instance-attribute

LbOp dataclass

Bases: RdRsImmIntegerOperation

Loads a 8-bit value from memory and sign-extends this to XLEN bits before storing it in register rd.

x[rd] = sext(M[x[rs1] + sext(offset)][7:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class LbOp(RdRsImmIntegerOperation):
    """
    Loads a 8-bit value from memory and sign-extends this to XLEN bits before
    storing it in register rd.

    ```C
    x[rd] = sext(M[x[rs1] + sext(offset)][7:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#lb).
    """

    name = "riscv.lb"

    traits = traits_def(MemoryReadEffect())

name = 'riscv.lb' class-attribute instance-attribute

traits = traits_def(MemoryReadEffect()) class-attribute instance-attribute

LbuOp dataclass

Bases: RdRsImmIntegerOperation

Loads a 8-bit value from memory and zero-extends this to XLEN bits before storing it in register rd.

x[rd] = M[x[rs1] + sext(offset)][7:0]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class LbuOp(RdRsImmIntegerOperation):
    """
    Loads a 8-bit value from memory and zero-extends this to XLEN bits before
    storing it in register rd.

    ```C
    x[rd] = M[x[rs1] + sext(offset)][7:0]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#lbu).
    """

    name = "riscv.lbu"

    traits = traits_def(MemoryReadEffect())

name = 'riscv.lbu' class-attribute instance-attribute

traits = traits_def(MemoryReadEffect()) class-attribute instance-attribute

LhOp dataclass

Bases: RdRsImmIntegerOperation

Loads a 16-bit value from memory and sign-extends this to XLEN bits before storing it in register rd.

x[rd] = sext(M[x[rs1] + sext(offset)][15:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class LhOp(RdRsImmIntegerOperation):
    """
    Loads a 16-bit value from memory and sign-extends this to XLEN bits before
    storing it in register rd.

    ```C
    x[rd] = sext(M[x[rs1] + sext(offset)][15:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#lh).
    """

    name = "riscv.lh"

    traits = traits_def(MemoryReadEffect())

name = 'riscv.lh' class-attribute instance-attribute

traits = traits_def(MemoryReadEffect()) class-attribute instance-attribute

LhuOp dataclass

Bases: RdRsImmIntegerOperation

Loads a 16-bit value from memory and zero-extends this to XLEN bits before storing it in register rd.

x[rd] = M[x[rs1] + sext(offset)][15:0]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class LhuOp(RdRsImmIntegerOperation):
    """
    Loads a 16-bit value from memory and zero-extends this to XLEN bits before
    storing it in register rd.

    ```C
    x[rd] = M[x[rs1] + sext(offset)][15:0]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#lhu).
    """

    name = "riscv.lhu"

    traits = traits_def(MemoryReadEffect())

name = 'riscv.lhu' class-attribute instance-attribute

traits = traits_def(MemoryReadEffect()) class-attribute instance-attribute

LwOpHasCanonicalizationPatternTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class LwOpHasCanonicalizationPatternTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            LoadWordWithKnownOffset,
        )

        return (LoadWordWithKnownOffset(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        LoadWordWithKnownOffset,
    )

    return (LoadWordWithKnownOffset(),)

LwOp dataclass

Bases: RdRsImmIntegerOperation

Loads a 32-bit value from memory and sign-extends this to XLEN bits before storing it in register rd.

x[rd] = sext(M[x[rs1] + sext(offset)][31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class LwOp(RdRsImmIntegerOperation):
    """
    Loads a 32-bit value from memory and sign-extends this to XLEN bits before
    storing it in register rd.

    ```C
    x[rd] = sext(M[x[rs1] + sext(offset)][31:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#lw).
    """

    name = "riscv.lw"

    traits = traits_def(LwOpHasCanonicalizationPatternTrait(), MemoryReadEffect())

    def assembly_line(self) -> str | None:
        instruction_name = self.assembly_instruction_name()
        value = assembly_arg_str(self.rd)
        imm = assembly_arg_str(self.immediate)
        offset = assembly_arg_str(self.rs1)
        return AssemblyPrinter.assembly_line(
            instruction_name, f"{value}, {imm}({offset})", self.comment
        )

name = 'riscv.lw' class-attribute instance-attribute

traits = traits_def(LwOpHasCanonicalizationPatternTrait(), MemoryReadEffect()) class-attribute instance-attribute

assembly_line() -> str | None

Source code in xdsl/dialects/riscv/ops.py

def assembly_line(self) -> str | None:
    instruction_name = self.assembly_instruction_name()
    value = assembly_arg_str(self.rd)
    imm = assembly_arg_str(self.immediate)
    offset = assembly_arg_str(self.rs1)
    return AssemblyPrinter.assembly_line(
        instruction_name, f"{value}, {imm}({offset})", self.comment
    )

SbOp dataclass

Bases: RsRsImmIntegerOperation

Store 8-bit, values from the low bits of register rs2 to memory.

M[x[rs1] + sext(offset)] = x[rs2][7:0]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SbOp(RsRsImmIntegerOperation):
    """
    Store 8-bit, values from the low bits of register rs2 to memory.

    ```C
    M[x[rs1] + sext(offset)] = x[rs2][7:0]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sb).
    """

    name = "riscv.sb"

name = 'riscv.sb' class-attribute instance-attribute

ShOp dataclass

Bases: RsRsImmIntegerOperation

Store 16-bit, values from the low bits of register rs2 to memory.

M[x[rs1] + sext(offset)] = x[rs2][15:0]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class ShOp(RsRsImmIntegerOperation):
    """
    Store 16-bit, values from the low bits of register rs2 to memory.

    ```C
    M[x[rs1] + sext(offset)] = x[rs2][15:0]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sh).

    """

    name = "riscv.sh"

name = 'riscv.sh' class-attribute instance-attribute

SwOpHasCanonicalizationPatternTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class SwOpHasCanonicalizationPatternTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            StoreWordWithKnownOffset,
        )

        return (StoreWordWithKnownOffset(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        StoreWordWithKnownOffset,
    )

    return (StoreWordWithKnownOffset(),)

SwOp dataclass

Bases: RsRsImmIntegerOperation

Store 32-bit, values from the low bits of register rs2 to memory.

M[x[rs1] + sext(offset)] = x[rs2][31:0]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SwOp(RsRsImmIntegerOperation):
    """
    Store 32-bit, values from the low bits of register rs2 to memory.

    ```C
    M[x[rs1] + sext(offset)] = x[rs2][31:0]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#sw).
    """

    name = "riscv.sw"

    traits = traits_def(SwOpHasCanonicalizationPatternTrait())

    def assembly_line(self) -> str | None:
        instruction_name = self.assembly_instruction_name()
        value = assembly_arg_str(self.rs2)
        imm = assembly_arg_str(self.immediate)
        offset = assembly_arg_str(self.rs1)
        return AssemblyPrinter.assembly_line(
            instruction_name, f"{value}, {imm}({offset})", self.comment
        )

name = 'riscv.sw' class-attribute instance-attribute

traits = traits_def(SwOpHasCanonicalizationPatternTrait()) class-attribute instance-attribute

assembly_line() -> str | None

Source code in xdsl/dialects/riscv/ops.py

def assembly_line(self) -> str | None:
    instruction_name = self.assembly_instruction_name()
    value = assembly_arg_str(self.rs2)
    imm = assembly_arg_str(self.immediate)
    offset = assembly_arg_str(self.rs1)
    return AssemblyPrinter.assembly_line(
        instruction_name, f"{value}, {imm}({offset})", self.comment
    )

CsrrwOp dataclass

Bases: CsrReadWriteOperation

Atomically swaps values in the CSRs and integer registers. CSRRW reads the old value of the CSR, zero-extends the value to XLEN bits, then writes it to integer register rd. The initial value in rs1 is written to the CSR. If the 'writeonly' attribute evaluates to False, then the instruction shall not read the CSR and shall not cause any of the side effects that might occur on a CSR read; in this case rd must be allocated to x0.

t = CSRs[csr]; CSRs[csr] = x[rs1]; x[rd] = t

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CsrrwOp(CsrReadWriteOperation):
    """
    Atomically swaps values in the CSRs and integer registers.
    CSRRW reads the old value of the CSR, zero-extends the value to XLEN bits,
    then writes it to integer register rd. The initial value in rs1 is written
    to the CSR. If the 'writeonly' attribute evaluates to False, then the
    instruction shall not read the CSR and shall not cause any of the side effects
    that might occur on a CSR read; in this case rd *must be allocated to x0*.

    t = CSRs[csr]; CSRs[csr] = x[rs1]; x[rd] = t

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#csrrw).
    """

    name = "riscv.csrrw"

name = 'riscv.csrrw' class-attribute instance-attribute

CsrrsOp dataclass

Bases: CsrBitwiseOperation

Reads the value of the CSR, zero-extends the value to XLEN bits, and writes it to integer register rd. The initial value in integer register rs1 is treated as a bit mask that specifies bit positions to be set in the CSR. Any bit that is high in rs1 will cause the corresponding bit to be set in the CSR, if that CSR bit is writable. Other bits in the CSR are unaffected (though CSRs might have side effects when written).

If the 'readonly' attribute evaluates to True, then the instruction will not write to the CSR at all, and so shall not cause any of the side effects that might otherwise occur on a CSR write, such as raising illegal instruction exceptions on accesses to read-only CSRs. Note that if rs1 specifies a register holding a zero value other than x0, the instruction will still attempt to write the unmodified value back to the CSR and will cause any attendant side effects.

t = CSRs[csr]; CSRs[csr] = t | x[rs1]; x[rd] = t

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CsrrsOp(CsrBitwiseOperation):
    """
    Reads the value of the CSR, zero-extends the value to XLEN bits, and writes
    it to integer register rd. The initial value in integer register rs1 is treated
    as a bit mask that specifies bit positions to be set in the CSR.
    Any bit that is high in rs1 will cause the corresponding bit to be set in the CSR,
    if that CSR bit is writable. Other bits in the CSR are unaffected (though CSRs might
    have side effects when written).

    If the 'readonly' attribute evaluates to True, then the instruction will not write
    to the CSR at all, and so shall not cause any of the side effects that might otherwise
    occur on a CSR write, such as raising illegal instruction exceptions on accesses to
    read-only CSRs. Note that if rs1 specifies a register holding a zero value other than x0,
    the instruction will still attempt to write the unmodified value back to the CSR and will
    cause any attendant side effects.

    t = CSRs[csr]; CSRs[csr] = t | x[rs1]; x[rd] = t

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#csrrs).
    """

    name = "riscv.csrrs"

name = 'riscv.csrrs' class-attribute instance-attribute

CsrrcOp dataclass

Bases: CsrBitwiseOperation

Reads the value of the CSR, zero-extends the value to XLEN bits, and writes it to integer register rd. The initial value in integer register rs1 is treated as a bit mask that specifies bit positions to be cleared in the CSR. Any bit that is high in rs1 will cause the corresponding bit to be cleared in the CSR, if that CSR bit is writable. Other bits in the CSR are unaffected (though CSRs might have side effects when written).

If the 'readonly' attribute evaluates to True, then the instruction will not write to the CSR at all, and so shall not cause any of the side effects that might otherwise occur on a CSR write, such as raising illegal instruction exceptions on accesses to read-only CSRs. Note that if rs1 specifies a register holding a zero value other than x0, the instruction will still attempt to write the unmodified value back to the CSR and will cause any attendant side effects.

t = CSRs[csr]; CSRs[csr] = t &~x[rs1]; x[rd] = t

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CsrrcOp(CsrBitwiseOperation):
    """
    Reads the value of the CSR, zero-extends the value to XLEN bits, and writes
    it to integer register rd. The initial value in integer register rs1 is treated
    as a bit mask that specifies bit positions to be cleared in the CSR.
    Any bit that is high in rs1 will cause the corresponding bit to be cleared in the CSR,
    if that CSR bit is writable. Other bits in the CSR are unaffected (though CSRs might
    have side effects when written).

    If the 'readonly' attribute evaluates to True, then the instruction will not write
    to the CSR at all, and so shall not cause any of the side effects that might otherwise
    occur on a CSR write, such as raising illegal instruction exceptions on accesses to
    read-only CSRs. Note that if rs1 specifies a register holding a zero value other than x0,
    the instruction will still attempt to write the unmodified value back to the CSR and will
    cause any attendant side effects.

    t = CSRs[csr]; CSRs[csr] = t &~x[rs1]; x[rd] = t

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#csrrc).
    """

    name = "riscv.csrrc"

name = 'riscv.csrrc' class-attribute instance-attribute

CsrrwiOp dataclass

Bases: CsrReadWriteImmOperation

Update the CSR using an XLEN-bit value obtained by zero-extending the 'immediate' attribute. If the 'writeonly' attribute evaluates to False, then the instruction shall not read the CSR and shall not cause any of the side effects that might occur on a CSR read; in this case rd must be allocated to x0.

x[rd] = CSRs[csr]; CSRs[csr] = zimm

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CsrrwiOp(CsrReadWriteImmOperation):
    """
    Update the CSR using an XLEN-bit value obtained by zero-extending the
    'immediate' attribute.
    If the 'writeonly' attribute evaluates to False, then the
    instruction shall not read the CSR and shall not cause any of the side effects
    that might occur on a CSR read; in this case rd *must be allocated to x0*.

    x[rd] = CSRs[csr]; CSRs[csr] = zimm

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#csrrwi).
    """

    name = "riscv.csrrwi"

name = 'riscv.csrrwi' class-attribute instance-attribute

CsrrsiOp dataclass

Bases: CsrBitwiseImmOperation

Reads the value of the CSR, zero-extends the value to XLEN bits, and writes it to integer register rd. The value in the 'immediate' attribute is treated as a bit mask that specifies bit positions to be set in the CSR. Any bit that is high in it will cause the corresponding bit to be set in the CSR, if that CSR bit is writable. Other bits in the CSR are unaffected (though CSRs might have side effects when written).

If the 'immediate' attribute value is zero, then the instruction will not write to the CSR at all, and so shall not cause any of the side effects that might otherwise occur on a CSR write, such as raising illegal instruction exceptions on accesses to read-only CSRs.

t = CSRs[csr]; CSRs[csr] = t | zimm; x[rd] = t

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CsrrsiOp(CsrBitwiseImmOperation):
    """
    Reads the value of the CSR, zero-extends the value to XLEN bits, and writes
    it to integer register rd. The value in the 'immediate' attribute is treated
    as a bit mask that specifies bit positions to be set in the CSR.
    Any bit that is high in it will cause the corresponding bit to be set in the CSR,
    if that CSR bit is writable. Other bits in the CSR are unaffected (though CSRs might
    have side effects when written).

    If the 'immediate' attribute value is zero, then the instruction will not write
    to the CSR at all, and so shall not cause any of the side effects that might otherwise
    occur on a CSR write, such as raising illegal instruction exceptions on accesses to
    read-only CSRs.

    t = CSRs[csr]; CSRs[csr] = t | zimm; x[rd] = t

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#csrrsi).
    """

    name = "riscv.csrrsi"

name = 'riscv.csrrsi' class-attribute instance-attribute

CsrrciOp dataclass

Bases: CsrBitwiseImmOperation

Reads the value of the CSR, zero-extends the value to XLEN bits, and writes it to integer register rd. The value in the 'immediate' attribute is treated as a bit mask that specifies bit positions to be cleared in the CSR. Any bit that is high in rs1 will cause the corresponding bit to be cleared in the CSR, if that CSR bit is writable. Other bits in the CSR are unaffected (though CSRs might have side effects when written).

If the 'immediate' attribute value is zero, then the instruction will not write to the CSR at all, and so shall not cause any of the side effects that might otherwise occur on a CSR write, such as raising illegal instruction exceptions on accesses to read-only CSRs.

t = CSRs[csr]; CSRs[csr] = t &~zimm; x[rd] = t

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CsrrciOp(CsrBitwiseImmOperation):
    """
    Reads the value of the CSR, zero-extends the value to XLEN bits, and writes
    it to integer register rd.  The value in the 'immediate' attribute is treated
    as a bit mask that specifies bit positions to be cleared in the CSR.
    Any bit that is high in rs1 will cause the corresponding bit to be cleared in the CSR,
    if that CSR bit is writable. Other bits in the CSR are unaffected (though CSRs might
    have side effects when written).

    If the 'immediate' attribute value is zero, then the instruction will not write
    to the CSR at all, and so shall not cause any of the side effects that might otherwise
    occur on a CSR write, such as raising illegal instruction exceptions on accesses to
    read-only CSRs.

    t = CSRs[csr]; CSRs[csr] = t &~zimm; x[rd] = t

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#csrrci).
    """

    name = "riscv.csrrci"

name = 'riscv.csrrci' class-attribute instance-attribute

MulOpHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class MulOpHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            MultiplyImmediates,
        )

        return (MultiplyImmediates(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        MultiplyImmediates,
    )

    return (MultiplyImmediates(),)

MulOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs an XLEN-bit × XLEN-bit multiplication of signed rs1 by signed rs2 and places the lower XLEN bits in the destination register. x[rd] = x[rs1] * x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MulOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs an XLEN-bit × XLEN-bit multiplication of signed rs1 by signed rs2
    and places the lower XLEN bits in the destination register.
    x[rd] = x[rs1] * x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvi.html#add).
    """

    name = "riscv.mul"

    traits = traits_def(MulOpHasCanonicalizationPatternsTrait(), AlwaysSpeculatable())

name = 'riscv.mul' class-attribute instance-attribute

traits = traits_def(MulOpHasCanonicalizationPatternsTrait(), AlwaysSpeculatable()) class-attribute instance-attribute

MulhOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs an XLEN-bit × XLEN-bit multiplication of signed rs1 by signed rs2 and places the upper XLEN bits in the destination register. x[rd] = (x[rs1] s×s x[rs2]) >>s XLEN

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MulhOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs an XLEN-bit × XLEN-bit multiplication of signed rs1 by signed rs2
    and places the upper XLEN bits in the destination register.
    x[rd] = (x[rs1] s×s x[rs2]) >>s XLEN

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvm.html#mulh).
    """

    name = "riscv.mulh"

name = 'riscv.mulh' class-attribute instance-attribute

MulhsuOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs an XLEN-bit × XLEN-bit multiplication of signed rs1 by unsigned rs2 and places the upper XLEN bits in the destination register. x[rd] = (x[rs1] s × x[rs2]) >>s XLEN

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MulhsuOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs an XLEN-bit × XLEN-bit multiplication of signed rs1 by unsigned rs2
    and places the upper XLEN bits in the destination register.
    x[rd] = (x[rs1] s × x[rs2]) >>s XLEN

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvm.html#mulhsu).
    """

    name = "riscv.mulhsu"

name = 'riscv.mulhsu' class-attribute instance-attribute

MulhuOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs an XLEN-bit × XLEN-bit multiplication of unsigned rs1 by unsigned rs2 and places the upper XLEN bits in the destination register. x[rd] = (x[rs1] u × x[rs2]) >>u XLEN

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MulhuOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs an XLEN-bit × XLEN-bit multiplication of unsigned rs1 by unsigned rs2
    and places the upper XLEN bits in the destination register.
    x[rd] = (x[rs1] u × x[rs2]) >>u XLEN

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvm.html#mulhu).
    """

    name = "riscv.mulhu"

name = 'riscv.mulhu' class-attribute instance-attribute

MulwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs an 32-bit × 32-bit multiplication of signed rs1 by signed rs2.

x[rd] = (x[rs1] s × x[rs2]) >>s XLEN

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MulwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs an 32-bit × 32-bit multiplication of signed rs1 by signed rs2.
    ```
    x[rd] = (x[rs1] s × x[rs2]) >>s XLEN
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvm.html#mulw).
    """

    name = "riscv.mulw"

name = 'riscv.mulw' class-attribute instance-attribute

DivOpHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class DivOpHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            DivideByOneIdentity,
        )

        return (DivideByOneIdentity(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        DivideByOneIdentity,
    )

    return (DivideByOneIdentity(),)

DivOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Perform an XLEN bits by XLEN bits signed integer division of rs1 by rs2, rounding towards zero. x[rd] = x[rs1] /s x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class DivOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Perform an XLEN bits by XLEN bits signed integer division of rs1 by rs2,
    rounding towards zero.
    x[rd] = x[rs1] /s x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvm.html#div).
    """

    name = "riscv.div"
    traits = traits_def(DivOpHasCanonicalizationPatternsTrait(), AlwaysSpeculatable())

name = 'riscv.div' class-attribute instance-attribute

traits = traits_def(DivOpHasCanonicalizationPatternsTrait(), AlwaysSpeculatable()) class-attribute instance-attribute

DivuOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Perform an XLEN bits by XLEN bits unsigned integer division of rs1 by rs2, rounding towards zero. x[rd] = x[rs1] /u x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class DivuOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Perform an XLEN bits by XLEN bits unsigned integer division of rs1 by rs2,
    rounding towards zero.
    x[rd] = x[rs1] /u x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvm.html#divu).
    """

    name = "riscv.divu"

name = 'riscv.divu' class-attribute instance-attribute

DivuwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Perform an 32 bits by 32 bits unsigned integer division of rs1 by rs2.

x[rd] = sext(x[rs1][31:0] /u x[rs2][31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class DivuwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Perform an 32 bits by 32 bits unsigned integer division of rs1 by rs2.
    ```
    x[rd] = sext(x[rs1][31:0] /u x[rs2][31:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rv64m.html#divuw).
    """

    name = "riscv.divuw"

name = 'riscv.divuw' class-attribute instance-attribute

DivwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Perform an 32 bits by 32 bits signed integer division of rs1 by rs2.

x[rd] = sext(x[rs1][31:0] /s x[rs2][31:0]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class DivwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Perform an 32 bits by 32 bits signed integer division of rs1 by rs2.
    ```
    x[rd] = sext(x[rs1][31:0] /s x[rs2][31:0]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvm.html#divw).
    """

    name = "riscv.divw"

name = 'riscv.divw' class-attribute instance-attribute

RemOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Perform an XLEN bits by XLEN bits signed integer reminder of rs1 by rs2. x[rd] = x[rs1] %s x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RemOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Perform an XLEN bits by XLEN bits signed integer reminder of rs1 by rs2.
    x[rd] = x[rs1] %s x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvm.html#rem).
    """

    name = "riscv.rem"

name = 'riscv.rem' class-attribute instance-attribute

RemuOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Perform an XLEN bits by XLEN bits unsigned integer reminder of rs1 by rs2. x[rd] = x[rs1] %u x[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RemuOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Perform an XLEN bits by XLEN bits unsigned integer reminder of rs1 by rs2.
    x[rd] = x[rs1] %u x[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvm.html#remu).
    """

    name = "riscv.remu"

name = 'riscv.remu' class-attribute instance-attribute

RemuwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Perform an 32 bits by 32 bits unsigned integer reminder of rs1 by rs2.

x[rd] = sext(x[rs1][31:0] %u x[rs2][31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RemuwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Perform an 32 bits by 32 bits unsigned integer reminder of rs1 by rs2.
    ```
    x[rd] = sext(x[rs1][31:0] %u x[rs2][31:0])
    ```
    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rv64m.html#remuw).
    """

    name = "riscv.remuw"

name = 'riscv.remuw' class-attribute instance-attribute

RemwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Perform an 32 bits by 32 bits signed integer reminder of rs1 by rs2.

x[rd] = sext(x[rs1][31:0] %s x[rs2][31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RemwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Perform an 32 bits by 32 bits signed integer reminder of rs1 by rs2.
    ```
    x[rd] = sext(x[rs1][31:0] %s x[rs2][31:0])
    ```
    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rv64m.html#remw).
    """

    name = "riscv.remw"

name = 'riscv.remw' class-attribute instance-attribute

RolOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs a rotate left of rs1 by the amount in least-significant log2(XLEN) bits of rs2.

let shamt = if   xlen == 32
                then x[rs2][4..0]
                else x[rs2][5..0];
let result = (x[rs1] << shamt) | (x[rs2] >> (xlen - shamt));
x[rd] = result;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RolOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs a rotate left of rs1 by the amount in least-significant log2(XLEN) bits of rs2.
    ```
    let shamt = if   xlen == 32
                    then x[rs2][4..0]
                    else x[rs2][5..0];
    let result = (x[rs1] << shamt) | (x[rs2] >> (xlen - shamt));
    x[rd] = result;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-rol).
    """

    name = "riscv.rol"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.rol' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

RorOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Performs a rotate right of rs1 by the amount in least-significant log2(XLEN) bits of rs2.

let shamt = if   xlen == 32
            then x[rs2][4..0]
            else x[rs2][5..0];
let result = (x[rs1] >> shamt) | (x[rs2] << (xlen - shamt));
x[rd] = result;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RorOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Performs a rotate right of rs1 by the amount in least-significant log2(XLEN) bits of rs2.
    ```
    let shamt = if   xlen == 32
                then x[rs2][4..0]
                else x[rs2][5..0];
    let result = (x[rs1] >> shamt) | (x[rs2] << (xlen - shamt));
    x[rd] = result;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-ror).
    """

    name = "riscv.ror"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.ror' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SextHOp dataclass

Bases: RdRsIntegerOperation[IntRegisterType]

This instruction sign-extends the least-significant halfword in rs to XLEN by copying the most-significant bit in the halfword (i.e., bit 15) to all of the more-significant bits.

x[rd] = EXTS(x[rs][15..0]);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SextHOp(RdRsIntegerOperation[IntRegisterType]):
    """
    This instruction sign-extends the least-significant halfword in rs to XLEN by copying the
    most-significant bit in the halfword (i.e., bit 15) to all of the more-significant bits.
    ```
    x[rd] = EXTS(x[rs][15..0]);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-sext_h).
    """

    name = "riscv.sext.h"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sext.h' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

ZextHOp dataclass

Bases: RdRsIntegerOperation[IntRegisterType]

This instruction zero-extends the least-significant halfword of the source to XLEN by inserting 0’s into all of the bits more significant than 15.

x[rd] = EXTZ(x[rs][15..0]);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class ZextHOp(RdRsIntegerOperation[IntRegisterType]):
    """
    This instruction zero-extends the least-significant halfword of the source to XLEN by inserting
    0’s into all of the bits more significant than 15.
    ```
    x[rd] = EXTZ(x[rs][15..0]);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-zext_h).
    """

    name = "riscv.zext.h"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.zext.h' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SextBOp dataclass

Bases: RdRsIntegerOperation[IntRegisterType]

This instruction sign-extends the least-significant byte in the source to XLEN by copying the most-significant bit in the byte (i.e., bit 7) to all of the more-significant bits.

X[rd] = EXTS(X[rs][7..0]);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SextBOp(RdRsIntegerOperation[IntRegisterType]):
    """
    This instruction sign-extends the least-significant byte in the source to XLEN by copying
    the most-significant bit in the byte (i.e., bit 7) to all of the more-significant bits.
    ```
    X[rd] = EXTS(X[rs][7..0]);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-sext_b).
    """

    name = "riscv.sext.b"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sext.b' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

BclrOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction returns rs1 with a single bit cleared at the index specified in rs2. The index is read from the lower log2(XLEN) bits of rs2.

let index = X(rs2) & (XLEN - 1);
X(rd) = X(rs1) & ~(1 << index)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BclrOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction returns rs1 with a single bit cleared at the index specified in rs2.
    The index is read from the lower log2(XLEN) bits of rs2.
    ```
    let index = X(rs2) & (XLEN - 1);
    X(rd) = X(rs1) & ~(1 << index)
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-bclr).
    """

    name = "riscv.bclr"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.bclr' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

BclrIOp dataclass

Bases: RdRsImmBitManipOperation

This instruction returns rs1 with a single bit cleared at the index specified in shamt. The index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding to shamt[5]=1 are reserved.

let index = shamt & (XLEN - 1);
X(rd) = X(rs1) & ~(1 << index)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BclrIOp(RdRsImmBitManipOperation):
    """
    This instruction returns rs1 with a single bit cleared at the index specified in shamt.
    The index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding
    to shamt[5]=1 are reserved.
    ```
    let index = shamt & (XLEN - 1);
    X(rd) = X(rs1) & ~(1 << index)
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-bclri).
    """

    name = "riscv.bclri"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.bclri' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

BextOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction returns a single bit extracted from rs1 at the index specified in rs2. The index is read from the lower log2(XLEN) bits of rs2.

let index = X(rs2) & (XLEN - 1);
X(rd) = (X(rs1) >> index) & 1;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BextOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction returns a single bit extracted from rs1 at the index specified in rs2.
    The index is read from the lower log2(XLEN) bits of rs2.
    ```
    let index = X(rs2) & (XLEN - 1);
    X(rd) = (X(rs1) >> index) & 1;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-bext).
    """

    name = "riscv.bext"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.bext' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

BextIOp dataclass

Bases: RdRsImmBitManipOperation

This instruction returns a single bit extracted from rs1 at the index specified in rs2. The index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding to shamt[5]=1 are reserved.

let index = shamt & (XLEN - 1);
X(rd) = (X(rs1) >> index) & 1;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BextIOp(RdRsImmBitManipOperation):
    """
    This instruction returns a single bit extracted from rs1 at the index specified in rs2.
    The index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding
    to shamt[5]=1 are reserved.
    ```
    let index = shamt & (XLEN - 1);
    X(rd) = (X(rs1) >> index) & 1;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-bexti).
    """

    name = "riscv.bexti"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.bexti' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

BinvOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction returns rs1 with a single bit inverted at the index specified in shamt. The index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding to shamt[5]=1 are reserved.

let index = shamt & (XLEN - 1);
X(rd) = X(rs1) ^ (1 << index)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BinvOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction returns rs1 with a single bit inverted at the index specified in shamt.
    The index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings
    corresponding to shamt[5]=1 are reserved.
    ```
    let index = shamt & (XLEN - 1);
    X(rd) = X(rs1) ^ (1 << index)
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-binvi).
    """

    name = "riscv.binv"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.binv' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

BinvIOp dataclass

Bases: RdRsImmBitManipOperation

This instruction returns rs1 with a single bit cleared at the index specified in shamt. The index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding to shamt[5]=1 are reserved.

let index = shamt & (XLEN - 1);
x[rd] = x[rs1] & ~(1 << index)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BinvIOp(RdRsImmBitManipOperation):
    """
    This instruction returns rs1 with a single bit cleared at the index specified in shamt. The index
    is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding
    to shamt[5]=1 are reserved.
    ```
    let index = shamt & (XLEN - 1);
    x[rd] = x[rs1] & ~(1 << index)
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-binvi).
    """

    name = "riscv.binvi"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.binvi' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

BsetOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction returns rs1 with a single bit set at the index specified in rs2. The index is read from the lower log2(XLEN) bits of rs2.

let index = X(rs2) & (XLEN - 1);
X(rd) = X(rs1) | (1 << index)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BsetOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction returns rs1 with a single bit set at the index specified in rs2.
    The index is read from the lower log2(XLEN) bits of rs2.
    ```
    let index = X(rs2) & (XLEN - 1);
    X(rd) = X(rs1) | (1 << index)
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-bset).
    """

    name = "riscv.bset"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.bset' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

BsetIOp dataclass

Bases: RdRsImmBitManipOperation

This instruction returns rs1 with a single bit set at the index specified in shamt. The index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding to shamt[5]=1 are reserved.

let index = shamt & (XLEN - 1);
x[rd] = x[rs1] | (1 << index)

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class BsetIOp(RdRsImmBitManipOperation):
    """
    This instruction returns rs1 with a single bit set at the index specified in shamt. The index is read
    from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding
    to shamt[5]=1 are reserved.
    ```
    let index = shamt & (XLEN - 1);
    x[rd] = x[rs1] | (1 << index)
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-bseti).
    """

    name = "riscv.bseti"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.bseti' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

RolwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction performs a rotate left on the least-significant word of rs1 by the amount in least-significant 5 bits of rs2. The resulting word value is sign-extended by copying bit 31 to all of the more-significant bits.

let rs1 = EXTZ(X(rs1)[31..0])
let shamt = X(rs2)[4..0];
let result = (rs1 << shamt) | (rs1 >> (32 - shamt));
X(rd) = EXTS(result);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RolwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction performs a rotate left on the least-significant word of rs1 by the amount in
    least-significant 5 bits of rs2. The resulting word value is sign-extended by copying bit 31
    to all of the more-significant bits.
    ```
    let rs1 = EXTZ(X(rs1)[31..0])
    let shamt = X(rs2)[4..0];
    let result = (rs1 << shamt) | (rs1 >> (32 - shamt));
    X(rd) = EXTS(result);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-rolw).
    """

    name = "riscv.rolw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.rolw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

RorwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction performs a rotate right on the least-significant word of rs1 by the amount in least-significant 5 bits of rs2. The resultant word is sign-extended by copying bit 31 to all of the more-significant bits.

let rs1 = EXTZ(X(rs1)[31..0])
let shamt = X(rs2)[4..0];
let result = (rs1 >> shamt) | (rs1 << (32 - shamt));
X(rd) = EXTS(result);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RorwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction performs a rotate right on the least-significant word of rs1 by the amount in
    least-significant 5 bits of rs2. The resultant word is sign-extended by copying bit 31 to all of
    the more-significant bits.
    ```
    let rs1 = EXTZ(X(rs1)[31..0])
    let shamt = X(rs2)[4..0];
    let result = (rs1 >> shamt) | (rs1 << (32 - shamt));
    X(rd) = EXTS(result);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-rorw).
    """

    name = "riscv.rorw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.rorw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

RoriOp dataclass

Bases: RdRsImmBitManipOperation

This instruction performs a rotate right of rs1 by the amount in the least-significant log2(XLEN) bits of shamt. For RV32, the encodings corresponding to shamt[5]=1 are reserved.

let shamt = if   xlen == 32
                then shamt[4..0]
                else shamt[5..0];
let result = (X(rs1) >> shamt) | (X(rs2) << (xlen - shamt));
X(rd) = result;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RoriOp(RdRsImmBitManipOperation):
    """
    This instruction performs a rotate right of rs1 by the amount in the least-significant
    log2(XLEN) bits of shamt. For RV32, the encodings corresponding to shamt[5]=1 are reserved.
    ```
    let shamt = if   xlen == 32
                    then shamt[4..0]
                    else shamt[5..0];
    let result = (X(rs1) >> shamt) | (X(rs2) << (xlen - shamt));
    X(rd) = result;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-rori).
    """

    name = "riscv.rori"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.rori' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

RoriwOp dataclass

Bases: RdRsImmBitManipOperation

This instruction performs a rotate right on the least-significant word of rs1 by the amount in the least-significant log2(XLEN) bits of shamt. The resulting word value is sign-extended by copying bit 31 to all of the more-significant bits.

let rs1 = EXTZ(X(rs1)[31..0];
let result = (rs1 >> shamt[4..0]) | (X(rs1) << (32 - shamt[4..0]));
X(rd) = EXTS(result[31..0]);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class RoriwOp(RdRsImmBitManipOperation):
    """
    This instruction performs a rotate right on the least-significant word of rs1 by the amount in
    the least-significant log2(XLEN) bits of shamt. The resulting word value is sign-extended by
    copying bit 31 to all of the more-significant bits.
    ```
    let rs1 = EXTZ(X(rs1)[31..0];
    let result = (rs1 >> shamt[4..0]) | (X(rs1) << (32 - shamt[4..0]));
    X(rd) = EXTS(result[31..0]);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-roriw).
    """

    name = "riscv.roriw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.roriw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

AddUwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction performs an XLEN-wide addition between rs2 and the zero-extended least-significant word of rs1.

let base = X(rs2);
let index = EXTZ(X(rs1)[31..0]);
X(rd) = base + index;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AddUwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction performs an XLEN-wide addition between rs2 and the zero-extended least-significant
    word of rs1.
    ```
    let base = X(rs2);
    let index = EXTZ(X(rs1)[31..0]);
    X(rd) = base + index;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-add_uw).
    """

    name = "riscv.add.uw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.add.uw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

Sh1addOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction shifts rs1 to the left by 1 bit and adds it to rs2.

X(rd) = X(rs2) + (X(rs1) << 1);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class Sh1addOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction shifts rs1 to the left by 1 bit and adds it to rs2.
    ```
    X(rd) = X(rs2) + (X(rs1) << 1);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-sh1add).
    """

    name = "riscv.sh1add"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sh1add' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

Sh2addOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction shifts rs1 to the left by 2 places and adds it to rs2.

X(rd) = X(rs2) + (X(rs1) << 2);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class Sh2addOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction shifts rs1 to the left by 2 places and adds it to rs2.
    ```
    X(rd) = X(rs2) + (X(rs1) << 2);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-sh2add).
    """

    name = "riscv.sh2add"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sh2add' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

Sh3addOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction shifts rs1 to the left by 2 places and adds it to rs2.

X(rd) = X(rs2) + (X(rs1) << 3);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class Sh3addOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction shifts rs1 to the left by 2 places and adds it to rs2.
    ```
    X(rd) = X(rs2) + (X(rs1) << 3);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-sh3add).
    """

    name = "riscv.sh3add"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sh3add' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

Sh1addUwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction performs an XLEN-wide addition of two addends. The first addend is rs2. The second addend is the unsigned value formed by extracting the least-significant word of rs1 and shifting it left by 1 place.

let base = x[rs2];
let index = EXTZ(x[rs1][31..0]);
x[rd] = base + (index << 1);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class Sh1addUwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction performs an XLEN-wide addition of two addends. The first addend is rs2.
    The second addend is the unsigned value formed by extracting the least-significant word of
    rs1 and shifting it left by 1 place.

    ```
    let base = x[rs2];
    let index = EXTZ(x[rs1][31..0]);
    x[rd] = base + (index << 1);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-sh1add_uw).
    """

    name = "riscv.sh1add.uw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sh1add.uw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

Sh2addUwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction performs an XLEN-wide addition of two addends. The first addend is rs2. The second addend is the unsigned value formed by extracting the least-significant word of rs1 and shifting it left by 2 places.

let base = x[rs2];
let index = EXTZ(x[rs1][31..0]);
x[rd] = base + (index << 2);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class Sh2addUwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction performs an XLEN-wide addition of two addends. The first addend is rs2.
    The second addend is the unsigned value formed by extracting the least-significant word of rs1
    and shifting it left by 2 places.
    ```
    let base = x[rs2];
    let index = EXTZ(x[rs1][31..0]);
    x[rd] = base + (index << 2);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-sh2add_uw).
    """

    name = "riscv.sh2add.uw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sh2add.uw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

Sh3addUwOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction performs an XLEN-wide addition of two addends. The first addend is rs2. The second addend is the unsigned value formed by extracting the least-significant word of rs1 and shifting it left by 3 places.

let base = x[rs2];
let index = EXTZ(x[rs1][31..0]);
x[rd] = base + (index << 3);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class Sh3addUwOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction performs an XLEN-wide addition of two addends. The first addend is rs2.
    The second addend is the unsigned value formed by extracting the least-significant word of rs1
    and shifting it left by 3 places.

    ```
    let base = x[rs2];
    let index = EXTZ(x[rs1][31..0]);
    x[rd] = base + (index << 3);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-sh3add_uw).
    """

    name = "riscv.sh3add.uw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.sh3add.uw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

SlliUwOp dataclass

Bases: RdRsImmBitManipOperation

This instruction takes the least-significant word of rs1, zero-extends it, and shifts it left by the immediate.

x[rd] = (EXTZ(x[rs][31..0]) << shamt);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class SlliUwOp(RdRsImmBitManipOperation):
    """
    This instruction takes the least-significant word of rs1, zero-extends it,
    and shifts it left by the immediate.
    ```
    x[rd] = (EXTZ(x[rs][31..0]) << shamt);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-slli_uw).
    """

    name = "riscv.slli.uw"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.slli.uw' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

AndnOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction performs the bitwise logical AND operation between rs1 and the bitwise inversion of rs2.

X(rd) = X(rs1) & ~X(rs2);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AndnOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction performs the bitwise logical AND operation between rs1 and the bitwise inversion of rs2.
    ```
    X(rd) = X(rs1) & ~X(rs2);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-andn).
    """

    name = "riscv.andn"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.andn' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

OrnOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction performs the bitwise logical OR operation between rs1 and the bitwise inversion of rs2.

X(rd) = X(rs1) | ~X(rs2);

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class OrnOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction performs the bitwise logical OR operation between rs1 and the bitwise inversion of rs2.
    ```
    X(rd) = X(rs1) | ~X(rs2);
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-orn).
    """

    name = "riscv.orn"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.orn' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

XnorOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction performs the bit-wise exclusive-NOR operation on rs1 and rs2.

X(rd) = ~(X(rs1) ^ X(rs2));

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class XnorOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction performs the bit-wise exclusive-NOR operation on rs1 and rs2.
    ```
    X(rd) = ~(X(rs1) ^ X(rs2));
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-xnor).
    """

    name = "riscv.xnor"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.xnor' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

MaxOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction returns the larger of two signed integers.

let rs1_val = X(rs1);
let rs2_val = X(rs2);

let result = if   rs1_val <_s rs2_val
                then rs2_val
                else rs1_val;
X(rd) = result;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MaxOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction returns the larger of two signed integers.
    ```
    let rs1_val = X(rs1);
    let rs2_val = X(rs2);

    let result = if   rs1_val <_s rs2_val
                    then rs2_val
                    else rs1_val;
    X(rd) = result;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-max).
    """

    name = "riscv.max"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.max' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

MaxUOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction returns the larger of two unsigned integers.

let rs1_val = X(rs1);
let rs2_val = X(rs2);
let result = if   rs1_val <_u rs2_val
             then rs2_val
         else rs1_val;
X(rd) = result;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MaxUOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction returns the larger of two unsigned integers.
    ```
    let rs1_val = X(rs1);
    let rs2_val = X(rs2);
    let result = if   rs1_val <_u rs2_val
                 then rs2_val
             else rs1_val;
    X(rd) = result;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-maxu).
    """

    name = "riscv.maxu"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.maxu' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

MinOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction returns the smaller of two signed integers.

let rs1_val = X(rs1);
let rs2_val = X(rs2);
let result = if   rs1_val <_s rs2_val
             then rs1_val
         else rs2_val;
X(rd) = result;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MinOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction returns the smaller of two signed integers.
    ```
    let rs1_val = X(rs1);
    let rs2_val = X(rs2);
    let result = if   rs1_val <_s rs2_val
                 then rs1_val
             else rs2_val;
    X(rd) = result;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-min).
    """

    name = "riscv.min"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.min' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

MinUOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

This instruction returns the smaller of two unsigned integers.

let rs1_val = X(rs1);
let rs2_val = X(rs2);
let result = if   rs1_val <_u rs2_val
                then rs1_val
                else rs2_val;
X(rd) = result;

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class MinUOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    This instruction returns the smaller of two unsigned integers.
    ```
    let rs1_val = X(rs1);
    let rs2_val = X(rs2);
    let result = if   rs1_val <_u rs2_val
                    then rs1_val
                    else rs2_val;
    X(rd) = result;
    ```
    See external [documentation](https://five-embeddev.com/riscv-bitmanip/1.0.0/bitmanip.html#insns-minu).
    """

    name = "riscv.minu"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.minu' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

CZeroEqzOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Moves zero to a register rd, if the condition rs2 is equal to zero, otherwise moves rs1 to rd.

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CZeroEqzOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Moves zero to a register rd, if the condition rs2 is equal to zero, otherwise moves rs1 to rd.

    See external [documentation](https://github.com/riscvarchive/riscv-zicond/blob/main/zicondops.adoc).
    """

    name = "riscv.czero.eqz"

name = 'riscv.czero.eqz' class-attribute instance-attribute

CZeroNezOp dataclass

Bases: RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]

Moves zero to a register rd, if the condition rs2 is nonzero, otherwise moves rs1 to rd.

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CZeroNezOp(RdRsRsIntegerOperation[IntRegisterType, IntRegisterType]):
    """
    Moves zero to a register rd, if the condition rs2 is nonzero, otherwise moves rs1 to rd.

    See external [documentation](https://github.com/riscvarchive/riscv-zicond/blob/main/zicondops.adoc).
    """

    name = "riscv.czero.nez"

name = 'riscv.czero.nez' class-attribute instance-attribute

EcallOp dataclass

Bases: NullaryOperation

The ECALL instruction is used to make a request to the supporting execution environment, which is usually an operating system. The ABI for the system will define how parameters for the environment request are passed, but usually these will be in defined locations in the integer register file.

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class EcallOp(NullaryOperation):
    """
    The ECALL instruction is used to make a request to the supporting execution
    environment, which is usually an operating system.
    The ABI for the system will define how parameters for the environment
    request are passed, but usually these will be in defined locations in the
    integer register file.

    See external [documentation](https://github.com/riscv/riscv-isa-manual/releases/download/Ratified-IMAFDQC/riscv-spec-20191213.pdf).
    """

    name = "riscv.ecall"

name = 'riscv.ecall' class-attribute instance-attribute

LabelOp

Bases: RISCVCustomFormatOperation, RISCVAsmOperation, RISCVRegallocOperation

The label operation is used to emit text labels (e.g. loop:) that are used as branch, unconditional jump targets and symbol offsets.

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class LabelOp(RISCVCustomFormatOperation, RISCVAsmOperation, RISCVRegallocOperation):
    """
    The label operation is used to emit text labels (e.g. loop:) that are used
    as branch, unconditional jump targets and symbol offsets.

    See external [documentation](https://github.com/riscv-non-isa/riscv-asm-manual/blob/master/riscv-asm.md#labels).
    """

    name = "riscv.label"
    label = attr_def(LabelAttr)
    comment = opt_attr_def(StringAttr)

    def __init__(
        self,
        label: str | LabelAttr,
        *,
        comment: str | StringAttr | None = None,
    ):
        if isinstance(label, str):
            label = LabelAttr(label)
        if isinstance(comment, str):
            comment = StringAttr(comment)

        super().__init__(
            attributes={
                "label": label,
                "comment": comment,
            },
        )

    def assembly_line(self) -> str | None:
        return AssemblyPrinter.append_comment(f"{self.label.data}:", self.comment)

    @classmethod
    def custom_parse_attributes(cls, parser: Parser) -> dict[str, Attribute]:
        attributes = dict[str, Attribute]()
        attributes["label"] = LabelAttr(parser.parse_str_literal("Expected label"))
        return attributes

    def custom_print_attributes(self, printer: Printer) -> AbstractSet[str]:
        printer.print_string(" ")
        printer.print_string_literal(self.label.data)
        return {"label"}

    def print_op_type(self, printer: Printer) -> None:
        return

    @classmethod
    def parse_op_type(
        cls, parser: Parser
    ) -> tuple[Sequence[Attribute], Sequence[Attribute]]:
        return (), ()

name = 'riscv.label' class-attribute instance-attribute

label = attr_def(LabelAttr) class-attribute instance-attribute

comment = opt_attr_def(StringAttr) class-attribute instance-attribute

__init__(label: str | LabelAttr, *, comment: str | StringAttr | None = None)

Source code in xdsl/dialects/riscv/ops.py

def __init__(
    self,
    label: str | LabelAttr,
    *,
    comment: str | StringAttr | None = None,
):
    if isinstance(label, str):
        label = LabelAttr(label)
    if isinstance(comment, str):
        comment = StringAttr(comment)

    super().__init__(
        attributes={
            "label": label,
            "comment": comment,
        },
    )

assembly_line() -> str | None

Source code in xdsl/dialects/riscv/ops.py

def assembly_line(self) -> str | None:
    return AssemblyPrinter.append_comment(f"{self.label.data}:", self.comment)

custom_parse_attributes(parser: Parser) -> dict[str, Attribute] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def custom_parse_attributes(cls, parser: Parser) -> dict[str, Attribute]:
    attributes = dict[str, Attribute]()
    attributes["label"] = LabelAttr(parser.parse_str_literal("Expected label"))
    return attributes

custom_print_attributes(printer: Printer) -> AbstractSet[str]

Source code in xdsl/dialects/riscv/ops.py

def custom_print_attributes(self, printer: Printer) -> AbstractSet[str]:
    printer.print_string(" ")
    printer.print_string_literal(self.label.data)
    return {"label"}

print_op_type(printer: Printer) -> None

Source code in xdsl/dialects/riscv/ops.py

def print_op_type(self, printer: Printer) -> None:
    return

parse_op_type(parser: Parser) -> tuple[Sequence[Attribute], Sequence[Attribute]] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def parse_op_type(
    cls, parser: Parser
) -> tuple[Sequence[Attribute], Sequence[Attribute]]:
    return (), ()

DirectiveOp

Bases: RISCVCustomFormatOperation, RISCVAsmOperation, RISCVRegallocOperation

The directive operation is used to emit assembler directives (e.g. .word; .equ; etc.) without any associated region of assembly code. A more complete list of directives can be found here:

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class DirectiveOp(
    RISCVCustomFormatOperation, RISCVAsmOperation, RISCVRegallocOperation
):
    """
    The directive operation is used to emit assembler directives (e.g. .word; .equ; etc.)
    without any associated region of assembly code.
    A more complete list of directives can be found here:

    See external [documentation](https://github.com/riscv-non-isa/riscv-asm-manual/blob/master/riscv-asm.md#pseudo-ops).
    """

    name = "riscv.directive"
    directive = attr_def(StringAttr)
    value = opt_attr_def(StringAttr)

    def __init__(
        self,
        directive: str | StringAttr,
        value: str | StringAttr | None,
    ):
        if isinstance(directive, str):
            directive = StringAttr(directive)
        if isinstance(value, str):
            value = StringAttr(value)

        super().__init__(
            attributes={
                "directive": directive,
                "value": value,
            }
        )

    def assembly_line(self) -> str | None:
        if self.value is not None and self.value.data:
            arg_str = assembly_arg_str(self.value.data)
        else:
            arg_str = ""

        return AssemblyPrinter.assembly_line(
            self.directive.data, arg_str, is_indented=False
        )

    @classmethod
    def custom_parse_attributes(cls, parser: Parser) -> dict[str, Attribute]:
        attributes = dict[str, Attribute]()
        attributes["directive"] = StringAttr(
            parser.parse_str_literal("Expected directive")
        )
        if (value := parser.parse_optional_str_literal()) is not None:
            attributes["value"] = StringAttr(value)
        return attributes

    def custom_print_attributes(self, printer: Printer) -> AbstractSet[str]:
        printer.print_string(" ")
        printer.print_string_literal(self.directive.data)
        if self.value is not None:
            printer.print_string(" ")
            printer.print_string_literal(self.value.data)
        return {"directive", "value"}

    def print_op_type(self, printer: Printer) -> None:
        return

    @classmethod
    def parse_op_type(
        cls, parser: Parser
    ) -> tuple[Sequence[Attribute], Sequence[Attribute]]:
        return (), ()

name = 'riscv.directive' class-attribute instance-attribute

directive = attr_def(StringAttr) class-attribute instance-attribute

value = opt_attr_def(StringAttr) class-attribute instance-attribute

__init__(directive: str | StringAttr, value: str | StringAttr | None)

Source code in xdsl/dialects/riscv/ops.py

def __init__(
    self,
    directive: str | StringAttr,
    value: str | StringAttr | None,
):
    if isinstance(directive, str):
        directive = StringAttr(directive)
    if isinstance(value, str):
        value = StringAttr(value)

    super().__init__(
        attributes={
            "directive": directive,
            "value": value,
        }
    )

assembly_line() -> str | None

Source code in xdsl/dialects/riscv/ops.py

def assembly_line(self) -> str | None:
    if self.value is not None and self.value.data:
        arg_str = assembly_arg_str(self.value.data)
    else:
        arg_str = ""

    return AssemblyPrinter.assembly_line(
        self.directive.data, arg_str, is_indented=False
    )

custom_parse_attributes(parser: Parser) -> dict[str, Attribute] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def custom_parse_attributes(cls, parser: Parser) -> dict[str, Attribute]:
    attributes = dict[str, Attribute]()
    attributes["directive"] = StringAttr(
        parser.parse_str_literal("Expected directive")
    )
    if (value := parser.parse_optional_str_literal()) is not None:
        attributes["value"] = StringAttr(value)
    return attributes

custom_print_attributes(printer: Printer) -> AbstractSet[str]

Source code in xdsl/dialects/riscv/ops.py

def custom_print_attributes(self, printer: Printer) -> AbstractSet[str]:
    printer.print_string(" ")
    printer.print_string_literal(self.directive.data)
    if self.value is not None:
        printer.print_string(" ")
        printer.print_string_literal(self.value.data)
    return {"directive", "value"}

print_op_type(printer: Printer) -> None

Source code in xdsl/dialects/riscv/ops.py

def print_op_type(self, printer: Printer) -> None:
    return

parse_op_type(parser: Parser) -> tuple[Sequence[Attribute], Sequence[Attribute]] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def parse_op_type(
    cls, parser: Parser
) -> tuple[Sequence[Attribute], Sequence[Attribute]]:
    return (), ()

AssemblySectionOp

Bases: IRDLOperation, AssemblyPrintable

The directive operation is used to emit assembler directives (e.g. .text; .data; etc.) with the scope of a section.

A more complete list of directives can be found here:

See external documentation.

This operation can have nested operations, corresponding to a section of the assembly.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class AssemblySectionOp(IRDLOperation, AssemblyPrintable):
    """
    The directive operation is used to emit assembler directives (e.g. .text; .data; etc.)
    with the scope of a section.

    A more complete list of directives can be found here:

    See external [documentation](https://github.com/riscv-non-isa/riscv-asm-manual/blob/master/riscv-asm.md#pseudo-ops).

    This operation can have nested operations, corresponding to a section of the assembly.
    """

    name = "riscv.assembly_section"
    directive = attr_def(StringAttr)
    data = region_def("single_block")

    traits = traits_def(NoTerminator(), IsolatedFromAbove())

    def __init__(
        self,
        directive: str | StringAttr,
        region: Region | None = None,
    ):
        if isinstance(directive, str):
            directive = StringAttr(directive)
        if region is None:
            region = Region(Block())

        super().__init__(
            regions=[region],
            attributes={
                "directive": directive,
            },
        )

    @classmethod
    def parse(cls, parser: Parser) -> AssemblySectionOp:
        directive = parser.parse_str_literal()
        attr_dict = parser.parse_optional_attr_dict_with_keyword(("directive",))
        region = parser.parse_optional_region()

        if region is None:
            region = Region(Block())
        section = AssemblySectionOp(directive, region)
        if attr_dict is not None:
            section.attributes |= attr_dict.data

        return section

    def print(self, printer: Printer) -> None:
        printer.print_string(" ")
        printer.print_string_literal(self.directive.data)
        printer.print_op_attributes(
            self.attributes, reserved_attr_names=("directive",), print_keyword=True
        )
        printer.print_string(" ")
        if self.data.block.ops:
            printer.print_region(self.data)

    def print_assembly(self, printer: AssemblyPrinter) -> None:
        printer.emit_section(self.directive.data)

name = 'riscv.assembly_section' class-attribute instance-attribute

directive = attr_def(StringAttr) class-attribute instance-attribute

data = region_def('single_block') class-attribute instance-attribute

traits = traits_def(NoTerminator(), IsolatedFromAbove()) class-attribute instance-attribute

__init__(directive: str | StringAttr, region: Region | None = None)

Source code in xdsl/dialects/riscv/ops.py

def __init__(
    self,
    directive: str | StringAttr,
    region: Region | None = None,
):
    if isinstance(directive, str):
        directive = StringAttr(directive)
    if region is None:
        region = Region(Block())

    super().__init__(
        regions=[region],
        attributes={
            "directive": directive,
        },
    )

parse(parser: Parser) -> AssemblySectionOp classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def parse(cls, parser: Parser) -> AssemblySectionOp:
    directive = parser.parse_str_literal()
    attr_dict = parser.parse_optional_attr_dict_with_keyword(("directive",))
    region = parser.parse_optional_region()

    if region is None:
        region = Region(Block())
    section = AssemblySectionOp(directive, region)
    if attr_dict is not None:
        section.attributes |= attr_dict.data

    return section

print(printer: Printer) -> None

Source code in xdsl/dialects/riscv/ops.py

def print(self, printer: Printer) -> None:
    printer.print_string(" ")
    printer.print_string_literal(self.directive.data)
    printer.print_op_attributes(
        self.attributes, reserved_attr_names=("directive",), print_keyword=True
    )
    printer.print_string(" ")
    if self.data.block.ops:
        printer.print_region(self.data)

print_assembly(printer: AssemblyPrinter) -> None

Source code in xdsl/dialects/riscv/ops.py

def print_assembly(self, printer: AssemblyPrinter) -> None:
    printer.emit_section(self.directive.data)

CustomAssemblyInstructionOp

Bases: RISCVCustomFormatOperation, RISCVInstruction

An instruction with unspecified semantics, that can be printed during assembly emission.

During assembly emission, the results are printed before the operands:

s0 = rv32.GetRegisterOp(Registers.s0).res
s1 = rv32.GetRegisterOp(Registers.s1).res
rs2 = riscv.Registers.s2
rs3 = riscv.Registers.s3
op = CustomAssemblyInstructionOp("my_instr", (s0, s1), (rs2, rs3))

op.assembly_line()   # "my_instr s2, s3, s0, s1"

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CustomAssemblyInstructionOp(RISCVCustomFormatOperation, RISCVInstruction):
    """
    An instruction with unspecified semantics, that can be printed during assembly
    emission.

    During assembly emission, the results are printed before the operands:

    ``` python
    s0 = rv32.GetRegisterOp(Registers.s0).res
    s1 = rv32.GetRegisterOp(Registers.s1).res
    rs2 = riscv.Registers.s2
    rs3 = riscv.Registers.s3
    op = CustomAssemblyInstructionOp("my_instr", (s0, s1), (rs2, rs3))

    op.assembly_line()   # "my_instr s2, s3, s0, s1"
    ```
    """

    name = "riscv.custom_assembly_instruction"
    inputs = var_operand_def()
    outputs = var_result_def()
    instruction_name = attr_def(StringAttr)
    comment = opt_attr_def(StringAttr)

    def __init__(
        self,
        instruction_name: str | StringAttr,
        inputs: Sequence[SSAValue],
        result_types: Sequence[Attribute],
        *,
        comment: str | StringAttr | None = None,
    ):
        if isinstance(instruction_name, str):
            instruction_name = StringAttr(instruction_name)
        if isinstance(comment, str):
            comment = StringAttr(comment)

        super().__init__(
            operands=[inputs],
            result_types=[result_types],
            attributes={
                "instruction_name": instruction_name,
                "comment": comment,
            },
        )

    def assembly_instruction_name(self) -> str:
        return self.instruction_name.data

    def assembly_line_args(self) -> tuple[AssemblyInstructionArg, ...]:
        return *self.results, *self.operands

name = 'riscv.custom_assembly_instruction' class-attribute instance-attribute

inputs = var_operand_def() class-attribute instance-attribute

outputs = var_result_def() class-attribute instance-attribute

instruction_name = attr_def(StringAttr) class-attribute instance-attribute

comment = opt_attr_def(StringAttr) class-attribute instance-attribute

__init__(instruction_name: str | StringAttr, inputs: Sequence[SSAValue], result_types: Sequence[Attribute], *, comment: str | StringAttr | None = None)

Source code in xdsl/dialects/riscv/ops.py

def __init__(
    self,
    instruction_name: str | StringAttr,
    inputs: Sequence[SSAValue],
    result_types: Sequence[Attribute],
    *,
    comment: str | StringAttr | None = None,
):
    if isinstance(instruction_name, str):
        instruction_name = StringAttr(instruction_name)
    if isinstance(comment, str):
        comment = StringAttr(comment)

    super().__init__(
        operands=[inputs],
        result_types=[result_types],
        attributes={
            "instruction_name": instruction_name,
            "comment": comment,
        },
    )

assembly_instruction_name() -> str

Source code in xdsl/dialects/riscv/ops.py

def assembly_instruction_name(self) -> str:
    return self.instruction_name.data

assembly_line_args() -> tuple[AssemblyInstructionArg, ...]

Source code in xdsl/dialects/riscv/ops.py

def assembly_line_args(self) -> tuple[AssemblyInstructionArg, ...]:
    return *self.results, *self.operands

CommentOp

Bases: RISCVCustomFormatOperation, RISCVAsmOperation, RISCVRegallocOperation

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class CommentOp(RISCVCustomFormatOperation, RISCVAsmOperation, RISCVRegallocOperation):
    name = "riscv.comment"
    comment = attr_def(StringAttr)

    def __init__(self, comment: str | StringAttr):
        if isinstance(comment, str):
            comment = StringAttr(comment)

        super().__init__(
            attributes={
                "comment": comment,
            },
        )

    def assembly_line(self) -> str | None:
        return f"    # {self.comment.data}"

name = 'riscv.comment' class-attribute instance-attribute

comment = attr_def(StringAttr) class-attribute instance-attribute

__init__(comment: str | StringAttr)

Source code in xdsl/dialects/riscv/ops.py

def __init__(self, comment: str | StringAttr):
    if isinstance(comment, str):
        comment = StringAttr(comment)

    super().__init__(
        attributes={
            "comment": comment,
        },
    )

assembly_line() -> str | None

Source code in xdsl/dialects/riscv/ops.py

def assembly_line(self) -> str | None:
    return f"    # {self.comment.data}"

EbreakOp dataclass

Bases: NullaryOperation

The EBREAK instruction is used by debuggers to cause control to be transferred back to a debugging environment.

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class EbreakOp(NullaryOperation):
    """
    The EBREAK instruction is used by debuggers to cause control to be
    transferred back to a debugging environment.

    See external [documentation](https://github.com/riscv/riscv-isa-manual/releases/download/Ratified-IMAFDQC/riscv-spec-20191213.pdf).
    """

    name = "riscv.ebreak"

name = 'riscv.ebreak' class-attribute instance-attribute

WfiOp dataclass

Bases: NullaryOperation

The Wait for Interrupt instruction (WFI) provides a hint to the implementation that the current hart can be stalled until an interrupt might need servicing.

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class WfiOp(NullaryOperation):
    """
    The Wait for Interrupt instruction (WFI) provides a hint to the
    implementation that the current hart can be stalled until an
    interrupt might need servicing.

    See external [documentation](https://github.com/riscv/riscv-isa-manual/releases/download/Priv-v1.12/riscv-privileged-20211203.pdf).
    """

    name = "riscv.wfi"

name = 'riscv.wfi' class-attribute instance-attribute

GetFloatRegisterOp dataclass

Bases: GetAnyRegisterOperation[FloatRegisterType]

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class GetFloatRegisterOp(GetAnyRegisterOperation[FloatRegisterType]):
    name = "riscv.get_float_register"

name = 'riscv.get_float_register' class-attribute instance-attribute

ParallelMovOp

Bases: RISCVRegallocOperation

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class ParallelMovOp(RISCVRegallocOperation):
    _L: ClassVar = IntVarConstraint("L", AnyInt())

    name = "riscv.parallel_mov"
    inputs = var_operand_def(RangeOf(RISCVRegisterType).of_length(_L))
    outputs: VarOpResult[RISCVRegisterType] = var_result_def(
        RangeOf(RISCVRegisterType).of_length(_L)
    )
    input_widths = prop_def(DenseArrayBase.constr(i32))
    free_registers = opt_prop_def(ArrayAttr[RISCVRegisterType])

    assembly_format = (
        "$inputs $input_widths attr-dict `:` functional-type($inputs, $outputs)"
    )
    irdl_options = (ParsePropInAttrDict(),)

    def __init__(
        self,
        inputs: Sequence[SSAValue],
        outputs: Sequence[RISCVRegisterType],
        input_widths: DenseArrayBase[I32],
        free_registers: ArrayAttr[RISCVRegisterType] | None = None,
    ):
        super().__init__(
            operands=(inputs,),
            result_types=(outputs,),
            properties={"input_widths": input_widths, "free_registers": free_registers},
        )

    def verify_(self) -> None:
        if len(self.inputs) != len(self.input_widths):
            raise VerifyException(
                "incorrect length for input_widths. "
                "Expected {len(self.inputs)}, found {len(self.input_widths)}."
            )

        input_types = cast(Sequence[RISCVRegisterType], self.inputs.types)
        output_types = cast(Sequence[RISCVRegisterType], self.outputs.types)

        # Check type of register type matches for input and output
        for input_type, output_type in zip(input_types, output_types, strict=True):
            if type(input_type) is not type(output_type):
                raise VerifyException("Input type must match output type.")

        # Check outputs are distinct if allocated and not ZERO
        filtered_outputs = tuple(
            i for i in output_types if i.is_allocated and i != Registers.ZERO
        )
        if len(filtered_outputs) != len(set(filtered_outputs)):
            raise VerifyException("Outputs must be unallocated or distinct.")

name = 'riscv.parallel_mov' class-attribute instance-attribute

inputs = var_operand_def(RangeOf(RISCVRegisterType).of_length(_L)) class-attribute instance-attribute

outputs: VarOpResult[RISCVRegisterType] = var_result_def(RangeOf(RISCVRegisterType).of_length(_L)) class-attribute instance-attribute

input_widths = prop_def(DenseArrayBase.constr(i32)) class-attribute instance-attribute

free_registers = opt_prop_def(ArrayAttr[RISCVRegisterType]) class-attribute instance-attribute

assembly_format = '$inputs $input_widths attr-dict `:` functional-type($inputs, $outputs)' class-attribute instance-attribute

irdl_options = (ParsePropInAttrDict(),) class-attribute instance-attribute

__init__(inputs: Sequence[SSAValue], outputs: Sequence[RISCVRegisterType], input_widths: DenseArrayBase[I32], free_registers: ArrayAttr[RISCVRegisterType] | None = None)

Source code in xdsl/dialects/riscv/ops.py

def __init__(
    self,
    inputs: Sequence[SSAValue],
    outputs: Sequence[RISCVRegisterType],
    input_widths: DenseArrayBase[I32],
    free_registers: ArrayAttr[RISCVRegisterType] | None = None,
):
    super().__init__(
        operands=(inputs,),
        result_types=(outputs,),
        properties={"input_widths": input_widths, "free_registers": free_registers},
    )

verify_() -> None

Source code in xdsl/dialects/riscv/ops.py

def verify_(self) -> None:
    if len(self.inputs) != len(self.input_widths):
        raise VerifyException(
            "incorrect length for input_widths. "
            "Expected {len(self.inputs)}, found {len(self.input_widths)}."
        )

    input_types = cast(Sequence[RISCVRegisterType], self.inputs.types)
    output_types = cast(Sequence[RISCVRegisterType], self.outputs.types)

    # Check type of register type matches for input and output
    for input_type, output_type in zip(input_types, output_types, strict=True):
        if type(input_type) is not type(output_type):
            raise VerifyException("Input type must match output type.")

    # Check outputs are distinct if allocated and not ZERO
    filtered_outputs = tuple(
        i for i in output_types if i.is_allocated and i != Registers.ZERO
    )
    if len(filtered_outputs) != len(set(filtered_outputs)):
        raise VerifyException("Outputs must be unallocated or distinct.")

FMAddSOp dataclass

Bases: RdRsRsRsFloatOperation

Perform single-precision fused multiply addition.

f[rd] = f[rs1]×f[rs2]+f[rs3]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMAddSOp(RdRsRsRsFloatOperation):
    """
    Perform single-precision fused multiply addition.

    ```C
    f[rd] = f[rs1]×f[rs2]+f[rs3]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmadd-s).
    """

    name = "riscv.fmadd.s"

name = 'riscv.fmadd.s' class-attribute instance-attribute

FMSubSOp dataclass

Bases: RdRsRsRsFloatOperation

Perform single-precision fused multiply substraction.

f[rd] = f[rs1]×f[rs2]+f[rs3]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMSubSOp(RdRsRsRsFloatOperation):
    """
    Perform single-precision fused multiply substraction.

    ```C
    f[rd] = f[rs1]×f[rs2]+f[rs3]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmsub-s).
    """

    name = "riscv.fmsub.s"

name = 'riscv.fmsub.s' class-attribute instance-attribute

FNMSubSOp dataclass

Bases: RdRsRsRsFloatOperation

Perform single-precision fused multiply substraction.

f[rd] = -f[rs1]×f[rs2]+f[rs3]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FNMSubSOp(RdRsRsRsFloatOperation):
    """
    Perform single-precision fused multiply substraction.

    ```C
    f[rd] = -f[rs1]×f[rs2]+f[rs3]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fnmsub-s).
    """

    name = "riscv.fnmsub.s"

name = 'riscv.fnmsub.s' class-attribute instance-attribute

FNMAddSOp dataclass

Bases: RdRsRsRsFloatOperation

Perform single-precision fused multiply addition.

f[rd] = -f[rs1]×f[rs2]-f[rs3]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FNMAddSOp(RdRsRsRsFloatOperation):
    """
    Perform single-precision fused multiply addition.

    ```C
    f[rd] = -f[rs1]×f[rs2]-f[rs3]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fnmadd-s).
    """

    name = "riscv.fnmadd.s"

name = 'riscv.fnmadd.s' class-attribute instance-attribute

FAddSOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Perform single-precision floating-point addition.

f[rd] = f[rs1]+f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FAddSOp(RdRsRsFloatOperationWithFastMath):
    """
    Perform single-precision floating-point addition.

    ```C
    f[rd] = f[rs1]+f[rs2]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fadd-s).
    """

    name = "riscv.fadd.s"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.fadd.s' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FSubSOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Perform single-precision floating-point substraction.

f[rd] = f[rs1]-f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FSubSOp(RdRsRsFloatOperationWithFastMath):
    """
    Perform single-precision floating-point substraction.

    ```C
    f[rd] = f[rs1]-f[rs2]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fsub-s).
    """

    name = "riscv.fsub.s"

name = 'riscv.fsub.s' class-attribute instance-attribute

FMulSOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Perform single-precision floating-point multiplication.

f[rd] = f[rs1]×f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMulSOp(RdRsRsFloatOperationWithFastMath):
    """
    Perform single-precision floating-point multiplication.

    ```C
    f[rd] = f[rs1]×f[rs2]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmul-s).
    """

    name = "riscv.fmul.s"

name = 'riscv.fmul.s' class-attribute instance-attribute

FDivSOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Perform single-precision floating-point division.

f[rd] = f[rs1] / f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FDivSOp(RdRsRsFloatOperationWithFastMath):
    """
    Perform single-precision floating-point division.

    ```C
    f[rd] = f[rs1] / f[rs2]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fdiv-s).
    """

    name = "riscv.fdiv.s"

name = 'riscv.fdiv.s' class-attribute instance-attribute

FSqrtSOp dataclass

Bases: RdRsFloatOperation[FloatRegisterType]

Perform single-precision floating-point square root.

f[rd] = sqrt(f[rs1])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FSqrtSOp(RdRsFloatOperation[FloatRegisterType]):
    """
    Perform single-precision floating-point square root.

    ```C
    f[rd] = sqrt(f[rs1])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fsqrt-s).
    """

    name = "riscv.fsqrt.s"

name = 'riscv.fsqrt.s' class-attribute instance-attribute

FSgnJSOp dataclass

Bases: RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]

Produce a result that takes all bits except the sign bit from rs1. The result’s sign bit is rs2’s sign bit.

f[rd] = {f[rs2][31], f[rs1][30:0]}

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FSgnJSOp(RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]):
    """
    Produce a result that takes all bits except the sign bit from rs1.
    The result’s sign bit is rs2’s sign bit.

    ```C
    f[rd] = {f[rs2][31], f[rs1][30:0]}
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fsgnj.s).
    """

    name = "riscv.fsgnj.s"

name = 'riscv.fsgnj.s' class-attribute instance-attribute

FSgnJNSOp dataclass

Bases: RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]

Produce a result that takes all bits except the sign bit from rs1. The result’s sign bit is opposite of rs2’s sign bit.

f[rd] = {~f[rs2][31], f[rs1][30:0]}

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FSgnJNSOp(RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]):
    """
    Produce a result that takes all bits except the sign bit from rs1.
    The result’s sign bit is opposite of rs2’s sign bit.

    ```C
    f[rd] = {~f[rs2][31], f[rs1][30:0]}
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fsgnjn.s).
    """

    name = "riscv.fsgnjn.s"

name = 'riscv.fsgnjn.s' class-attribute instance-attribute

FSgnJXSOp dataclass

Bases: RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]

Produce a result that takes all bits except the sign bit from rs1. The result’s sign bit is XOR of sign bit of rs1 and rs2.

f[rd] = {f[rs1][31] ^ f[rs2][31], f[rs1][30:0]}

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FSgnJXSOp(RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]):
    """
    Produce a result that takes all bits except the sign bit from rs1.
    The result’s sign bit is XOR of sign bit of rs1 and rs2.

    ```C
    f[rd] = {f[rs1][31] ^ f[rs2][31], f[rs1][30:0]}
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fsgnjx.s).
    """

    name = "riscv.fsgnjx.s"

name = 'riscv.fsgnjx.s' class-attribute instance-attribute

FMinSOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Write the smaller of single precision data in rs1 and rs2 to rd.

f[rd] = min(f[rs1], f[rs2])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMinSOp(RdRsRsFloatOperationWithFastMath):
    """
    Write the smaller of single precision data in rs1 and rs2 to rd.

    ```C
    f[rd] = min(f[rs1], f[rs2])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmin-s).
    """

    name = "riscv.fmin.s"

name = 'riscv.fmin.s' class-attribute instance-attribute

FMaxSOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Write the larger of single precision data in rs1 and rs2 to rd.

f[rd] = max(f[rs1], f[rs2])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMaxSOp(RdRsRsFloatOperationWithFastMath):
    """
    Write the larger of single precision data in rs1 and rs2 to rd.

    ```C
    f[rd] = max(f[rs1], f[rs2])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmax-s).
    """

    name = "riscv.fmax.s"

name = 'riscv.fmax.s' class-attribute instance-attribute

FCvtWSOp dataclass

Bases: RdRsIntegerOperation[FloatRegisterType]

Convert a floating-point number in floating-point register rs1 to a signed 32-bit in integer register rd.

x[rd] = sext(s32_{f32}(f[rs1]))

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FCvtWSOp(RdRsIntegerOperation[FloatRegisterType]):
    """
    Convert a floating-point number in floating-point register rs1 to a signed 32-bit in integer register rd.

    ```C
    x[rd] = sext(s32_{f32}(f[rs1]))
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fcvt.w.s).
    """

    name = "riscv.fcvt.w.s"

name = 'riscv.fcvt.w.s' class-attribute instance-attribute

FCvtWuSOp dataclass

Bases: RdRsIntegerOperation[FloatRegisterType]

Convert a floating-point number in floating-point register rs1 to a signed 32-bit in unsigned integer register rd.

x[rd] = sext(u32_{f32}(f[rs1]))

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FCvtWuSOp(RdRsIntegerOperation[FloatRegisterType]):
    """
    Convert a floating-point number in floating-point register rs1 to a signed 32-bit in unsigned integer register rd.

    ```C
    x[rd] = sext(u32_{f32}(f[rs1]))
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fcvt.wu.s).
    """

    name = "riscv.fcvt.wu.s"

name = 'riscv.fcvt.wu.s' class-attribute instance-attribute

FMvXWOp dataclass

Bases: RdRsIntegerOperation[FloatRegisterType]

Move the single-precision value in floating-point register rs1 represented in IEEE 754-2008 encoding to the lower 32 bits of integer register rd.

x[rd] = sext(f[rs1][31:0])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMvXWOp(RdRsIntegerOperation[FloatRegisterType]):
    """
    Move the single-precision value in floating-point register rs1 represented in IEEE
    754-2008 encoding to the lower 32 bits of integer register rd.

    ```C
    x[rd] = sext(f[rs1][31:0])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmv.x.w).
    """

    name = "riscv.fmv.x.w"

name = 'riscv.fmv.x.w' class-attribute instance-attribute

FeqSOp dataclass

Bases: RdRsRsFloatFloatIntegerOperationWithFastMath

Performs a quiet equal comparison between floating-point registers rs1 and rs2 and record the Boolean result in integer register rd. Only signaling NaN inputs cause an Invalid Operation exception. The result is 0 if either operand is NaN.

x[rd] = f[rs1] == f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FeqSOp(RdRsRsFloatFloatIntegerOperationWithFastMath):
    """
    Performs a quiet equal comparison between floating-point registers rs1 and rs2 and
    record the Boolean result in integer register rd.
    Only signaling NaN inputs cause an Invalid Operation exception.
    The result is 0 if either operand is NaN.

    x[rd] = f[rs1] == f[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#feq.s).
    """

    name = "riscv.feq.s"

name = 'riscv.feq.s' class-attribute instance-attribute

FltSOp dataclass

Bases: RdRsRsFloatFloatIntegerOperationWithFastMath

Performs a quiet less comparison between floating-point registers rs1 and rs2 and record the Boolean result in integer register rd. Only signaling NaN inputs cause an Invalid Operation exception. The result is 0 if either operand is NaN.

x[rd] = f[rs1] < f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FltSOp(RdRsRsFloatFloatIntegerOperationWithFastMath):
    """
    Performs a quiet less comparison between floating-point registers rs1 and rs2 and
    record the Boolean result in integer register rd.
    Only signaling NaN inputs cause an Invalid Operation exception.
    The result is 0 if either operand is NaN.

    x[rd] = f[rs1] < f[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#flt.s).
    """

    name = "riscv.flt.s"

name = 'riscv.flt.s' class-attribute instance-attribute

FleSOp dataclass

Bases: RdRsRsFloatFloatIntegerOperationWithFastMath

Performs a quiet less or equal comparison between floating-point registers rs1 and rs2 and record the Boolean result in integer register rd. Only signaling NaN inputs cause an Invalid Operation exception. The result is 0 if either operand is NaN.

x[rd] = f[rs1] <= f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FleSOp(RdRsRsFloatFloatIntegerOperationWithFastMath):
    """
    Performs a quiet less or equal comparison between floating-point registers rs1 and
    rs2 and record the Boolean result in integer register rd.
    Only signaling NaN inputs cause an Invalid Operation exception.
    The result is 0 if either operand is NaN.

    x[rd] = f[rs1] <= f[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fle.s).
    """

    name = "riscv.fle.s"

name = 'riscv.fle.s' class-attribute instance-attribute

FClassSOp dataclass

Bases: RdRsIntegerOperation[FloatRegisterType]

Examines the value in floating-point register rs1 and writes to integer register rd a 10-bit mask that indicates the class of the floating-point number. The format of the mask is described in [classify table]_. The corresponding bit in rd will be set if the property is true and clear otherwise. All other bits in rd are cleared. Note that exactly one bit in rd will be set.

x[rd] = classifys(f[rs1])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FClassSOp(RdRsIntegerOperation[FloatRegisterType]):
    """
    Examines the value in floating-point register rs1 and writes to integer register rd
    a 10-bit mask that indicates the class of the floating-point number.
    The format of the mask is described in [classify table]_.
    The corresponding bit in rd will be set if the property is true and clear otherwise.
    All other bits in rd are cleared. Note that exactly one bit in rd will be set.

    x[rd] = classifys(f[rs1])

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fclass.s).
    """

    name = "riscv.fclass.s"

name = 'riscv.fclass.s' class-attribute instance-attribute

FCvtSWOp dataclass

Bases: RdRsFloatOperation[IntRegisterType]

Converts a 32-bit signed integer, in integer register rs1 into a floating-point number in floating-point register rd.

f[rd] = f32_{s32}(x[rs1])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FCvtSWOp(RdRsFloatOperation[IntRegisterType]):
    """
    Converts a 32-bit signed integer, in integer register rs1 into a floating-point number in floating-point register rd.

    ```C
    f[rd] = f32_{s32}(x[rs1])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fcvt.s.w).
    """

    name = "riscv.fcvt.s.w"

name = 'riscv.fcvt.s.w' class-attribute instance-attribute

FCvtSWuOp dataclass

Bases: RdRsFloatOperation[IntRegisterType]

Converts a 32-bit unsigned integer, in integer register rs1 into a floating-point number in floating-point register rd.

f[rd] = f32_{u32}(x[rs1])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FCvtSWuOp(RdRsFloatOperation[IntRegisterType]):
    """
    Converts a 32-bit unsigned integer, in integer register rs1 into a floating-point
    number in floating-point register rd.

    ```C
    f[rd] = f32_{u32}(x[rs1])
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fcvt.s.wu).
    """

    name = "riscv.fcvt.s.wu"

name = 'riscv.fcvt.s.wu' class-attribute instance-attribute

FMvWXOp dataclass

Bases: RdRsFloatOperation[IntRegisterType]

Move the single-precision value encoded in IEEE 754-2008 standard encoding from the lower 32 bits of integer register rs1 to the floating-point register rd.

f[rd] = x[rs1][31:0]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMvWXOp(RdRsFloatOperation[IntRegisterType]):
    """
    Move the single-precision value encoded in IEEE 754-2008 standard encoding from the
    lower 32 bits of integer register rs1 to the floating-point register rd.

    ```C
    f[rd] = x[rs1][31:0]
    ```


    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmv.w.x).
    """

    name = "riscv.fmv.w.x"

name = 'riscv.fmv.w.x' class-attribute instance-attribute

FLwOpHasCanonicalizationPatternTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class FLwOpHasCanonicalizationPatternTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            LoadFloatWordWithKnownOffset,
        )

        return (LoadFloatWordWithKnownOffset(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        LoadFloatWordWithKnownOffset,
    )

    return (LoadFloatWordWithKnownOffset(),)

FLwOp dataclass

Bases: RdRsImmFloatOperation

Load a single-precision value from memory into floating-point register rd.

f[rd] = M[x[rs1] + sext(offset)][31:0]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FLwOp(RdRsImmFloatOperation):
    """
    Load a single-precision value from memory into floating-point register rd.

    ```C
    f[rd] = M[x[rs1] + sext(offset)][31:0]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#flw).
    """

    name = "riscv.flw"

    traits = traits_def(FLwOpHasCanonicalizationPatternTrait(), MemoryReadEffect())

    def assembly_line(self) -> str | None:
        instruction_name = self.assembly_instruction_name()
        value = assembly_arg_str(self.rd)
        imm = assembly_arg_str(self.immediate)
        offset = assembly_arg_str(self.rs1)
        return AssemblyPrinter.assembly_line(
            instruction_name, f"{value}, {imm}({offset})", self.comment
        )

name = 'riscv.flw' class-attribute instance-attribute

traits = traits_def(FLwOpHasCanonicalizationPatternTrait(), MemoryReadEffect()) class-attribute instance-attribute

assembly_line() -> str | None

Source code in xdsl/dialects/riscv/ops.py

def assembly_line(self) -> str | None:
    instruction_name = self.assembly_instruction_name()
    value = assembly_arg_str(self.rd)
    imm = assembly_arg_str(self.immediate)
    offset = assembly_arg_str(self.rs1)
    return AssemblyPrinter.assembly_line(
        instruction_name, f"{value}, {imm}({offset})", self.comment
    )

FSwOpHasCanonicalizationPatternTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class FSwOpHasCanonicalizationPatternTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            StoreFloatWordWithKnownOffset,
        )

        return (StoreFloatWordWithKnownOffset(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        StoreFloatWordWithKnownOffset,
    )

    return (StoreFloatWordWithKnownOffset(),)

FSwOp dataclass

Bases: RsRsImmFloatOperation

Store a single-precision value from floating-point register rs2 to memory.

M[x[rs1] + offset] = f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FSwOp(RsRsImmFloatOperation):
    """
    Store a single-precision value from floating-point register rs2 to memory.

    M[x[rs1] + offset] = f[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fsw).
    """

    name = "riscv.fsw"

    traits = traits_def(FSwOpHasCanonicalizationPatternTrait(), MemoryWriteEffect())

    def assembly_line(self) -> str | None:
        instruction_name = self.assembly_instruction_name()
        value = assembly_arg_str(self.rs2)
        imm = assembly_arg_str(self.immediate)
        offset = assembly_arg_str(self.rs1)
        return AssemblyPrinter.assembly_line(
            instruction_name, f"{value}, {imm}({offset})", self.comment
        )

name = 'riscv.fsw' class-attribute instance-attribute

traits = traits_def(FSwOpHasCanonicalizationPatternTrait(), MemoryWriteEffect()) class-attribute instance-attribute

assembly_line() -> str | None

Source code in xdsl/dialects/riscv/ops.py

def assembly_line(self) -> str | None:
    instruction_name = self.assembly_instruction_name()
    value = assembly_arg_str(self.rs2)
    imm = assembly_arg_str(self.immediate)
    offset = assembly_arg_str(self.rs1)
    return AssemblyPrinter.assembly_line(
        instruction_name, f"{value}, {imm}({offset})", self.comment
    )

FMAddDOp dataclass

Bases: RdRsRsRsFloatOperation

Perform double-precision fused multiply addition.

f[rd] = f[rs1]×f[rs2]+f[rs3]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMAddDOp(RdRsRsRsFloatOperation):
    """
    Perform double-precision fused multiply addition.

    f[rd] = f[rs1]×f[rs2]+f[rs3]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmadd-d).
    """

    name = "riscv.fmadd.d"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.fmadd.d' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FMSubDOp dataclass

Bases: RdRsRsRsFloatOperation

Perform double-precision fused multiply substraction.

f[rd] = f[rs1]×f[rs2]+f[rs3]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMSubDOp(RdRsRsRsFloatOperation):
    """
    Perform double-precision fused multiply substraction.

    f[rd] = f[rs1]×f[rs2]+f[rs3]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmsub-d).
    """

    name = "riscv.fmsub.d"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.fmsub.d' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FuseMultiplyAddDCanonicalizationPatternTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class FuseMultiplyAddDCanonicalizationPatternTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            FuseMultiplyAddD,
        )

        return (FuseMultiplyAddD(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        FuseMultiplyAddD,
    )

    return (FuseMultiplyAddD(),)

FAddDOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Perform double-precision floating-point addition.

f[rd] = f[rs1]+f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FAddDOp(RdRsRsFloatOperationWithFastMath):
    """
    Perform double-precision floating-point addition.

    f[rd] = f[rs1]+f[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fadd-d).
    """

    name = "riscv.fadd.d"

    traits = traits_def(
        AlwaysSpeculatable(),
        FuseMultiplyAddDCanonicalizationPatternTrait(),
    )

name = 'riscv.fadd.d' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable(), FuseMultiplyAddDCanonicalizationPatternTrait()) class-attribute instance-attribute

FSubDOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Perform double-precision floating-point substraction.

f[rd] = f[rs1]-f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FSubDOp(RdRsRsFloatOperationWithFastMath):
    """
    Perform double-precision floating-point substraction.

    f[rd] = f[rs1]-f[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fsub-d).
    """

    name = "riscv.fsub.d"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.fsub.d' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FMulDOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Perform double-precision floating-point multiplication.

f[rd] = f[rs1]×f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMulDOp(RdRsRsFloatOperationWithFastMath):
    """
    Perform double-precision floating-point multiplication.

    f[rd] = f[rs1]×f[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmul-d).
    """

    name = "riscv.fmul.d"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.fmul.d' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FDivDOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Perform double-precision floating-point division.

f[rd] = f[rs1] / f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FDivDOp(RdRsRsFloatOperationWithFastMath):
    """
    Perform double-precision floating-point division.

    f[rd] = f[rs1] / f[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fdiv-d).
    """

    name = "riscv.fdiv.d"

name = 'riscv.fdiv.d' class-attribute instance-attribute

FLdOpHasCanonicalizationPatternTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class FLdOpHasCanonicalizationPatternTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            LoadDoubleWithKnownOffset,
        )

        return (LoadDoubleWithKnownOffset(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        LoadDoubleWithKnownOffset,
    )

    return (LoadDoubleWithKnownOffset(),)

FMinDOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Write the smaller of double precision data in rs1 and rs2 to rd.

f[rd] = min(f[rs1], f[rs2])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMinDOp(RdRsRsFloatOperationWithFastMath):
    """
    Write the smaller of double precision data in rs1 and rs2 to rd.

    f[rd] = min(f[rs1], f[rs2])

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmin-d).
    """

    name = "riscv.fmin.d"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.fmin.d' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FMaxDOp dataclass

Bases: RdRsRsFloatOperationWithFastMath

Write the larger of single precision data in rs1 and rs2 to rd.

f[rd] = max(f[rs1], f[rs2])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMaxDOp(RdRsRsFloatOperationWithFastMath):
    """
    Write the larger of single precision data in rs1 and rs2 to rd.

    f[rd] = max(f[rs1], f[rs2])

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fmax-d).
    """

    name = "riscv.fmax.d"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.fmax.d' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FCvtDWOp dataclass

Bases: RdRsFloatOperation[IntRegisterType]

Converts a 32-bit signed integer, in integer register rs1 into a double-precision floating-point number in floating-point register rd.

x[rd] = sext(s32_{f64}(f[rs1]))

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FCvtDWOp(RdRsFloatOperation[IntRegisterType]):
    """
    Converts a 32-bit signed integer, in integer register rs1 into a double-precision
    floating-point number in floating-point register rd.

    x[rd] = sext(s32_{f64}(f[rs1]))

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fcvt-d-w).
    """

    name = "riscv.fcvt.d.w"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.fcvt.d.w' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FCvtDWuOp dataclass

Bases: RdRsFloatOperation[IntRegisterType]

Converts a 32-bit unsigned integer, in integer register rs1 into a double-precision floating-point number in floating-point register rd.

f[rd] = f64_{u32}(x[rs1])

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FCvtDWuOp(RdRsFloatOperation[IntRegisterType]):
    """
    Converts a 32-bit unsigned integer, in integer register rs1 into a double-precision
    floating-point number in floating-point register rd.

    f[rd] = f64_{u32}(x[rs1])

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fcvt-d-wu).
    """

    name = "riscv.fcvt.d.wu"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.fcvt.d.wu' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

FLdOp dataclass

Bases: RdRsImmFloatOperation

Load a double-precision value from memory into floating-point register rd.

f[rd] = M[x[rs1] + sext(offset)][63:0]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FLdOp(RdRsImmFloatOperation):
    """
    Load a double-precision value from memory into floating-point register rd.

    ```C
    f[rd] = M[x[rs1] + sext(offset)][63:0]
    ```

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fld).
    """

    name = "riscv.fld"

    traits = traits_def(FLdOpHasCanonicalizationPatternTrait(), MemoryReadEffect())

    def assembly_line(self) -> str | None:
        instruction_name = self.assembly_instruction_name()
        value = assembly_arg_str(self.rd)
        imm = assembly_arg_str(self.immediate)
        offset = assembly_arg_str(self.rs1)
        if isinstance(self.immediate, LabelAttr):
            return AssemblyPrinter.assembly_line(
                instruction_name, f"{value}, {imm}, {offset}", self.comment
            )
        else:
            return AssemblyPrinter.assembly_line(
                instruction_name, f"{value}, {imm}({offset})", self.comment
            )

name = 'riscv.fld' class-attribute instance-attribute

traits = traits_def(FLdOpHasCanonicalizationPatternTrait(), MemoryReadEffect()) class-attribute instance-attribute

assembly_line() -> str | None

Source code in xdsl/dialects/riscv/ops.py

def assembly_line(self) -> str | None:
    instruction_name = self.assembly_instruction_name()
    value = assembly_arg_str(self.rd)
    imm = assembly_arg_str(self.immediate)
    offset = assembly_arg_str(self.rs1)
    if isinstance(self.immediate, LabelAttr):
        return AssemblyPrinter.assembly_line(
            instruction_name, f"{value}, {imm}, {offset}", self.comment
        )
    else:
        return AssemblyPrinter.assembly_line(
            instruction_name, f"{value}, {imm}({offset})", self.comment
        )

FSdOpHasCanonicalizationPatternTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class FSdOpHasCanonicalizationPatternTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import (
            StoreDoubleWithKnownOffset,
        )

        return (StoreDoubleWithKnownOffset(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import (
        StoreDoubleWithKnownOffset,
    )

    return (StoreDoubleWithKnownOffset(),)

FSdOp dataclass

Bases: RsRsImmFloatOperation

Store a double-precision value from floating-point register rs2 to memory.

M[x[rs1] + offset] = f[rs2]

See external documentation.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FSdOp(RsRsImmFloatOperation):
    """
    Store a double-precision value from floating-point register rs2 to memory.

    M[x[rs1] + offset] = f[rs2]

    See external [documentation](https://msyksphinz-self.github.io/riscv-isadoc/html/rvfd.html#fsw).
    """

    name = "riscv.fsd"

    traits = traits_def(FSdOpHasCanonicalizationPatternTrait(), MemoryWriteEffect())

    def assembly_line(self) -> str | None:
        instruction_name = self.assembly_instruction_name()
        value = assembly_arg_str(self.rs2)
        imm = assembly_arg_str(self.immediate)
        offset = assembly_arg_str(self.rs1)
        return AssemblyPrinter.assembly_line(
            instruction_name, f"{value}, {imm}({offset})", self.comment
        )

name = 'riscv.fsd' class-attribute instance-attribute

traits = traits_def(FSdOpHasCanonicalizationPatternTrait(), MemoryWriteEffect()) class-attribute instance-attribute

assembly_line() -> str | None

Source code in xdsl/dialects/riscv/ops.py

def assembly_line(self) -> str | None:
    instruction_name = self.assembly_instruction_name()
    value = assembly_arg_str(self.rs2)
    imm = assembly_arg_str(self.immediate)
    offset = assembly_arg_str(self.rs1)
    return AssemblyPrinter.assembly_line(
        instruction_name, f"{value}, {imm}({offset})", self.comment
    )

FMvDHasCanonicalizationPatternsTrait dataclass

Bases: HasCanonicalizationPatternsTrait

Source code in xdsl/dialects/riscv/ops.py

class FMvDHasCanonicalizationPatternsTrait(HasCanonicalizationPatternsTrait):
    @classmethod
    def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
        from xdsl.transforms.canonicalization_patterns.riscv import RemoveRedundantFMvD

        return (RemoveRedundantFMvD(),)

get_canonicalization_patterns() -> tuple[RewritePattern, ...] classmethod

Source code in xdsl/dialects/riscv/ops.py

@classmethod
def get_canonicalization_patterns(cls) -> tuple[RewritePattern, ...]:
    from xdsl.transforms.canonicalization_patterns.riscv import RemoveRedundantFMvD

    return (RemoveRedundantFMvD(),)

FMvDOp dataclass

Bases: RdRsFloatOperation[FloatRegisterType]

A pseudo instruction to copy 64 bits of one float register to another.

Equivalent to fsgnj.d rd, rs, rs.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class FMvDOp(RdRsFloatOperation[FloatRegisterType]):
    """
    A pseudo instruction to copy 64 bits of one float register to another.

    Equivalent to `fsgnj.d rd, rs, rs`.
    """

    name = "riscv.fmv.d"

    traits = traits_def(
        AlwaysSpeculatable(),
        FMvDHasCanonicalizationPatternsTrait(),
    )

name = 'riscv.fmv.d' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable(), FMvDHasCanonicalizationPatternsTrait()) class-attribute instance-attribute

VFAddSOp dataclass

Bases: RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]

Perform a pointwise single-precision floating-point addition over vectors.

If the registers used are FloatRegisterType, they must be 64-bit wide, and contain two 32-bit single-precision floating point values.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class VFAddSOp(RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]):
    """
    Perform a pointwise single-precision floating-point addition over vectors.

    If the registers used are FloatRegisterType, they must be 64-bit wide, and contain two
    32-bit single-precision floating point values.
    """

    name = "riscv.vfadd.s"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.vfadd.s' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute

VFMulSOp dataclass

Bases: RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]

Perform a pointwise single-precision floating-point multiplication over vectors.

If the registers used are FloatRegisterType, they must be 64-bit wide, and contain two 32-bit single-precision floating point values.

Source code in xdsl/dialects/riscv/ops.py

@irdl_op_definition
class VFMulSOp(RdRsRsFloatOperation[FloatRegisterType, FloatRegisterType]):
    """
    Perform a pointwise single-precision floating-point multiplication over vectors.

    If the registers used are FloatRegisterType, they must be 64-bit wide, and contain two
    32-bit single-precision floating point values.
    """

    name = "riscv.vfmul.s"

    traits = traits_def(AlwaysSpeculatable())

name = 'riscv.vfmul.s' class-attribute instance-attribute

traits = traits_def(AlwaysSpeculatable()) class-attribute instance-attribute