Test #8
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI ADAPTER | |
| on: | |
| push: | |
| branches: main | |
| pull_request: | |
| branches: [ "main" ] | |
| jobs: | |
| Linux: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: using the Checkout action | |
| uses: actions/checkout@v1 | |
| - name: Get latest CMake | |
| uses: lukka/get-cmake@latest | |
| - name: Installing Jinja2 | |
| run: python -m pip install Jinja2 | |
| - name: Installing pytest | |
| run: python -m pip install pytest | |
| - name: Installing make | |
| run: python -m pip install make | |
| - name: apt | |
| run: sudo apt-get -qq update; sudo apt-get install -y libc-dbg python3-numpy python3-matplotlib texlive-latex-extra texlive-fonts-recommended dvipng cm-super | |
| - name: Install the requirements for building | |
| run: | | |
| sudo apt-get install -y build-essential g++ autoconf automake | |
| - name: clone PENE | |
| run: | | |
| cd pene_files | |
| git clone [email protected]:aneoconsulting/PENE.git | |
| - name: clone Valgrind and Verrou | |
| run: | | |
| mkdir verrou_files/verrou_repo | |
| cd verrou_files/verrou_repo | |
| git clone --branch=VALGRIND_3_22_0 --single-branch git://sourceware.org/git/valgrind.git valgrind-3.22.0+verrou-dev | |
| cd valgrind-3.22.0+verrou-dev | |
| git clone https://github.com/edf-hpc/verrou.git verrou | |
| cd verrou | |
| checkout 39a16db31a4048311a602922cbf35b18ffc58b9d | |
| cd ../ | |
| patch -p1 <verrou/valgrind.diff | |
| - name: runing cmake for Verrou | |
| run: | | |
| mkdir build | |
| cd build | |
| cmake .. -DBUILD_FOR_VERROU=ON | |
| - name: runing source for verrou | |
| run: source verrou_files/verrou_repo/verrou_software/env.sh | |
| - name: create new backend | |
| run: | | |
| mkdir -p backend/new_back | |
| touch backend/new_back/backend.cpp | |
| cat <<EOT >> backend/new_back/backend.cpp | |
| add_float: | |
| *res=a+b; | |
| end_add_float | |
| add_double: | |
| *res=a+b; | |
| end_add_double | |
| sub_float: | |
| *res=a-b; | |
| end_sub_float | |
| sub_double: | |
| *res=a-b; | |
| end_sub_double | |
| mul_float: | |
| *res=a*b; | |
| end_mul_float | |
| mul_double: | |
| *res=a*b; | |
| end_mul_double | |
| div_float: | |
| *res=a/b; | |
| end_div_float | |
| div_double: | |
| *res=a/b; | |
| end_div_double | |
| madd_float: | |
| *res=a*b+c; | |
| end_madd_float | |
| madd_double: | |
| *res=a*b+c; | |
| end_madd_double | |
| sqrt_float: | |
| *res=sqrt(a); | |
| end_sqrt_float | |
| sqrt_double: | |
| *res=sqrt(b); | |
| end_sqrt_double | |
| EOT | |
| - name: create binary backend | |
| run: | | |
| mkdir backend/binary_back | |
| touch backend/binary_back/backend.cpp | |
| cat <<EOT >> backend/new_back/backend.cpp | |
| add_float: | |
| float temp = a + b; | |
| union { | |
| float f; | |
| uint32_t u; | |
| } converter; | |
| converter.f = temp; | |
| uint32_t ans = converter.u; | |
| ans &= 0xfffffff0; | |
| ans |= 0x00000001; | |
| converter.u = ans; | |
| *res = converter.f; | |
| end_add_float | |
| add_double: | |
| *res=a+b; | |
| end_add_double | |
| sub_float: | |
| *res=a-b; | |
| end_sub_float | |
| sub_double: | |
| *res=a-b; | |
| end_sub_double | |
| mul_float: | |
| *res=a*b; | |
| end_mul_float | |
| mul_double: | |
| *res=a*b; | |
| end_mul_double | |
| div_float: | |
| *res=a/b; | |
| end_div_float | |
| div_double: | |
| *res=a/b; | |
| end_div_double | |
| madd_float: | |
| *res=a*b+c; | |
| end_madd_float | |
| madd_double: | |
| *res=a*b+c; | |
| end_madd_double | |
| sqrt_float: | |
| *res=sqrt(a); | |
| end_sqrt_float | |
| sqrt_double: | |
| *res=sqrt(b); | |
| end_sqrt_double | |
| EOT | |
| - name: runing cmake for Verificarlo and PENE tools (Linux) | |
| run: | | |
| cd build | |
| cmake .. -DBUILD_FOR_PENE=ON -DBUILD_FOR_VERIFICARLO=ON | |
| - name: Building (Linux) | |
| run : | | |
| cd build | |
| cmake --build . | |
| - name: Testing (Linux) | |
| run : | | |
| cd Test | |
| mkdir build | |
| cd build | |
| cmake .. | |
| make | |
| ctest -C Debug --output-o-failure | |