Skip to content

Label HINT encodings intended for future standard use as "designated"#1001

Merged
aswaterman merged 1 commit intoriscv:masterfrom
asb:hints-designated
Mar 29, 2023
Merged

Label HINT encodings intended for future standard use as "designated"#1001
aswaterman merged 1 commit intoriscv:masterfrom
asb:hints-designated

Conversation

@asb
Copy link
Copy Markdown
Contributor

@asb asb commented Mar 29, 2023

The term "reserved" could be ambiguous, as it might be understood to refer to the "reserved instruction-set category" as defined in the section 1.3 instruction and further elaborated in section 2.2 "Base Instruction Formats". Avoid this potential confusion by using "designated" instead, which also matches the terminology used for HINT encodings intended for custom use.

This is an alternative to #990, following @aswaterman's suggestion.

The term "reserved" could be ambiguous, as it might be understood to
refer to the "reserved instruction-set category" as defined in the
section 1.3 instruction and further elaborated in section 2.2 "Base
Instruction Formats". Avoid this potential confusion by using
"designated" instead, which also matches the terminology used for HINT
encodings intended for custom use.

This is an alternative to riscv#990.
@aswaterman
Copy link
Copy Markdown
Member

LGTM, thanks.

@aswaterman aswaterman merged commit f6b8d5c into riscv:master Mar 29, 2023
wmat added a commit that referenced this pull request Apr 3, 2023
Manually adding commit #1001 to change the term "reserved"
to "Designated" to remove ambiguity.
wmat added a commit that referenced this pull request Apr 3, 2023
Manually applying commit #1001 to change the word
"Reserved" to "Designated" to remove ambiguity.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants