TypeOrdering.h revision 1eb4433ac451dc16f4133a88af2d002ac26c58ef
10218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor//===-------------- TypeOrdering.h - Total ordering for types -------------===//
20218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor//
30218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor//                     The LLVM Compiler Infrastructure
40218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor//
50218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor// This file is distributed under the University of Illinois Open Source
60218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor// License. See LICENSE.TXT for details.
70218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor//
80218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor//===----------------------------------------------------------------------===//
90218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor//
10eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor//  This file provides a function objects and specializations that
11eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor//  allow QualType values to be sorted, used in std::maps, std::sets,
12eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor//  llvm::DenseMaps, and llvm::DenseSets.
130218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor//
140218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor//===----------------------------------------------------------------------===//
150218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor
160218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor#ifndef LLVM_CLANG_TYPE_ORDERING_H
170218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor#define LLVM_CLANG_TYPE_ORDERING_H
180218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor
190218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor#include "clang/AST/Type.h"
200218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor#include <functional>
210218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor
220218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregornamespace clang {
230218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor
240218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor/// QualTypeOrdering - Function object that provides a total ordering
250218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor/// on QualType values.
260218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregorstruct QualTypeOrdering : std::binary_function<QualType, QualType, bool> {
272b9d973eb749aee6becbcf5e51ab5d49b828c978Douglas Gregor  bool operator()(QualType T1, QualType T2) const {
280218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor    return std::less<void*>()(T1.getAsOpaquePtr(), T2.getAsOpaquePtr());
290218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor  }
300218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor};
310218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor
320218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor}
330218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor
34eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregornamespace llvm {
35bf3af056289893f58d37b05a2c80970708781d61Douglas Gregor  template<class> struct DenseMapInfo;
36bf3af056289893f58d37b05a2c80970708781d61Douglas Gregor
37eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor  template<> struct DenseMapInfo<clang::QualType> {
38eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor    static inline clang::QualType getEmptyKey() { return clang::QualType(); }
39eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor
401eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    static inline clang::QualType getTombstoneKey() {
41eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor      using clang::QualType;
42eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor      return QualType::getFromOpaquePtr(reinterpret_cast<clang::Type *>(-1));
43eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor    }
44eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor
45eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor    static unsigned getHashValue(clang::QualType Val) {
46b7c3ca8af0a1a3b66fb220562c72dd3102153d5bDouglas Gregor      return (unsigned)((uintptr_t)Val.getAsOpaquePtr()) ^
47b7c3ca8af0a1a3b66fb220562c72dd3102153d5bDouglas Gregor            ((unsigned)((uintptr_t)Val.getAsOpaquePtr() >> 9));
48eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor    }
49eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor
50eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor    static bool isEqual(clang::QualType LHS, clang::QualType RHS) {
51eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor      return LHS == RHS;
52eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor    }
53eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor
541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    static bool isPod() {
55eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor      // QualType isn't *technically* a POD type. However, we can get
56eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor      // away with calling it a POD type since its copy constructor,
57eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor      // copy assignment operator, and destructor are all trivial.
581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      return true;
59eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor    }
60eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor  };
61eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor}
62eb8f3063257a392f15aea48d42fb73ec51afc548Douglas Gregor
630218936235b137bbdcd29a6c36d61d9215bb4eddDouglas Gregor#endif
64