Metalibm is available under MIT Licence (see LICENSE file) from https://github.com/kalray/metalibm/
master branch:
meta-function generation report (master branch): https://nibrunie.gitlab.io/metalibm/report.master.html
-
Dependencies:
- metalibm depends on Pythonsollya (python wrapper to Sollya library). easy install (if sollya is already installed): pip install git+https://gitlab.com/metalibm-dev/pythonsollya or Pythonsollya can be downloaded from https://gitlab.com/metalibm-dev/pythonsollya
- Some features of Metalibm require Gappa (http://gappa.gforge.inria.fr/)
-
Python version compatibility: as of version 1.0, metalibm works with both python2 (>= 2.7) and python3 (tested with 3.4)
-
Installation procedure for standard users
- install pythonsollya (and optionally gappa)
- make sure pythonsollya is available in your PYTHONPATH
- make sure metalibm's top directory is in your PYTHONPATH
Example of metafunctions can be found under the metalibm_functions/ directory.
-
Example to generate a faithful (default) approximation of the exponential function for single precision on a x86 AVX2 target:
python2 metalibm_functions/ml_exp.py --precision binary32 --target x86_avx2 --output x86_avx2_exp2d.c -
Explore the other functions of this directory, e.g. :
python2 metalibm_functions/ml_log.py --help
A more comprehensive user documentation can be found in doc/USERGUIDE.md
-
Unit-testing (software code generation):
python2 valid/soft_unit_test.py -
Unit-testing (hardware code generation):
python2 valid/rtl_unit_test.py -
Non-regression tests (software code generation):
python2 valid/non_regression.py -
Non-regression tests (hardware code generation):
python2 valid/hw_non_regression.py -
Functionnal coverage (generate a report on meta-functions' generation/build/valid status):
python2 valid/soft_coverage_test.py --report-only --output report.html
- Metalibm Description Language documentation: doc/MDL.md
- User interface documentation: doc/USERGUIDE.md
- Custom Meta-function documentation: doc/METAFUNCTION.md
- Metalibm engine optimization pass documentation: doc/PASSES.md
- Metalibm unit testing framework: doc/UNITTESTS.md
- Version 1.0.alpha: Released March 12th, 2018: First alpha for first official version
Nicolas Brunie (nbrunie (AT) kalray.eu), Hugues de Lassus Saint-Geniès,
Marc Mezzarobba, Guillaume Gonnachon, Florent de Dinechin, Julien Le Maire,
Julien Villette, Guillaume Revy
This work has been supported by Kalray (kalrayinc.com) and other entities
(to be listed)