Lines Matching refs:isValidAssumeForContext
413 static bool isValidAssumeForContext(Value *V, const Query &Q) {
466 bool llvm::isValidAssumeForContext(const Instruction *I,
469 return ::isValidAssumeForContext(const_cast<Instruction *>(I),
702 if (Arg == V && isValidAssumeForContext(I, Q)) {
722 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
730 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
743 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
756 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
769 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
782 isValidAssumeForContext(I, Q)) {
798 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
814 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
824 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
836 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
848 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) {
857 Pred == ICmpInst::ICMP_SGE && isValidAssumeForContext(I, Q)) {
867 Pred == ICmpInst::ICMP_SGT && isValidAssumeForContext(I, Q)) {
877 Pred == ICmpInst::ICMP_SLE && isValidAssumeForContext(I, Q)) {
887 Pred == ICmpInst::ICMP_SLT && isValidAssumeForContext(I, Q)) {
897 Pred == ICmpInst::ICMP_ULE && isValidAssumeForContext(I, Q)) {
906 Pred == ICmpInst::ICMP_ULT && isValidAssumeForContext(I, Q)) {