Lines Matching refs:C1
361 ConstantFP *C0, *C1;
367 if ((C1 = dyn_cast<ConstantFP>(Opnd1)) && C1->isZero())
379 if (!C1)
382 Addend.set(C1, nullptr);
1004 const APInt *C1 = nullptr, *C2 = nullptr;
1012 if (match(RHS, m_Xor(m_Value(Y), m_APInt(C1))))
1015 if (match(X, m_Xor(m_Value(Y), m_APInt(C1)))) {
1016 // X = XOR(Y, C1), Y = OR(Z, C2), C2 = NOT(C1) ==> X == NOT(AND(Z, C1))
1017 // ADD(ADD(X, 1), RHS) == ADD(X, ADD(RHS, 1)) == SUB(RHS, AND(Z, C1))
1018 if (match(Y, m_Or(m_Value(Z), m_APInt(C2))) && (*C2 == ~(*C1))) {
1019 Value *NewAnd = Builder->CreateAnd(Z, *C1);
1021 } else if (match(Y, m_And(m_Value(Z), m_APInt(C2))) && (*C1 == *C2)) {
1022 // X = XOR(Y, C1), Y = AND(Z, C2), C2 == C1 ==> X == NOT(OR(Z, ~C1))
1023 // ADD(ADD(X, 1), RHS) == ADD(X, ADD(RHS, 1)) == SUB(RHS, OR(Z, ~C1))
1024 Value *NewOr = Builder->CreateOr(Z, ~(*C1));
1035 if (match(RHS, m_Xor(m_Value(Y), m_APInt(C1))))
1039 // LHS = XOR(Y, C1), Y = AND(Z, C2), C1 == (C2 + 1) => LHS == NEG(OR(Z, ~C2))
1041 if (match(LHS, m_Xor(m_Value(Y), m_APInt(C1))))
1042 if (C1->countTrailingZeros() == 0)
1043 if (match(Y, m_And(m_Value(Z), m_APInt(C2))) && *C1 == (*C2 + 1)) {
1393 Value *A1, *B1, *C1, *A2, *B2, *C2;
1394 if (match(LHS, m_Select(m_Value(C1), m_Value(A1), m_Value(B1))) &&
1396 if (C1 == C2) {
1398 Value *A, *B, *C=C1;