Searched refs:B2Idx (Results 1 – 1 of 1) sorted by relevance
74 int B1Idx = getBlockIndex(B1), B2Idx = getBlockIndex(B2); in dominates() local75 assert(B1Idx != -1 && B2Idx != -1 && "Block is not in the trace!"); in dominates()76 return B1Idx <= B2Idx; in dominates()