Lines Matching defs:after

56     AbstractDenseLattice *after) {
64 call, CallControlFlowAction::ExternalCallee, before, after);
72 return setToEntryState(after);
88 AbstractDenseLattice *latticeAfterCall = after;
107 AbstractDenseLattice *after = getLattice(point);
116 visitRegionBranchOperation(point, branch, after);
123 visitCallOperation(call, *before, after);
128 return visitOperationImpl(op, *before, after);
138 AbstractDenseLattice *after = getLattice(point);
153 return setToEntryState(after);
161 *before, after);
168 return visitRegionBranchOperation(point, branch, after);
171 return setToEntryState(after);
174 // Join the state with the state after the block's predecessors.
185 join(after, *getLatticeFor(
192 AbstractDenseLattice *after) {
203 // Otherwise, get the state after the terminator.
210 // 2. when visiting the parent operation (point = iter after parent op).
227 *before, after);
235 branch, regionFrom, /*regionTo=*/std::nullopt, *before, after);
237 join(after, *before);
282 CallOpInterface call, const AbstractDenseLattice &after,
295 call, CallControlFlowAction::ExternalCallee, after, before);
337 // Get the dense state after execution of this op.
338 const AbstractDenseLattice *after =
348 visitCallOperation(call, *after, before);
353 return visitOperationImpl(op, *after, before);
394 const AbstractDenseLattice *after =
397 CallControlFlowAction::ExitCallee, *after,
438 const AbstractDenseLattice *after;
440 after = getLatticeFor(point, getProgramPointAfter(branch));
451 after = getLatticeFor(point, getProgramPointBefore(successorBlock));
454 visitRegionBranchControlFlowTransfer(branch, branchPoint, successor, *after,