Displaying 1 result from an estimated 1 matches for "092bea36".
Did you mean:
0092ea36
2009 May 20
3
[LLVMdev] llvm-java
Hi Fernando,
Thanks for the very clear explanation.
Fernando Magno Quintao Pereira wrote:
> simulation: it does not add instructions to LLVM IR. Instead, it builds an
> interval representation for each variable. Each interval represents a
> variable in SSI form, and will be associated to one or more constraints,
> like v > 10, or v > a.length. A query will have to find the