Class LoadMem

mypyc/ir/ops.py:1637–1662

Read a memory location: result = *(type *)src. Attributes: type: Type of the read value src: Pointer to memory to read

@final
class LoadMem(RegisterOp):
    """Read a memory location: result = *(type *)src.

    Attributes:
      type: Type of the read value
      src: Pointer to memory to read
    """

    error_kind = ERR_NEVER

    def __init__(self, type: RType, src: Value, line: int = -1, *, borrow: bool = False) -> None:
        super().__init__(line)
        self.type = type
        # TODO: Support other native integer types
        assert is_pointer_rprimitive(src.type)
        self.src = src
        self.is_borrowed = borrow and type.is_refcounted

    def sources(self) -> list[Value]:
        return [self.src]

    def set_sources(self, new: list[Value]) -> None:
        (self.src,) = new

    def accept(self, visitor: OpVisitor[T]) -> T:
        return visitor.visit_load_mem(self)


@final