Granted I don't work on the compiler, but IR transforms are usually to make computations easier, so I'm assuming FIR makes parts of analysis and type checking easier, while IR makes codegen more straightforward since they are doing very different things