[LLVMdev] LLVM Value Tracking Analysis

[Xin Tong]

It seems to me that LLVM does not do too much on value range analysis.
 i.e. what are the value constraints on a variable at a given point in
the program. The closest thing i can find is the ValueTracking API,
which can do some simple analysis on the value of a variables. Am I
missing something/Is there a plan on the implementation of a more
powerful value range analysis ?


Thanks


Xin