Lines Matching defs:canonical
769 // Check if we already have a canonical template template parameter.
778 // Build a canonical template parameter list.
846 // Create the canonical template template parameter entry.
3133 // If the base type is not canonical, make the appropriate canonical type.
3486 llvm_unreachable("unexpected non-canonical or dependent type!");
3792 // If the pointee type isn't canonical, this won't be a canonical type either,
3793 // so fill in the canonical type field.
3820 // If the pointee type isn't canonical, this won't be a canonical type either,
3821 // so fill in the canonical type field.
3945 // If the block pointee type isn't canonical, this won't be a canonical
3946 // type either so fill in the canonical type field.
3983 // If the referencee type isn't canonical, this won't be a canonical type
3984 // either, so fill in the canonical type field.
4023 // If the referencee type isn't canonical, this won't be a canonical type
4024 // either, so fill in the canonical type field.
4056 // If the pointee or class type isn't canonical, this won't be a canonical
4057 // type either, so fill in the canonical type field.
4089 // Convert the array size into a canonical width matching the pointer size for
4103 // If the element type isn't canonical or has qualifiers, or the array bound
4104 // is instantiation-dependent, this won't be a canonical type either, so fill
4105 // in the canonical type field.
4143 llvm_unreachable("didn't desugar past all non-canonical types?");
4372 // If the element type isn't canonical, this won't be a canonical type
4373 // either, so fill in the canonical type field. We also have to pull
4544 // If the element type isn't canonical, this won't be a canonical type either,
4545 // so fill in the canonical type field.
4584 "Dependent-sized vector_size canonical type broken");
4617 // If the element type isn't canonical, this won't be a canonical type either,
4618 // so fill in the canonical type field.
4647 // We already have a canonical version of this array type; use it as
4648 // the canonical type for a newly-built type.
4660 assert(!CanonCheck && "Dependent-sized ext_vector canonical type broken");
4727 assert(!CanonCheck && "Dependent-sized matrix canonical type broken");
4733 // Already have a canonical version of the matrix type
4740 // Use Canon as the canonical type for newly-built type.
4782 /// Determine whether \p T is canonical as the result type of a function.
4855 // A noexcept(expr) specification is (possibly) canonical if expr is
4860 // A dynamic exception specification is canonical if it only contains pack
4862 // contained types are canonical.
4898 // noexcept expression, or we're just looking for a canonical type.
4916 // Determine whether the type being created is already canonical or not.
4925 "given non-canonical parameters constructing canonical type");
4927 // If this type isn't canonical, get the canonical version of it if we don't
4929 // canonical type, and only in C++17 onwards.
4978 llvm_unreachable("dependent noexcept is already canonical");
4984 // Adjust the canonical function result type.
5030 // If the pipe element type isn't canonical, this won't be a canonical type
5031 // either, so fill in the canonical type field.
5517 assert(!TypeCheck && "Template type parameter canonical type broken");
5597 // Allocate the (non-canonical) template specialization type, but don't
5617 // Build the canonical template specialization type.
5628 // Determine whether this canonical template specialization type already
5639 // Allocate a new canonical template specialization type.
5651 "Non-dependent template-id type must have a canonical type");
5671 assert(!CheckT && "Elaborated canonical type broken");
5699 assert(!CheckT && "Paren canonical type broken");
5796 assert(!Nothing && "canonical type broken");
5959 // Build the canonical type, which has the canonical base type and a
5962 QualType canonical;
5967 // Determine the canonical type arguments.
5989 canonical = getObjCObjectType(getCanonicalType(baseType), canonTypeArgs,
6001 new (mem) ObjCObjectTypeImpl(canonical, baseType, typeArgs, protocols,
6010 /// If this is for the canonical type of a type parameter, we can apply
6053 // If the canonical type is ObjCObjectType, ...
6202 // Find the canonical object type.
6250 /// on canonical type's (which are always unique).
6262 // We already have a "canonical" version of an identical, dependent
6263 // typeof(expr) type. Use that as our canonical type.
6267 // Build a new, canonical typeof(expr) type.
6286 /// on canonical types (which are always unique).
6337 // Build a new, canonical decltype(expr) type.
6405 // Build a new, canonical __underlying_type(type) type.
6476 /// deduced to the given type, or to the canonical undeduced 'auto' type, or the
6477 /// canonical deduced-but-dependent 'auto' type.
6535 /// which has been deduced to the given type, or to the canonical undeduced
6536 /// such type, or the canonical deduced-but-dependent such type.
6560 // If the atomic value type isn't canonical, this won't be a canonical type
6561 // either, so fill in the canonical type field.
6965 // The canonical template name is the canonical template declaration.
7564 // A namespace is canonical; build a nested-name-specifier with
7570 // A namespace is canonical; build a nested-name-specifier with
7584 // as the canonical nested-name-specifier. This is required to canonicalize
7601 // The global specifier and __super specifer are canonical and unique.
7695 /// handling typedefs etc. The canonical type of "T" must be an array type,
11491 // If the canonical type classes don't match.
11521 // The canonical type classes match.
11529 llvm_unreachable("Non-canonical and dependent types shouldn't get here");
13306 // is closer to the canonical form of the inputs, each according to a given
13502 // each type (in a canonical sense) only once, in the order they appear
13547 // since it's not actually part of the canonical type. And this should never
13599 #define NON_CANONICAL_TYPE(Class, Base) UNEXPECTED_TYPE(Class, "non-canonical")
13936 #define CANONICAL_TYPE(Class) UNEXPECTED_TYPE(Class, "canonical")
14187 // until we reach their underlying "canonical nodes". Note these are not
14188 // necessarily canonical types, as they may still have sugared properties.
14192 // The canonical nodes differ. Build a common canonical node out of the two,
14197 // The canonical nodes were identical: We may have desugared too much.