it is unlikely that we (Libre-SOC) will initially implement any of v3.1
64-bit prefixing (it cannot be Vectorised, resulting unacceptably in
96-bit instructions which we decided is too much). that said, the LD
-addressing immediate extended range is extremely useful (along with the PC-relative modes and also other instructions such as paddi).
+addressing immediate extended range is extremely useful
+(along with the PC-relative modes and also other instructions
+such as paddi).
bottom line we have not yet given much thought to using any v3.1 Scalar
Prefixed instructions, at all, so don't even know most of what they do.
+
+that said: if `paddi` puts 32-bits into a GPR, and does so in 64 bits,
+is it not similarly redundant i.e. exactly the same amount of space
+used as two 32-bit instructions? if `paddi` puts *more* than 32 bits
+into a GPR then it is not the same and would not make a comparative
+analogy as a Programmer's Note.
+