[BranchFolding] Add an option to tail merge only bbs without successors #27
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: Code coverage | |
| on: | |
| push: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| inputs: | |
| mode: | |
| description: "Mode filter for era-compiler-tester" | |
| required: true | |
| default: "0.8" | |
| path: | |
| description: "Path filter for era-compiler-tester" | |
| required: true | |
| default: "tests/solidity/complex/defi" | |
| defaults: | |
| run: | |
| shell: bash -ex {0} | |
| concurrency: | |
| group: ${{ github.repository_id }}-${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: false | |
| env: | |
| PROFDATA_FILE: zksolc.profdata | |
| LCOV_FILE: codecov.lcov | |
| OUTPUT_HTML_DIR: COVERAGE | |
| jobs: | |
| run-with-coverage: | |
| runs-on: matterlabs-ci-runner-high-performance | |
| container: | |
| image: ghcr.io/matter-labs/zksync-llvm-runner:latest | |
| options: -m 110g | |
| env: | |
| TARGET: x86_64-unknown-linux-gnu | |
| RUSTC_BOOTSTRAP: 1 | |
| LATEST_SOLC_VERSION: 0.8 | |
| DEFAULT_BENCHMARKS_PATH: tests/solidity/complex/defi | |
| steps: | |
| - name: Checkout compiler-tester | |
| uses: actions/checkout@v4 | |
| with: | |
| ref: 'main' | |
| repository: matter-labs/era-compiler-tester | |
| submodules: recursive | |
| - name: Checkout llvm | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: matter-labs/era-compiler-llvm | |
| path: llvm | |
| - name: Build LLVM for tester | |
| uses: matter-labs/era-compiler-ci/.github/actions/build-llvm@v1 | |
| with: | |
| clone-llvm: false | |
| - name: Build compiler-tester | |
| run: | | |
| cargo build --release --target ${TARGET} --bin 'compiler-tester' | |
| rm -rf target-llvm | |
| - name: Build LLVM with coverage | |
| uses: matter-labs/era-compiler-ci/.github/actions/build-llvm@v1 | |
| with: | |
| clone-llvm: false | |
| enable-coverage: true | |
| - name: Build compilers with coverage | |
| env: | |
| CARGO_CHECKOUT_DIR: /usr/local/cargo/git/checkouts | |
| RUSTFLAGS: "-C instrument-coverage" | |
| run: | | |
| cargo build --target ${TARGET} \ | |
| --manifest-path ${CARGO_CHECKOUT_DIR}/era-compiler-solidity-*/*/Cargo.toml \ | |
| --target-dir './target-zksolc/' | |
| cargo build --target ${TARGET} \ | |
| --manifest-path ${CARGO_CHECKOUT_DIR}/era-compiler-vyper-*/*/Cargo.toml \ | |
| --target-dir './target-zkvyper/' | |
| - name: Run tests with coverage for EraVM | |
| run: | | |
| ./target/${TARGET}/release/compiler-tester \ | |
| --target "${TARGET}" \ | |
| --zksolc "./target-zksolc/${TARGET}/debug/zksolc" \ | |
| --zkvyper "./target-zksolc/${TARGET}/debug/zkvyper" \ | |
| --path '${{ inputs.path || env.DEFAULT_BENCHMARKS_PATH }}' \ | |
| --mode '${{ inputs.mode || env.LATEST_SOLC_VERSION }}' \ | |
| --workflow build | |
| - name: Generate coverage reports | |
| run: | | |
| llvm-profdata merge -sparse -o ${PROFDATA_FILE} *.profraw | |
| llvm-cov show --show-directory-coverage \ | |
| --format=html --output-dir=${OUTPUT_HTML_DIR} \ | |
| -instr-profile=${PROFDATA_FILE} ./target-zksolc/${TARGET}/debug/zksolc | |
| llvm-cov export --format=lcov -instr-profile=${PROFDATA_FILE} \ | |
| ./target-zksolc/${TARGET}/debug/zksolc > ./llvm/${LCOV_FILE} | |
| - name: Upload coverage artifacts | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: 'Coverage HTML' | |
| path: ${{ env.OUTPUT_HTML_DIR}} | |
| - name: Upload coverage to Codecov | |
| uses: codecov/codecov-action@v4 | |
| with: | |
| working-directory: ${{ github.workspace }}/llvm # Mandatory if main repo is in different directory | |
| directory: ${{ github.workspace }} # Mandatory if main repo is in different directory | |
| token: ${{ secrets.CODECOV_TOKEN }} | |
| file: ${{ env.LCOV_FILE }} | |
| slug: ${{ github.repository }} |