Commit a85e7880 authored by Julian Kranz's avatar Julian Kranz

orig: Merge branch 'master' of hg::ssh://hg@bitbucket.org/jucs/mltk

Conflicts:
	specifications/rreil/rreil-opt.ml
	tools/Makefile
parent b4a10e4b
export = decode-translate-blockOptimized
export = decode-translate-block-optimized
type sem_preservation =
SEM_PRESERVATION_EVERYWHERE
| SEM_PRESERVATION_BLOCK
| SEM_PRESERVATION_CONTEXT
val decode-translate-blockOptimized config limit pres = case pres of
val decode-translate-block-optimized config limit pres = case pres of
SEM_PRESERVATION_EVERYWHERE: do
translated <- decode-translate-block config limit;
clean <- cleanup translated;
......
......@@ -25,7 +25,7 @@ INCDS=-I../include
CFLAGS=-c -g3 -std=gnu11 -pedantic -Wall -Wfatal-errors -DRELAXEDFATAL $(DEFINES) $(INCDS)
PROJECTS=
EXECUTABLES=semantics-cli decoder-cli semantics-cli-dynamic semantics-cif-cli sweep liveness-sweep
EXECUTABLES=semantics-cli decoder-cli semantics-cli-dynamic semantics-cif-cli sweep semantics-opt liveness-sweep
ifdef GDSL_X86
PROJECTS+=x86-test-runner x86-test-stats-runner xed-cmp
endif
......@@ -68,6 +68,13 @@ sweep: sweep.o
sweep.o: sweep.c
$(CC) $(CFLAGS) sweep.c -o $@
### semantics-opt
semantics-opt: semantics-opt.o
$(CC) $(LDFLAGS) semantics-opt.o $(LIBFLAGS) -o $@
semantics-opt.o: semantics-opt.c
$(CC) $(CFLAGS) semantics-opt.c -o $@
### liveness-sweep
liveness-sweep: liveness-sweep.o
......
......@@ -133,7 +133,7 @@ int main(int argc, char** argv) {
break;
}
default: {
printf("Usage: sweep file offset length\n");
printf("Usage: sweep file offset length / sweep elf-file\n");
return 1;
}
}
......@@ -227,6 +227,6 @@ int main(int argc, char** argv) {
fprintf(stderr, "Decoder + Translator: Total memoy: %zu, maximal memoy: %zu\n", memory_dec_tran, memory_dec_tran_max);
fprintf(stderr, "time: %lf seconds\n", time / (double)(1000000000));
return 1;
return 0;
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment