sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-06-21	Merge branch 'tracing' into sail2	Alasdair Armstrong

2018-06-21	Simplify the ANF->IR translation	Alasdair Armstrong
	Previously the ANF->IR translation cared too much about how things were allocated in C, so it had to constantly check whether things needed to be allocated on the stack or heap, and generate different cequences of IR instructions depending on either. This change removes the ialloc IR instruction, and changes iinit and idecl so that the code generator now generates different C for the same IR instructions based on the variable types involved. The next change in this vein would be to merge icopy and iconvert at the IR level so that conversions between uint64_t and large-bitvectors are inserted by the code generator. This would be good because it would make the ANF->IR translation more robust to changes in the types of variables caused by flow-typing, and optimization passes could convert large bitvectors to uint64_t as local changes.
2018-06-14	rename all lem support files to sail2_foo to avoid conflict with sail1 in rmem	Jon French

2018-06-14	Refactor C backend, and split RTS into multiple files	Alasdair

2018-06-06	Factor utility functions for IR into separate file and struct update ↵	Alasdair Armstrong
	optimizations. Move the utility functions for graph generation and pretty printing of intermediate representation instructions into a separate file, bytecode_util.ml, by analogy with ast_util.ml. Add an optimization pass that searches for specific patterns of struct updates and removes uncessary copying of the structs involved. With this optimisation pass the time taken for u-boot to run approx 57,000,000 instructions goes down from about 11-12 minutes to 8 minutes (about 120,000 IPS).