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

smallworld/state/models/i386/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 I386SysVModel
+
+
+class I386SysVBsdSignal(BsdSignal, I386SysVModel):
+    pass
+
+
+class I386SysVKill(Kill, I386SysVModel):
+    pass
+
+
+class I386SysVKillpg(Killpg, I386SysVModel):
+    pass
+
+
+class I386SysVPthreadKill(PthreadKill, I386SysVModel):
+    pass
+
+
+class I386SysVPthreadSigmask(PthreadSigmask, I386SysVModel):
+    pass
+
+
+class I386SysVSigaction(Sigaction, I386SysVModel):
+    pass
+
+
+class I386SysVSigaddset(Sigaddset, I386SysVModel):
+    pass
+
+
+class I386SysVSigaltstack(Sigaltstack, I386SysVModel):
+    pass
+
+
+class I386SysVSigdelset(Sigdelset, I386SysVModel):
+    pass
+
+
+class I386SysVSigemptyset(Sigemptyset, I386SysVModel):
+    pass
+
+
+class I386SysVSigfillset(Sigfillset, I386SysVModel):
+    pass
+
+
+class I386SysVSighold(Sighold, I386SysVModel):
+    pass
+
+
+class I386SysVSigignore(Sigignore, I386SysVModel):
+    pass
+
+
+class I386SysVSiginterrupt(Siginterrupt, I386SysVModel):
+    pass
+
+
+class I386SysVSigismember(Sigismember, I386SysVModel):
+    pass
+
+
+class I386SysVSigpause(Sigpause, I386SysVModel):
+    pass
+
+
+class I386SysVSigpending(Sigpending, I386SysVModel):
+    pass
+
+
+class I386SysVSigprocmask(Sigprocmask, I386SysVModel):
+    pass
+
+
+class I386SysVSigqueue(Sigqueue, I386SysVModel):
+    pass
+
+
+class I386SysVSigrelse(Sigrelse, I386SysVModel):
+    pass
+
+
+class I386SysVSigset(Sigset, I386SysVModel):
+    pass
+
+
+class I386SysVSigsuspend(Sigsuspend, I386SysVModel):
+    pass
+
+
+class I386SysVSigtimedwait(Sigtimedwait, I386SysVModel):
+    pass
+
+
+class I386SysVSigwait(Sigwait, I386SysVModel):
+    pass
+
+
+class I386SysVSigwaitinfo(Sigwaitinfo, I386SysVModel):
+    pass
+
+
+__all__ = [
+    "I386SysVBsdSignal",
+    "I386SysVKill",
+    "I386SysVKillpg",
+    "I386SysVPthreadKill",
+    "I386SysVPthreadSigmask",
+    "I386SysVSigaction",
+    "I386SysVSigaddset",
+    "I386SysVSigaltstack",
+    "I386SysVSigdelset",
+    "I386SysVSigemptyset",
+    "I386SysVSigfillset",
+    "I386SysVSighold",
+    "I386SysVSigignore",
+    "I386SysVSiginterrupt",
+    "I386SysVSigismember",
+    "I386SysVSigpause",
+    "I386SysVSigpending",
+    "I386SysVSigprocmask",
+    "I386SysVSigqueue",
+    "I386SysVSigrelse",
+    "I386SysVSigset",
+    "I386SysVSigsuspend",
+    "I386SysVSigtimedwait",
+    "I386SysVSigwait",
+    "I386SysVSigwaitinfo",
+]

smallworld/state/models/i386/systemv/systemv.py

@@ -0,0 +1,71 @@
+from ..... import emulators, platforms
+from ...cstd import ArgumentType, CStdModel
+
+
+class I386SysVModel(CStdModel):
+    """Base class for C models using the AMD64 System V ABI"""
+
+    platform = platforms.Platform(
+        platforms.Architecture.X86_32, platforms.Byteorder.LITTLE
+    )
+    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 = []
+    _eight_byte_arg_regs = []
+
+    _soft_float = False
+    _variadic_soft_float = False
+    _floats_are_doubles = False
+    _float_arg_regs = []
+    _double_arg_regs = []
+
+    _init_stack_offset = 4
+    _align_stack = False
+    _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"""
+        emulator.write_register("eax", val)
+
+    def _return_8_byte(self, emulator: emulators.Emulator, val: int) -> None:
+        """Return an eight-byte type"""
+        hi = (val >> 32) & self._int_inv_mask
+        lo = val & self._int_inv_mask
+
+        emulator.write_register("eax", lo)
+        emulator.write_register("edx", hi)
+
+    def _return_float(self, emulator: emulators.Emulator, val: float) -> None:
+        """Return a float"""
+        raise NotImplementedError("i386 System-V uses x87 registers to return floats")
+
+    def _return_double(self, emulator: emulators.Emulator, val: float) -> None:
+        """Return a double"""
+        raise NotImplementedError("i386 System-V uses x87 registers to return doubles")

smallworld/state/models/loongarch64/__init__.py

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

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

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

smallworld/state/models/loongarch64/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 LoongArch64SysVModel
+
+
+class LoongArch64SysVFclose(Fclose, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFeof(Feof, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFerror(Ferror, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFgetc(Fgetc, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFgets(Fgets, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFopen(Fopen, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFprintf(Fprintf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFputc(Fputc, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFputs(Fputs, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFread(Fread, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFscanf(Fscanf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFseek(Fseek, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFtell(Ftell, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFwrite(Fwrite, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVGetc(Getc, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVGetchar(Getchar, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVGets(Gets, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVPrintf(Printf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVPutc(Putc, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVPutchar(Putchar, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVPuts(Puts, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVRemove(Remove, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVRename(Rename, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVRewind(Rewind, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVScanf(Scanf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVSnprintf(Snprintf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVSprintf(Sprintf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVSscanf(Sscanf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVClearerr(Clearerr, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFflush(Fflush, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFreopen(Freopen, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFgetpos(Fgetpos, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFsetpos(Fsetpos, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVTmpfile(Tmpfile, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVTmpnam(Tmpnam, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVUngetc(Ungetc, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVVfprintf(Vfprintf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVVfscanf(Vfscanf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVVprintf(Vprintf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVVscanf(Vscanf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVVsnprintf(Vsnprintf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVVsprintf(Vsprintf, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVVsscanf(Vsscanf, LoongArch64SysVModel):
+    pass
+
+
+__all__ = [
+    "LoongArch64SysVFclose",
+    "LoongArch64SysVFeof",
+    "LoongArch64SysVFerror",
+    "LoongArch64SysVFgetc",
+    "LoongArch64SysVFgets",
+    "LoongArch64SysVFopen",
+    "LoongArch64SysVFprintf",
+    "LoongArch64SysVFputc",
+    "LoongArch64SysVFputs",
+    "LoongArch64SysVFread",
+    "LoongArch64SysVFscanf",
+    "LoongArch64SysVFseek",
+    "LoongArch64SysVFtell",
+    "LoongArch64SysVFwrite",
+    "LoongArch64SysVGetc",
+    "LoongArch64SysVGetchar",
+    "LoongArch64SysVGets",
+    "LoongArch64SysVPrintf",
+    "LoongArch64SysVPutc",
+    "LoongArch64SysVPutchar",
+    "LoongArch64SysVPuts",
+    "LoongArch64SysVRemove",
+    "LoongArch64SysVRename",
+    "LoongArch64SysVRewind",
+    "LoongArch64SysVScanf",
+    "LoongArch64SysVSnprintf",
+    "LoongArch64SysVSprintf",
+    "LoongArch64SysVSscanf",
+    "LoongArch64SysVClearerr",
+    "LoongArch64SysVFflush",
+    "LoongArch64SysVFreopen",
+    "LoongArch64SysVFgetpos",
+    "LoongArch64SysVFsetpos",
+    "LoongArch64SysVTmpfile",
+    "LoongArch64SysVTmpnam",
+    "LoongArch64SysVUngetc",
+    "LoongArch64SysVVfprintf",
+    "LoongArch64SysVVfscanf",
+    "LoongArch64SysVVprintf",
+    "LoongArch64SysVVscanf",
+    "LoongArch64SysVVsnprintf",
+    "LoongArch64SysVVsprintf",
+    "LoongArch64SysVVsscanf",
+]

smallworld/state/models/loongarch64/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 LoongArch64SysVModel
+
+
+class LoongArch64SysVAbs(Abs, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVLAbs(LAbs, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVLLAbs(LLAbs, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVAtof(Atof, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVAtoi(Atoi, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVAtol(Atol, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVAtoll(Atoll, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVCalloc(Calloc, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVDiv(Div, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVLDiv(LDiv, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVLLDiv(LLDiv, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVExit(Exit, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVFree(Free, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVMalloc(Malloc, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVQSort(QSort, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVRand(Rand, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVRealloc(Realloc, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVSrand(Srand, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVAbort(Abort, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVAtexit(Atexit, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVGetenv(Getenv, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVMblen(Mblen, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVMbstowcs(Mbstowcs, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVMbtowc(Mbtowc, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVSystem(System, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVWcstombs(Wcstombs, LoongArch64SysVModel):
+    pass
+
+
+class LoongArch64SysVWctomb(Wctomb, LoongArch64SysVModel):
+    pass
+
+
+__all__ = [
+    "LoongArch64SysVAbs",
+    "LoongArch64SysVLAbs",
+    "LoongArch64SysVLLAbs",
+    "LoongArch64SysVAtof",
+    "LoongArch64SysVAtoi",
+    "LoongArch64SysVAtol",
+    "LoongArch64SysVAtoll",
+    "LoongArch64SysVCalloc",
+    "LoongArch64SysVDiv",
+    "LoongArch64SysVLDiv",
+    "LoongArch64SysVLLDiv",
+    "LoongArch64SysVExit",
+    "LoongArch64SysVFree",
+    "LoongArch64SysVMalloc",
+    "LoongArch64SysVQSort",
+    "LoongArch64SysVRand",
+    "LoongArch64SysVRealloc",
+    "LoongArch64SysVSrand",
+    "LoongArch64SysVAbort",
+    "LoongArch64SysVAtexit",
+    "LoongArch64SysVGetenv",
+    "LoongArch64SysVMblen",
+    "LoongArch64SysVMbstowcs",
+    "LoongArch64SysVMbtowc",
+    "LoongArch64SysVSystem",
+    "LoongArch64SysVWcstombs",
+    "LoongArch64SysVWctomb",
+]