Skip to contentSkip to content
Verifizierte Zertifikate. On-Chain. Für immer.Mehr erfahren
Ewance
Anmelden
Cover image for SSA-Konversion und Sparse Conditional Constant Propagation auf LLVM IR
Code

SSA-Konversion und Sparse Conditional Constant Propagation auf LLVM IR

FreeVerified credential4 WochenAdvanced

Übersicht

Worum es bei diesem Projekt geht.

Implementiere SSA-Konversion mit Phi-Knoten und SCCP auf LLVM-IR-Modulen. Du erhältst ein verifizierbares Zertifikat.

Das Szenario

Das Chip-Startup nutzt LLVM als Hauptcompiler-Backend; das interne Compiler-Team hat 5 Personen und investiert pro Jahr rund 8 Wochen Engineering-Zeit in interne Lehrmaterialien.

CredentialBlockchain-anchored
ShareableLinkedIn-ready
LanguageEnglish
PaceSelf-paced

Das Briefing

Was Du tust und was Du zeigst.

Wie lassen sich SSA-Konversion und SCCP als wartbarer LLVM-Pass implementieren, der gegen die bestehende -O1-Pipeline plausibel vergleichbar ist?

Earning criteria — what you'll demonstrate

  • Dominanz-Frontier korrekt berechnen und für Phi-Platzierung anwenden
  • Worklist-Algorithmen für sparse Datenflussanalysen praktisch umsetzen
  • Lattice-Design (Meet-Operation, Monotonie) bewusst und verifizierbar gestalten
  • LLVM-Pässe gegen vorhandene Optimierungs-Pipelines testbar isolieren

Studienpassung

Wo dies in Dein Studium passt.

Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.

Advanced Compilers and Program Optimization

Master · Programming Languages

Strong alignment

This challenge maps to Advanced Compilers and Program Optimization at the Master level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.

Noch eine Sache

Du kannst ein Zertifikat bis Freitag in Deinem Lebenslauf haben.