sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-03-09	Specialise constructors for polymorphic unions	Alasdair Armstrong
	Also work on making C backend compile RISC-V
2018-03-02	Use sail_lib.lem values in C backend	Alasdair Armstrong
	Rather than just using strings to represent literals, now use value types from sail_lib.lem to represent them. This allows for expressions to be evaluated at compile time, which will be useful for future optimisations involving constant folding and propagation, and allows the intermediate bytecode to be interpreted using the same lem builtins that the shallow embedding uses. To get this to work I had to tweak the build process slightly to allow ml files to import lem files from gen_lib/. Hopefully this doesn't break anything!
2018-02-26	Add some obvious optimisations to C backend.	Alasdair Armstrong
	With these optimisations on, now get about 10x performance over OCaml.
2018-02-21	Have aarch64/no_vector compiling to C	Alasdair Armstrong
	Just need to implement builtins, fix-up a few re-write passes, and integrate some kind of elf-loading and it should work.
2018-02-15	List support in C backend	Alasdair Armstrong

2018-02-13	Support for large bitvector literals in C backend	Alasdair Armstrong

2018-02-12	Add support for top-level letbindings to C backend	Alasdair Armstrong

2018-02-09	Improve IR pretty-printing for debugging	Alasdair Armstrong

2018-02-09	Formalize C backend intermediate representation in Ott	Alasdair Armstrong
	Describes precisely the intermediate representation used in the C backend in an ott grammar, and also removes several C-isms where raw C code was inserted into the IR, so in theory this IR could be interpreted by a small VM/interpreter or compiled to LLVM bytecode etc. Currently the I_raw constructor for inserting C code is just used for inserting GCC attributes, so it can safely be ignored. Also augment and refactor the instruction type with an aux constructor so location information can be propagated down to this level.