SSA-Konversion und Sparse Conditional Constant Propagation auf LLVM IR
Ü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.
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.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
- Ssa
Apply ssa to solve real industry problems and demonstrate production-level capability.
- Dataflow Analysis
Apply dataflow analysis to solve real industry problems and demonstrate production-level capability.
- Constant Propagation
Apply constant propagation to solve real industry problems and demonstrate production-level capability.
- Llvm
Apply llvm to solve real industry problems and demonstrate production-level capability.
- Cpp
Apply cpp to solve real industry problems and demonstrate production-level capability.
- Compiler Testing
Apply compiler testing to solve real industry problems and demonstrate production-level capability.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Noch eine Sache