File Manager

003 File Manager

Current Path: /usr/src/contrib/llvm-project/clang/lib/AST

usr / src / contrib / llvm-project / clang / lib / AST /

📁 ..
📄 APValue.cpp(23.33 KB)
📄 ASTConcept.cpp(2.7 KB)
📄 ASTConsumer.cpp(954 B)
📄 ASTContext.cpp(407.36 KB)
📄 ASTDiagnostic.cpp(75.78 KB)
📄 ASTDumper.cpp(9.52 KB)
📄 ASTImporter.cpp(323.93 KB)
📄 ASTImporterLookupTable.cpp(4.85 KB)
📄 ASTStructuralEquivalence.cpp(73.55 KB)
📄 ASTTypeTraits.cpp(6.42 KB)
📄 AttrImpl.cpp(5.3 KB)
📄 CXXABI.h(2.66 KB)
📄 CXXInheritance.cpp(28.55 KB)
📄 Comment.cpp(11.94 KB)
📄 CommentBriefParser.cpp(4.19 KB)
📄 CommentCommandTraits.cpp(4.63 KB)
📄 CommentLexer.cpp(25.38 KB)
📄 CommentParser.cpp(23.52 KB)
📄 CommentSema.cpp(40.88 KB)
📄 ComparisonCategories.cpp(7.23 KB)
📄 ComputeDependence.cpp(28.3 KB)
📄 DataCollection.cpp(1.83 KB)
📄 Decl.cpp(177.21 KB)
📄 DeclBase.cpp(63.37 KB)
📄 DeclCXX.cpp(127.53 KB)
📄 DeclFriend.cpp(2.76 KB)
📄 DeclGroup.cpp(1.16 KB)
📄 DeclObjC.cpp(82.05 KB)
📄 DeclOpenMP.cpp(10.04 KB)
📄 DeclPrinter.cpp(52.6 KB)
📄 DeclTemplate.cpp(57.75 KB)
📄 DeclarationName.cpp(17.52 KB)
📄 Expr.cpp(176.93 KB)
📄 ExprCXX.cpp(69.03 KB)
📄 ExprClassification.cpp(28.48 KB)
📄 ExprConcepts.cpp(9.43 KB)
📄 ExprConstant.cpp(538.88 KB)
📄 ExprObjC.cpp(14.25 KB)
📄 ExternalASTMerger.cpp(22.13 KB)
📄 ExternalASTSource.cpp(3.85 KB)
📄 FormatString.cpp(29.64 KB)
📄 FormatStringParsing.h(3.17 KB)
📄 InheritViz.cpp(5.1 KB)
📁 Interp
📄 ItaniumCXXABI.cpp(8.92 KB)
📄 ItaniumMangle.cpp(182.64 KB)
📄 JSONNodeDumper.cpp(58.07 KB)
📄 Linkage.h(6 KB)
📄 Mangle.cpp(17.71 KB)
📄 MicrosoftCXXABI.cpp(9.12 KB)
📄 MicrosoftMangle.cpp(133.01 KB)
📄 NSAPI.cpp(18.12 KB)
📄 NestedNameSpecifier.cpp(23.31 KB)
📄 ODRHash.cpp(29.78 KB)
📄 OSLog.cpp(7.61 KB)
📄 OpenMPClause.cpp(82.03 KB)
📄 ParentMap.cpp(5.97 KB)
📄 ParentMapContext.cpp(10.7 KB)
📄 PrintfFormatString.cpp(35.8 KB)
📄 QualTypeNames.cpp(18.46 KB)
📄 RawCommentList.cpp(15.52 KB)
📄 RecordLayout.cpp(3.95 KB)
📄 RecordLayoutBuilder.cpp(132.78 KB)
📄 ScanfFormatString.cpp(18.62 KB)
📄 SelectorLocationsKind.cpp(4.48 KB)
📄 Stmt.cpp(45.04 KB)
📄 StmtCXX.cpp(5 KB)
📄 StmtIterator.cpp(2.92 KB)
📄 StmtObjC.cpp(2.75 KB)
📄 StmtOpenMP.cpp(98.6 KB)
📄 StmtPrinter.cpp(70.34 KB)
📄 StmtProfile.cpp(60.24 KB)
📄 StmtViz.cpp(1.75 KB)
📄 TemplateBase.cpp(16.19 KB)
📄 TemplateName.cpp(9.96 KB)
📄 TextNodeDumper.cpp(61.83 KB)
📄 Type.cpp(144.42 KB)
📄 TypeLoc.cpp(20.52 KB)
📄 TypePrinter.cpp(63.28 KB)
📄 VTTBuilder.cpp(7.25 KB)
📄 VTableBuilder.cpp(139.78 KB)

Editing: ComparisonCategories.cpp

//===- ComparisonCategories.cpp - Three Way Comparison Data -----*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
//  This file defines the Comparison Category enum and data types, which
//  store the types and expressions needed to support operator<=>
//
//===----------------------------------------------------------------------===//

#include "clang/AST/ComparisonCategories.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/Type.h"
#include "llvm/ADT/SmallVector.h"

using namespace clang;

Optional<ComparisonCategoryType>
clang::getComparisonCategoryForBuiltinCmp(QualType T) {
  using CCT = ComparisonCategoryType;

if (T->isIntegralOrEnumerationType())
    return CCT::StrongOrdering;

if (T->isRealFloatingType())
    return CCT::PartialOrdering;

// C++2a [expr.spaceship]p8: If the composite pointer type is an object
  // pointer type, p <=> q is of type std::strong_ordering.
  // Note: this assumes neither operand is a null pointer constant.
  if (T->isObjectPointerType())
    return CCT::StrongOrdering;

// TODO: Extend support for operator<=> to ObjC types.
  return llvm::None;
}

bool ComparisonCategoryInfo::ValueInfo::hasValidIntValue() const {
  assert(VD && "must have var decl");
  if (!VD->checkInitIsICE())
    return false;

// Before we attempt to get the value of the first field, ensure that we
  // actually have one (and only one) field.
  auto *Record = VD->getType()->getAsCXXRecordDecl();
  if (std::distance(Record->field_begin(), Record->field_end()) != 1 ||
      !Record->field_begin()->getType()->isIntegralOrEnumerationType())
    return false;

return true;
}

/// Attempt to determine the integer value used to represent the comparison
/// category result by evaluating the initializer for the specified VarDecl as
/// a constant expression and retreiving the value of the class's first
/// (and only) field.
///
/// Note: The STL types are expected to have the form:
///    struct X { T value; };
/// where T is an integral or enumeration type.
llvm::APSInt ComparisonCategoryInfo::ValueInfo::getIntValue() const {
  assert(hasValidIntValue() && "must have a valid value");
  return VD->evaluateValue()->getStructField(0).getInt();
}

ComparisonCategoryInfo::ValueInfo *ComparisonCategoryInfo::lookupValueInfo(
    ComparisonCategoryResult ValueKind) const {
  // Check if we already have a cache entry for this value.
  auto It = llvm::find_if(
      Objects, [&](ValueInfo const &Info) { return Info.Kind == ValueKind; });
  if (It != Objects.end())
    return &(*It);

// We don't have a cached result. Lookup the variable declaration and create
  // a new entry representing it.
  DeclContextLookupResult Lookup = Record->getCanonicalDecl()->lookup(
      &Ctx.Idents.get(ComparisonCategories::getResultString(ValueKind)));
  if (Lookup.empty() || !isa<VarDecl>(Lookup.front()))
    return nullptr;
  Objects.emplace_back(ValueKind, cast<VarDecl>(Lookup.front()));
  return &Objects.back();
}

static const NamespaceDecl *lookupStdNamespace(const ASTContext &Ctx,
                                               NamespaceDecl *&StdNS) {
  if (!StdNS) {
    DeclContextLookupResult Lookup =
        Ctx.getTranslationUnitDecl()->lookup(&Ctx.Idents.get("std"));
    if (!Lookup.empty())
      StdNS = dyn_cast<NamespaceDecl>(Lookup.front());
  }
  return StdNS;
}

static CXXRecordDecl *lookupCXXRecordDecl(const ASTContext &Ctx,
                                          const NamespaceDecl *StdNS,
                                          ComparisonCategoryType Kind) {
  StringRef Name = ComparisonCategories::getCategoryString(Kind);
  DeclContextLookupResult Lookup = StdNS->lookup(&Ctx.Idents.get(Name));
  if (!Lookup.empty())
    if (CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(Lookup.front()))
      return RD;
  return nullptr;
}

const ComparisonCategoryInfo *
ComparisonCategories::lookupInfo(ComparisonCategoryType Kind) const {
  auto It = Data.find(static_cast<char>(Kind));
  if (It != Data.end())
    return &It->second;

if (const NamespaceDecl *NS = lookupStdNamespace(Ctx, StdNS))
    if (CXXRecordDecl *RD = lookupCXXRecordDecl(Ctx, NS, Kind))
      return &Data.try_emplace((char)Kind, Ctx, RD, Kind).first->second;

return nullptr;
}

const ComparisonCategoryInfo *
ComparisonCategories::lookupInfoForType(QualType Ty) const {
  assert(!Ty.isNull() && "type must be non-null");
  using CCT = ComparisonCategoryType;
  auto *RD = Ty->getAsCXXRecordDecl();
  if (!RD)
    return nullptr;

// Check to see if we have information for the specified type cached.
  const auto *CanonRD = RD->getCanonicalDecl();
  for (auto &KV : Data) {
    const ComparisonCategoryInfo &Info = KV.second;
    if (CanonRD == Info.Record->getCanonicalDecl())
      return &Info;
  }

if (!RD->getEnclosingNamespaceContext()->isStdNamespace())
    return nullptr;

// If not, check to see if the decl names a type in namespace std with a name
  // matching one of the comparison category types.
  for (unsigned I = static_cast<unsigned>(CCT::First),
                End = static_cast<unsigned>(CCT::Last);
       I <= End; ++I) {
    CCT Kind = static_cast<CCT>(I);

// We've found the comparison category type. Build a new cache entry for
    // it.
    if (getCategoryString(Kind) == RD->getName())
      return &Data.try_emplace((char)Kind, Ctx, RD, Kind).first->second;
  }

// We've found nothing. This isn't a comparison category type.
  return nullptr;
}

const ComparisonCategoryInfo &ComparisonCategories::getInfoForType(QualType Ty) const {
  const ComparisonCategoryInfo *Info = lookupInfoForType(Ty);
  assert(Info && "info for comparison category not found");
  return *Info;
}

QualType ComparisonCategoryInfo::getType() const {
  assert(Record);
  return QualType(Record->getTypeForDecl(), 0);
}

StringRef ComparisonCategories::getCategoryString(ComparisonCategoryType Kind) {
  using CCKT = ComparisonCategoryType;
  switch (Kind) {
  case CCKT::PartialOrdering:
    return "partial_ordering";
  case CCKT::WeakOrdering:
    return "weak_ordering";
  case CCKT::StrongOrdering:
    return "strong_ordering";
  }
  llvm_unreachable("unhandled cases in switch");
}

StringRef ComparisonCategories::getResultString(ComparisonCategoryResult Kind) {
  using CCVT = ComparisonCategoryResult;
  switch (Kind) {
  case CCVT::Equal:
    return "equal";
  case CCVT::Equivalent:
    return "equivalent";
  case CCVT::Less:
    return "less";
  case CCVT::Greater:
    return "greater";
  case CCVT::Unordered:
    return "unordered";
  }
  llvm_unreachable("unhandled case in switch");
}

std::vector<ComparisonCategoryResult>
ComparisonCategories::getPossibleResultsForType(ComparisonCategoryType Type) {
  using CCT = ComparisonCategoryType;
  using CCR = ComparisonCategoryResult;
  std::vector<CCR> Values;
  Values.reserve(4);
  bool IsStrong = Type == CCT::StrongOrdering;
  Values.push_back(IsStrong ? CCR::Equal : CCR::Equivalent);
  Values.push_back(CCR::Less);
  Values.push_back(CCR::Greater);
  if (Type == CCT::PartialOrdering)
    Values.push_back(CCR::Unordered);
  return Values;
}

003 File Manager

Editing: ComparisonCategories.cpp

Upload File

Create Folder