Home
last modified time | relevance | path

Searched refs:isSubsetOf (Results 1 – 25 of 33) sorted by relevance

12

/llvm-project-15.0.7/llvm/unittests/Support/
H A DKnownBitsTest.cpp225 EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero)); in TEST()
226 EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One)); in TEST()
238 EXPECT_TRUE(ComputedUDiv.One.isSubsetOf(KnownUDiv.One)); in TEST()
242 EXPECT_TRUE(ComputedURem.One.isSubsetOf(KnownURem.One)); in TEST()
246 EXPECT_TRUE(ComputedSRem.One.isSubsetOf(KnownSRem.One)); in TEST()
249 EXPECT_TRUE(ComputedShl.Zero.isSubsetOf(KnownShl.Zero)); in TEST()
250 EXPECT_TRUE(ComputedShl.One.isSubsetOf(KnownShl.One)); in TEST()
275 EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero)); in TEST()
276 EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One)); in TEST()
301 EXPECT_TRUE(ComputedAbs.Zero.isSubsetOf(KnownAbs.Zero)); in TEST()
[all …]
/llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/
H A DInstCombineSimplifyDemanded.cpp42 if (C->isSubsetOf(Demanded)) in ShrinkDemandedConstant()
197 if (DemandedMask.isSubsetOf(Known.Zero | Known.One)) in SimplifyDemandedUseBits()
269 if (DemandedMask.isSubsetOf(RHSKnown.Zero)) in SimplifyDemandedUseBits()
271 if (DemandedMask.isSubsetOf(LHSKnown.Zero)) in SimplifyDemandedUseBits()
289 RHSKnown.One.isSubsetOf(LHSKnown.One)) { in SimplifyDemandedUseBits()
509 if (DemandedFromOps.isSubsetOf(RHSKnown.Zero)) in SimplifyDemandedUseBits()
514 DemandedFromOps.isSubsetOf(LHSKnown.Zero)) in SimplifyDemandedUseBits()
942 if (DemandedMask.isSubsetOf(Known.Zero|Known.One)) in SimplifyDemandedUseBits()
1030 if (DemandedMask.isSubsetOf(RHSKnown.Zero)) in SimplifyMultipleUseDemandedBits()
1032 if (DemandedMask.isSubsetOf(LHSKnown.Zero)) in SimplifyMultipleUseDemandedBits()
[all …]
H A DInstCombineAndOrXor.cpp185 } else if (ConstA && ConstC && ConstC->isSubsetOf(*ConstA)) { in getMaskedICmpType()
195 } else if (ConstB && ConstC && ConstC->isSubsetOf(*ConstB)) { in getMaskedICmpType()
869 if (!UnsetBitsMask.isSubsetOf(SignBitsMask)) { in foldSignedTruncationCheck()
/llvm-project-15.0.7/llvm/unittests/ADT/
H A DSCCIteratorTest.cpp66 EXPECT_TRUE(NodesInThisSCC.isSubsetOf(G.NodesReachableFrom(i))); in TEST()
107 EXPECT_TRUE(NodesReachableFromSCC.isSubsetOf(NodesInSomeSCC)); in TEST()
H A DAPIntTest.cpp2610 TEST(APIntTest, isSubsetOf) { in TEST() argument
2614 EXPECT_FALSE(i32_3.isSubsetOf(i32_1)); in TEST()
2615 EXPECT_TRUE(i32_1.isSubsetOf(i32_3)); in TEST()
2616 EXPECT_FALSE(i32_2.isSubsetOf(i32_1)); in TEST()
2617 EXPECT_FALSE(i32_1.isSubsetOf(i32_2)); in TEST()
2618 EXPECT_TRUE(i32_3.isSubsetOf(i32_3)); in TEST()
2623 EXPECT_FALSE(i128_3.isSubsetOf(i128_1)); in TEST()
2624 EXPECT_TRUE(i128_1.isSubsetOf(i128_3)); in TEST()
2627 EXPECT_TRUE(i128_3.isSubsetOf(i128_3)); in TEST()
2633 EXPECT_TRUE(i128_1.isSubsetOf(i128_3)); in TEST()
[all …]
H A DTestGraph.h79 bool isSubsetOf(const NodeSubset &other) const { in isSubsetOf() function
/llvm-project-15.0.7/llvm/lib/Target/LoongArch/
H A DLoongArchISelDAGToDAG.cpp104 if (ShMask.isSubsetOf(AndMask)) { in selectShiftMask()
112 if (ShMask.isSubsetOf(AndMask | Known.Zero)) { in selectShiftMask()
H A DLoongArchISelLowering.cpp649 if (ShMask.isSubsetOf(DAG.computeKnownBits(N0).Zero)) { in performORCombine()
673 if (ShMask.isSubsetOf(DAG.computeKnownBits(N0).Zero)) { in performORCombine()
704 if (ShMask.isSubsetOf(DAG.computeKnownBits(N0).Zero)) { in performORCombine()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h99 bool isSubsetOf(const PresburgerRelation &set) const;
H A DIntegerRelation.h133 bool isSubsetOf(const IntegerRelation &other) const;
/llvm-project-15.0.7/llvm/include/llvm/CodeGen/GlobalISel/
H A DGISelKnownBits.h79 return Mask.isSubsetOf(getKnownBits(Val).Zero); in maskedValueIsZero()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp445 bool PresburgerRelation::isSubsetOf(const PresburgerRelation &set) const { in isSubsetOf() function in PresburgerRelation
452 return this->isSubsetOf(set) && set.isSubsetOf(*this); in isEqual()
H A DPWMAFunction.cpp175 return commonFunc.getDomain().isSubsetOf(commonDomainMatching); in isEqualWhereDomainsOverlap()
H A DIntegerRelation.cpp81 bool IntegerRelation::isSubsetOf(const IntegerRelation &other) const { in isSubsetOf() function in IntegerRelation
83 return PresburgerRelation(*this).isSubsetOf(PresburgerRelation(other)); in isSubsetOf()
/llvm-project-15.0.7/mlir/include/mlir/IR/
H A DDialectRegistry.h217 bool isSubsetOf(const DialectRegistry &rhs) const;
/llvm-project-15.0.7/mlir/lib/IR/
H A DDialect.cpp232 bool DialectRegistry::isSubsetOf(const DialectRegistry &rhs) const { in isSubsetOf() function in DialectRegistry
H A DMLIRContext.cpp358 if (registry.isSubsetOf(impl->dialectsRegistry)) in appendDialectRegistry()
/llvm-project-15.0.7/llvm/lib/Target/X86/
H A DX86InstCombineIntrinsic.cpp1442 if (DemandedElts1.isSubsetOf(UndefElts1) || in instCombineIntrinsic()
1443 DemandedElts2.isSubsetOf(UndefElts2)) { in instCombineIntrinsic()
1916 bool IsSubOnly = DemandedElts.isSubsetOf(SubMask); in simplifyDemandedVectorEltsIntrinsic()
1917 bool IsAddOnly = DemandedElts.isSubsetOf(AddMask); in simplifyDemandedVectorEltsIntrinsic()
/llvm-project-15.0.7/llvm/lib/CodeGen/SelectionDAG/
H A DTargetLowering.cpp523 if (Opcode == ISD::XOR && DemandedBits.isSubsetOf(C)) in ShrinkDemandedConstant()
526 if (!C.isSubsetOf(DemandedBits)) { in ShrinkDemandedConstant()
770 if (DemandedBits.isSubsetOf(RHSKnown.Zero)) in SimplifyMultipleUseDemandedBits()
772 if (DemandedBits.isSubsetOf(LHSKnown.Zero)) in SimplifyMultipleUseDemandedBits()
1392 if (DemandedBits.isSubsetOf(KnownSubMask.One)) { in SimplifyDemandedBits()
1530 if (DemandedBits.isSubsetOf(Known.Zero)) in SimplifyDemandedBits()
1532 if (DemandedBits.isSubsetOf(Known2.Zero)) in SimplifyDemandedBits()
3273 if (DemandedElts.isSubsetOf(KnownUndef)) in SimplifyDemandedVectorElts()
3411 if (DemandedElts.isSubsetOf(KnownUndef)) in SimplifyDemandedVectorElts()
3435 if (DemandedElts.isSubsetOf(KnownUndef)) in SimplifyDemandedVectorElts()
[all …]
H A DSelectionDAGISel.cpp1895 if (!ActualMask.isSubsetOf(DesiredMask)) in CheckAndMask()
1924 if (!ActualMask.isSubsetOf(DesiredMask)) in CheckOrMask()
1933 if (NeededMask.isSubsetOf(Known.One)) in CheckOrMask()
/llvm-project-15.0.7/llvm/lib/Support/
H A DKnownBits.cpp583 if (LHS.isNonNegative() || LowBits.isSubsetOf(LHS.Zero)) in srem()
/llvm-project-15.0.7/llvm/utils/TableGen/
H A DAsmMatcherEmitter.cpp270 bool isSubsetOf(const ClassInfo &RHS) const { in isSubsetOf() function
1666 assert(I == J || !J->isSubsetOf(*I)); in buildInfo()
2534 if (&A != &B && A.isSubsetOf(B)) in emitIsSubclass()
/llvm-project-15.0.7/llvm/include/llvm/ADT/
H A DAPInt.h1207 bool isSubsetOf(const APInt &RHS) const { in isSubsetOf() function
/llvm-project-15.0.7/llvm/lib/Target/RISCV/
H A DRISCVISelDAGToDAG.cpp1959 if (ShMask.isSubsetOf(AndMask)) { in selectShiftMask()
1967 if (ShMask.isSubsetOf(AndMask | Known.Zero)) { in selectShiftMask()
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DValueTracking.cpp2967 return Mask.isSubsetOf(Known.Zero); in MaskedValueIsZero()
6593 if (CA->isSubsetOf(Known.Zero) && CB->isSubsetOf(Known.Zero)) in isTruePredicate()

12