Hideto Ueno is a 4th-year undergraduate student of the Department of Information Science at the University of Tokyo(~ March 2020). I’ll enter graduate school at the University of Tokyo (April 2020 ~) and do research about theory of programming language, compiler and model checking.
The Attributor fixpoint iteration framework is a new addition to LLVM that, first and foremost, offers powerful inter-procedural attribute deduction. Because of abstracted interfaces and the provided infrastructure, it is now much easier to add and deduce new attributes.
Over this summer, I basically worked on adding concrete implementations for attribute deduction in the Attributor framework.
mentor: Johannes Doerfert
Sorry for poor comment or description in the repositories…
It is a mincaml comiler which emits LLVM-IR. Mincaml is a ML-like functional language for educational purpose. (Details for mincaml)
It is Othello program. Bit-board and Alpha-beta pruning search are implemented.
This is interpreter for subset of prolog.
Cpu experiment is a course in the University of Tokyo that make CPU and compiler. You can find more information about CPU experiment in this. ELMO is our original architecture in CPU experiment. I use LLVM Backend as my compiler backend. This converts LLVM-IR into ELMO assembly. More precise post(Japanese).