Skip to content

Commit be07539

Browse files
dhower-qcdhower-qc
authored
arch/inst: Add SPDX snippet to YAML files containing sail() function. (#549)
* arch/inst: Add SPDX snippet to YAML files containing sail() function. Mentored-by: Derek Hower <[email protected]> Mentored-by: Paul A. Clarke <[email protected]> Signed-off-by: Usman Akinyemi <[email protected]> * arch/inst: Update the SPDX license to point to SPDX-FileCopyrightText. Mentored-by: Derek Hower <[email protected]> Mentored-by: Paul A. Clarke <[email protected]> Signed-off-by: Usman Akinyemi <[email protected]> * arch/inst: fix pre-commit EOF newline complaints Mentored-by: Derek Hower <[email protected]> Mentored-by: Paul A. Clarke <[email protected]> Signed-off-by: Usman Akinyemi <[email protected]> --------- Signed-off-by: Usman Akinyemi <[email protected]> Co-authored-by: Derek Hower <[email protected]>
2 parents d51cb12 + 9a60fc4 commit be07539

File tree

592 files changed

+2960
-0
lines changed

Some content is hidden

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

592 files changed

+2960
-0
lines changed

‎arch/inst/A/amoadd.d.yaml

+5
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

+5
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

+5
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

+5
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

+5
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

+5
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

+5
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

+5
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

+5
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

‎arch/inst/A/amomin.w.yaml

+5
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::Min, 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/amominu.d.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,9 @@ operation(): |
4444
4545
X[rd] = amo<64>(virtual_address, X[rs2], AmoOperation::Minu, 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/amominu.w.yaml

+5
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::Minu, 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/amoor.d.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,9 @@ operation(): |
4444
4545
X[rd] = amo<64>(virtual_address, X[rs2], AmoOperation::Or, 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/amoor.w.yaml

+5
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::Or, 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/amoswap.d.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,9 @@ operation(): |
4343
4444
X[rd] = amo<64>(virtual_address, X[rs2], AmoOperation::Swap, 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/amoswap.w.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,9 @@ operation(): |
4242
4343
X[rd] = amo<32>(virtual_address, X[rs2][31:0], AmoOperation::Swap, aq, rl, $encoding);
4444
45+
# SPDX-SnippetBegin
46+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
47+
# SPDX-License-Identifier: BSD-2-Clause
4548
sail(): |
4649
{
4750
if extension("A") then {
@@ -132,3 +135,5 @@ sail(): |
132135
RETIRE_FAIL
133136
}
134137
}
138+
139+
# SPDX-SnippetEnd

‎arch/inst/A/amoxor.d.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,9 @@ operation(): |
4444
4545
X[rd] = amo<64>(virtual_address, X[rs2], AmoOperation::Xor, 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/amoxor.w.yaml

+5
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::Xor, 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/lr.d.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,9 @@ operation(): |
9191
9292
X[rd] = load_reserved<32>(virtual_address, aq, rl, $encoding);
9393
94+
# SPDX-SnippetBegin
95+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
96+
# SPDX-License-Identifier: BSD-2-Clause
9497
sail(): |
9598
{
9699
if extension("A") then {
@@ -133,3 +136,5 @@ sail(): |
133136
RETIRE_FAIL
134137
}
135138
}
139+
140+
# SPDX-SnippetEnd

‎arch/inst/A/lr.w.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -100,6 +100,9 @@ operation(): |
100100
X[rd] = sext(load_value[31:0], 32);
101101
}
102102
103+
# SPDX-SnippetBegin
104+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
105+
# SPDX-License-Identifier: BSD-2-Clause
103106
sail(): |
104107
{
105108
if extension("A") then {
@@ -142,3 +145,5 @@ sail(): |
142145
RETIRE_FAIL
143146
}
144147
}
148+
149+
# SPDX-SnippetEnd

‎arch/inst/A/sc.d.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -151,6 +151,9 @@ operation(): |
151151
Boolean success = store_conditional<64>(virtual_address, value, aq, rl, $encoding);
152152
X[rd] = success ? 0 : 1;
153153
154+
# SPDX-SnippetBegin
155+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
156+
# SPDX-License-Identifier: BSD-2-Clause
154157
sail(): |
155158
{
156159
if speculate_conditional () == false then {
@@ -227,3 +230,5 @@ sail(): |
227230
}
228231
}
229232
}
233+
234+
# SPDX-SnippetEnd

‎arch/inst/A/sc.w.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -156,6 +156,9 @@ operation(): |
156156
Boolean success = store_conditional<32>(virtual_address, value, aq, rl, $encoding);
157157
X[rd] = success ? 0 : 1;
158158
159+
# SPDX-SnippetBegin
160+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
161+
# SPDX-License-Identifier: BSD-2-Clause
159162
sail(): |
160163
{
161164
if speculate_conditional () == false then {
@@ -232,3 +235,5 @@ sail(): |
232235
}
233236
}
234237
}
238+
239+
# SPDX-SnippetEnd

‎arch/inst/B/add.uw.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,9 @@ operation(): |
3535
3636
X[rd] = X[rs2] + X[rs1][31:0];
3737
38+
# SPDX-SnippetBegin
39+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
40+
# SPDX-License-Identifier: BSD-2-Clause
3841
sail(): |
3942
{
4043
let rs1_val = X(rs1);
@@ -49,3 +52,5 @@ sail(): |
4952
X(rd) = result;
5053
RETIRE_SUCCESS
5154
}
55+
56+
# SPDX-SnippetEnd

‎arch/inst/B/andn.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,9 @@ operation(): |
3232
3333
X[rd] = X[rs2] & ~X[rs1];
3434
35+
# SPDX-SnippetBegin
36+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
37+
# SPDX-License-Identifier: BSD-2-Clause
3538
sail(): |
3639
{
3740
let rs1_val = X(rs1);
@@ -54,3 +57,5 @@ sail(): |
5457
X(rd) = result;
5558
RETIRE_SUCCESS
5659
}
60+
61+
# SPDX-SnippetEnd

‎arch/inst/B/bclr.yaml

+5
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,9 @@ operation(): |
3232
XReg index = X[rs2] & (xlen() - 1);
3333
X[rd] = X[rs1] & ~(1 << index);
3434
35+
# SPDX-SnippetBegin
36+
# SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>
37+
# SPDX-License-Identifier: BSD-2-Clause
3538
sail(): |
3639
{
3740
let rs1_val = X(rs1);
@@ -48,3 +51,5 @@ sail(): |
4851
X(rd) = result;
4952
RETIRE_SUCCESS
5053
}
54+
55+
# SPDX-SnippetEnd

0 commit comments

Comments
 (0)