Hi, > I have seen that the analysis-results are stored in llvm-IR as annotations. no they are not. > For example <; preds = %entry> in basicBlock level and <; <i32*> [#uses=2]> for a variable. > > Is there any documentation about annotations? These are just comments - you can delete them and it won't matter. Ciao, Duncan.