#!/bin/bash

# Copyright Jamie Iles, 2017
#
# This file is part of s80x86.
#
# s80x86 is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# s80x86 is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with s80x86.  If not, see <http://www.gnu.org/licenses/>.

set -e
[ -d .git ] && git submodule update --init
[ -d _build/gcov-coverage ] || mkdir -p _build/gcov-coverage
[ -d _build/.ccache ] || mkdir -p _build/.ccache
DOCKER_NONINTERACTIVE=1 ./docker/s80x86-build -e -c 'cd _build/gcov-coverage; \
        cmake -GNinja ../.. -DCMAKE_BUILD_TYPE=Coverage; \
        ninja; \
        find . -name "*.mcov" -delete; \
        ctest --output-on-failure -R "sim-unittest|rtl-unittest"; \
        ../../scripts/gcovr --delete --output=coverage.xml \
            --exclude="_build/*" \
            --exclude=".*googletest.*" \
            --exclude=".*Simulator.*" \
            --exclude=".*SPI.*" \
            --exclude=".*UART.*" \
            --exclude="python.*" \
            --exclude="tests.*" \
            --root=../.. --xml-pretty --exclude-unreachable-branches .; \
        verilator_coverage -write rtl-merged-coverage.dat tests/rtl/coverage/*.dat; \
        ../../scripts/verilator-cobertura --output=coverage-rtl-unittest.xml --source-root=../.. ./rtl-merged-coverage.dat; \
        ../../scripts/microcode_coverage rtl/microcode/microcode.bin . ./rtl/microcode --xml --output coverage-microcode.xml; \
        rm ../../*.gcov -f'
