Jak działa inkrementacja a jak działa bitowa alternatywa

Question

Witajcie!

Uczę się C++ z nową symfonią i trochę się bawię na różnych głupich przykładach aby zrozumieć to i owo. Teraz robię własny generator liczb losowych budujący wyrazy z pojedynczych bitów :) Naszło mnie jednak pytanie wręcz egzystencjalne i nie mam pojęcia do którego działu je skierować. A pytanie brzmi:

Zakładając że ostatni bit w zmiennej jest zawsze zerem, to jaka jest wtedy różnica pomiędzy zwykłą inkrementacją: ++ a bitową alternatywą: |1 ?

Chodzi mi nie o wynik działania, ale o to jak dokładnie kompilator (oraz ALU procesora) je przeprowadzi. Pytam się czy jest jakaś różnica pomiędzy dodawaniem a inkrementacją? Albo między inkrementacją a opisanym wyżej przypadkiem?

Wiem, że bitor porówna każdą parę bitów i zwróci dodatkowy wyraz. Jak jednak przebiega operacja dodawania? Czy jest bardziej złożona (zasobożerna) od bitowej alternatywy?

Oraz:

Czy inkrementacja to dosłownie suma wyrazu w zmiennej oraz stałej dosłownej reprezentowanej przez pojedynczy bit na końcu? A może owo działanie jest przeprowadzane jakoś bardziej pomysłowo (szybciej)?

Szukałem co nieco... Ale większość opisów mówi tak: "Procesor posiada jednostkę która służy do dodawania". Koniec opisu. 

Ktoś ma jakiś ciekawy link lub źródło gdzie owe działania byłyby opisane dokładniej od strony "kuchni"? Byłbym wdzięczny! :)

Pozdrawiam!


 

Comments

https://godbolt.org/ sprawdź sam, ale podpowiem, że przy optymalizacji kompilatorów, to żadna.

---

Wow, nie widziałem jeszcze takiego kompilatora. Serdecznie dziękuję!

Answer 1

Inkrementacje musisz rozważać w dwóch wersjach: preinkrementacja i postinkrementacja. Teoretycznie obie instrukcje powinny wygenerować inny kod, ale w zależności od sposobu użycia kompilator może zoptymalizować postinkrementację do preinkrementacji. Preinkrementacja (jeżeli nie zostanie przeciążona) to po prostu dodanie 1 do zmiennej.
Alternatywa bitowa nie sprawdza wartości bitów aby się wykonać.
@tkz dał ci świetny link do sprawdzania do jakiej postaci zostanie skompilowany twój kod. Polecam porównać wynik bez optymalizacji jak i z włączonymi optymalizacjami (flagi -O1, -O2 lub -O3).

Comments

O tych dwóch sposobach inkrementacji już wiedziałem natomiast byłem po prostu ciekaw jak to wszystko się kompiluje na kod programowy. Powyższy link to fajne narzędzie i zaraz wszystko sobie potestuję. Dziękuję za odpowiedź :) Zamykam.