Ne, tady se ma vzdy provest jednou AND a pak jednou zjisteni nenulovosti
nebo porovnani s konstantou. Oboji jsou dve instrukce, ale to jsem ani
probirat nechtel.
Jde o casove kritickou aplikaci, kde mi vadi pretypovani na U16 a tim
pridani dalsich zbytecnzch instrukci, ktere zdrzuji.
Opravdu nikdo nevi?
To jsem si mohl myslet. Na me otazky tu na konfere jeste nikdo nemel
odpoved :-(
Tomas
Ondrej napsal(a):
> Problém je možná v tom, že jde o dva různé příkazy (neumím moc asm, tak
> je to možná blbost):
>
> if (3 & Status) - platí, pokud je první NEBO druhý bit 1
>
> if (3 == (3 & Status)) - platí, pokud je první A ZÁROVEŇ druhý bit 1
>
> OH
>
>
> Tomáš Halabala napsal(a):
>> Ahoj,
>>
>> dokaze mi nekdo z pritomnych vysvetlit, proc GCC pretypovava 8-bitový
>> výraz v podmínce if na U16 bez ohledu na cast? Jak docilim toho, aby se
>> testovala nenulovost puvodni 8-bitove promenne bez rozsireni na 16-bitu?
>>
>> Uvedu priklad:
>>
>> typedef unsigned char U8;
>>
>> static U8 Status;
>>
>> void fce(void)
>> {
>> if (3 & Status) { ...
>> ..
>> }
>>
>> Vysledek:
>> 170a: 80 91 11 01 lds r24, 0x0111 // Status->r24
>> 170e: 90 e0 ldi r25, 0x00 ; 0
>> 1710: 83 70 andi r24, 0x03 ; 3
>> 1712: 90 70 andi r25, 0x00 ; 0
>> 1714: 89 2b or r24, r25
>> 1716: 69 f1 breq .+90
>>
>> Bez ohledu na formu zapisu podminky. Stejny vysledek vynikne i pri:
>> if ((U8)((U8)(3) & (U8)(Status)) { ..
>>
>> K pretypovani naopak nedojde, jestlize je vysledny vyraz jeste porovnan
>> s jinou konstantou, napr takto:
>>
>> if (3 == (3 & Status)) { ..
>>
>> Vysledek vypada takto:
>>
>> 170a: 80 91 11 01 lds r24, 0x0111
>> 170e: 83 70 andi r24, 0x03 ; 3
>> 1710: 83 30 cpi r24, 0x03 ; 3
>> 1712: 69 f5 brne .+90 ;
>>
>> Na druhou stranu v jinem miste programu, kde je situace uplne stejna,
>> pouze s jinou promennou Var2, ktera se v tom okamziku nachazi v registru
>> r22, protoze byla predana jako parametr funkce takto:
>>
>> void fce2( const U8 Var1, const U8 Var2 )
>> {
>> if (3 == (3 & Var2)) { ...
>> ...
>>
>> k pretypovani opet dojde a test probehne nasledovne:
>> 1238: c6 2f mov r28, r22 // uschovani pro dalsi pouziti
>> 123a: d0 e0 ldi r29, 0x00 ; 0
>> 123c: ce 01 movw r24, r28
>> 123e: 83 70 andi r24, 0x03 ; 3
>> 1240: 90 70 andi r25, 0x00 ; 0
>> 1242: 03 97 sbiw r24, 0x03 ; 3
>> 1244: 31 f4 brne .+12 ;
>>
>>
>> K pretypovani nedojde pokud je konstanta rovna nejake mocnine dvou. To
>> je spravne, provede se test daneho bitu, ale proc v jinem pripade k
>> pretypovani dojde?
>>
>> Je toto chovani normalni a je to vlastnost, ktera se neda ovlivnit nebo
>> to lze ovlivnit, ale ja nevim jak? Uz me nebavi psat kazdou kravinu v asm.
>>
>> Tomas