Hugo Devillers

Most likely related to https://github.com/AnyDSL/thorin/issues/128, let's consolidate discussion there

The way the runtime support code is written, it expects the body to be a global containing a continuation (`lift_builtins.cpp` is supposed to take care of that), but because of...

So this is actually type-sound, as the type of `continue` is `fn() -> !`, with `!` being the bottom (or more specifically, no-return) type. Because `continue` never returns, it also...

Wrote a fix (https://github.com/AnyDSL/artic/commit/6cf219d51bd49336e3cf6b1b7e90445c1765e8d7), the output now looks sensible: ``` test_6: fn[mem, fn[mem]] = { test_6: fn[mem, fn[mem]] = while_head_15(test_7[test_6]) } while_head_15: fn[mem] = { while_head_15: fn[mem] = branch_true_25() }...

I think so, I did write a fix, sadly the specifics are fuzzy to me. Since there was no activity afterwards, I guess that did it! Another issue can be...

I just debugged this, basically `handle_failure` looks like a basic block to Artic because it does not return (it calls throw that does not return either), but it is later...

Sorry, that's what I get for pushing a "trivial" fix, on a Friday no less! I rolled back the patch and pushed again. I will open another issue on Monday...

For thread IDs in particular, I think it's good that they are functions, because at the IR level that's what they have to be, you might need to generate arbitrary...

> So that may be looking at the Pi's VPU and not the Radeon GPU. neither: ``` deviceType = PHYSICAL_DEVICE_TYPE_CPU deviceName = llvmpipe (LLVM 11.0.1, 128 bits) ``` this is...

additionally I believe (don't quote me on that) `radv` only supports the `amdgpu` DRM driver, so if you get something like a hd 7750, you'll need to use the `amdgpu`...