767     auto m_V = m_CombineOr(m_Specific(V),  in computeKnownBitsFromAssume()  local
774     if (match(Arg, m_c_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
782                      m_c_ICmp(Pred, m_c_And(m_V, m_Value(B)), m_Value(A))) &&  in computeKnownBitsFromAssume()
794     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_And(m_V, m_Value(B))),  in computeKnownBitsFromAssume()
808                      m_c_ICmp(Pred, m_c_Or(m_V, m_Value(B)), m_Value(A))) &&  in computeKnownBitsFromAssume()
820     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_Or(m_V, m_Value(B))),  in computeKnownBitsFromAssume()
834                      m_c_ICmp(Pred, m_c_Xor(m_V, m_Value(B)), m_Value(A))) &&  in computeKnownBitsFromAssume()
849     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_Xor(m_V, m_Value(B))),  in computeKnownBitsFromAssume()
865     } else if (match(Arg, m_c_ICmp(Pred, m_Shl(m_V, m_ConstantInt(C)),  in computeKnownBitsFromAssume()
875     } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_Shl(m_V, m_ConstantInt(C))),  in computeKnownBitsFromAssume()
886                      m_c_ICmp(Pred, m_CombineOr(m_LShr(m_V, m_ConstantInt(C)),  in computeKnownBitsFromAssume()
887                                                 m_AShr(m_V, m_ConstantInt(C))),  in computeKnownBitsFromAssume()
898                                              m_LShr(m_V, m_ConstantInt(C)),  in computeKnownBitsFromAssume()
899                                              m_AShr(m_V, m_ConstantInt(C)))),  in computeKnownBitsFromAssume()
909     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
919     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
929     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
939     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
949     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()
958     } else if (match(Arg, m_ICmp(Pred, m_V, m_Value(A))) &&  in computeKnownBitsFromAssume()