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

smallworld/state/models/mips/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 MIPSSysVModel
+
+
+class MIPSSysVBsdSignal(BsdSignal, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVKill(Kill, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVKillpg(Killpg, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVPthreadKill(PthreadKill, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVPthreadSigmask(PthreadSigmask, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigaction(Sigaction, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigaddset(Sigaddset, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigaltstack(Sigaltstack, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigdelset(Sigdelset, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigemptyset(Sigemptyset, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigfillset(Sigfillset, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSighold(Sighold, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigignore(Sigignore, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSiginterrupt(Siginterrupt, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigismember(Sigismember, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigpause(Sigpause, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigpending(Sigpending, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigprocmask(Sigprocmask, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigqueue(Sigqueue, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigrelse(Sigrelse, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigset(Sigset, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigsuspend(Sigsuspend, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigtimedwait(Sigtimedwait, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigwait(Sigwait, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSigwaitinfo(Sigwaitinfo, MIPSSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPSSysVBsdSignal",
+    "MIPSSysVKill",
+    "MIPSSysVKillpg",
+    "MIPSSysVPthreadKill",
+    "MIPSSysVPthreadSigmask",
+    "MIPSSysVSigaction",
+    "MIPSSysVSigaddset",
+    "MIPSSysVSigaltstack",
+    "MIPSSysVSigdelset",
+    "MIPSSysVSigemptyset",
+    "MIPSSysVSigfillset",
+    "MIPSSysVSighold",
+    "MIPSSysVSigignore",
+    "MIPSSysVSiginterrupt",
+    "MIPSSysVSigismember",
+    "MIPSSysVSigpause",
+    "MIPSSysVSigpending",
+    "MIPSSysVSigprocmask",
+    "MIPSSysVSigqueue",
+    "MIPSSysVSigrelse",
+    "MIPSSysVSigset",
+    "MIPSSysVSigsuspend",
+    "MIPSSysVSigtimedwait",
+    "MIPSSysVSigwait",
+    "MIPSSysVSigwaitinfo",
+]

smallworld/state/models/mips/systemv/systemv.py

@@ -0,0 +1,78 @@
+import struct
+
+from ..... import emulators, platforms
+from ...cstd import ArgumentType, CStdModel
+
+
+class MIPSSysVModel(CStdModel):
+    """Base class for C models using the MIPS o32 ABI"""
+
+    platform = platforms.Platform(
+        platforms.Architecture.MIPS32, platforms.Byteorder.BIG
+    )
+    abi = platforms.ABI.SYSTEMV
+
+    _int_sign_mask = 0x80000000
+    _int_inv_mask = 0xFFFFFFFF
+    _long_sign_mask = 0x80000000
+    _long_inv_mask = 0xFFFFFFFF
+    _long_long_sign_mask = 0x8000000000000000
+    _long_long_inv_mask = 0xFFFFFFFFFFFFFFFF
+
+    _four_byte_types = {
+        ArgumentType.INT,
+        ArgumentType.UINT,
+        ArgumentType.LONG,
+        ArgumentType.ULONG,
+        ArgumentType.SIZE_T,
+        ArgumentType.SSIZE_T,
+        ArgumentType.POINTER,
+    }
+
+    _eight_byte_types = {
+        ArgumentType.LONGLONG,
+        ArgumentType.ULONGLONG,
+    }
+
+    _four_byte_arg_regs = ["a0", "a1", "a2", "a3"]
+    _eight_byte_arg_regs = ["a0", "a1", "a2", "a3"]
+
+    _soft_float = True
+    _variadic_soft_float = True
+    _floats_are_doubles = False
+    _float_arg_regs = []
+    _double_arg_regs = []
+
+    _init_stack_offset = 16
+    _align_stack = True
+    _eight_byte_reg_size = 2
+    _double_reg_size = 2
+    _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:
+        emulator.write_register("v0", val)
+
+    def _return_8_byte(self, emulator: emulators.Emulator, val: int) -> None:
+        lo = val & self._int_inv_mask
+        hi = (val >> 32) & self._int_inv_mask
+
+        emulator.write_register("v0", hi)
+        emulator.write_register("v1", lo)
+
+    def _return_float(self, emulator: emulators.Emulator, val: float) -> None:
+        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:
+        data = struct.pack("<d", val)
+        intval = int.from_bytes(data, "little")
+
+        lo = intval & self._int_inv_mask
+        hi = (intval >> 32) & self._int_inv_mask
+
+        emulator.write_register("f0", lo)
+        emulator.write_register("f1", hi)

smallworld/state/models/mips64/__init__.py

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

smallworld/state/models/mips64/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/mips64/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/mips64/systemv/c99/signal.py

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

smallworld/state/models/mips64/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 MIPS64SysVModel
+
+
+class MIPS64SysVFclose(Fclose, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFeof(Feof, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFerror(Ferror, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFgetc(Fgetc, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFgets(Fgets, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFopen(Fopen, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFprintf(Fprintf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFputc(Fputc, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFputs(Fputs, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFread(Fread, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFscanf(Fscanf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFseek(Fseek, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFtell(Ftell, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFwrite(Fwrite, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVGetc(Getc, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVGetchar(Getchar, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVGets(Gets, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVPrintf(Printf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVPutc(Putc, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVPutchar(Putchar, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVPuts(Puts, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVRemove(Remove, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVRename(Rename, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVRewind(Rewind, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVScanf(Scanf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVSnprintf(Snprintf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVSprintf(Sprintf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVSscanf(Sscanf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVClearerr(Clearerr, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFflush(Fflush, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFreopen(Freopen, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFgetpos(Fgetpos, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFsetpos(Fsetpos, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVTmpfile(Tmpfile, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVTmpnam(Tmpnam, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVUngetc(Ungetc, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVVfprintf(Vfprintf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVVfscanf(Vfscanf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVVprintf(Vprintf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVVscanf(Vscanf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVVsnprintf(Vsnprintf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVVsprintf(Vsprintf, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVVsscanf(Vsscanf, MIPS64SysVModel):
+    pass
+
+
+__all__ = [
+    "MIPS64SysVFclose",
+    "MIPS64SysVFeof",
+    "MIPS64SysVFerror",
+    "MIPS64SysVFgetc",
+    "MIPS64SysVFgets",
+    "MIPS64SysVFopen",
+    "MIPS64SysVFprintf",
+    "MIPS64SysVFputc",
+    "MIPS64SysVFputs",
+    "MIPS64SysVFread",
+    "MIPS64SysVFscanf",
+    "MIPS64SysVFseek",
+    "MIPS64SysVFtell",
+    "MIPS64SysVFwrite",
+    "MIPS64SysVGetc",
+    "MIPS64SysVGetchar",
+    "MIPS64SysVGets",
+    "MIPS64SysVPrintf",
+    "MIPS64SysVPutc",
+    "MIPS64SysVPutchar",
+    "MIPS64SysVPuts",
+    "MIPS64SysVRemove",
+    "MIPS64SysVRename",
+    "MIPS64SysVRewind",
+    "MIPS64SysVScanf",
+    "MIPS64SysVSnprintf",
+    "MIPS64SysVSprintf",
+    "MIPS64SysVSscanf",
+    "MIPS64SysVClearerr",
+    "MIPS64SysVFflush",
+    "MIPS64SysVFreopen",
+    "MIPS64SysVFgetpos",
+    "MIPS64SysVFsetpos",
+    "MIPS64SysVTmpfile",
+    "MIPS64SysVTmpnam",
+    "MIPS64SysVUngetc",
+    "MIPS64SysVVfprintf",
+    "MIPS64SysVVfscanf",
+    "MIPS64SysVVprintf",
+    "MIPS64SysVVscanf",
+    "MIPS64SysVVsnprintf",
+    "MIPS64SysVVsprintf",
+    "MIPS64SysVVsscanf",
+]

smallworld/state/models/mips64/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 MIPS64SysVModel
+
+
+class MIPS64SysVAbs(Abs, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVLAbs(LAbs, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVLLAbs(LLAbs, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVAtof(Atof, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVAtoi(Atoi, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVAtol(Atol, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVAtoll(Atoll, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVCalloc(Calloc, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVDiv(Div, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVLDiv(LDiv, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVLLDiv(LLDiv, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVExit(Exit, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVFree(Free, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVMalloc(Malloc, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVQSort(QSort, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVRand(Rand, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVRealloc(Realloc, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVSrand(Srand, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVAbort(Abort, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVAtexit(Atexit, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVGetenv(Getenv, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVMblen(Mblen, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVMbstowcs(Mbstowcs, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVMbtowc(Mbtowc, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVSystem(System, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVWcstombs(Wcstombs, MIPS64SysVModel):
+    pass
+
+
+class MIPS64SysVWctomb(Wctomb, MIPS64SysVModel):
+    pass
+
+
+__all__ = [
+    "MIPS64SysVAbs",
+    "MIPS64SysVLAbs",
+    "MIPS64SysVLLAbs",
+    "MIPS64SysVAtof",
+    "MIPS64SysVAtoi",
+    "MIPS64SysVAtol",
+    "MIPS64SysVAtoll",
+    "MIPS64SysVCalloc",
+    "MIPS64SysVDiv",
+    "MIPS64SysVLDiv",
+    "MIPS64SysVLLDiv",
+    "MIPS64SysVExit",
+    "MIPS64SysVFree",
+    "MIPS64SysVMalloc",
+    "MIPS64SysVQSort",
+    "MIPS64SysVRand",
+    "MIPS64SysVRealloc",
+    "MIPS64SysVSrand",
+    "MIPS64SysVAbort",
+    "MIPS64SysVAtexit",
+    "MIPS64SysVGetenv",
+    "MIPS64SysVMblen",
+    "MIPS64SysVMbstowcs",
+    "MIPS64SysVMbtowc",
+    "MIPS64SysVSystem",
+    "MIPS64SysVWcstombs",
+    "MIPS64SysVWctomb",
+]