[LLVMdev] annotations for optimization?
giacomo.tag at gmail.com
Tue Nov 13 08:29:17 PST 2012
As a research project we are trying to figure out how to insert some
annotations in the compiler in order to optimize the code. For example:
/*@ ensures x == 5 */
where the comment is written in
The example is trivial, but gives the idea, if LLVM is be able to read the
annotation, it would optimize the code removing the if below.
The question is: does exist an annotation language to do that? if it
doesnt't exist, what should be modified in order to carry the information
of the annotations into LLVM? In other words, how can we let LLVM "know"
about these assertion?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev