Změna podmínky FOR cyklu zdvojnásobí velikost programu

[Darthy]

Je to spíše teoretický dotaz, ale dělal jsem vlastní řízení na programovatelný LED pásek WS2812 a chtěl jsem zmenšit velikost celého programu na minimum. Všiml jsem si že mám spoustu for cyklů s int místo uint8_t. Tak jsem všechny přepsal. Kód ale přestal fungovat. No chyba byla ve dvou cyklech kde jsem měl obrácený for. Protože jsem počítal od 7 do nuly a unsigned int nemá zápornou hodnotu, nebyla splněna podmínka pro ukončení cyklu.
Původní kód zabíral 1380 bytů

Kód: Vybrat vše

uint8_t reverseBits(uint8_t _byte) {
  uint8_t _out = 0;
  for (int i = 7; i >= 0; i--) {
    //
  }
  return _out;
}

void sendByte(uint8_t _byte, uint8_t digit) {
  for (int i = 7; i >= 0; i--) {
    // sending byte
  }
}

Pak jsem přepsal teda for cykly na unsigned, velikost se zmenšila na 680 bytů, ale kod nefungoval

Kód: Vybrat vše

uint8_t reverseBits(uint8_t _byte) {
  uint8_t _out = 0;
  for (uint8_t i = 7; i >= 0; i--) {
    //
  }
  return _out;
}

void sendByte(uint8_t _byte, uint8_t digit) {
  for (uint8_t i = 7; i >= 0; i--) {
    // sending byte
  }
}

Chyba byla v té podmínce, kde jsem musel smazat '=' znaménko v podmínce pro ukončení. A samozřejmě zvýšit počáteční hodnotu. Kód má ovšem 1372 bytů

Kód: Vybrat vše

uint8_t reverseBits(uint8_t _byte) {
  uint8_t _out = 0;
  for (uint8_t i = 8; i > 0; i--) {
    //
  }
  return _out;
}

void sendByte(uint8_t _byte, uint8_t digit) {
  for (uint8_t i = 8; i > 0; i--) {
    // sending byte
  }
}

Pak jsem se zamyslel proč počítám od 7 do nuly, když nepoužívám 'i' nikde v kódu a tak jsem přepsal podmínku na běžnou od 0 do 7, použil uint8_t se znaménkem '>=', ale kód měl zase 1372 bytů. Mohl by mi prosím někdo objasnit kde je zakopaný pes?
Má úvaha je taková, že záleží na tom kolikrát jsou funkce ve výsledném kódu volány. Změnou znaménka přidám několik řádků zkompilovanému kódu a pak čím víckrát se objeví volání té funkce tím větší bude výsledný kód. Tato úvaha má ale jeden háček, na co by pak byly funkce, kdyby záviselo na tom kolikrát ji volám...ve zkompilovaném kódu by se přeci mělo jen přidat něco jako jmp instrukce? Jde o AVR C na ATTiny84. Změnilo by se něco kdybych udělal z řízení LED pásku samostatnou knihovnu?
Mohl bych si sice projet zkompilovaný assembler kód, ale nemyslím si že bych tomu moc rozuměl, s tím mám jen omezené znalosti.

[samec]

Počet volanií nemá vplyv na veľkosť kódu, pokiaľ nie je prekročený dátový typ počítadla. V druhom (nefunkčnom) prípade kompilér zoptimalizoval kód, zrejme vyhodil celý cyklus for, keďže podmienka bola konštantná. Zmenšenie dátového typu z int na uint8 nemá vplyv na veľkosť progrmu, ak je procesor natívne 32 bitový.

[ZdenekHQ]

To by mě zajímalo, co překladač provádí, když z těch pár řádků vyrobí takovej špalek kódu...

Kde jsou ty časy, kdy se závodilo o nejkratší kód, dneska se zdá, že soutěž probíhá spíš opačným směrem.

[rnbw]

Tipujem nieco ako -funroll-all-loops. Ked je slucka nekonecna, unrolling sa nekona.

[Darthy]

Rozumím, takže jde o funkci kompilátoru, který vynechá nekonečnou smyčku. Díky

V případě 8bit ATTiny záměna int na uint8 udělá velký rozdíl.

[rnbw]

Nemoze ju vynechat. Ale nekonecna slucka sa neda "rozbalit", kod je tam len raz a na konci je jmp na zaciatok.

Skus zmenit v slucke rozsah zo 7 na 6. Ak sa zmeni velkost kodu, tak je jasne, ze kompilator slucky rozbaluje.

[elnovy]

Napiš ten program v assembleru pomocí studia 7.0. a máš to nejkratší
sám jsem dlouho psal v assembleru a nyní když umím i Cpp se jen divím co
arduino neumí nebo nechce umět to potom člověk kouká jako husa do flašky