Re: how cast works?

On 09/08/2024 20:54, Thiago Adams wrote:

 Everything is a bit mixed up, but I'll try to explain the part about registers that I have in mind.
 In C, when you have an expression like char + char, each char is promoted to int. The computation then occurs as int + int.
 

Yes.  In C, there are no arithmetic operations on types smaller than "int".

On the other hand, when you have float + float, it remains as float + float.
 

Yes.
The rules for promotions are quite clear in the standards.  You can also read about them here: <https://en.cppreference.com/w/c/language/conversion>

My guess for this design is that computations involving char are done using registers that are the size of an int.
 

It is quite possible that this was the original motivation.
But you keep referring to "the computer".  There is no "the computer" in C.  There are processors with 128 64-bit integer registers, and processors with a single 8-bit register.  Some have no floating point hardware at all, some have 128-bit floating point hardware.  C is defined in a manner that is mostly independent of the hardware, with only a few points that are dependent (such as the width of integer types).  But design decisions in C can certainly have been inspired by real existing hardware.

But, float + float is not promoted to double, so I assume that the computer has specific float registers or similar operation instructions for float.
 Regarding the part about signed/unsigned registers and operations, I must admit that I'm not sure. I was planning to check on Compiler Explorer, but I haven't done that yet.
 

I don't know what you are referring to here.  But if you are using compiler explorer, I encourage you to look at the generated output for a wide range of targets, including 8-bit AVR, 16-bit MSP430, 32-bit ARM, and 64-bit x86.  Use gcc -O1 or -O2 in every case.  (Ignore Bart's ignorant blatherings about optimisation.)

I can frame the question like this: Does the computer make a distinction when adding signed versus unsigned integers? Are there specific assembly instructions for signed versus unsigned operations, covering all possible combinations?
 

Without specifying "the computer", the question is not particularly meaningful.  However, it's fair to say that on most processors most arithmetic operations are the same for signed and unsigned types as long as the operation is done at a size that the target supports (otherwise it may need sign or zero extensions if it only supports larger sizes).