559     auto m_V = m_CombineOr(m_Specific(V),  in computeKnownBitsFromAssume()  local
566     if (match(Arg, m_c_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
574                      m_c_ICmp(Pred, m_c_And(m_V, m_Value(B)), m_Value(A))) &&  in computeKnownBitsFromAssume()
587     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_And(m_V, m_Value(B))),  in computeKnownBitsFromAssume()
602                      m_c_ICmp(Pred, m_c_Or(m_V, m_Value(B)), m_Value(A))) &&  in computeKnownBitsFromAssume()
615     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_Or(m_V, m_Value(B))),  in computeKnownBitsFromAssume()
630                      m_c_ICmp(Pred, m_c_Xor(m_V, m_Value(B)), m_Value(A))) &&  in computeKnownBitsFromAssume()
646     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_Xor(m_V, m_Value(B))),  in computeKnownBitsFromAssume()
663     } else if (match(Arg, m_c_ICmp(Pred, m_Shl(m_V, m_ConstantInt(C)),  in computeKnownBitsFromAssume()
674     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_Shl(m_V, m_ConstantInt(C))),  in computeKnownBitsFromAssume()
686                      m_c_ICmp(Pred, m_CombineOr(m_LShr(m_V, m_ConstantInt(C)),  in computeKnownBitsFromAssume()
687                                                 m_AShr(m_V, m_ConstantInt(C))),  in computeKnownBitsFromAssume()
699                                              m_LShr(m_V, m_ConstantInt(C)),  in computeKnownBitsFromAssume()
700                                              m_AShr(m_V, m_ConstantInt(C)))),  in computeKnownBitsFromAssume()
711     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
722     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
733     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
744     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
755     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
765     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()