Lines Matching defs:getLatticeFor

90         getLatticeFor(getProgramPointAfter(call.getOperation()),
111       getLatticeFor(point, getProgramPointBefore(op));
157         before = getLatticeFor(point, getProgramPointBefore(callsite));
185     join(after, *getLatticeFor(
202       before = getLatticeFor(point, getProgramPointBefore(op));
205       before = getLatticeFor(point, getProgramPointAfter(op));
244 AbstractDenseForwardDataFlowAnalysis::getLatticeFor(ProgramPoint *dependent,
319       *getLatticeFor(getProgramPointBefore(call.getOperation()), calleeEntry);
339       getLatticeFor(point, getProgramPointAfter(op));
395             getLatticeFor(point, getProgramPointAfter(callsite));
424     meet(before, *getLatticeFor(point, getProgramPointBefore(successor)));
440       after = getLatticeFor(point, getProgramPointAfter(branch));
451       after = getLatticeFor(point, getProgramPointBefore(successorBlock));
460 AbstractDenseBackwardDataFlowAnalysis::getLatticeFor(ProgramPoint *dependent,