Generate 0xFFFFFFFF instead of 0 for rs1 field in make_go #455
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: Opcodes generation | |
| on: | |
| push: | |
| branches: [ master ] | |
| pull_request: | |
| branches: [ master ] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Set up Python 3.8 | |
| uses: actions/setup-python@v2 | |
| with: | |
| python-version: 3.8 | |
| - name: Install PyYAML | |
| run: | | |
| pip3 install -r requirements.txt | |
| pip3 install coverage | |
| - name: Generate | |
| run: coverage run ./parse.py -c -chisel -sverilog -rust -latex -spinalhdl -go "rv*" "unratified/rv*" | |
| - name: Check C output | |
| run: cat encoding.out.h | cpp | |
| - name: Generate coverage | |
| run: coverage xml | |
| - name: Upload coverage | |
| uses: codecov/codecov-action@v2 | |