Kompilery a procesory

Popíšeme si optimalizace prováděné překladačem cc65, který je určen pro cross překlad programů do assembleru osmibitových mikroprocesorů MOS 6502. Taktéž se zmíníme o kombinaci C+asm.

O jazyku C se někdy s nadsázkou říká, že je to „přenositelný assembler“. Programy psané v C skutečně mohou být velmi efektivní, ovšem do značné míry záleží na kvalitě céčkového překladače a ještě více na vlastnostech mikroprocesoru.

Doposud nemá kompilátor gcc podporu pro -mtune=native a -mcpu=native na architektuře RISC-V. Jde o automatické rozpoznání procesoru, na kterém překládáte, a zapnutí patřičných optimalizací. Díky tomu výsledná binárka běží rychleji. Na všech…

Programy pro osmibitová Atari není nutné vyvíjet pouze s využitím plnohodnotných assemblerů. Použít lze i monitory, například tuzemský Turbo Monitor, s nímž se dnes seznámíme. V Turbo monitoru lze provádět ladění, úpravy her (nekonečný počet životů) atd.

Navážeme na článek o vývoji pro osmibitové mikropočítače Atari a ukážeme si použití slavného assembleru MAC/65, což po dlouhou dobu byl nejlepší assembler pro mikroprocesory MOS 6502.

Řídicí výbor GCC oznámil, že přijal zásady pro příspěvky v oblasti umělé inteligence, které doporučila pracovní skupina GCC pro politiku v oblasti umělé inteligence. „Očekáváme, že se tato politika bude i nadále vyvíjet, a budeme ji pravidelně…

Pouhá jednořádková změna v GNU Compiler Collection (GCC) a běh programů GCC kompilovaných zrychluje o zhruba 12 % na všech moderních procesorech AMD či Intel. Jde o zjištění Lili Cui z Intelu, která přišla na to, že cena za chybné predikce je…

Nejprve se budeme zabývat definicí a voláním různých variant funkcí, včetně jejich curryfikace. Dále si ukážeme, jak jsou zpracovávány chyby a na závěr se ve stručnosti seznámíme s definicí uživatelských rekurzivních datových typů.

Seznámíme se s projektem nazvaným LunarML. Jedná se o transpřekladač (transpiler) transformující zdrojové kódy zapsané v jazyce ML (resp. Standard ML) do programovacích jazyků Lua a JavaScript.

Moderní překladače při zpracování hodnot s plovoucí řádovou čárkou dodržují normu IEEE 754, a to včetně rozšíření této normy (IEEE 754–2008). To sice zajišťuje stabilitu, ale někdy je vhodné se od této normy odklonit.

LLVM IR je navržen tak, aby byl efektivně využitelný i na moderních architekturách mikroprocesorů. Prakticky všechny podporují operace typu SIMD a některé operace tak lze provádět se skalárními hodnotami i s vektory.

Dnes dokončíme popis všech skalárních instrukcí, které jsou podporovány v LLVM IR a současně které jsou využívány překladačem jazyka C. Ukážeme si práci s poli, výpočty s hodnotami typu half float a instrukci SELECT.

Šestnáct instancí Claude Opus 4.6 AI pracovalo na překladači jazyka C v Rustu, který by uměl zkompilovat linuxové jádro. Ten vznikl bez zásahu člověka za dva týdny. Na poplatcích za tokeny byla cena asi 20 tisíc dolarů. Zdrojový kód překladače má…

Popíšeme si další instrukce LLVM IR, tedy instrukce generované překladačem Clang. Bude se jednat o instrukce používané při výpočtech s FP hodnotami, dále konverzi dat, ale například i překladech rozvětvení.

Mezijazyky se často využívají také v oblasti sofistikovaných překladačů. Do této kategorie spadají překladače, které jsou součástí projektu LLVM, které využívají mezijazyk LLVM IR.

Moderní interpretry i překladače nepřekládají zdrojové kódy v jediném kroku, ale rozdělují celý proces do několika fází. Výsledkem třetí fáze je program reprezentovaný v mezijazyku (mezikódu) popř. v bajtkódu.

Ve WebAssembly je definováno asi dvě stě různých SIMD (vektorových) instrukcí. Dnes si popíšeme vybrané vektorové instrukce, z nichž některé umožňují provádění i dosti složitých operací (zhruba na úrovni SSE2).

Do specifikace WebAssembly byly přidány rozšiřující instrukce, mezi něž patří i SIMD (vektorové) operace. Překladače LLVM tyto instrukce podporují a navíc pro ně máme přímou podporu přímo v Clangu.

Začátkem roku se objevila snaha dostat ALGOL 68 do překladače GCC. V březnu však bylo rozhodnuto ALGOL 68 do GCC nepřidat. Vývoj však pokračoval a názor GCC se změnil asi před týdnem. Front end ALGOLu 68 ga68  tak nalezneme v GCC 16.1, který má…

Zaměříme se na instrukce sloužící pro řízení toku dat (control-flow). Ty jsou použity při překladu zdrojových kódů s běžným rozvětvením, vícenásobným rozvětvením, programovými smyčkami i s ternárními operátory.

Ve třetím článku o knihovně Pydantic si vysvětlíme, jakým způsobem je možné vygenerovat dokumentaci k definovanému modelu nebo i více modelům. Tento proces sice není složitý, ale vyžaduje několik triků.

Popíšeme si základní instrukce, které jsou ve WebAssembly definovány. Jedná se o aritmetické instrukce, konverzní operace, porovnání operandů a taktéž o instrukce určené pro manipulaci s obsahem zásobníku operandů.

Seznámíme se s technologiemi, na kterých je založen formát WebAssembly. Tento formát umožňuje spouštění aplikací v rámci webových prohlížečů popř. na serverech nebo jako součást složitějších aplikací uvnitř takzvaného sandboxu.

Před čtyřiceti lety vznikl Intel 80386, jenž způsobil revoluci v oblasti PC. Umožnil vznik nových operačních systémů (Linux, OS/2), prodloužil životnost aplikací pro DOS a způsobil vznik konkurence na poli x86.

David Lattimore z Austrálie vytvořil další rychlý linker Wild v Rustu. Máme tu již sice velmi rychlý linker Mold, který je napsaný v C++. Ale Mold nebude ani v budoucnu podporovat inkrementální linkování. To by měl později Wild umět. V úterý byl…

Navážeme na článek o zpracování skalárů i vektorů s prvky typu half float (FP16). Zabývat se budeme především „vektorovým“ rozšířením překladače GCC i překladem operací s vektory do instrukční sady A64 s rozšířením NEON.

Programátoři, zabývající se generativní AI či zpracováním přirozeného jazyka, se často setkávají s vektory obsahujícími prvky typu half float (FP16). Vysvětlíme si, jak se s těmito hodnotami pracuje na platformě AArch64.

V závěrečném článku o vestavěných funkcích pro nízkoúrovňové operace, které nabízí překladač GCC, si popíšeme funkce, které na základě předané hodnoty dokážou zjistit minimální počet bitů potřebných pro uložení této hodnoty.

Dnes si ukážeme další funkce vestavěné do GCC, jež slouží pro realizaci nízkoúrovňových operací. Zaměříme se na funkce umožnující ve vstupní hodnotě nalézt délku sekvence nulových bitů.

Popíšeme si vestavěné funkce nabízené překladačem GCC, které zajišťují výpočet bitových rotací a taktéž výpočet parity. Zajímat nás bude použitá technologie: způsob překladu těchto funkci do strojového kódu.