feat(lvn): Implement, test, and benchmark LVN #85
Workflow file for this run
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 | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| env: | |
| CARGO_INCREMENTAL: 1 | |
| jobs: | |
| lesson2: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: Swatinem/rust-cache@v2 | |
| - name: Clone Bril | |
| run: rm -rf bril && git clone https://github.com/sampsyo/bril && cd bril && git reset --hard 94764e92585c7133d08ac14cf3c563d1d272434a | |
| - uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.11' | |
| cache: pip | |
| cache-dependency-path: /bril/bril-txt/pyproject.toml | |
| - name: Install Flit | |
| run: pip install flit | |
| - name: Install Python tools | |
| run: cd bril/bril-txt ; flit install --symlink | |
| - name: Install Turnt | |
| # run: pip install turnt # Use instead if pip turnt version >= 1.7 | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: cucapra/turnt | |
| path: './turnt' | |
| - name: Install Turnt part 2 | |
| run: cd turnt ; flit install --symlink | |
| - name: Test build-cfg | |
| run: make build_cfg \ | |
| ROOT="/home/runner/work/cs6120/cs6120" \ | |
| BRIL="bril" | |
| lesson3: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: Swatinem/rust-cache@v2 | |
| - name: Clone Bril | |
| run: rm -rf bril && git clone https://github.com/sampsyo/bril | |
| - uses: denoland/setup-deno@v1 | |
| with: | |
| deno-version: v1.x | |
| - name: Install brili | |
| run: cd bril && deno install --global brili.ts | |
| - uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.11' | |
| cache: pip | |
| cache-dependency-path: bril/bril-txt/pyproject.toml | |
| - name: Install Flit | |
| run: pip install flit | |
| - name: bril-txt | |
| run: cd bril/bril-txt ; flit install --symlink | |
| - name: brench | |
| run: cd bril/brench ; flit install --symlink | |
| - name: Test trivial DCE and LVN | |
| run: | | |
| cd lesson3 | |
| cargo build --package tdce | |
| cargo build --package lvn | |
| bril2json <../bril/examples/test/tdce/combo.bril | brili -p | |
| bril2json <../bril/examples/test/tdce/combo.bril | ../target/debug/tdce | bril2json | brili -p | |
| cat ../bril/examples/test/tdce/combo.bril | tail -n +2 > ../bril/examples/test/tdce/combo.bril.temp | |
| cat ../bril/examples/test/tdce/combo.bril.temp > ../bril/examples/test/tdce/combo.bril | |
| cat ../bril/examples/test/tdce/double-pass.bril | tail -n +2 > ../bril/examples/test/tdce/double-pass.bril.temp | |
| cat ../bril/examples/test/tdce/double-pass.bril.temp > ../bril/examples/test/tdce/double-pass.bril | |
| cat ../bril/examples/test/tdce/reassign-dkp.bril | tail -n +2 > ../bril/examples/test/tdce/reassign-dkp.bril.temp | |
| cat ../bril/examples/test/tdce/reassign-dkp.bril.temp > ../bril/examples/test/tdce/reassign-dkp.bril | |
| brench brench.toml ../bril/benchmarks/**/*.bril ../bril/examples/test/tdce/*.bril | grep connected-components --invert-match | python3 check_brench.py |