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