Hi all, I've posted a thread on Discourse outlining my GSoC 2025 proposal, which focuses on documenting and improving GHC's Cmm backend. It covers two possible directions (LLVM and SSA), along with some refinements I've been exploring. You can find the full details here: 👉 https://discourse.haskell.org/t/gsoc-2025-documenting-and-improving-cmm/1187... Feedback is very welcome! Best regards, Diego Antonio Rosario Palomino