[LLVMdev] Conditional Predicate Extraction

[Cédric Venet]

> The questions are:
> 1. Is it possible to somehow intersperse IR and highlevel code of the
program (in C or C++).

> Suggestions and answers are welcome.

You can probably use debug information (generated by llvm gcc on intrinsic
form, see MachineModuleInfo.h) to identify the source ligne for a condition
and the relation between the temporary llvm variable and the high level
language variable.

Perharps it isn't very reliable but I don't see other solution with llvm.
(But I am just a novice).

If you are just doing flow graph analysis, you can consider doing it at the
C/C++ level. Clang (which only support most of C at the moment) as a little
framework for this kind of analysis and it will probably be expended.

Just my 2cents

Regards,

-- 
Cédric