the Chamois CompCert Compiler

  • Software distribution and licensing: Open-source distribution
  • Software maturity: Well-tested software, good documentation
  • Software Maintenance and Evolution: Active maintenance, plans for future evolution

A version of the CompCert certified compiler with

  1. global common subexpression elimination
  2. loop-invariant code motion strength reduction
  3. pre-pass and post-pass instruction scheduling for pipelined processors and in particular for the Kalray VLIW core (with explicit instruction parallelism at the assembly level)

See the 5-minutes video by C. Six, presenting our certified efficient instruction scheduling for the KVX backend.

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4000766