Lines Matching refs:RC2
161 const BitTracker::RegisterCell &RC2, uint16_t B2, uint16_t W);
272 uint16_t B1, const BitTracker::RegisterCell &RC2, uint16_t B2,
275 // If RC1[i] is "bottom", it cannot be proven equal to RC2[i].
278 // Same for RC2[i].
279 if (RC2[B2+i].Type == BitTracker::BitValue::Ref && RC2[B2+i].RefI.Reg == 0)
281 if (RC1[B1+i] != RC2[B2+i])
