X86 regalloc verify liveness

x86_regalloc_verify_liveness

X86RegallocVerifyLivenessPass dataclass

Bases: ModulePass

Verify that the use of a register value as inout is its last use.

Source code in xdsl/transforms/x86_regalloc_verify_liveness.py

@dataclass(frozen=True)
class X86RegallocVerifyLivenessPass(ModulePass):
    """
    Verify that the use of a register value as inout is its last use.
    """

    name = "x86-regalloc-verify-liveness"

    def apply(self, ctx: Context, op: builtin.ModuleOp) -> None:
        for func in op.body.block.ops:
            if not isinstance(func, x86_func.FuncOp):
                continue
            VerifyLivenessContext(set()).process_region(func.body)

name = 'x86-regalloc-verify-liveness' class-attribute instance-attribute

__init__() -> None

apply(ctx: Context, op: builtin.ModuleOp) -> None

Source code in xdsl/transforms/x86_regalloc_verify_liveness.py

def apply(self, ctx: Context, op: builtin.ModuleOp) -> None:
    for func in op.body.block.ops:
        if not isinstance(func, x86_func.FuncOp):
            continue
        VerifyLivenessContext(set()).process_region(func.body)