reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

include/llvm/IR/ConstantRange.h
  172   bool isEmptySet() const;

References

include/llvm/Analysis/ValueLattice.h
  220       if (NewR.isEmptySet())
  229     if (NewR.isEmptySet())
lib/Analysis/InstructionSimplify.cpp
 1552   if (IsAnd && Range0.intersectWith(Range1).isEmptySet())
 2645   if (RHS_CR.isEmptySet())
lib/Analysis/ScalarEvolution.cpp
 8949       else if (ExactCR.isEmptySet())
lib/Analysis/StackSafetyAnalysis.cpp
  241   assert(!Offset.isEmptySet());
  258   assert(!AccessRange.isEmptySet());
  463     assert(!CS.Offset.isEmptySet() &&
lib/Analysis/ValueTracking.cpp
 5261   if (Intersection.isEmptySet())
 5263   if (Difference.isEmptySet())
lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
 8584   if (CR.isFullSet() || CR.isEmptySet() || CR.isUpperWrapped())
lib/IR/ConstantRange.cpp
   79   if (CR.isEmptySet())
  153   if (isFullSet() || isEmptySet()) {
  154     Pred = isEmptySet() ? CmpInst::ICMP_ULT : CmpInst::ICMP_UGE;
  278     if (ShAmt.isEmptySet()) {
  351   if (isEmptySet())
  398   if (isFullSet() || Other.isEmptySet()) return true;
  399   if (isEmptySet() || Other.isFullSet()) return false;
  453   if (   isEmptySet() || CR.isFullSet()) return *this;
  454   if (CR.isEmptySet() ||    isFullSet()) return CR;
  558   if (   isFullSet() || CR.isEmptySet()) return *this;
  559   if (CR.isFullSet() ||    isEmptySet()) return CR;
  670   if (isEmptySet()) return getEmpty(DstTySize);
  687   if (isEmptySet()) return getEmpty(DstTySize);
  706   if (isEmptySet())
  836   if (isEmptySet() || Other.isEmptySet())
  836   if (isEmptySet() || Other.isEmptySet())
  859   if (isEmptySet() || Other.isEmptySet())
  859   if (isEmptySet() || Other.isEmptySet())
  907   if (isEmptySet() || Other.isEmptySet())
  907   if (isEmptySet() || Other.isEmptySet())
  932   if (isEmptySet() || Other.isEmptySet())
  932   if (isEmptySet() || Other.isEmptySet())
  983   if (isEmptySet() || Other.isEmptySet())
  983   if (isEmptySet() || Other.isEmptySet())
  994   if (isEmptySet() || Other.isEmptySet())
  994   if (isEmptySet() || Other.isEmptySet())
 1005   if (isEmptySet() || Other.isEmptySet())
 1005   if (isEmptySet() || Other.isEmptySet())
 1016   if (isEmptySet() || Other.isEmptySet())
 1016   if (isEmptySet() || Other.isEmptySet())
 1025   if (isEmptySet() || RHS.isEmptySet() || RHS.getUnsignedMax().isNullValue())
 1025   if (isEmptySet() || RHS.isEmptySet() || RHS.getUnsignedMax().isNullValue())
 1058   if (!PosL.isEmptySet() && !PosR.isEmptySet())
 1058   if (!PosL.isEmptySet() && !PosR.isEmptySet())
 1063   if (!NegL.isEmptySet() && !NegR.isEmptySet()) {
 1063   if (!NegL.isEmptySet() && !NegR.isEmptySet()) {
 1109   if (!PosL.isEmptySet() && !NegR.isEmptySet())
 1109   if (!PosL.isEmptySet() && !NegR.isEmptySet())
 1114   if (!NegL.isEmptySet() && !PosR.isEmptySet())
 1114   if (!NegL.isEmptySet() && !PosR.isEmptySet())
 1124   if (contains(Zero) && (!PosR.isEmptySet() || !NegR.isEmptySet()))
 1124   if (contains(Zero) && (!PosR.isEmptySet() || !NegR.isEmptySet()))
 1130   if (isEmptySet() || RHS.isEmptySet() || RHS.getUnsignedMax().isNullValue())
 1130   if (isEmptySet() || RHS.isEmptySet() || RHS.getUnsignedMax().isNullValue())
 1143   if (isEmptySet() || RHS.isEmptySet())
 1143   if (isEmptySet() || RHS.isEmptySet())
 1186   if (isEmptySet() || Other.isEmptySet())
 1186   if (isEmptySet() || Other.isEmptySet())
 1197   if (isEmptySet() || Other.isEmptySet())
 1197   if (isEmptySet() || Other.isEmptySet())
 1208   if (isEmptySet() || Other.isEmptySet())
 1208   if (isEmptySet() || Other.isEmptySet())
 1233   if (isEmptySet() || Other.isEmptySet())
 1233   if (isEmptySet() || Other.isEmptySet())
 1243   if (isEmptySet() || Other.isEmptySet())
 1243   if (isEmptySet() || Other.isEmptySet())
 1293   if (isEmptySet() || Other.isEmptySet())
 1293   if (isEmptySet() || Other.isEmptySet())
 1302   if (isEmptySet() || Other.isEmptySet())
 1302   if (isEmptySet() || Other.isEmptySet())
 1311   if (isEmptySet() || Other.isEmptySet())
 1311   if (isEmptySet() || Other.isEmptySet())
 1320   if (isEmptySet() || Other.isEmptySet())
 1320   if (isEmptySet() || Other.isEmptySet())
 1331   if (isEmptySet())
 1337   if (isEmptySet())
 1369   if (isEmptySet() || Other.isEmptySet())
 1369   if (isEmptySet() || Other.isEmptySet())
 1385   if (isEmptySet() || Other.isEmptySet())
 1385   if (isEmptySet() || Other.isEmptySet())
 1415   if (isEmptySet() || Other.isEmptySet())
 1415   if (isEmptySet() || Other.isEmptySet())
 1431   if (isEmptySet() || Other.isEmptySet())
 1431   if (isEmptySet() || Other.isEmptySet())
 1461   if (isEmptySet() || Other.isEmptySet())
 1461   if (isEmptySet() || Other.isEmptySet())
 1482   else if (isEmptySet())
lib/IR/Metadata.cpp
  945   return !A.intersectWith(B).isEmptySet() || isContiguous(A, B);
lib/IR/Verifier.cpp
 3344     Assert(!CurRange.isEmptySet() && !CurRange.isFullSet(),
 3347       Assert(CurRange.intersectWith(LastRange).isEmptySet(),
 3362     Assert(FirstRange.intersectWith(LastRange).isEmptySet(),
lib/Transforms/InstCombine/InstCombineCompares.cpp
 1503     if (Intersection.isEmptySet())
 1505     if (Difference.isEmptySet())
lib/Transforms/Utils/SimplifyCFG.cpp
  613     if (Span.isSizeLargerThan(8) || Span.isEmptySet()) {
unittests/IR/ConstantRangeTest.cpp
   55   if (!CR.isEmptySet()) {
   86       EXPECT_TRUE(CR.isEmptySet());
  123       EXPECT_TRUE(CR.isEmptySet());
  144   EXPECT_FALSE(Full.isEmptySet());
  145   EXPECT_TRUE(Full.inverse().isEmptySet());
  154   EXPECT_TRUE(Empty.isEmptySet());
  164   EXPECT_FALSE(One.isEmptySet());
  174   EXPECT_FALSE(Some.isEmptySet());
  183   EXPECT_FALSE(Wrap.isEmptySet());
  305   EXPECT_TRUE(TEmpty.isEmptySet());
  335   EXPECT_TRUE(ZEmpty.isEmptySet());
  355   EXPECT_TRUE(SEmpty.isEmptySet());
  481           EXPECT_TRUE(SmallestCR.isEmptySet());
  482           EXPECT_TRUE(UnsignedCR.isEmptySet());
  483           EXPECT_TRUE(SignedCR.isEmptySet());
  669         EXPECT_TRUE(CR.isEmptySet());
  703         EXPECT_TRUE(CR.isEmptySet());
  747             EXPECT_TRUE(CR.isEmptySet());
 1103       EXPECT_TRUE(CR.isEmptySet());
 1321                   .isEmptySet());
 1337                                                       HighHalf).isEmptySet());
 1387     EXPECT_FALSE(NUWRegion.isEmptySet());
 1392     EXPECT_FALSE(NSWRegion.isEmptySet());
 1415     EXPECT_FALSE(NUWRegion.isEmptySet());
 1420     EXPECT_FALSE(NSWRegion.isEmptySet());
 1604     if (CR.isEmptySet())
 1993       if (CR1.isEmptySet() || CR2.isEmptySet())
 1993       if (CR1.isEmptySet() || CR2.isEmptySet())
 2151     assert((CR.isEmptySet() || !AllNegative || !AllNonNegative) &&
 2216       EXPECT_TRUE(AbsCR.isEmptySet());