2024 LLVM Developers' Meeting talk
Debugging optimized code is frustrating: often, variables are missing. But some of these variables could be salvaged. In this talk, we will present a new analysis that detects when variables are lost in the compiler. This has two advantages: It allows to focus work on fixing optimizer passes that lose the most debug variables, and, by running it on real-world code, it also makes it easy to find concrete test cases where variable debug info is lost. We will use the work done on passes in the Swift frontend as an example, where we were able to increase the number of variables available in LLDB using this approach.
YouTube video | Slides | Conference Website
EK is a mixfix dynamic functional strict and impure programming language.
Meaning:
- Mixfix: Functions and operators are the same thing, and can be defined as prefix, suffix, infix, or you can mix and match. How functions are called is completely customizable.
- Dynamically typed: Types are not known at compile time and have to be checked at runtime.
- Functional: The language is based on function composition. Everything is a function.
- Strict by default: Expressions are evaluated immediately, leading to less confusion around order of operations. Functions can choose to make arguments lazy, which is the case for
if and && among others, to support short circuiting. - Impure: Functions can have side effects, such as printing, freely.
Hello World
import std
fn main = print "Hello, World!"
Learn more...
GitHub Repository | Slides (French) | Getting Started with EK (Wiki)
GRPH is my first attempt at creating a programming language. There have been multiple iterations of the language, with multiple versions: - The first version was interpreted and implemented in Java - The second version was rewritten in Swift but still interpreted - The final version is still in Swift, reusing the frontend of the previous version, but is now compiled using LLVM
The main usage of GRPH is for procedural graphics animations, though it can also be used for general-purpose programming.
Hello World
log: "Hello, World!"
Learn more...
Compiler Source | Compiled-mode Standard Library Source | Interpreted-mode Graphical Runner App Source
