Add documentation on how to construct IR using C code