fact_manager.cpp - OpenGrok cross reference for /external/deqp-deps/SPIRV-Tools/source/fuzz/fact

Lines Matching refs:IsEquivalent
599               if (synonymous_.IsEquivalent(*equation.operands[1],  in AddEquationFactRecursive()
606               if (synonymous_.IsEquivalent(*equation.operands[0],  in AddEquationFactRecursive()
623               if (synonymous_.IsEquivalent(*equation.operands[1],  in AddEquationFactRecursive()
644               if (synonymous_.IsEquivalent(*equation.operands[0],  in AddEquationFactRecursive()
651               if (synonymous_.IsEquivalent(*equation.operands[1],  in AddEquationFactRecursive()
662               if (synonymous_.IsEquivalent(*equation.operands[0],  in AddEquationFactRecursive()
680               if (synonymous_.IsEquivalent(*equation.operands[0],  in AddEquationFactRecursive()
687               if (synonymous_.IsEquivalent(*equation.operands[1],  in AddEquationFactRecursive()
697               if (synonymous_.IsEquivalent(*equation.operands[0],  in AddEquationFactRecursive()
936               synonymous_.IsEquivalent(dd1_prefix, dd2_prefix)) {  in ComputeClosureOfFacts()
1071   if (synonymous_.IsEquivalent(dd1, dd2)) {  in MakeEquivalent()
1218          synonymous_.IsEquivalent(data_descriptor1, data_descriptor2);  in IsSynonymous()