Searched refs:haveNoReadsAfterWriteExceptSameIndex (Results 1 – 1 of 1) sorted by relevance
51 static bool haveNoReadsAfterWriteExceptSameIndex( in haveNoReadsAfterWriteExceptSameIndex() function94 if (!haveNoReadsAfterWriteExceptSameIndex(firstPloop, secondPloop, in verifyDependencies()101 return success(haveNoReadsAfterWriteExceptSameIndex( in verifyDependencies()