DBT-RISE-RISCV/.github/workflows/ci.yml at main · Minres/DBT-RISE-RISCV · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
name: CI

on:
  workflow_dispatch:
  push:
    paths:
      - '**.hpp'
      - '**.cpp'
      - '**.h'
      - '**.c'
      - '**.S'
      - '**CMakeLists.txt'
      - '.github/workflows/**'
      - 'conanfile.py'
  pull_request:
    paths:
      - '**.hpp'
      - '**.cpp'
      - '**.h'
      - '**.c'
      - '**.S'
      - '**CMakeLists.txt'
      - '.github/workflows/**'
      - 'conanfile.py'

jobs:
  cpp-compliance:
    name: C++ Std Compliance (C++${{ matrix.cpp_std }})
    runs-on: ubuntu-24.04
    strategy:
      matrix:
        cpp_std: [17, 20]
    steps:
      - uses: actions/checkout@v4

      - name: Update submodules
        run: git submodule update --init --recursive

      - name: Cache Conan
        uses: actions/cache@v4
        with:
          path: ~/.conan2
          key: conan-${{ runner.os }}-unit-cpp${{ matrix.cpp_std }}-${{ hashFiles('conanfile.py') }}

      - name: Install dependencies
        run: |
          sudo apt-get install -y g++ python3-pip cmake llvm-19-dev
          pip3 install conan
          cmake --version

      - name: Configure
        run: cmake --preset Release -B build -DCMAKE_CXX_STANDARD=${{ matrix.cpp_std }} -DWITH_LLVM=ON -DWITH_SYSTEM_LLVM=ON

      - name: Build
        run: cmake --build build -j

      - name: Smoke test
        run: ./build/riscv-sim -h

      # NOTE: .so filename is tied to VERSION in top-level CMakeLists.txt - update both together
      - name: Upload binary
        if: matrix.cpp_std == 20
        uses: actions/upload-artifact@v4
        with:
          name: riscv-sim
          path: |
            build/riscv-sim
            build/libdbt-rise-riscv.so.2.1.0

  pmp-tests:
    name: PMP Functional Tests
    runs-on: ubuntu-24.04
    needs: cpp-compliance
    steps:
      - uses: actions/checkout@v4

      - name: Install RISC-V toolchain
        run: sudo apt-get install -y gcc-riscv64-unknown-elf

      - name: Download riscv-sim binary
        uses: actions/download-artifact@v4
        with:
          name: riscv-sim

      - name: Make binary executable
        run: chmod +x riscv-sim

      - name: Build PMP CSR test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_csr_test \
            contrib/fw/pmp-csr-test/pmp_csr_test.S

      - name: rv64gc_m CSR test - interp (no PMP, expect exit 2)
        run: |
          LD_LIBRARY_PATH=. ./riscv-sim -f pmp_csr_test --isa rv64gc_m --backend interp || rc=$?
          [ "${rc:-0}" -eq 2 ]

      - name: rv64gc_mp_64 CSR test - interp (with PMP)
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_csr_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP enforcement test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_enforce_test \
            contrib/fw/pmp-enforce-test/pmp_enforce_test.S

      - name: rv64gc_mp_64 enforcement test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_enforce_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP shift test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_shift_test \
            contrib/fw/pmp-shift-test/pmp_shift_test.S

      - name: rv64gc_mp_64 shift test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_shift_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP upper-cfg test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_upper_cfg_test \
            contrib/fw/pmp-upper-cfg-test/pmp_upper_cfg_test.S

      - name: rv64gc_mp_64 upper-cfg test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_upper_cfg_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP cfg2 test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_cfg2_test \
            contrib/fw/pmp-cfg2-test/pmp_cfg2_test.S

      - name: rv64gc_mp_64 cfg2 test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_cfg2_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP TOR test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_tor_test \
            contrib/fw/pmp-tor-test/pmp_tor_test.S

      - name: rv64gc_mp_64 TOR test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_tor_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP 64-entry pmpaddr test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_64entry_addr_test \
            contrib/fw/pmp-64entry-addr-test/pmp_64entry_addr_test.S

      - name: rv64gc_mp_64 64-entry pmpaddr test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_64entry_addr_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP 64-entry pmpcfg test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_64entry_cfg_test \
            contrib/fw/pmp-64entry-cfg-test/pmp_64entry_cfg_test.S

      - name: rv64gc_mp_64 64-entry pmpcfg test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_64entry_cfg_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP 8-entry guard test firmware (VP/S5 model)
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_8entry_guard_test \
            contrib/fw/pmp-8entry-guard-test/pmp_8entry_guard_test.S

      - name: rv64gc_mp_8 8-entry enforcement test - interp (VP/S5 model)
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_8entry_guard_test --isa rv64gc_mp_8 --backend interp

      - name: Build PMP fetch deny test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_fetch_deny_test \
            contrib/fw/pmp-fetch-deny-test/pmp_fetch_deny_test.S

      - name: rv64gc_mp_64 fetch execute-permission test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_fetch_deny_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP fetch straddle test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_fetch_straddle_test \
            contrib/fw/pmp-fetch-straddle-test/pmp_fetch_straddle_test.S

      - name: rv64gc_mp_64 straddling-fetch sector test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_fetch_straddle_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP lock test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_lock_test \
            contrib/fw/pmp-lock-test/pmp_lock_test.S

      - name: rv64gc_mp_64 lock-bit test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_lock_test --isa rv64gc_mp_64 --backend interp

      - name: Build PMP no-entry U-mode test firmware
        run: |
          riscv64-unknown-elf-gcc -nostdlib -march=rv64gc -mabi=lp64 -I contrib/fw \
            -Wl,-Ttext=0x10000,--no-dynamic-linker \
            -o pmp_noentry_umode_test \
            contrib/fw/pmp-noentry-umode-test/pmp_noentry_umode_test.S

      - name: rv64gc_mup no-entry U-mode denial test - interp
        run: LD_LIBRARY_PATH=. ./riscv-sim -f pmp_noentry_umode_test --isa rv64gc_mup --backend interp