Hey everyone, I am currently working on adding named address spaces support to libgccjit which would work similar to how alignment is currently implemented. One major roadblock I found though is that address spaces are only actually named using a function from the c family frontend (c_register_addr_space), meaning we either have to use the 4-bit target-specific addr_space_t value or make the targets somehow register their address space names also to us. Am not sure how feasible the second option is, so we might have to go with option one and expect the library's user to know the correct addr_space_t values for their target, even though the second option is way more portable.
Am open for thoughts, though. Rain