[LLVMdev] Tracing C conditions to assembly branches

[David Gloe]

Hello,

For a project I am working on, I would like to be able to trace 
conditions in C source code to branches in the output. This could be 
done through debugging information, assembly comments, a separate 
compiler output file, etc.

For example, if we have this condition 'if ((a == 5) || (b == 1 && c == 
0))' in our C source on line 65, I would like to be able to correlate 
the branch instruction in the disassembly of the executable with each 
condition. The output could let me correlate, say, a beq at location 
83ce with test.c line 65 condition 1.

Is there an easy way with LLVM to add the compiler output to let us do this?
Our current method is compiling with debug information, taking an 
objdump with -dl, and guessing (based on how we think the compiler 
works) which branch statement represents each condition.

Any help would be appreciated.

Thanks,
David Gloe

-- 
David Gloe
Masters Student, Computer Science
University of Minnesota