Home | History | Annotate | Download | only in Analysis

Lines Matching full:symbolic

220 /// DecomposeGEPExpression - If V is a symbolic pointer expression, decompose it
221 /// into a base pointer with a constant offset and a number of scaled symbolic
224 /// The scaled symbolic offsets (represented by pairs of a Value* and a scale in
295 // Compute the (potentially symbolic) offset in bytes for this index.
369 /// pointers. Subtract the GEP2 indices from GEP1 to find the symbolic
913 // symbolic difference.