search for: thoeretically

...al code for that target, can it be proven that the LLVM IR provides the necessary and sufficient abstractions from which optimal code can be generated? Is there a theoretical basis for the constitution of the IR? If I "raise" optimized assembly language code into LLVM IR, is it possible (thoeretically, provably) to generate equal, or more, optimal assembly code from it? Wouldn't this involve some sort of formal representation of the target's architecture and optimization rules? Is there any literature related to this? Thanks a lot in advance! -Mahadevan.