smallworld-re 1.0.3__py3-none-any.whl → 2.0.0__py3-none-any.whl

smallworld/state/models/mips64el/systemv/posix/signal.py

@@ -0,0 +1,157 @@
+from ....posix.signal import (
+    BsdSignal,
+    Kill,
+    Killpg,
+    PthreadKill,
+    PthreadSigmask,
+    Sigaction,
+    Sigaddset,
+    Sigaltstack,
+    Sigdelset,
+    Sigemptyset,
+    Sigfillset,
+    Sighold,
+    Sigignore,
+    Siginterrupt,
+    Sigismember,
+    Sigpause,
+    Sigpending,
+    Sigprocmask,
+    Sigqueue,
+    Sigrelse,
+    Sigset,
+    Sigsuspend,
+    Sigtimedwait,
+    Sigwait,
+    Sigwaitinfo,
+)
+from ..systemv import MIPS64ELSysVModel
+
+
+class MIPS64ELSysVBsdSignal(BsdSignal, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVKill(Kill, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVKillpg(Killpg, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVPthreadKill(PthreadKill, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVPthreadSigmask(PthreadSigmask, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigaction(Sigaction, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigaddset(Sigaddset, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigaltstack(Sigaltstack, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigdelset(Sigdelset, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigemptyset(Sigemptyset, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigfillset(Sigfillset, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSighold(Sighold, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigignore(Sigignore, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSiginterrupt(Siginterrupt, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigismember(Sigismember, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigpause(Sigpause, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigpending(Sigpending, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigprocmask(Sigprocmask, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigqueue(Sigqueue, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigrelse(Sigrelse, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigset(Sigset, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigsuspend(Sigsuspend, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigtimedwait(Sigtimedwait, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigwait(Sigwait, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSigwaitinfo(Sigwaitinfo, MIPS64ELSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPS64ELSysVBsdSignal",
+    "MIPS64ELSysVKill",
+    "MIPS64ELSysVKillpg",
+    "MIPS64ELSysVPthreadKill",
+    "MIPS64ELSysVPthreadSigmask",
+    "MIPS64ELSysVSigaction",
+    "MIPS64ELSysVSigaddset",
+    "MIPS64ELSysVSigaltstack",
+    "MIPS64ELSysVSigdelset",
+    "MIPS64ELSysVSigemptyset",
+    "MIPS64ELSysVSigfillset",
+    "MIPS64ELSysVSighold",
+    "MIPS64ELSysVSigignore",
+    "MIPS64ELSysVSiginterrupt",
+    "MIPS64ELSysVSigismember",
+    "MIPS64ELSysVSigpause",
+    "MIPS64ELSysVSigpending",
+    "MIPS64ELSysVSigprocmask",
+    "MIPS64ELSysVSigqueue",
+    "MIPS64ELSysVSigrelse",
+    "MIPS64ELSysVSigset",
+    "MIPS64ELSysVSigsuspend",
+    "MIPS64ELSysVSigtimedwait",
+    "MIPS64ELSysVSigwait",
+    "MIPS64ELSysVSigwaitinfo",
+]

smallworld/state/models/mips64el/systemv/systemv.py

@@ -0,0 +1,96 @@
+import struct
+
+from ..... import emulators, platforms
+from ...cstd import ArgumentType, CStdModel
+
+
+class MIPS64ELSysVModel(CStdModel):
+    """Base class for C models using the AArch64 System V ABI"""
+
+    platform = platforms.Platform(
+        platforms.Architecture.MIPS64, platforms.Byteorder.LITTLE
+    )
+    abi = platforms.ABI.SYSTEMV
+
+    _int_sign_mask = 0x80000000
+    _int_inv_mask = 0xFFFFFFFF
+    _long_sign_mask = 0x8000000000000000
+    _long_inv_mask = 0xFFFFFFFFFFFFFFFF
+    _long_long_sign_mask = 0x8000000000000000
+    _long_long_inv_mask = 0xFFFFFFFFFFFFFFFF
+
+    _four_byte_types = {ArgumentType.INT, ArgumentType.UINT}
+
+    _eight_byte_types = {
+        ArgumentType.LONG,
+        ArgumentType.ULONG,
+        ArgumentType.LONGLONG,
+        ArgumentType.ULONGLONG,
+        ArgumentType.SIZE_T,
+        ArgumentType.SSIZE_T,
+        ArgumentType.POINTER,
+    }
+
+    _four_byte_arg_regs = ["a0", "a1", "a2", "a3", "a4", "a5", "a6", "a7"]
+
+    _eight_byte_arg_regs = [
+        "a0",
+        "a1",
+        "a2",
+        "a3",
+        "a4",
+        "a5",
+        "a6",
+        "a7",
+    ]
+
+    _soft_float = False
+    _variadic_soft_float = True
+    _floats_are_doubles = False
+    _float_arg_regs = [
+        "f13",
+        "f14",
+        "f15",
+        "f16",
+        "f17",
+    ]
+
+    _double_arg_regs = [
+        "f13",
+        "f14",
+        "f15",
+        "f16",
+        "f17",
+    ]
+
+    _init_stack_offset = 0
+    _align_stack = True
+    _eight_byte_reg_size = 1
+    _double_reg_size = 1
+    _four_byte_stack_size = 4
+    _eight_byte_stack_size = 8
+    _float_stack_size = 4
+    _double_stack_size = 8
+
+    def _return_4_byte(self, emulator: emulators.Emulator, val: int) -> None:
+        """Return a four-byte type"""
+        val &= self._int_inv_mask
+        if val & self._int_sign_mask != 0:
+            val |= self._int_signext_mask
+        emulator.write_register("v0", val)
+
+    def _return_8_byte(self, emulator: emulators.Emulator, val: int) -> None:
+        """Return an eight-byte type"""
+        emulator.write_register("v0", val)
+
+    def _return_float(self, emulator: emulators.Emulator, val: float) -> None:
+        """Return a float"""
+        data = struct.pack("<f", val)
+        intval = int.from_bytes(data, "little")
+        emulator.write_register("f0", intval)
+
+    def _return_double(self, emulator: emulators.Emulator, val: float) -> None:
+        """Return a double"""
+        data = struct.pack("<d", val)
+        intval = int.from_bytes(data, "little")
+        emulator.write_register("f0", intval)

smallworld/state/models/mipsel/__init__.py

@@ -0,0 +1 @@
+from .systemv import __all__ as __sysv__  # noqa: F401

smallworld/state/models/mipsel/systemv/__init__.py

@@ -0,0 +1,6 @@
+from .c99 import *  # noqa: F401,F403
+from .c99 import __all__ as __c99__
+from .posix import *  # noqa: F401,F403
+from .posix import __all__ as __posix__
+
+__all__ = __c99__ + __posix__

smallworld/state/models/mipsel/systemv/c99/__init__.py

@@ -0,0 +1,12 @@
+from .signal import *  # noqa F401,F403
+from .signal import __all__ as __signal__
+from .stdio import *  # noqa F401,F403
+from .stdio import __all__ as __stdio__
+from .stdlib import *  # noqa F401,F403
+from .stdlib import __all__ as __stdlib__
+from .string import *  # noqa F401,F403
+from .string import __all__ as __string__
+from .time import *  # noqa F401,F403
+from .time import __all__ as __time__
+
+__all__ = __signal__ + __stdlib__ + __string__ + __stdio__ + __time__

smallworld/state/models/mipsel/systemv/c99/signal.py

@@ -0,0 +1,16 @@
+from ....c99.signal import Raise, Signal
+from ..systemv import MIPSELSysVModel
+
+
+class MIPSELSysVRaise(Raise, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVSignal(Signal, MIPSELSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPSELSysVRaise",
+    "MIPSELSysVSignal",
+]

smallworld/state/models/mipsel/systemv/c99/stdio.py

@@ -0,0 +1,265 @@
+from ....c99 import (
+    Clearerr,
+    Fclose,
+    Feof,
+    Ferror,
+    Fflush,
+    Fgetc,
+    Fgetpos,
+    Fgets,
+    Fopen,
+    Fprintf,
+    Fputc,
+    Fputs,
+    Fread,
+    Freopen,
+    Fscanf,
+    Fseek,
+    Fsetpos,
+    Ftell,
+    Fwrite,
+    Getc,
+    Getchar,
+    Gets,
+    Printf,
+    Putc,
+    Putchar,
+    Puts,
+    Remove,
+    Rename,
+    Rewind,
+    Scanf,
+    Snprintf,
+    Sprintf,
+    Sscanf,
+    Tmpfile,
+    Tmpnam,
+    Ungetc,
+    Vfprintf,
+    Vfscanf,
+    Vprintf,
+    Vscanf,
+    Vsnprintf,
+    Vsprintf,
+    Vsscanf,
+)
+from ..systemv import MIPSELSysVModel
+
+
+class MIPSELSysVFclose(Fclose, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFeof(Feof, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFerror(Ferror, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFgetc(Fgetc, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFgets(Fgets, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFopen(Fopen, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFprintf(Fprintf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFputc(Fputc, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFputs(Fputs, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFread(Fread, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFscanf(Fscanf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFseek(Fseek, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFtell(Ftell, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFwrite(Fwrite, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVGetc(Getc, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVGetchar(Getchar, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVGets(Gets, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVPrintf(Printf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVPutc(Putc, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVPutchar(Putchar, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVPuts(Puts, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVRemove(Remove, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVRename(Rename, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVRewind(Rewind, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVScanf(Scanf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVSnprintf(Snprintf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVSprintf(Sprintf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVSscanf(Sscanf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVClearerr(Clearerr, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFflush(Fflush, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFreopen(Freopen, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFgetpos(Fgetpos, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFsetpos(Fsetpos, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVTmpfile(Tmpfile, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVTmpnam(Tmpnam, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVUngetc(Ungetc, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVVfprintf(Vfprintf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVVfscanf(Vfscanf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVVprintf(Vprintf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVVscanf(Vscanf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVVsnprintf(Vsnprintf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVVsprintf(Vsprintf, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVVsscanf(Vsscanf, MIPSELSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPSELSysVFclose",
+    "MIPSELSysVFeof",
+    "MIPSELSysVFerror",
+    "MIPSELSysVFgetc",
+    "MIPSELSysVFgets",
+    "MIPSELSysVFopen",
+    "MIPSELSysVFprintf",
+    "MIPSELSysVFputc",
+    "MIPSELSysVFputs",
+    "MIPSELSysVFread",
+    "MIPSELSysVFscanf",
+    "MIPSELSysVFseek",
+    "MIPSELSysVFtell",
+    "MIPSELSysVFwrite",
+    "MIPSELSysVGetc",
+    "MIPSELSysVGetchar",
+    "MIPSELSysVGets",
+    "MIPSELSysVPrintf",
+    "MIPSELSysVPutc",
+    "MIPSELSysVPutchar",
+    "MIPSELSysVPuts",
+    "MIPSELSysVRemove",
+    "MIPSELSysVRename",
+    "MIPSELSysVRewind",
+    "MIPSELSysVScanf",
+    "MIPSELSysVSnprintf",
+    "MIPSELSysVSprintf",
+    "MIPSELSysVSscanf",
+    "MIPSELSysVClearerr",
+    "MIPSELSysVFflush",
+    "MIPSELSysVFreopen",
+    "MIPSELSysVFgetpos",
+    "MIPSELSysVFsetpos",
+    "MIPSELSysVTmpfile",
+    "MIPSELSysVTmpnam",
+    "MIPSELSysVUngetc",
+    "MIPSELSysVVfprintf",
+    "MIPSELSysVVfscanf",
+    "MIPSELSysVVprintf",
+    "MIPSELSysVVscanf",
+    "MIPSELSysVVsnprintf",
+    "MIPSELSysVVsprintf",
+    "MIPSELSysVVsscanf",
+]

smallworld/state/models/mipsel/systemv/c99/stdlib.py

@@ -0,0 +1,169 @@
+from ....c99 import (
+    Abort,
+    Abs,
+    Atexit,
+    Atof,
+    Atoi,
+    Atol,
+    Atoll,
+    Calloc,
+    Div,
+    Exit,
+    Free,
+    Getenv,
+    LAbs,
+    LDiv,
+    LLAbs,
+    LLDiv,
+    Malloc,
+    Mblen,
+    Mbstowcs,
+    Mbtowc,
+    QSort,
+    Rand,
+    Realloc,
+    Srand,
+    System,
+    Wcstombs,
+    Wctomb,
+)
+from ..systemv import MIPSELSysVModel
+
+
+class MIPSELSysVAbs(Abs, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVLAbs(LAbs, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVLLAbs(LLAbs, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVAtof(Atof, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVAtoi(Atoi, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVAtol(Atol, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVAtoll(Atoll, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVCalloc(Calloc, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVDiv(Div, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVLDiv(LDiv, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVLLDiv(LLDiv, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVExit(Exit, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVFree(Free, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVMalloc(Malloc, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVQSort(QSort, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVRand(Rand, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVRealloc(Realloc, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVSrand(Srand, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVAbort(Abort, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVAtexit(Atexit, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVGetenv(Getenv, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVMblen(Mblen, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVMbstowcs(Mbstowcs, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVMbtowc(Mbtowc, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVSystem(System, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVWcstombs(Wcstombs, MIPSELSysVModel):
+    pass
+
+
+class MIPSELSysVWctomb(Wctomb, MIPSELSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPSELSysVAbs",
+    "MIPSELSysVLAbs",
+    "MIPSELSysVLLAbs",
+    "MIPSELSysVAtof",
+    "MIPSELSysVAtoi",
+    "MIPSELSysVAtol",
+    "MIPSELSysVAtoll",
+    "MIPSELSysVCalloc",
+    "MIPSELSysVDiv",
+    "MIPSELSysVLDiv",
+    "MIPSELSysVLLDiv",
+    "MIPSELSysVExit",
+    "MIPSELSysVFree",
+    "MIPSELSysVMalloc",
+    "MIPSELSysVQSort",
+    "MIPSELSysVRand",
+    "MIPSELSysVRealloc",
+    "MIPSELSysVSrand",
+    "MIPSELSysVAbort",
+    "MIPSELSysVAtexit",
+    "MIPSELSysVGetenv",
+    "MIPSELSysVMblen",
+    "MIPSELSysVMbstowcs",
+    "MIPSELSysVMbtowc",
+    "MIPSELSysVSystem",
+    "MIPSELSysVWcstombs",
+    "MIPSELSysVWctomb",
+]