Skip to content

Commit 5df14d8

Browse files
authored
Merge branch 'main' into feature/riscv-zcmop-yaml-definitions
2 parents b49be6d + be07539 commit 5df14d8

File tree

595 files changed

+2968
-9
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

595 files changed

+2968
-9
lines changed

.pre-commit-config.yaml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ repos:
3030
exclude: schemas/json-schema-draft-07.json
3131

3232
- repo: https://github.com/python-jsonschema/check-jsonschema
33-
rev: 0.31.3
33+
rev: 0.32.1
3434
hooks:
3535
- id: check-jsonschema
3636
alias: check-jsonschema-inst
@@ -59,7 +59,7 @@ repos:
5959
# args: ["--schemafile", "schemas/manual_version_schema.json"]
6060

6161
- repo: https://github.com/pre-commit/mirrors-clang-format
62-
rev: "v18.1.3"
62+
rev: "v20.1.0"
6363
hooks:
6464
- id: clang-format
6565
types_or: [c++, c]

arch/inst/A/amoadd.d.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,9 @@ operation(): |
4444
4545
X[rd] = amo<64>(virtual_address, X[rs2], AmoOperation::Add, aq, rl, $encoding);
4646
47+
# SPDX-SnippetBegin
48+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
49+
# SPDX-License-Identifier: BSD-2-Clause
4750
sail(): |
4851
{
4952
if extension("A") then {
@@ -134,3 +137,5 @@ sail(): |
134137
RETIRE_FAIL
135138
}
136139
}
140+
141+
# SPDX-SnippetEnd

arch/inst/A/amoadd.w.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,9 @@ operation(): |
4343
4444
X[rd] = amo<32>(virtual_address, X[rs2][31:0], AmoOperation::Add, aq, rl, $encoding);
4545
46+
# SPDX-SnippetBegin
47+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
48+
# SPDX-License-Identifier: BSD-2-Clause
4649
sail(): |
4750
{
4851
if extension("A") then {
@@ -133,3 +136,5 @@ sail(): |
133136
RETIRE_FAIL
134137
}
135138
}
139+
140+
# SPDX-SnippetEnd

arch/inst/A/amoand.d.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,9 @@ operation(): |
4444
4545
X[rd] = amo<64>(virtual_address, X[rs2], AmoOperation::And, aq, rl, $encoding);
4646
47+
# SPDX-SnippetBegin
48+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
49+
# SPDX-License-Identifier: BSD-2-Clause
4750
sail(): |
4851
{
4952
if extension("A") then {
@@ -134,3 +137,5 @@ sail(): |
134137
RETIRE_FAIL
135138
}
136139
}
140+
141+
# SPDX-SnippetEnd

arch/inst/A/amoand.w.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,9 @@ operation(): |
4343
4444
X[rd] = amo<32>(virtual_address, X[rs2][31:0], AmoOperation::And, aq, rl, $encoding);
4545
46+
# SPDX-SnippetBegin
47+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
48+
# SPDX-License-Identifier: BSD-2-Clause
4649
sail(): |
4750
{
4851
if extension("A") then {
@@ -133,3 +136,5 @@ sail(): |
133136
RETIRE_FAIL
134137
}
135138
}
139+
140+
# SPDX-SnippetEnd

arch/inst/A/amomax.d.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,9 @@ operation(): |
4444
4545
X[rd] = amo<64>(virtual_address, X[rs2], AmoOperation::Max, aq, rl, $encoding);
4646
47+
# SPDX-SnippetBegin
48+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
49+
# SPDX-License-Identifier: BSD-2-Clause
4750
sail(): |
4851
{
4952
if extension("A") then {
@@ -134,3 +137,5 @@ sail(): |
134137
RETIRE_FAIL
135138
}
136139
}
140+
141+
# SPDX-SnippetEnd

arch/inst/A/amomax.w.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,9 @@ operation(): |
4343
4444
X[rd] = amo<32>(virtual_address, X[rs2][31:0], AmoOperation::Max, aq, rl, $encoding);
4545
46+
# SPDX-SnippetBegin
47+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
48+
# SPDX-License-Identifier: BSD-2-Clause
4649
sail(): |
4750
{
4851
if extension("A") then {
@@ -133,3 +136,5 @@ sail(): |
133136
RETIRE_FAIL
134137
}
135138
}
139+
140+
# SPDX-SnippetEnd

arch/inst/A/amomaxu.d.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,9 @@ operation(): |
4343
4444
X[rd] = amo<64>(virtual_address, X[rs2], AmoOperation::Maxu, aq, rl, $encoding);
4545
46+
# SPDX-SnippetBegin
47+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
48+
# SPDX-License-Identifier: BSD-2-Clause
4649
sail(): |
4750
{
4851
if extension("A") then {
@@ -133,3 +136,5 @@ sail(): |
133136
RETIRE_FAIL
134137
}
135138
}
139+
140+
# SPDX-SnippetEnd

arch/inst/A/amomaxu.w.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,9 @@ operation(): |
4343
4444
X[rd] = amo<32>(virtual_address, X[rs2][31:0], AmoOperation::Maxu, aq, rl, $encoding);
4545
46+
# SPDX-SnippetBegin
47+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
48+
# SPDX-License-Identifier: BSD-2-Clause
4649
sail(): |
4750
{
4851
if extension("A") then {
@@ -133,3 +136,5 @@ sail(): |
133136
RETIRE_FAIL
134137
}
135138
}
139+
140+
# SPDX-SnippetEnd

arch/inst/A/amomin.d.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,9 @@ operation(): |
4444
4545
X[rd] = amo<64>(virtual_address, X[rs2], AmoOperation::Min, aq, rl, $encoding);
4646
47+
# SPDX-SnippetBegin
48+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
49+
# SPDX-License-Identifier: BSD-2-Clause
4750
sail(): |
4851
{
4952
if extension("A") then {
@@ -134,3 +137,5 @@ sail(): |
134137
RETIRE_FAIL
135138
}
136139
}
140+
141+
# SPDX-SnippetEnd

0 commit comments

Comments
 (0)