An interesting topic, did not know there is such a comprehensive work on it. My initial (lazy) take was to reconstruct expression trees out of an SSA, reorderin

An interesting topic, did not know there is such a comprehensive work on it. My initial (lazy) take was to reconstruct expression trees out of an SSA, reordering where appropriate (with no side effect order changes). I only did "register allocation" for the remaining stack-allocated slots then.