Peter Goodman a918cfa675 Moving files around

2015-11-28 20:40:27 -05:00

..

bootstrap_linux.sh

Split the auto-generation of semantics into two steps: one that does instructions only and optimizes them, and another that does the block function (no optimization), then the two are linked. Auto generate semantics files for some x86 features. These features can be enabled at translation time, e.g. --with_x86_avx or --with_x86_avx512

2015-11-27 14:44:50 -05:00

bootstrap.sh

Added a few more semantics, some comments, some optimizations. One important thing is marking all methods as naked so that no stack frame prologues/epilogues are created. This fits nicely with the must-tail-call between everything and the use of the fast calling convention.

2015-11-17 18:08:38 -05:00

compile_semantics.sh

Moving files around

2015-11-28 20:40:27 -05:00

ida_get_cfg.py

IDA script generally finds all functions now. Now lifted bitcode files can optimize without the optimizer figuring out that unreachable blocks are unoptimizable. Currently optimized bitcode looks a bit strange due to the absence of implementations for some key things.

2015-11-09 00:26:32 -05:00

ida_get_cfg.sh

IDA script generally finds all functions now. Now lifted bitcode files can optimize without the optimizer figuring out that unreachable blocks are unoptimizable. Currently optimized bitcode looks a bit strange due to the absence of implementations for some key things.

2015-11-09 00:26:32 -05:00