git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3113 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
d2c9e3321e
commit
2f78b7aeeb
|
|
@ -1,315 +0,0 @@
|
|||
stackTop = 8
|
||||
stackLimit = 12
|
||||
stackBottom = 756
|
||||
signalIsPending = 716
|
||||
maxFrameSize = 272
|
||||
limitPlusSlop = 236
|
||||
limit = 4
|
||||
cardMapForMutator = 108
|
||||
frontier = 0
|
||||
exnStack = 16
|
||||
currentThread = 144
|
||||
canHandle = 224
|
||||
Itimer_prof = 2
|
||||
Itimer_real = 0
|
||||
Itimer_virtual = 1
|
||||
MLton_Platform_Arch_host = x86
|
||||
MLton_Platform_OS_host = cygwin
|
||||
MLton_Rlimit_infinity = 4294967295
|
||||
MLton_Rlimit_cpuTime = 0
|
||||
MLton_Rlimit_coreFileSize = 4
|
||||
MLton_Rlimit_dataSize = 2
|
||||
MLton_Rlimit_fileSize = 1
|
||||
MLton_Rlimit_lockedInMemorySize = 4294967295
|
||||
MLton_Rlimit_numFiles = 5
|
||||
MLton_Rlimit_numProcesses = 4294967295
|
||||
MLton_Rlimit_residentSetSize = 4294967295
|
||||
MLton_Rlimit_stackSize = 3
|
||||
MLton_Rlimit_virtualMemorySize = 2
|
||||
LOG_CONS = 2
|
||||
LOG_NDELAY = 8
|
||||
LOG_PERROR = 32
|
||||
LOG_PID = 1
|
||||
LOG_AUTHPRIV = 80
|
||||
LOG_CRON = 72
|
||||
LOG_DAEMON = 24
|
||||
LOG_KERN = 0
|
||||
LOG_LOCAL0 = 128
|
||||
LOG_LOCAL1 = 136
|
||||
LOG_LOCAL2 = 144
|
||||
LOG_LOCAL3 = 152
|
||||
LOG_LOCAL4 = 160
|
||||
LOG_LOCAL5 = 168
|
||||
LOG_LOCAL6 = 176
|
||||
LOG_LOCAL7 = 184
|
||||
LOG_LPR = 48
|
||||
LOG_MAIL = 16
|
||||
LOG_NEWS = 56
|
||||
LOG_SYSLOG = 40
|
||||
LOG_USER = 8
|
||||
LOG_UUCP = 64
|
||||
LOG_EMERG = 0
|
||||
LOG_ALERT = 1
|
||||
LOG_CRIT = 2
|
||||
LOG_ERR = 3
|
||||
LOG_WARNING = 4
|
||||
LOG_NOTICE = 5
|
||||
LOG_INFO = 6
|
||||
LOG_DEBUG = 7
|
||||
NetHostDB_inAddrLen = 4
|
||||
NetHostDB_INADDR_ANY = 0
|
||||
OS_IO_POLLIN = 1
|
||||
OS_IO_POLLPRI = 2
|
||||
OS_IO_POLLOUT = 4
|
||||
Socket_sockAddrLenMax = 110
|
||||
Socket_AF_UNIX = 1
|
||||
Socket_AF_INET = 2
|
||||
Socket_AF_INET6 = 0
|
||||
Socket_AF_UNSPEC = 0
|
||||
Socket_SOCK_STREAM = 1
|
||||
Socket_SOCK_DGRAM = 2
|
||||
Socket_Ctl_SOL_SOCKET = 65535
|
||||
Socket_Ctl_SO_DEBUG = 1
|
||||
Socket_Ctl_SO_REUSEADDR = 4
|
||||
Socket_Ctl_SO_KEEPALIVE = 8
|
||||
Socket_Ctl_SO_DONTROUTE = 16
|
||||
Socket_Ctl_SO_LINGER = 128
|
||||
Socket_Ctl_SO_BROADCAST = 32
|
||||
Socket_Ctl_SO_OOBINLINE = 256
|
||||
Socket_Ctl_SO_SNDBUF = 4097
|
||||
Socket_Ctl_SO_RCVBUF = 4098
|
||||
Socket_Ctl_SO_TYPE = 4104
|
||||
Socket_Ctl_SO_ERROR = 4103
|
||||
Socket_Ctl_FIONREAD = 1074030207
|
||||
Socket_Ctl_SIOCATMARK = 1074033415
|
||||
Socket_SHUT_RD = 0
|
||||
Socket_SHUT_WR = 1
|
||||
Socket_SHUT_RDWR = 2
|
||||
Socket_MSG_DONTROUTE = 4
|
||||
Socket_MSG_DONTWAIT = 0
|
||||
Socket_MSG_OOB = 1
|
||||
Socket_MSG_PEEK = 2
|
||||
Socket_INetSock_TCP_SOL_TCP = 6
|
||||
Socket_INetSock_TCP_SO_NODELAY = 1
|
||||
Posix_Error_acces = 13
|
||||
Posix_Error_again = 11
|
||||
Posix_Error_badf = 9
|
||||
Posix_Error_badmsg = 77
|
||||
Posix_Error_busy = 16
|
||||
Posix_Error_canceled = 0
|
||||
Posix_Error_child = 10
|
||||
Posix_Error_deadlk = 45
|
||||
Posix_Error_dom = 33
|
||||
Posix_Error_exist = 17
|
||||
Posix_Error_fault = 14
|
||||
Posix_Error_fbig = 27
|
||||
Posix_Error_inprogress = 119
|
||||
Posix_Error_intr = 4
|
||||
Posix_Error_inval = 22
|
||||
Posix_Error_io = 5
|
||||
Posix_Error_isdir = 21
|
||||
Posix_Error_loop = 92
|
||||
Posix_Error_mfile = 24
|
||||
Posix_Error_mlink = 31
|
||||
Posix_Error_msgsize = 122
|
||||
Posix_Error_nametoolong = 91
|
||||
Posix_Error_nfile = 23
|
||||
Posix_Error_nodev = 19
|
||||
Posix_Error_noent = 2
|
||||
Posix_Error_noexec = 8
|
||||
Posix_Error_nolck = 46
|
||||
Posix_Error_nomem = 12
|
||||
Posix_Error_nospc = 28
|
||||
Posix_Error_nosys = 88
|
||||
Posix_Error_notdir = 20
|
||||
Posix_Error_notempty = 90
|
||||
Posix_Error_notsup = 134
|
||||
Posix_Error_notty = 25
|
||||
Posix_Error_nxio = 6
|
||||
Posix_Error_perm = 1
|
||||
Posix_Error_pipe = 32
|
||||
Posix_Error_range = 34
|
||||
Posix_Error_rofs = 30
|
||||
Posix_Error_spipe = 29
|
||||
Posix_Error_srch = 3
|
||||
Posix_Error_toobig = 7
|
||||
Posix_Error_xdev = 18
|
||||
Posix_Signal_abrt = 6
|
||||
Posix_Signal_alrm = 14
|
||||
Posix_Signal_bus = 10
|
||||
Posix_Signal_chld = 20
|
||||
Posix_Signal_cont = 19
|
||||
Posix_Signal_fpe = 8
|
||||
Posix_Signal_hup = 1
|
||||
Posix_Signal_ill = 4
|
||||
Posix_Signal_int = 2
|
||||
Posix_Signal_kill = 9
|
||||
Posix_Signal_pipe = 13
|
||||
Posix_Signal_prof = 27
|
||||
Posix_Signal_quit = 3
|
||||
Posix_Signal_segv = 11
|
||||
Posix_Signal_stop = 17
|
||||
Posix_Signal_term = 15
|
||||
Posix_Signal_tstp = 18
|
||||
Posix_Signal_ttin = 21
|
||||
Posix_Signal_ttou = 22
|
||||
Posix_Signal_usr1 = 30
|
||||
Posix_Signal_usr2 = 31
|
||||
Posix_Signal_vtalrm = 26
|
||||
Posix_Signal_block = 1
|
||||
Posix_Signal_numSignals = 33
|
||||
Posix_Signal_setmask = 0
|
||||
Posix_Signal_unblock = 2
|
||||
Posix_Process_wnohang = 1
|
||||
Posix_Process_W_untraced = 2
|
||||
Posix_ProcEnv_numgroups = 100
|
||||
Posix_ProcEnv_2_SW_DEV = 4294967295
|
||||
Posix_ProcEnv_2_FORT_RUN = 4294967295
|
||||
Posix_ProcEnv_2_FORT_DEV = 4294967295
|
||||
Posix_ProcEnv_2_VERSION = 4294967295
|
||||
Posix_ProcEnv_RE_DUP_MAX = 4294967295
|
||||
Posix_ProcEnv_LINE_MAX = 4294967295
|
||||
Posix_ProcEnv_EXPR_NEST_MAX = 4294967295
|
||||
Posix_ProcEnv_COLL_WEIGHTS_MAX = 4294967295
|
||||
Posix_ProcEnv_BC_STRING_MAX = 4294967295
|
||||
Posix_ProcEnv_BC_SCALE_MAX = 4294967295
|
||||
Posix_ProcEnv_BC_DIM_MAX = 4294967295
|
||||
Posix_ProcEnv_BC_BASE_MAX = 4294967295
|
||||
Posix_ProcEnv_VERSION = 7
|
||||
Posix_ProcEnv_SAVED_IDS = 6
|
||||
Posix_ProcEnv_JOB_CONTROL = 5
|
||||
Posix_ProcEnv_TZNAME_MAX = 20
|
||||
Posix_ProcEnv_STREAM_MAX = 4294967295
|
||||
Posix_ProcEnv_OPEN_MAX = 4
|
||||
Posix_ProcEnv_NGROUPS_MAX = 3
|
||||
Posix_ProcEnv_CLK_TCK = 2
|
||||
Posix_ProcEnv_CHILD_MAX = 1
|
||||
Posix_ProcEnv_ARG_MAX = 0
|
||||
Posix_FileSys_S_irwxu = 448
|
||||
Posix_FileSys_S_irusr = 256
|
||||
Posix_FileSys_S_iwusr = 128
|
||||
Posix_FileSys_S_ixusr = 64
|
||||
Posix_FileSys_S_irwxg = 56
|
||||
Posix_FileSys_S_irgrp = 32
|
||||
Posix_FileSys_S_iwgrp = 16
|
||||
Posix_FileSys_S_ixgrp = 8
|
||||
Posix_FileSys_S_irwxo = 7
|
||||
Posix_FileSys_S_iroth = 4
|
||||
Posix_FileSys_S_iwoth = 2
|
||||
Posix_FileSys_S_ixoth = 1
|
||||
Posix_FileSys_S_isuid = 2048
|
||||
Posix_FileSys_S_isgid = 1024
|
||||
Posix_FileSys_O_append = 8
|
||||
Posix_FileSys_O_creat = 512
|
||||
Posix_FileSys_O_excl = 2048
|
||||
Posix_FileSys_O_noctty = 32768
|
||||
Posix_FileSys_O_nonblock = 16384
|
||||
Posix_FileSys_O_sync = 8192
|
||||
Posix_FileSys_O_trunc = 1024
|
||||
Posix_FileSys_O_text = 131072
|
||||
Posix_FileSys_O_binary = 65536
|
||||
Posix_FileSys_o_rdonly = 0
|
||||
Posix_FileSys_o_wronly = 1
|
||||
Posix_FileSys_o_rdwr = 2
|
||||
Posix_FileSys_R_OK = 4
|
||||
Posix_FileSys_W_OK = 2
|
||||
Posix_FileSys_X_OK = 1
|
||||
Posix_FileSys_F_OK = 0
|
||||
Posix_FileSys_PRIO_IO = 10
|
||||
Posix_FileSys_SYNC_IO = 11
|
||||
Posix_FileSys_ASYNC_IO = 9
|
||||
Posix_FileSys_VDISABLE = 8
|
||||
Posix_FileSys_PIPE_BUF = 5
|
||||
Posix_FileSys_PATH_MAX = 4
|
||||
Posix_FileSys_NO_TRUNC = 7
|
||||
Posix_FileSys_NAME_MAX = 3
|
||||
Posix_FileSys_MAX_INPUT = 2
|
||||
Posix_FileSys_MAX_CANON = 1
|
||||
Posix_FileSys_LINK_MAX = 0
|
||||
Posix_FileSys_CHOWN_RESTRICTED = 6
|
||||
Posix_IO_F_DUPFD = 0
|
||||
Posix_IO_F_GETFD = 1
|
||||
Posix_IO_F_SETFD = 2
|
||||
Posix_IO_F_GETFL = 3
|
||||
Posix_IO_F_SETFL = 4
|
||||
Posix_IO_F_GETLK = 7
|
||||
Posix_IO_F_SETLK = 8
|
||||
Posix_IO_F_RDLCK = 1
|
||||
Posix_IO_F_WRLCK = 2
|
||||
Posix_IO_F_UNLCK = 3
|
||||
Posix_IO_F_SETLKW = 9
|
||||
Posix_IO_O_ACCMODE = 3
|
||||
Posix_IO_SEEK_SET = 0
|
||||
Posix_IO_SEEK_CUR = 1
|
||||
Posix_IO_SEEK_END = 2
|
||||
Posix_IO_FD_cloexec = 1
|
||||
Posix_TTY_b0 = 0
|
||||
Posix_TTY_b110 = 3
|
||||
Posix_TTY_b1200 = 9
|
||||
Posix_TTY_b134 = 4
|
||||
Posix_TTY_b150 = 5
|
||||
Posix_TTY_b1800 = 10
|
||||
Posix_TTY_b19200 = 14
|
||||
Posix_TTY_b200 = 6
|
||||
Posix_TTY_b2400 = 11
|
||||
Posix_TTY_b300 = 7
|
||||
Posix_TTY_b38400 = 15
|
||||
Posix_TTY_b4800 = 12
|
||||
Posix_TTY_b50 = 1
|
||||
Posix_TTY_b600 = 8
|
||||
Posix_TTY_b75 = 2
|
||||
Posix_TTY_b9600 = 13
|
||||
Posix_TTY_V_eof = 4
|
||||
Posix_TTY_V_eol = 2
|
||||
Posix_TTY_V_erase = 5
|
||||
Posix_TTY_V_intr = 6
|
||||
Posix_TTY_V_kill = 7
|
||||
Posix_TTY_V_min = 9
|
||||
Posix_TTY_V_nccs = 18
|
||||
Posix_TTY_V_quit = 10
|
||||
Posix_TTY_V_start = 12
|
||||
Posix_TTY_V_stop = 13
|
||||
Posix_TTY_V_susp = 14
|
||||
Posix_TTY_V_time = 16
|
||||
Posix_TTY_I_brkint = 2
|
||||
Posix_TTY_I_icrnl = 256
|
||||
Posix_TTY_I_ignbrk = 1
|
||||
Posix_TTY_I_igncr = 128
|
||||
Posix_TTY_I_ignpar = 4
|
||||
Posix_TTY_I_inlcr = 64
|
||||
Posix_TTY_I_inpck = 16
|
||||
Posix_TTY_I_istrip = 32
|
||||
Posix_TTY_I_ixoff = 4096
|
||||
Posix_TTY_I_ixon = 1024
|
||||
Posix_TTY_I_parmrk = 65536
|
||||
Posix_TTY_O_opost = 1
|
||||
Posix_TTY_C_clocal = 2048
|
||||
Posix_TTY_C_cread = 128
|
||||
Posix_TTY_C_cs5 = 0
|
||||
Posix_TTY_C_cs6 = 16
|
||||
Posix_TTY_C_cs7 = 32
|
||||
Posix_TTY_C_cs8 = 48
|
||||
Posix_TTY_C_csize = 48
|
||||
Posix_TTY_C_cstopb = 64
|
||||
Posix_TTY_C_hupcl = 1024
|
||||
Posix_TTY_C_parenb = 256
|
||||
Posix_TTY_C_parodd = 512
|
||||
Posix_TTY_L_echo = 4
|
||||
Posix_TTY_L_echoe = 8
|
||||
Posix_TTY_L_echok = 16
|
||||
Posix_TTY_L_echonl = 32
|
||||
Posix_TTY_L_icanon = 2
|
||||
Posix_TTY_L_iexten = 256
|
||||
Posix_TTY_L_isig = 1
|
||||
Posix_TTY_L_noflsh = 64
|
||||
Posix_TTY_L_tostop = 128
|
||||
Posix_TTY_TC_sadrain = 3
|
||||
Posix_TTY_TC_saflush = 1
|
||||
Posix_TTY_TC_sanow = 2
|
||||
Posix_TTY_TC_ion = 3
|
||||
Posix_TTY_TC_ioff = 2
|
||||
Posix_TTY_TC_ooff = 0
|
||||
Posix_TTY_TC_oon = 1
|
||||
Posix_TTY_TC_iflush = 0
|
||||
Posix_TTY_TC_ioflush = 2
|
||||
Posix_TTY_TC_oflush = 1
|
||||
Binary file not shown.
Binary file not shown.
Binary file not shown.
File diff suppressed because it is too large
Load Diff
|
|
@ -1,210 +0,0 @@
|
|||
/* MLton 20050906 (built Wed Sep 07 02:49:21 2005 on pavilion) */
|
||||
/* created this file on Tue Sep 20 13:54:50 2005. */
|
||||
/* Do not edit this file. */
|
||||
/* Flag settings: */
|
||||
/* align: 4 */
|
||||
/* atMLtons: (su4uml, @MLton, --) */
|
||||
/* chunk: coalesce 4096 */
|
||||
/* codegen: C */
|
||||
/* contifyIntoMain: false */
|
||||
/* debug: false */
|
||||
/* diag passes: [] */
|
||||
/* drop passes: [] */
|
||||
/* elaborate allowConstant (default): false */
|
||||
/* elaborate allowConstant (enabled): true */
|
||||
/* elaborate allowFFI (default): false */
|
||||
/* elaborate allowFFI (enabled): true */
|
||||
/* elaborate allowPrim (default): false */
|
||||
/* elaborate allowPrim (enabled): true */
|
||||
/* elaborate allowOverload (default): false */
|
||||
/* elaborate allowOverload (enabled): true */
|
||||
/* elaborate allowRebindEquals (default): false */
|
||||
/* elaborate allowRebindEquals (enabled): true */
|
||||
/* elaborate deadCode (default): false */
|
||||
/* elaborate deadCode (enabled): true */
|
||||
/* elaborate forceUsed (default): false */
|
||||
/* elaborate forceUsed (enabled): true */
|
||||
/* elaborate ffiStr (default): */
|
||||
/* elaborate ffiStr (enabled): true */
|
||||
/* elaborate nonexhaustiveExnMatch (default): default */
|
||||
/* elaborate nonexhaustiveExnMatch (enabled): true */
|
||||
/* elaborate nonexhaustiveMatch (default): warn */
|
||||
/* elaborate nonexhaustiveMatch (enabled): true */
|
||||
/* elaborate redundantMatch (default): warn */
|
||||
/* elaborate redundantMatch (enabled): true */
|
||||
/* elaborate sequenceNonUnit (default): ignore */
|
||||
/* elaborate sequenceNonUnit (enabled): true */
|
||||
/* elaborate warnUnused (default): false */
|
||||
/* elaborate warnUnused (enabled): true */
|
||||
/* elaborate only: false */
|
||||
/* export header: None */
|
||||
/* exn history: false */
|
||||
/* gc check: Limit */
|
||||
/* indentation: 3 */
|
||||
/* inline: NonRecursive {product = 320, small = 60} */
|
||||
/* inlineIntoMain: true */
|
||||
/* input file: su4uml */
|
||||
/* keep Machine: false */
|
||||
/* keep RSSA: false */
|
||||
/* keep SSA: false */
|
||||
/* keep SSA2: false */
|
||||
/* keep dot: false */
|
||||
/* keep passes: [] */
|
||||
/* extra_: false */
|
||||
/* lib dir: /usr/lib/mlton */
|
||||
/* lib target dir: /usr/lib/mlton/self */
|
||||
/* loop passes: 1 */
|
||||
/* mark cards: true */
|
||||
/* max function size: 10000 */
|
||||
/* mlb path maps: [] */
|
||||
/* native commented: 0 */
|
||||
/* native live stack: false */
|
||||
/* native optimize: 1 */
|
||||
/* native move hoist: true */
|
||||
/* native copy prop: true */
|
||||
/* native copy prop cutoff: 1000 */
|
||||
/* native cutoff: 100 */
|
||||
/* native live transfer: 8 */
|
||||
/* native shuffle: true */
|
||||
/* native ieee fp: false */
|
||||
/* native split: Some 20000 */
|
||||
/* optimizationPassesSet: [<ssa2PassesSet>, <ssaPassesSet>, <sxmlPassesSet>, <xmlPassesSet>] */
|
||||
/* polyvariance: Some {rounds = 2, small = 30, product = 300} */
|
||||
/* prof passes: [] */
|
||||
/* profile: None */
|
||||
/* profile branch: false */
|
||||
/* profile C: [] */
|
||||
/* profile IL: ProfileSource */
|
||||
/* profile include/exclude: [(Seq [Star [.], Or [Seq [Seq [[<], [b], [a], [s], [i], [s], [>]]]], Star [.]], false)] */
|
||||
/* profile raise: false */
|
||||
/* profile stack: false */
|
||||
/* show basis: None */
|
||||
/* show def-use: None */
|
||||
/* show types: false */
|
||||
/* ssaPassesSet: <ssaPassesSet> */
|
||||
/* ssaPasses: [default] */
|
||||
/* ssa2PassesSet: <ssa2PassesSet> */
|
||||
/* ssa2Passes: [default] */
|
||||
/* sxmlPassesSet: <sxmlPassesSet> */
|
||||
/* sxmlPasses: [default] */
|
||||
/* target: self */
|
||||
/* target arch: X86 */
|
||||
/* target OS: Linux */
|
||||
/* type check: false */
|
||||
/* verbosity: Silent */
|
||||
/* warn unrecognized annotation: true */
|
||||
/* xmlPassesSet: <xmlPassesSet> */
|
||||
/* xmlPasses: [default] */
|
||||
/* zone cut depth: 100 */
|
||||
#define _ISOC99_SOURCE
|
||||
#include <c-chunk.h>
|
||||
|
||||
#define ExnStackOffset 16
|
||||
#define FrontierOffset 0
|
||||
#define StackBottomOffset 1000
|
||||
#define StackTopOffset 8
|
||||
extern struct GC_state gcState;
|
||||
extern Int8 globalInt8 [0];
|
||||
extern Int8 CReturnI8;
|
||||
extern Int16 globalInt16 [0];
|
||||
extern Int16 CReturnI16;
|
||||
extern Int32 globalInt32 [0];
|
||||
extern Int32 CReturnI32;
|
||||
extern Int64 globalInt64 [0];
|
||||
extern Int64 CReturnI64;
|
||||
extern Pointer globalPointer [1645];
|
||||
extern Pointer CReturnP;
|
||||
extern Real32 globalReal32 [0];
|
||||
extern Real32 CReturnR32;
|
||||
extern Real64 globalReal64 [0];
|
||||
extern Real64 CReturnR64;
|
||||
extern Word8 globalWord8 [0];
|
||||
extern Word8 CReturnW8;
|
||||
extern Word16 globalWord16 [0];
|
||||
extern Word16 CReturnW16;
|
||||
extern Word32 globalWord32 [3];
|
||||
extern Word32 CReturnW32;
|
||||
extern Word64 globalWord64 [0];
|
||||
extern Word64 CReturnW64;
|
||||
extern Pointer globalPointerNonRoot [1];
|
||||
Pointer GC_arrayAllocate (Pointer x3, Word32 x2, Word32 x1, Word32 x0);
|
||||
void GC_gc (Pointer x4, Word32 x3, Int32 x2, Pointer x1, Word32 x0);
|
||||
DeclareChunk (1);
|
||||
Chunk (1)
|
||||
Pointer P_0;
|
||||
Word32 W32_0;
|
||||
Word32 W32_1;
|
||||
ChunkSwitch (1)
|
||||
case 408:
|
||||
Push (-72);
|
||||
O(Word32, S(Pointer, 8), -4) = 0x65;
|
||||
S(Pointer, 12) = (Pointer)S(Pointer, 8);
|
||||
S(Word32, 68) = 407;
|
||||
Push (72);
|
||||
FlushFrontier();
|
||||
FlushStackTop();
|
||||
CReturnP = GC_arrayAllocate (GCState, 0x0, 0x1A, 0x67);
|
||||
CacheFrontier();
|
||||
CacheStackTop();
|
||||
L_2474:
|
||||
Push (-72);
|
||||
S(Pointer, 8) = CReturnP;
|
||||
S(Word32, 72) = 0x0;
|
||||
S(Pointer, 76) = S(Pointer, 8);
|
||||
S(Word32, 68) = 406;
|
||||
Push (72);
|
||||
loop_124:
|
||||
W32_0 = WordU32_lt (O(Word32, GCState, 12), StackTop);
|
||||
BNZ (W32_0, L_1937);
|
||||
L_1943:
|
||||
S(Word32, 8) = S(Word32, 0);
|
||||
loop_69:
|
||||
W32_0 = WordS32_lt (S(Word32, 8), 0x1A);
|
||||
BNZ (W32_0, L_1941);
|
||||
Return ();
|
||||
L_1941:
|
||||
S(Word32, 12) = 299;
|
||||
Push (16);
|
||||
FlushFrontier();
|
||||
FlushStackTop();
|
||||
CReturnP = GC_arrayAllocate (GCState, 0x0, 0x1A, 0x35);
|
||||
CacheFrontier();
|
||||
CacheStackTop();
|
||||
L_1940:
|
||||
Push (-16);
|
||||
P_0 = CReturnP;
|
||||
W32_0 = 0x0;
|
||||
loop_68:
|
||||
W32_1 = WordS32_lt (W32_0, 0x1A);
|
||||
BNZ (W32_1, L_1938);
|
||||
W32_0 = WordU32_rshift (S(Pointer, 4), 0x8);
|
||||
X(Word8, O(Word32, GCState, 100), W32_0, 1, 0) = (Word8)0x1;
|
||||
X(Pointer, S(Pointer, 4), S(Word32, 8), 4, 0) = P_0;
|
||||
W32_1 = Word32_add (S(Word32, 8), 0x1);
|
||||
S(Word32, 8) = W32_1;
|
||||
goto loop_69;
|
||||
L_1938:
|
||||
X(Word32, P_0, W32_0, 4, 0) = 0x0;
|
||||
W32_1 = Word32_add (0x1, W32_0);
|
||||
W32_0 = W32_1;
|
||||
goto loop_68;
|
||||
L_1937:
|
||||
S(Word32, 8) = 298;
|
||||
Push (12);
|
||||
FlushFrontier();
|
||||
FlushStackTop();
|
||||
GC_gc (GCState, 0x0, 0x0, __FILE__, __LINE__);
|
||||
CacheFrontier();
|
||||
CacheStackTop();
|
||||
L_1936:
|
||||
Push (-12);
|
||||
goto L_1943;
|
||||
case 407:
|
||||
goto L_2474;
|
||||
case 653:
|
||||
goto loop_124;
|
||||
case 299:
|
||||
goto L_1940;
|
||||
case 298:
|
||||
goto L_1936;
|
||||
EndChunk
|
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
|
@ -0,0 +1,31 @@
|
|||
ann
|
||||
"warnMatch true"
|
||||
"sequenceUnit true"
|
||||
in
|
||||
local
|
||||
$(MLTON_ROOT)/basis/basis.mlb
|
||||
../lib/fxp/src/fxlib.mlb
|
||||
in
|
||||
HashTable.sml
|
||||
library.sml
|
||||
rep_ocl.sig
|
||||
rep_ocl.sml
|
||||
rep_state_machines.sig
|
||||
rep_state_machines.sml
|
||||
rep_activity_graphs.sig
|
||||
rep_activity_graphs.sml
|
||||
rep_core.sig
|
||||
rep_core.sml
|
||||
rep.sig
|
||||
rep.sml
|
||||
xmi_ocl.sml
|
||||
xmi_core.sml
|
||||
xmi_state_machines.sml
|
||||
xmi_activity_graphs.sml
|
||||
xmi.sml
|
||||
xmltree_parser.sml
|
||||
xmi_idtable.sml
|
||||
xml2xmi.sml
|
||||
xmi2rep.sml
|
||||
end
|
||||
end
|
||||
Loading…
Reference in New Issue