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

smallworld/state/models/aarch64/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 AArch64SysVModel
+
+
+class AArch64SysVBsdSignal(BsdSignal, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVKill(Kill, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVKillpg(Killpg, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVPthreadKill(PthreadKill, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVPthreadSigmask(PthreadSigmask, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigaction(Sigaction, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigaddset(Sigaddset, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigaltstack(Sigaltstack, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigdelset(Sigdelset, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigemptyset(Sigemptyset, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigfillset(Sigfillset, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSighold(Sighold, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigignore(Sigignore, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSiginterrupt(Siginterrupt, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigismember(Sigismember, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigpause(Sigpause, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigpending(Sigpending, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigprocmask(Sigprocmask, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigqueue(Sigqueue, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigrelse(Sigrelse, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigset(Sigset, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigsuspend(Sigsuspend, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigtimedwait(Sigtimedwait, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigwait(Sigwait, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSigwaitinfo(Sigwaitinfo, AArch64SysVModel):
+    pass
+
+
+__all__ = [
+    "AArch64SysVBsdSignal",
+    "AArch64SysVKill",
+    "AArch64SysVKillpg",
+    "AArch64SysVPthreadKill",
+    "AArch64SysVPthreadSigmask",
+    "AArch64SysVSigaction",
+    "AArch64SysVSigaddset",
+    "AArch64SysVSigaltstack",
+    "AArch64SysVSigdelset",
+    "AArch64SysVSigemptyset",
+    "AArch64SysVSigfillset",
+    "AArch64SysVSighold",
+    "AArch64SysVSigignore",
+    "AArch64SysVSiginterrupt",
+    "AArch64SysVSigismember",
+    "AArch64SysVSigpause",
+    "AArch64SysVSigpending",
+    "AArch64SysVSigprocmask",
+    "AArch64SysVSigqueue",
+    "AArch64SysVSigrelse",
+    "AArch64SysVSigset",
+    "AArch64SysVSigsuspend",
+    "AArch64SysVSigtimedwait",
+    "AArch64SysVSigwait",
+    "AArch64SysVSigwaitinfo",
+]

smallworld/state/models/aarch64/systemv/systemv.py

@@ -0,0 +1,80 @@
+import struct
+
+from ..... import emulators, platforms
+from ...cstd import ArgumentType, CStdModel
+
+
+class AArch64SysVModel(CStdModel):
+    """Base class for C models using the AArch64 System V ABI"""
+
+    platform = platforms.Platform(
+        platforms.Architecture.AARCH64, 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 = ["w0", "w1", "w2", "w3", "w4", "w5", "w6", "w7"]
+
+    _eight_byte_arg_regs = [
+        "x0",
+        "x1",
+        "x2",
+        "x3",
+        "x4",
+        "x5",
+        "x6",
+        "x7",
+    ]
+
+    _soft_float = False
+    _variadic_soft_float = False
+    _floats_are_doubles = False
+    _float_arg_regs = ["s0", "s1", "s2", "s3", "s4", "s5", "s6"]
+
+    _double_arg_regs = ["d0", "d1", "d2", "d3", "d4", "d5"]
+    _init_stack_offset = 0
+    _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("w0", val)
+
+    def _return_8_byte(self, emulator: emulators.Emulator, val: int) -> None:
+        """Return an eight-byte type"""
+        emulator.write_register("x0", 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("s0", 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("d0", intval)

smallworld/state/models/amd64/__init__.py

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

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

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

smallworld/state/models/amd64/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 AMD64SysVModel
+
+
+class AMD64SysVFclose(Fclose, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFeof(Feof, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFerror(Ferror, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFgetc(Fgetc, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFgets(Fgets, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFopen(Fopen, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFprintf(Fprintf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFputc(Fputc, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFputs(Fputs, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFread(Fread, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFscanf(Fscanf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFseek(Fseek, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFtell(Ftell, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFwrite(Fwrite, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVGetc(Getc, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVGetchar(Getchar, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVGets(Gets, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVPrintf(Printf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVPutc(Putc, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVPutchar(Putchar, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVPuts(Puts, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVRemove(Remove, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVRename(Rename, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVRewind(Rewind, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVScanf(Scanf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVSnprintf(Snprintf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVSprintf(Sprintf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVSscanf(Sscanf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVClearerr(Clearerr, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFflush(Fflush, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFreopen(Freopen, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFgetpos(Fgetpos, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFsetpos(Fsetpos, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVTmpfile(Tmpfile, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVTmpnam(Tmpnam, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVUngetc(Ungetc, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVVfprintf(Vfprintf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVVfscanf(Vfscanf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVVprintf(Vprintf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVVscanf(Vscanf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVVsnprintf(Vsnprintf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVVsprintf(Vsprintf, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVVsscanf(Vsscanf, AMD64SysVModel):
+    pass
+
+
+__all__ = [
+    "AMD64SysVFclose",
+    "AMD64SysVFeof",
+    "AMD64SysVFerror",
+    "AMD64SysVFgetc",
+    "AMD64SysVFgets",
+    "AMD64SysVFopen",
+    "AMD64SysVFprintf",
+    "AMD64SysVFputc",
+    "AMD64SysVFputs",
+    "AMD64SysVFread",
+    "AMD64SysVFscanf",
+    "AMD64SysVFseek",
+    "AMD64SysVFtell",
+    "AMD64SysVFwrite",
+    "AMD64SysVGetc",
+    "AMD64SysVGetchar",
+    "AMD64SysVGets",
+    "AMD64SysVPrintf",
+    "AMD64SysVPutc",
+    "AMD64SysVPutchar",
+    "AMD64SysVPuts",
+    "AMD64SysVRemove",
+    "AMD64SysVRename",
+    "AMD64SysVRewind",
+    "AMD64SysVScanf",
+    "AMD64SysVSnprintf",
+    "AMD64SysVSprintf",
+    "AMD64SysVSscanf",
+    "AMD64SysVClearerr",
+    "AMD64SysVFflush",
+    "AMD64SysVFreopen",
+    "AMD64SysVFgetpos",
+    "AMD64SysVFsetpos",
+    "AMD64SysVTmpfile",
+    "AMD64SysVTmpnam",
+    "AMD64SysVUngetc",
+    "AMD64SysVVfprintf",
+    "AMD64SysVVfscanf",
+    "AMD64SysVVprintf",
+    "AMD64SysVVscanf",
+    "AMD64SysVVsnprintf",
+    "AMD64SysVVsprintf",
+    "AMD64SysVVsscanf",
+]

smallworld/state/models/amd64/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 AMD64SysVModel
+
+
+class AMD64SysVAbs(Abs, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVLAbs(LAbs, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVLLAbs(LLAbs, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVAtof(Atof, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVAtoi(Atoi, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVAtol(Atol, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVAtoll(Atoll, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVCalloc(Calloc, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVDiv(Div, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVLDiv(LDiv, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVLLDiv(LLDiv, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVExit(Exit, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVFree(Free, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVMalloc(Malloc, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVQSort(QSort, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVRand(Rand, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVRealloc(Realloc, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVSrand(Srand, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVAbort(Abort, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVAtexit(Atexit, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVGetenv(Getenv, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVMblen(Mblen, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVMbstowcs(Mbstowcs, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVMbtowc(Mbtowc, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVSystem(System, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVWcstombs(Wcstombs, AMD64SysVModel):
+    pass
+
+
+class AMD64SysVWctomb(Wctomb, AMD64SysVModel):
+    pass
+
+
+__all__ = [
+    "AMD64SysVAbs",
+    "AMD64SysVLAbs",
+    "AMD64SysVLLAbs",
+    "AMD64SysVAtof",
+    "AMD64SysVAtoi",
+    "AMD64SysVAtol",
+    "AMD64SysVAtoll",
+    "AMD64SysVCalloc",
+    "AMD64SysVDiv",
+    "AMD64SysVLDiv",
+    "AMD64SysVLLDiv",
+    "AMD64SysVExit",
+    "AMD64SysVFree",
+    "AMD64SysVMalloc",
+    "AMD64SysVQSort",
+    "AMD64SysVRand",
+    "AMD64SysVRealloc",
+    "AMD64SysVSrand",
+    "AMD64SysVAbort",
+    "AMD64SysVAtexit",
+    "AMD64SysVGetenv",
+    "AMD64SysVMblen",
+    "AMD64SysVMbstowcs",
+    "AMD64SysVMbtowc",
+    "AMD64SysVSystem",
+    "AMD64SysVWcstombs",
+    "AMD64SysVWctomb",
+]