Instructions capitalized in the ISA Manual

[ShashankVM]

According to https://github.com/riscv/docs-dev-guide/blob/main/src/style-guidelines.adoc,

Instructions are lowercase (ld, c.lw)

Yet, we can see that almost every reference to an instruction name in the ISA manual is in upper case, with the exception of code examples.

Source:

riscv-isa-manual/src/rv32.adoc

Lines 305 to 307 in 82895c4

	[#norm:addi_op]#ADDI adds the sign-extended 12-bit immediate to register _rs1_.#
	[#norm:addi_overflow]#Arithmetic overflow is ignored and the result is simply the low XLEN bits of the result.#
	ADDI _rd, rs1, 0_ is used to implement the MV _rd, rs1_ assembler pseudoinstruction.

Should we change it to lowercase?

[ShashankVM]

@AFOliveira @ThinkOpenly @james-ball-qualcomm FYI: adding you'll to this thread so you'll get the notifications for the replies.

[AFOliveira]

I may do this work in case we want to change all to non-capitalized.

[james-ball-qualcomm]

Thanks for keeping me in the loop. Changing the ISA manual might be hard to do. However, the text we have in UDB's YAML files for instructions and such could consistently use lower-case names (that's under our control in the UDB team).