There's actually been imperative extensions and prolog compilers for it. Here you go:

https://homes.cs.washington.edu/~emina/pubs/alloy.mscs13.pdf

Also, for ASM's, the most interesting one I've seen is certified compiler project that is taking a lot less lines of code than CompCert:

https://www.complang.tuwien.ac.at/andi/papers/hipeac14.pdf