@hackage / linearscan

Linear scan register allocator, formally verified in Coq