SSA-Konversion und Sparse Conditional Constant Propagation auf LLVM IR
Übersicht
Worum es bei diesem Projekt geht.
Du erhältst eine Ausgangssuite aus 20 LLVM-IR-Modulen (handgeschriebene Beispiele plus Auszüge aus internen DSP-Kerneln) und eine Spezifikation, welche LLVM-Pässe deaktiviert sein müssen, damit dein eigener Pass nicht überschrieben wird. Implementiere als LLVM-Pass: (1) die SSA-Konversion mit Phi-Knoten-Platzierung über Dominanz-Frontier-Berechnung, (2) SCCP über das Lattice aus Top / Konstante / Bottom. Validierung erfolgt durch lit-Tests (Standard-Test-Framework von LLVM) und durch Vergleich der erzeugten IR mit dem Resultat des bestehenden -O1-Pipelines. Liefere den Pass-Quellcode, lit-Tests, einen 6-seitigen Designbericht und ein 25-minütiges Workshop-Skript.
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.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Karrierewege, die das aufbaut
Kanonische RollenNoch eine Sache