Hugo Devillers

The SVM code in `master` assumes SVM support is only available when the major version is two, and assumes fine-grained capabilities (notably by using host memcpy to implement all copies)....

GPU offloading support validated with Rodent, parallel/spawn/fiber support needs to be checked

Moving forward, we're using the SPIR-V backend to target all of LevelZero, OpenCL and Vulkan. See also https://github.com/AnyDSL/runtime/pull/62

Addresses https://github.com/AnyDSL/thorin/issues/178, https://github.com/AnyDSL/thorin/issues/137, https://github.com/AnyDSL/thorin/issues/95 and probably many others ! This implements lambda lifting and closure conversion in one package. This is mature enough to compile aobench and all the new...

Make it explicit which parameter is the return address

2

Revival of the previous "direct-style" changes in https://github.com/AnyDSL/thorin/pull/138. Unlike #138, this does not make function returns first-class values. Instead, we should have a pass that lowers captured returns to longjmp,...

Writing some tests to diagnose closure conversion without external functions, I modified the sample from: https://github.com/AnyDSL/thorin/issues/177 and found the LLVM codegen fails to emit the function part (it declares it,...

I found an unpleasant parser bug: ```rust if (a > 0) { bar() } else { 0 } + 5 ``` parses like ```rust if (a > 0) { bar()...

Thorin uses implicit scoping, where functions and continuations have a scope that corresponds to the live, transitive users of their parameters. This has interesting consequences: in the example below, in...

Reviving some more code from my abandoned 2023 Thorin branch. This test suite aggressively validates closure conversion, lifting and other fragile behavior in Thorin. That is to say, on thorin's...