[OTBN] assembly format of JALR instruction

[felixmiller]

I wonder which one is the correct assembly format of the JALR instruction and which one should we use in our OTBN spec here.

I see the two formats:

1. JALR <rd>, <offset>(<rs>)
2. JALR <rd>, <rs>, <offset>

Currently we use # 2, but apparently this was changed here.

[asb]

Both formats are valid and supported by RISC-V assemblers. The argument for preferring 1) is that you're then addressing memory addresses consistently as <offset>(reg) across jalr, lw, sw, and so on.

[felixmiller]

Thanks @asb . @imphil should we change this in the otbn spec, since we are using format # 1 for lw and sw?

[felixmiller]

Closing this since we are now consistently using # 1