Funktionen

An MLIR Dialect for the Brainfuck Programming Language

MLIR is an extensible Intermediate Representation (IR) as the basis for compiler infrastructure. Different from other IR (for example the LLVM language), MLIR has dialects to support domain specific compilers and languages.

Brainfuck is a very simple, but Turing complete programming language.

In this work we want to explore the applicability and pecularities and especially the potential of MLIR for future works in other domains. The task is to develop a Brainfuck-specific MLIR dialect to gather experience.

This work can be offered as a Master or Bachelor thesis.

Zusätzliche Informationen

• Compilers: Principles, Techniques, and Tools
• LLVM

Voraussetzungen

Desirable is experience with any IR, assembly programming and/or compiler infrastructure.

Überblick der (möglichen) Aufgaben

• Getting acquinted with MLIR and Brainfuck
• Design of an MLIR dialect for Brainfuck
• A frontend to emit the dialect
• A backend to lower the dialect to LLVM IR
• Optimization passes for the Brainfuck MLIR dialect

Organisatorisches

• Aufgabensteller: Prof. Dr. D. Kranzlmüller
• Dauer der Bacheorarbeit: 3 Monate
• Anzahl Bearbeiter: 1
• Betreuer: Pascal Jungblut