static int pmain (lua_State *L) {
struct Smain *s = (struct Smain *)lua_touserdata(L, 1);
char **argv = s->argv;
int script;
int has_i = 0, has_v = 0, has_e = 0;
globalL = L;
if (argv[0] && argv[0][0]) progname = argv[0];
lua_gc(L, LUA_GCSTOP, 0); /* stop collector during initialization */
luaL_openlibs(L); /* open libraries */
lua_gc(L, LUA_GCRESTART, 0);
s->status = handle_luainit(L);
if (s->status != 0) return 0;
script = collectargs(argv, &has_i, &has_v, &has_e);
if (script < 0) { /* invalid args? */
print_usage();
s->status = 1;
return 0;
}
if (has_v) print_version();
s->status = runargs(L, argv, (script > 0) ? script : s->argc);
if (s->status != 0) return 0;
if (script)
s->status = handle_script(L, argv, script);
if (s->status != 0) return 0;
if (has_i)
dotty(L);
else if (script == 0 && !has_e && !has_v) {
if (lua_stdin_is_tty()) {
print_version();
dotty(L);
}
else dofile(L, NULL); /* executes stdin as a file */
}
return 0;
}
static int pmain (lua_State *L) {
int argc = (int)lua_tointeger(L, 1);
char **argv = (char **)lua_touserdata(L, 2);
int script;
int has_i = 0, has_v = 0, has_e = 0;
if (argv[0] && argv[0][0]) progname = argv[0];
script = collectargs(argv, &has_i, &has_v, &has_e);
if (script < 0) { /* invalid arg? */
print_usage(argv[-script]);
return 0;
}
if (has_v) print_version();
/* open standard libraries */
luaL_checkversion(L);
lua_gc(L, LUA_GCSTOP, 0); /* stop collector during initialization */
luaL_openlibs(L); /* open libraries */
lua_gc(L, LUA_GCRESTART, 0);
/* run LUA_INIT */
if (handle_luainit(L) != LUA_OK) return 0;
/* execute arguments -e and -l */
if (!runargs(L, argv, (script > 0) ? script : argc)) return 0;
/* execute main script (if there is one) */
if (script && handle_script(L, argv, script) != LUA_OK) return 0;
if (has_i) /* -i option? */
dotty(L);
else if (script == 0 && !has_e && !has_v) { /* no arguments? */
if (lua_stdin_is_tty()) {
print_version();
dotty(L);
}
else dofile(L, NULL); /* executes stdin as a file */
}
lua_pushboolean(L, 1); /* signal no errors */
return 1;
}
static int pmain(lua_State *L)
{
int argc = (int)lua_tointeger(L, 1);
char **argv = (char**)lua_touserdata(L, 2);
int script;
int args[num_has];
args[has_i] = args[has_v] = args[has_e] = args[has_E] = 0;
if (argv[0] && argv[0][0])
progname = argv[0];
script = collectargs(argv, args);
if (script < 0) /* invalid arg? */
{
print_usage(argv[-script]);
return 0;
}
if (args[has_v])
print_version();
if (args[has_E]) /* option '-E'? */
{
lua_pushboolean(L, 1); /* signal for libraries to ignore env. vars. */
lua_setfield(L, LUA_REGISTRYINDEX, "LUA_NOENV");
}
/* open standard libraries */
luaL_checkversion(L);
lua_gc(L, LUA_GCSTOP, 0); /* stop collector during initialization */
luaL_openlibs(L); /* open libraries */
lua_gc(L, LUA_GCRESTART, 0);
if (!args[has_E] && handle_luainit(L) != LUA_OK)
return 0; /* error running LUA_INIT */
/* execute arguments -e and -l */
if (!runargs(L, argv, (script > 0) ? script : argc))
return 0;
/* execute main script (if there is one) */
if (script && handle_script(L, argv, script) != LUA_OK)
return 0;
if (args[has_i]) /* -i option? */
dotty(L);
else if (script == 0 && !args[has_e] && !args[has_v]) /* no arguments? */
{
if (lua_stdin_is_tty())
{
print_version();
dotty(L);
}
else
dofile(L, NULL); /* executes stdin as a file */
}
lua_pushboolean(L, 1); /* signal no errors */
return 1;
}
static int pmain(lua_State *L)
{
struct Smain *s = &smain;
char **argv = s->argv;
int script;
int flags = 0;
globalL = L;
if (argv[0] && argv[0][0]) progname = argv[0];
LUAJIT_VERSION_SYM(); /* linker-enforced version check */
script = collectargs(argv, &flags);
if (script < 0) { /* invalid args? */
print_usage();
s->status = 1;
return 0;
}
if ((flags & FLAGS_NOENV)) {
lua_pushboolean(L, 1);
lua_setfield(L, LUA_REGISTRYINDEX, "LUA_NOENV");
}
lua_gc(L, LUA_GCSTOP, 0); /* stop collector during initialization */
luaL_openlibs(L); /* open libraries */
s->status = tvm_loadbufferx(L, luaJIT_BC_op, luaJIT_BC_op_SIZE, "op", "b")
|| docall(L, 0, 1);
if (s->status != 0) return 0;
s->status = tvm_loadbufferx(L, luaJIT_BC_parse, luaJIT_BC_parse_SIZE, "parse", "b")
|| docall(L, 0, 1);
if (s->status != 0) return 0;
s->status = tvm_loadbufferx(L, luaJIT_BC_lunokhod, luaJIT_BC_lunokhod_SIZE, "lunokhod", "b")
|| docall(L, 0, 1);
if (s->status != 0) return 0;
lua_gc(L, LUA_GCRESTART, -1);
if (!(flags & FLAGS_NOENV)) {
s->status = handle_luainit(L);
if (s->status != 0) return 0;
}
if ((flags & FLAGS_VERSION)) print_version();
s->status = runargs(L, argv, (script > 0) ? script : s->argc);
if (s->status != 0) return 0;
if (script) {
s->status = handle_script(L, argv, script);
if (s->status != 0) return 0;
}
if ((flags & FLAGS_INTERACTIVE)) {
print_jit_status(L);
dotty(L);
} else if (script == 0 && !(flags & (FLAGS_EXEC|FLAGS_VERSION))) {
if (lua_stdin_is_tty()) {
print_version();
print_jit_status(L);
dotty(L);
} else {
dofile(L, NULL); /* executes stdin as a file */
}
}
return 0;
}
static void dotty(struct rb_node *n, FILE *fp)
{
/* Declare node */
fprintf(fp, " n%d [label=\"%d\",color=%s,fontcolor=white,style=filled, shape=circle, width=0.5, fixedsize=true,fontname=Palatino];\n",
n->key, n->key, (n->color == BLACK) ? "black" : "red");
if (n->left != nil) {
dotty(n->left, fp);
fprintf(fp, " n%d -- n%d;\n", n->key, n->left->key);
}
if (n->right != nil) {
dotty(n->right, fp);
fprintf(fp, " n%d -- n%d;\n", n->key, n->right->key);
}
}
int main(int argc, char ** argv) {
progname = argv[0];
lua_State * L = luaL_newstate();
luaL_openlibs(L);
if(terra_init(L))
doerror(L);
bool interactive = false;
int scriptidx;
parse_args(L,argc,argv,&interactive,&scriptidx);
if(scriptidx < argc) {
int narg = getargs(L, argv, scriptidx);
lua_setglobal(L, "arg");
if(terra_loadfile(L,argv[scriptidx]))
doerror(L);
lua_insert(L, -(narg + 1));
if(lua_pcall(L, narg, LUA_MULTRET, 0))
doerror(L);
}
if(isatty(0) && (interactive || scriptidx == argc)) {
progname = NULL;
dotty(L);
}
printstats(L);
return 0;
}
static int pmain(lua_State *L)
{
struct Smain *s = (struct Smain *)lua_touserdata(L, 1);
char **argv = s->argv;
int script;
int flags = 0;
globalL = L;
if (argv[0] && argv[0][0]) progname = argv[0];
LUAJIT_VERSION_SYM(); /* linker-enforced version check */
lua_gc(L, LUA_GCSTOP, 0); /* stop collector during initialization */
luaL_openlibs(L); /* open libraries */
lua_gc(L, LUA_GCRESTART, -1);
s->status = handle_luainit(L);
if (s->status != 0) return 0;
script = collectargs(argv, &flags);
if (script < 0) { /* invalid args? */
print_usage();
s->status = 1;
return 0;
}
if ((flags & FLAGS_VERSION)) print_version();
s->status = runargs(L, argv, (script > 0) ? script : s->argc);
if (s->status != 0) return 0;
if (script)
s->status = handle_script(L, argv, script);
if (s->status != 0) return 0;
if ((flags & FLAGS_INTERACTIVE)) {
print_jit_status(L);
dotty(L);
} else if (script == 0 && !(flags & (FLAGS_EXEC|FLAGS_VERSION))) {
if (lua_stdin_is_tty()) {
print_version();
print_jit_status(L);
dotty(L);
} else {
dofile(L, NULL); /* executes stdin as a file */
}
}
return 0;
}
static int pmain (lua_State *L) {
/* open standard libraries */
luaL_checkversion(L);
lua_gc(L, LUA_GCSTOP, 0); /* stop collector during initialization */
luaL_openlibs(L); /* open libraries */
lua_gc(L, LUA_GCRESTART, 0);
print_version();
dotty(L);
lua_pushboolean(L, 1); /* signal no errors */
return 1;
}
int main(int argc, char ** argv) {
progname = argv[0];
lua_State * L = luaL_newstate();
luaL_openlibs(L);
terra_Options terra_options;
memset(&terra_options, 0, sizeof(terra_Options));
ebb_Options ebboptions;
memset(&ebboptions, 0, sizeof(ebb_Options));
char additional_args[ADDITIONAL_ARG_LEN] = "";
ebboptions.additional = additional_args;
bool interactive = false;
int scriptidx;
parse_args(L,argc,argv,&terra_options,&ebboptions,&interactive,&scriptidx);
// set some arguments by default
terra_options.usemcjit = 1;
// check other arguments
check_legion_arg_consistency(&ebboptions);
if(terra_initwithoptions(L, &terra_options))
doerror(L);
setupcrashsignal(L);
setupebb(L, &ebboptions);
if(scriptidx < argc) {
const char * filename = argv[scriptidx];
if(strcmp(filename,"-")) { // if not equal, then launch
int narg = getargs(L, argv, scriptidx);
lua_setglobal(L, "arg");
if(load_launchscript(L,&ebboptions))
doerror(L);
lua_insert(L, -(narg + 1));
if(docall(L,narg,0))
doerror(L);
}
}
if(isatty(0) && (interactive || scriptidx == argc)) {
progname = NULL;
dotty(L);
}
lua_close(L);
terra_llvmshutdown();
return 0;
}
static int pmain (lua_State *L) {
struct Smain *s = (struct Smain *)lua_touserdata(L, 1);
int status;
int interactive = 1;
if (s->argv[0] && s->argv[0][0]) progname = s->argv[0];
globalL = L;
luaL_openlibs(L); /* open libraries */
luapreload_oilall(L); /* preload all OiL libraries */
status = handle_luainit(L);
if (status == 0) {
status = handle_argv(L, s->argc, s->argv, &interactive);
if (status == 0 && interactive) dotty(L);
}
s->status = status;
return 0;
}
int main(int argc, char **argv)
{
int fd;
struct stat st;
unsigned char *buf = NULL;
struct conf_c conf = {0};
struct s_comp comp = {0};
parse_opt(argc, argv, &conf);
check_opt(&conf, argv[0]);
fd = open(conf.in, O_RDONLY);
if (fd == -1)
{
perror("open()");
exit(EXIT_FAILURE);
}
if (fstat(fd, &st) == -1)
{
perror("fstat()");
exit(EXIT_FAILURE);
}
if ((buf = malloc(sizeof (char) * st.st_size)) == NULL)
{
perror("malloc()");
exit(EXIT_FAILURE);
}
if (read(fd, buf, st.st_size) != st.st_size)
{
perror("read()");
goto clean;
}
huff(buf, st.st_size, &comp);
if (comp.tree)
{
if (conf.dot)
dotty(comp.tree, conf.dot);
uncomp(&comp, buf + st.st_size);
if (comp.buf_out)
dump_to_file(conf.out, comp.buf_out, comp.size);
}
clean:
free(buf);
close(fd);
return 0;
}
/* Write a dot graph of the tree to file */
void dot(struct redblack_tree *tree, const char *name, const char *file, const char *mode)
{
FILE *fp;
if (tree->root == nil) /* No tree - don't write anything! */
return;
/* printf("Writing tree to file '%s'\n", file); */
fp = fopen(file, (mode) ? "a" : mode);
if (!fp)
return;
fprintf(fp, "graph %s {\n", name);
dotty(tree->root, fp);
fprintf(fp, "}\n");
if (fclose(fp))
printf("Error closing file %s\n (%d)", file, errno);
}
/*---------------------------------------------------------------------*/
static int
pmain(lua_State *L) {
TRACE_LUA_FUNC_START();
struct Smain *s;
char **argv;
globalL = L;
s = (struct Smain *)lua_touserdata(L, 1);
argv = s->argv;
init_lua(L, s);
if (s->status != 0) {
TRACE_LUA_FUNC_END();
return 0;
}
if (!strcmp(argv[0], "home-shell")) {
register_lua_procs(L);
TRACE_LOG("Executing %s\n", pv.lua_startup);
load_startup(L);
if (lua_stdin_is_tty()) {
print_version();
dotty(L);
}
} else if (!strcmp(argv[0], "remote-shell")) {
print_version();
do_rshell(L, argv[1]);
} else if (!strcmp(argv[0], "script")) {
register_lua_procs(L);
TRACE_LOG("Executing %s\n", pv.lua_startup);
load_startup(L);
dofile(L, NULL);
} else if (!strcmp(argv[0], "string")) {
process_str_request(L, argv[1]);
}
TRACE_LUA_FUNC_END();
return 0;
}
static int pmain(lua_State *L) {
/* open standard libraries */
luaL_checkversion(L);
lua_newlibs_init(L);
if (handle_luainit(L) != LUA_OK)
return 0; /* error running LUA_INIT */
_set_stdfiles(L, luaL_getprivate(L));
dotty(L);
_reset_stdfiles(L);
lua_pushboolean(L, 1); /* signal no errors */
return 1;
}
int main(int argc, char ** argv) {
progname = argv[0];
lua_State * L = luaL_newstate();
luaL_openlibs(L);
terra_Options options;
memset(&options, 0, sizeof(terra_Options));
bool interactive = false;
int scriptidx;
parse_args(L,argc,argv,&options,&interactive,&scriptidx);
if(terra_initwithoptions(L, &options))
doerror(L);
setupsigsegv(L);
if(scriptidx < argc) {
int narg = getargs(L, argv, scriptidx);
lua_setglobal(L, "arg");
const char * filename = argv[scriptidx];
if(!strcmp(filename,"-"))
filename = NULL;
if(terra_loadfile(L,filename))
doerror(L);
lua_insert(L, -(narg + 1));
if(lua_pcall(L, narg, LUA_MULTRET, 0))
doerror(L);
}
if(isatty(0) && (interactive || scriptidx == argc)) {
progname = NULL;
dotty(L);
}
lua_close(L);
terra_llvmshutdown();
return 0;
}
void ProofGraph::handleProof( )
{
#ifndef OPTIMIZE
checkProof();
cleanProofGraph();
checkProof();
#endif
if( produceProof() )
{
//Print original proof
ofstream dotty( "proof.dot" );
printProofAsDotty( dotty );
if( reduceProof() > 0 )
{
//Reduce proof
transfProof();
//Print reduced proof
ofstream dottyred( "proof_reduced.dot" );
printProofAsDotty( dottyred );
}
}
else if ( produceInterpolants() > 0 )
{
//Make sense to transform proof only if there are AB-mixed predicates
if (!lightVars.empty())
{
transfProof();
//Print reordered proof
ofstream dottyre( "proof_reordered.dot" );
printProofAsDotty( dottyre );
}
}
}
static int handle_argv (lua_State *L, int argc, char **argv, int *interactive) {
if (argv[1] == NULL) { /* no arguments? */
*interactive = 0;
if (lua_stdin_is_tty())
dotty(L);
else
dofile(L, NULL); /* executes stdin as a file */
}
else { /* other arguments; loop over them */
int i;
for (i = 1; argv[i] != NULL; i++) {
if (argv[i][0] != '-') break; /* not an option? */
switch (argv[i][1]) { /* option */
case '-': { /* `--' */
if (argv[i][2] != '\0') {
print_usage();
return 1;
}
i++; /* skip this argument */
goto endloop; /* stop handling arguments */
}
case '\0': {
clearinteractive(interactive);
dofile(L, NULL); /* executes stdin as a file */
break;
}
case 'i': {
*interactive = 2; /* force interactive mode after arguments */
break;
}
case 'v': {
clearinteractive(interactive);
print_version();
break;
}
case 'e': {
const char *chunk = argv[i] + 2;
clearinteractive(interactive);
if (*chunk == '\0') chunk = argv[++i];
if (chunk == NULL) {
print_usage();
return 1;
}
if (dostring(L, chunk, "=(command line)") != 0)
return 1;
break;
}
case 'l': {
const char *filename = argv[i] + 2;
if (*filename == '\0') filename = argv[++i];
if (filename == NULL) {
print_usage();
return 1;
}
if (dolibrary(L, filename))
return 1; /* stop if file fails */
break;
}
default: {
clearinteractive(interactive);
print_usage();
return 1;
}
}
} endloop:
if (argv[i] != NULL) {
int status;
const char *filename = argv[i];
int narg = getargs(L, argc, argv, i); /* collect arguments */
lua_setglobal(L, "arg");
clearinteractive(interactive);
status = luaL_loadfile(L, filename);
lua_insert(L, -(narg+1));
if (status == 0)
status = docall(L, narg, 0);
else
lua_pop(L, narg);
return report(L, status);
}
}
return 0;
}
void run_interactive_lua_interpreter(lua_State *L)
{
globalL = L; /* for signal handling */
dotty(L);
}
void lua_repl()
{
os::MutexLock lock(m);
dotty(L);
}
static int pmain(lua_State *L)
{
struct Smain *s = &smain;
char **argv = s->argv;
int argn;
int flags = 0;
globalL = L;
if (argv[0] && argv[0][0]) progname = argv[0];
LUAJIT_VERSION_SYM(); /* Linker-enforced version check. */
argn = collectargs(argv, &flags);
if (argn < 0) { /* Invalid args? */
print_usage();
s->status = 1;
return 0;
}
if ((flags & FLAGS_NOENV)) {
lua_pushboolean(L, 1);
lua_setfield(L, LUA_REGISTRYINDEX, "LUA_NOENV");
}
/* Set MAD env _before_ libraries are open. */
mad_setenv(L, flags & FLAGS_NOENV);
/* Stop collector during library initialization. */
lua_gc(L, LUA_GCSTOP, 0);
luaL_openlibs(L);
mad_openlibs(L);
lua_gc(L, LUA_GCRESTART, -1);
createargtable(L, argv, s->argc, argn);
if (!(flags & FLAGS_NOENV)) {
s->status = handle_luainit(L);
if (s->status != LUA_OK) return 0;
}
/* MAD section. */
mad_setsig();
mad_regfunc();
if ((flags & FLAGS_MADENV))
dolibrary(L, "madl_main");
if (!(flags & FLAGS_NOENV)) {
s->status = handle_madinit(L);
if (s->status != LUA_OK) return 0;
}
if ((flags & FLAGS_VERSION)) print_version();
s->status = runargs(L, argv, argn);
if (s->status != LUA_OK) return 0;
if (s->argc > argn) {
s->status = handle_script(L, argv + argn);
if (s->status != LUA_OK) return 0;
}
if ((flags & FLAGS_INTERACTIVE)) {
(void)print_jit_status;
dotty(L);
} else if (s->argc == argn && !(flags & FLAGS_EXEC)) {
if (lua_stdin_is_tty()) {
(void)print_version;
(void)print_jit_status;
dotty(L);
} else {
dofile(L, NULL); /* Executes stdin as a file. */
}
}
return 0;
}
int lua_console(lua_State * L)
{
dotty(L);
return 0;
}
