714     auto m_V = m_CombineOr(m_Specific(V),  in computeKnownBitsFromAssume()  local
721     if (match(Arg, m_c_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
729                      m_c_ICmp(Pred, m_c_And(m_V, m_Value(B)), m_Value(A))) &&  in computeKnownBitsFromAssume()
741     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_And(m_V, m_Value(B))),  in computeKnownBitsFromAssume()
755                      m_c_ICmp(Pred, m_c_Or(m_V, m_Value(B)), m_Value(A))) &&  in computeKnownBitsFromAssume()
767     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_Or(m_V, m_Value(B))),  in computeKnownBitsFromAssume()
781                      m_c_ICmp(Pred, m_c_Xor(m_V, m_Value(B)), m_Value(A))) &&  in computeKnownBitsFromAssume()
796     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_Xor(m_V, m_Value(B))),  in computeKnownBitsFromAssume()
812     } else if (match(Arg, m_c_ICmp(Pred, m_Shl(m_V, m_ConstantInt(C)),  in computeKnownBitsFromAssume()
822     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_Shl(m_V, m_ConstantInt(C))),  in computeKnownBitsFromAssume()
833                      m_c_ICmp(Pred, m_CombineOr(m_LShr(m_V, m_ConstantInt(C)),  in computeKnownBitsFromAssume()
834                                                 m_AShr(m_V, m_ConstantInt(C))),  in computeKnownBitsFromAssume()
845                                              m_LShr(m_V, m_ConstantInt(C)),  in computeKnownBitsFromAssume()
846                                              m_AShr(m_V, m_ConstantInt(C)))),  in computeKnownBitsFromAssume()
856     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
866     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
876     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
886     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
896     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
905     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()