Commit Graph

8 Commits

Author SHA1 Message Date
Alessandro Di Federico 86d931dc1f Update FromIRToExecutable.rst 2021-03-06 16:56:09 +01:00
Alessandro Di Federico d50fbe969a Update documentation and add revng. to metadata 2019-04-11 19:51:32 +02:00
Alessandro Di Federico 53db84f7d6 s/revamb/revng/g 2019-02-11 16:09:23 +01:00
Niccolò Izzo 92253e23b2 Fixed typos in revamb documentation 2018-08-18 17:14:02 +02:00
Alessandro Di Federico aa38255149 Output a CSV file with the required libraries
This commit makes `revamb` produce a new file `.ll.need.csv` containing
a list of all the dynamic libraries required by the input program. This
will be transformed by the 'csv-to-ld-options` (was:
`li-csv-to-ld-options`) into the appropriate linking options.
2018-05-29 08:35:24 +02:00
Alessandro Di Federico 12ed8219da Disable slow backend optimization
Introduce the `-disable-machine-licm` argument when the `translate`
script invokes `llc` with `-O2`.
2017-04-03 13:57:56 +02:00
Alessandro Di Federico 89d49789fb docs: reflect recent changes to root and linking
Update `GeneratedIRReference.rst:` to reflect recent changes to the
`root` function. Specifically, the presence of the stack pointer
argument and initialization of the program counter and the stack
pointer.

`FromIRToExecutable.rst` has been updated too, to take into account the
new way we link `support.c`.

Finally, the `--tracing` argument has been removed from
`RevambUsage.rst` and the `-trace` argument is no documented in
`TranslateUsage.rst`.
2017-03-31 16:12:14 +02:00
Alessandro Di Federico 5154cb57f2 Initial import of documentation 2017-01-11 16:02:19 +01:00