Skip to content

t-crest/patmos-benchmarks

Repository files navigation

patmos-benchmarks

===================

A collection of benchmarks and tests for the Patmos processor and compiler.

1. Requirements

2. Configure, build and run tests

mkdir build
cd build
cmake .. -DCMAKE_TOOLCHAIN_FILE=../cmake/patmos-clang-toolchain.cmake -DENABLE_TESTING=true
make
make test # (also via ctest, see ctest --help)

For a list of pre-defined compiler/processor toolchain configurations see the cmake directory (currently leon3-clang, mpc5554-clang, patmos-clang). To chose one of them use:

cmake .. -DCMAKE_TOOLCHAIN_FILE=../cmake/<processor>-clang-toolchain.cmake

Additional search paths can be provided using the -DCMAKE_PROGRAM_PATH=<path> option.

List of CMake variables of interest:

  • CMAKE_TOOLCHAIN_FILE ... toolchain to use
  • ENABLE_TESTING ... enable tests
  • ENABLE_CTORTURE ... enable gcc.c-torture (build time doubles)
  • PLATIN_ENABLE_WCET ... enable WCET tests (currently patmos only)
  • PLATIN_ENABLE_AIT ... enable WCET tests using absint's aiT tool (patmos only, requires a3)
  • CONFIG_PML ... architecture configuration file (patmos only)

Patmos configuration

Some Patmos-specific options (e.g. method and stack cache related) for the Clang/LLVM compiler, the simulator (pasim) and WCET tool (platin) are controlled through architecture configuration files in YAML format, see the config-*.pml files in scripts/.

Have fun!