SAW front end for the MIR language from rustc - View it on GitHub