title: Conversion with LLVM
body: <p>I was working on some project to convert a C+ACSL language into another language by converting first into LLVM IR and then convert it into another language. I cannot tell about that because it is related to a group of some people who do not want to disclose it, so we will not talk about it, but it is very close to C. I have completed the work till LLVM IR and also have written to convert it back, with the help of CBackend, but I really don't know how to use it, means how should I run that into my LLVM IR. Is there a command in LLVM for doing it, or something which can help me.</p>
  
  <p><strong>UPDATE 1</strong>
  My input is LLVM IR and ouput is going to be a C like code, not C as it will be following syntax different from C.</p>