Hi Arushi, > Given a LLVM bitcode file, is there any way of knowing which type declarations > actually came from the user code and what transformations were made by the front > end. not really. However debug info may give you some of the information you are looking for. Ciao, Duncan.