Searched refs:AllComparisonsWithNonZerosAreTautological (Results 1 – 2 of 2) sorted by relevance
5314 bool AllComparisonsWithNonZerosAreTautological = true; in prepareUREMEqFold() local5350 AllComparisonsWithNonZerosAreTautological &= TautologicalLane; in prepareUREMEqFold()5439 if (!ComparingWithAllZeros && !AllComparisonsWithNonZerosAreTautological) { in prepareUREMEqFold()
5020 bool AllComparisonsWithNonZerosAreTautological = true; in prepareUREMEqFold() local5056 AllComparisonsWithNonZerosAreTautological &= TautologicalLane; in prepareUREMEqFold()5145 if (!ComparingWithAllZeros && !AllComparisonsWithNonZerosAreTautological) { in prepareUREMEqFold()