¿8, 16 bits?¿Bug?¿Qué estoy haciendo mal? SOLUCIONADO

[RedPic]

Después de romperme la cabeza hasta la desesperación con un firmware que estoy haciendo he logrado recudir el problema a su mínima expresión y cuál no es mi sorpresa al detectar una multiplicación errónea  

Atecedentes: CCS C v.4.140

He realizado esta simple prueba con una más simple aún función:

Código: CSS

1. void special_function(void){
2.  
3.    int8  a = 80;
4.    int16 b = 0;
5.    
6.    b = a * 3;
7.    
8.    fprintf(DEBUG,"< a=%u b=%Lu>\r\n",a,b);
9. }

y el resultado que obtengo es ...

< a=80 b=65520>

La verdad es que alucino en colores y no doy crédito a lo que mis ojos están viendo ... he intentado cualificar las variables pero el resultado sigue igual ...

Código: CSS

1. (int16) b = (int8) a *  (int8) 3;

¿donde está mi esperado 240 (80*3)?

EDITO: SOLUCIONADO ... he cualifcado las variables de nuevo pero esta vez he metido una de 16 bits en el lado derecho de la operación ...

Código: CSS

1. (int16) b = (int8) a *  (int16) 3;

Y ahora si obtengo:

< a=80 b=240>

La verdad es que CCS C cada vez se está poniendo mas "delicado" ...  

[MerLiNz]

y no te funciona con:

b=(int16)a*3; ??

en realidad te deberia ir bien sin ponerle nada, pero si por ejemplo te saliese un resultado de 16bits multiplicando una variable de 8bits entonces el resultado seria de 8bits y seria erroneo, esto ocurre en la mayoria de compiladores, vamos que en XC de microchip lo debes poner sino resultado erroneo...

[RICHI777]

Después de romperme la cabeza hasta la desesperación con un firmware que estoy haciendo he logrado recudir el problema a su mínima expresión y cuál no es mi sorpresa al detectar una multiplicación errónea  

Atecedentes: CCS C v.4.140

He realizado esta simple prueba con una más simple aún función:

Código: CSS

1. void special_function(void){
2.  
3.    int8  a = 80;
4.    int16 b = 0;
5.    
6.    b = a * 3;
7.    
8.    fprintf(DEBUG,"< a=%u b=%Lu>\r\n",a,b);
9. }

y el resultado que obtengo es ...

< a=80 b=65520>

La verdad es que alucino en colores y no doy crédito a lo que mis ojos están viendo ... he intentado cualificar las variables pero el resultado sigue igual ...

Código: CSS

1. (int16) b = (int8) a *  (int8) 3;

¿donde está mi esperado 240 (80*3)?

EDITO: SOLUCIONADO ... he cualifcado las variables de nuevo pero esta vez he metido una de 16 bits en el lado derecho de la operación ...

Código: CSS

1. (int16) b = (int8) a *  (int16) 3;

Y ahora si obtengo:

< a=80 b=240>

La verdad es que CCS C cada vez se está poniendo mas "delicado" ...  

CCS y cualquier compilador ANSI haría lo mismo. Normalmente esto se llama promoción a enteros, el estandart dice que todos los operandos menores a enteros ( char, enum, etc ) deben ser promovidos a un entero antes de operar. Esto en un compilador de PC esta barbaro, en un compilador para micros de 8 bits es una locura !!!, debido a la cantidad de código de overhead que genera. Por eso que casi todos los compiladores para micros de 8 bits esta característica es deshabilitada por defecto.  Para manejar este caso, como has hecho, solamente es necesario castear uno de los operandos, nunca el resultado. En el caso de constantes ( define ) es necesario colocar el sufijo U o UL según corresponda ( unsgined o unsigned long )

Saludos !

[MerLiNz]

en XC eso no ocurre, mientras no se supere los 8bits >255 no habria problema ya que simplemente haria una multiplicacion de 8bits (a=80) por 8bits (3) y el resultado seria 8bits (240) otra cosa distinta es por ejemplo ponerle 100*3 entonces si saldria un resultado erroneo ya que el byte high no se tocaria y quedaria el byte low multiplicado unicamente.

[RALF2]

Una preguntita RedPic y si b es un int el resultado te daria 240?

[RedPic]

Una preguntita RedPic y si b es un int el resultado te daria 240?

Seguramente si, no he hecho la prueba pero el tema está en que da un resultado correcto de 8 bits sobre 16 bits si entre los operando hay al menos uno de ellos de 16 bits.

Quiero probar la solución de MerLiNz que cualifica la operación completa a ver qué tal.

Os comento el resultado  

[BrunoF]

Hola Diego!

El problema es que cuando haces 80 * 3, esto da un resultado de 240, y eso en un int8 (CON SIGNO) desborda el máximo [-128 a 127] y si bien termina dando el valor binario 240, en un int8 es visto como un -16, que al multiplicarse por 3 pasa a valer -48. El -48 en una variable int16 se almacena como: 65520, que aparece literalmente porque imprimes forzando Lu (SIN SIGNO).

El compilador intenta realizar los cálculos usando el menor posible tamaño de variable (en este caso int8). Necesitas castearlo para poder exigirle al compilador que adapte las variables antes de realizar los cálculos pertinentes.

Saludos
 

[RALF2]

Que tal amigos!
Ese problema mencionado por RedPic, ya fue resuelto (por lo menos) en la ultima version del CCS!  

Saludos

[MerLiNz]

Muy cierto lo que dice brunoF no me di cuenta que era signed