r266415 - [MSVC Compat] Implementation of __unaligned (MS extension) as a type qualifier
Nico Weber via cfe-commits
cfe-commits at lists.llvm.org
Fri Apr 15 06:40:18 PDT 2016
This very likely caused https://llvm.org/bugs/show_bug.cgi?id=27367
On Fri, Apr 15, 2016 at 4:03 AM, Andrey Bokhanko via cfe-commits <
cfe-commits at lists.llvm.org> wrote:
> Author: asbokhan
> Date: Fri Apr 15 03:03:51 2016
> New Revision: 266415
>
> URL: http://llvm.org/viewvc/llvm-project?rev=266415&view=rev
> Log:
> [MSVC Compat] Implementation of __unaligned (MS extension) as a type
> qualifier
>
> This patch implements __unaligned as a type qualifier; before that, it was
> modeled as an attribute. Proper mangling of __unaligned is implemented as
> well.
> Some OpenCL code/tests are tangenially affected, as they relied on existing
> number and sizes of type qualifiers.
>
> Differential Revision: http://reviews.llvm.org/D18596
>
> Modified:
> cfe/trunk/include/clang/AST/Type.h
> cfe/trunk/include/clang/Basic/AddressSpaces.h
> cfe/trunk/include/clang/Basic/Attr.td
> cfe/trunk/include/clang/Sema/DeclSpec.h
> cfe/trunk/include/clang/Sema/Sema.h
> cfe/trunk/lib/AST/MicrosoftMangle.cpp
> cfe/trunk/lib/AST/TypePrinter.cpp
> cfe/trunk/lib/Parse/ParseDecl.cpp
> cfe/trunk/lib/Parse/ParseTentative.cpp
> cfe/trunk/lib/Sema/DeclSpec.cpp
> cfe/trunk/lib/Sema/SemaCodeComplete.cpp
> cfe/trunk/lib/Sema/SemaDecl.cpp
> cfe/trunk/lib/Sema/SemaDeclObjC.cpp
> cfe/trunk/lib/Sema/SemaExpr.cpp
> cfe/trunk/lib/Sema/SemaType.cpp
> cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp
> cfe/trunk/test/Sema/MicrosoftExtensions.c
> cfe/trunk/test/Sema/address_spaces.c
> cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c
> cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp
>
> Modified: cfe/trunk/include/clang/AST/Type.h
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/Type.h?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/include/clang/AST/Type.h (original)
> +++ cfe/trunk/include/clang/AST/Type.h Fri Apr 15 03:03:51 2016
> @@ -152,8 +152,8 @@ public:
>
> enum {
> /// The maximum supported address space number.
> - /// 24 bits should be enough for anyone.
> - MaxAddressSpace = 0xffffffu,
> + /// 23 bits should be enough for anyone.
> + MaxAddressSpace = 0x7fffffu,
>
> /// The width of the "fast" qualifier mask.
> FastWidth = 3,
> @@ -265,6 +265,13 @@ public:
> Mask |= mask;
> }
>
> + bool hasUnaligned() const { return Mask & UMask; }
> + void setUnaligned(bool flag) {
> + Mask = (Mask & ~UMask) | (flag ? UMask : 0);
> + }
> + void removeUnaligned() { Mask &= ~UMask; }
> + void addUnaligned() { Mask |= UMask; }
> +
> bool hasObjCGCAttr() const { return Mask & GCAttrMask; }
> GC getObjCGCAttr() const { return GC((Mask & GCAttrMask) >>
> GCAttrShift); }
> void setObjCGCAttr(GC type) {
> @@ -433,7 +440,9 @@ public:
> // ObjC lifetime qualifiers must match exactly.
> getObjCLifetime() == other.getObjCLifetime() &&
> // CVR qualifiers may subset.
> - (((Mask & CVRMask) | (other.Mask & CVRMask)) == (Mask &
> CVRMask));
> + (((Mask & CVRMask) | (other.Mask & CVRMask)) == (Mask &
> CVRMask)) &&
> + // U qualifier may superset.
> + (!(other.Mask & UMask) || (Mask & UMask));
> }
>
> /// \brief Determines if these qualifiers compatibly include another
> set of
> @@ -501,16 +510,19 @@ public:
>
> private:
>
> - // bits: |0 1 2|3 .. 4|5 .. 7|8 ... 31|
> - // |C R V|GCAttr|Lifetime|AddressSpace|
> + // bits: |0 1 2|3|4 .. 5|6 .. 8|9 ... 31|
> + // |C R V|U|GCAttr|Lifetime|AddressSpace|
> uint32_t Mask;
>
> - static const uint32_t GCAttrMask = 0x18;
> - static const uint32_t GCAttrShift = 3;
> - static const uint32_t LifetimeMask = 0xE0;
> - static const uint32_t LifetimeShift = 5;
> - static const uint32_t AddressSpaceMask =
> ~(CVRMask|GCAttrMask|LifetimeMask);
> - static const uint32_t AddressSpaceShift = 8;
> + static const uint32_t UMask = 0x8;
> + static const uint32_t UShift = 3;
> + static const uint32_t GCAttrMask = 0x30;
> + static const uint32_t GCAttrShift = 4;
> + static const uint32_t LifetimeMask = 0x1C0;
> + static const uint32_t LifetimeShift = 6;
> + static const uint32_t AddressSpaceMask =
> + ~(CVRMask | UMask | GCAttrMask | LifetimeMask);
> + static const uint32_t AddressSpaceShift = 9;
> };
>
> /// A std::pair-like structure for storing a qualified type split
>
> Modified: cfe/trunk/include/clang/Basic/AddressSpaces.h
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/AddressSpaces.h?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/include/clang/Basic/AddressSpaces.h (original)
> +++ cfe/trunk/include/clang/Basic/AddressSpaces.h Fri Apr 15 03:03:51 2016
> @@ -25,7 +25,7 @@ namespace LangAS {
> /// This uses a high starting offset so as not to conflict with any
> address
> /// space used by a target.
> enum ID {
> - Offset = 0xFFFF00,
> + Offset = 0x7FFF00,
>
> opencl_global = Offset,
> opencl_local,
>
> Modified: cfe/trunk/include/clang/Basic/Attr.td
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/Attr.td?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/include/clang/Basic/Attr.td (original)
> +++ cfe/trunk/include/clang/Basic/Attr.td Fri Apr 15 03:03:51 2016
> @@ -2149,10 +2149,6 @@ def InitSeg : Attr {
> }];
> }
>
> -def Unaligned : IgnoredAttr {
> - let Spellings = [Keyword<"__unaligned">];
> -}
> -
> def LoopHint : Attr {
> /// #pragma clang loop <option> directive
> /// vectorize: vectorizes loop operations if State == Enable.
>
> Modified: cfe/trunk/include/clang/Sema/DeclSpec.h
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/DeclSpec.h?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/include/clang/Sema/DeclSpec.h (original)
> +++ cfe/trunk/include/clang/Sema/DeclSpec.h Fri Apr 15 03:03:51 2016
> @@ -313,8 +313,10 @@ public:
> TQ_volatile = 4,
> // This has no corresponding Qualifiers::TQ value, because it's not
> treated
> // as a qualifier in our type system.
> - TQ_atomic = 8
> - };
> + TQ_atomic = 8,
> + // There is no corresponding Qualifiers::TQ value, but it's kept
> separately
> + // in a dedicated Qualifiers::Mask bit.
> + TQ_unaligned = 16 };
>
> /// ParsedSpecifiers - Flags to query which specifiers were applied.
> This is
> /// returned by getParsedSpecifiers.
> @@ -344,7 +346,7 @@ private:
> unsigned TypeSpecPipe : 1;
>
> // type-qualifiers
> - unsigned TypeQualifiers : 4; // Bitwise OR of TQ.
> + unsigned TypeQualifiers : 5; // Bitwise OR of TQ.
>
> // function-specifier
> unsigned FS_inline_specified : 1;
> @@ -386,7 +388,8 @@ private:
> /// TSTNameLoc provides source range info for tag types.
> SourceLocation TSTNameLoc;
> SourceRange TypeofParensRange;
> - SourceLocation TQ_constLoc, TQ_restrictLoc, TQ_volatileLoc,
> TQ_atomicLoc;
> + SourceLocation TQ_constLoc, TQ_restrictLoc, TQ_volatileLoc,
> TQ_atomicLoc,
> + TQ_unalignedLoc;
> SourceLocation FS_inlineLoc, FS_virtualLoc, FS_explicitLoc,
> FS_noreturnLoc;
> SourceLocation FS_forceinlineLoc;
> SourceLocation FriendLoc, ModulePrivateLoc, ConstexprLoc, ConceptLoc;
> @@ -540,6 +543,7 @@ public:
> SourceLocation getRestrictSpecLoc() const { return TQ_restrictLoc; }
> SourceLocation getVolatileSpecLoc() const { return TQ_volatileLoc; }
> SourceLocation getAtomicSpecLoc() const { return TQ_atomicLoc; }
> + SourceLocation getUnalignedSpecLoc() const { return TQ_unalignedLoc; }
> SourceLocation getPipeLoc() const { return TQ_pipeLoc; }
>
> /// \brief Clear out all of the type qualifiers.
> @@ -549,6 +553,7 @@ public:
> TQ_restrictLoc = SourceLocation();
> TQ_volatileLoc = SourceLocation();
> TQ_atomicLoc = SourceLocation();
> + TQ_unalignedLoc = SourceLocation();
> TQ_pipeLoc = SourceLocation();
> }
>
> @@ -1114,8 +1119,8 @@ struct DeclaratorChunk {
> };
>
> struct PointerTypeInfo : TypeInfoCommon {
> - /// The type qualifiers: const/volatile/restrict/atomic.
> - unsigned TypeQuals : 4;
> + /// The type qualifiers: const/volatile/restrict/atomic/unaligned.
> + unsigned TypeQuals : 5;
>
> /// The location of the const-qualifier, if any.
> unsigned ConstQualLoc;
> @@ -1129,6 +1134,9 @@ struct DeclaratorChunk {
> /// The location of the _Atomic-qualifier, if any.
> unsigned AtomicQualLoc;
>
> + /// The location of the __unaligned-qualifier, if any.
> + unsigned UnalignedQualLoc;
> +
> void destroy() {
> }
> };
> @@ -1469,7 +1477,8 @@ struct DeclaratorChunk {
> SourceLocation ConstQualLoc,
> SourceLocation VolatileQualLoc,
> SourceLocation RestrictQualLoc,
> - SourceLocation AtomicQualLoc) {
> + SourceLocation AtomicQualLoc,
> + SourceLocation UnalignedQualLoc) {
> DeclaratorChunk I;
> I.Kind = Pointer;
> I.Loc = Loc;
> @@ -1478,6 +1487,7 @@ struct DeclaratorChunk {
> I.Ptr.VolatileQualLoc = VolatileQualLoc.getRawEncoding();
> I.Ptr.RestrictQualLoc = RestrictQualLoc.getRawEncoding();
> I.Ptr.AtomicQualLoc = AtomicQualLoc.getRawEncoding();
> + I.Ptr.UnalignedQualLoc = UnalignedQualLoc.getRawEncoding();
> I.Ptr.AttrList = nullptr;
> return I;
> }
>
> Modified: cfe/trunk/include/clang/Sema/Sema.h
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Sema.h?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/include/clang/Sema/Sema.h (original)
> +++ cfe/trunk/include/clang/Sema/Sema.h Fri Apr 15 03:03:51 2016
> @@ -1647,7 +1647,8 @@ public:
> SourceLocation ConstQualLoc =
> SourceLocation(),
> SourceLocation VolatileQualLoc =
> SourceLocation(),
> SourceLocation RestrictQualLoc =
> SourceLocation(),
> - SourceLocation AtomicQualLoc =
> SourceLocation());
> + SourceLocation AtomicQualLoc =
> SourceLocation(),
> + SourceLocation UnalignedQualLoc =
> SourceLocation());
>
> static bool adjustContextForLocalExternDecl(DeclContext *&DC);
> void DiagnoseFunctionSpecifiers(const DeclSpec &DS);
>
> Modified: cfe/trunk/lib/AST/MicrosoftMangle.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/MicrosoftMangle.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/AST/MicrosoftMangle.cpp (original)
> +++ cfe/trunk/lib/AST/MicrosoftMangle.cpp Fri Apr 15 03:03:51 2016
> @@ -1444,6 +1444,9 @@ void MicrosoftCXXNameMangler::manglePoin
> (PointeeType.isNull() || !PointeeType->isFunctionType()))
> Out << 'E';
>
> + if (!PointeeType.isNull() &&
> PointeeType.getLocalQualifiers().hasUnaligned())
> + Out << 'F';
> +
> if (HasRestrict)
> Out << 'I';
> }
> @@ -1577,6 +1580,8 @@ void MicrosoftCXXNameMangler::mangleType
> }
> break;
> case QMM_Result:
> + // Presence of __unaligned qualifier shouldn't affect mangling here.
> + Quals.removeUnaligned();
> if ((!IsPointer && Quals) || isa<TagType>(T)) {
> Out << '?';
> mangleQualifiers(Quals, false);
>
> Modified: cfe/trunk/lib/AST/TypePrinter.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/TypePrinter.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/AST/TypePrinter.cpp (original)
> +++ cfe/trunk/lib/AST/TypePrinter.cpp Fri Apr 15 03:03:51 2016
> @@ -1592,6 +1592,12 @@ void Qualifiers::print(raw_ostream &OS,
> AppendTypeQualList(OS, quals, Policy.LangOpts.C99);
> addSpace = true;
> }
> + if (hasUnaligned()) {
> + if (addSpace)
> + OS << ' ';
> + OS << "__unaligned";
> + addSpace = true;
> + }
> if (unsigned addrspace = getAddressSpace()) {
> if (addSpace)
> OS << ' ';
>
> Modified: cfe/trunk/lib/Parse/ParseDecl.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Parse/ParseDecl.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Parse/ParseDecl.cpp (original)
> +++ cfe/trunk/lib/Parse/ParseDecl.cpp Fri Apr 15 03:03:51 2016
> @@ -609,7 +609,6 @@ void Parser::ParseMicrosoftTypeAttribute
> case tok::kw___ptr64:
> case tok::kw___w64:
> case tok::kw___ptr32:
> - case tok::kw___unaligned:
> case tok::kw___sptr:
> case tok::kw___uptr: {
> IdentifierInfo *AttrName = Tok.getIdentifierInfo();
> @@ -3087,6 +3086,11 @@ void Parser::ParseDeclarationSpecifiers(
> break;
> }
>
> + case tok::kw___unaligned:
> + isInvalid = DS.SetTypeQual(DeclSpec::TQ_unaligned, Loc, PrevSpec,
> DiagID,
> + getLangOpts());
> + break;
> +
> case tok::kw___sptr:
> case tok::kw___uptr:
> case tok::kw___ptr64:
> @@ -3097,7 +3101,6 @@ void Parser::ParseDeclarationSpecifiers(
> case tok::kw___fastcall:
> case tok::kw___thiscall:
> case tok::kw___vectorcall:
> - case tok::kw___unaligned:
> ParseMicrosoftTypeAttributes(DS.getAttributes());
> continue;
>
> @@ -4819,6 +4822,10 @@ void Parser::ParseTypeQualifierListOpt(D
> ParseOpenCLQualifiers(DS.getAttributes());
> break;
>
> + case tok::kw___unaligned:
> + isInvalid = DS.SetTypeQual(DeclSpec::TQ_unaligned, Loc, PrevSpec,
> DiagID,
> + getLangOpts());
> + break;
> case tok::kw___uptr:
> // GNU libc headers in C mode use '__uptr' as an identifer which
> conflicts
> // with the MS modifier keyword.
> @@ -4836,7 +4843,6 @@ void Parser::ParseTypeQualifierListOpt(D
> case tok::kw___fastcall:
> case tok::kw___thiscall:
> case tok::kw___vectorcall:
> - case tok::kw___unaligned:
> if (AttrReqs & AR_DeclspecAttributesParsed) {
> ParseMicrosoftTypeAttributes(DS.getAttributes());
> continue;
> @@ -5059,7 +5065,8 @@ void Parser::ParseDeclaratorInternal(Dec
> DS.getConstSpecLoc(),
> DS.getVolatileSpecLoc(),
> DS.getRestrictSpecLoc(),
> - DS.getAtomicSpecLoc()),
> + DS.getAtomicSpecLoc(),
> + DS.getUnalignedSpecLoc()),
> DS.getAttributes(),
> SourceLocation());
> else
>
> Modified: cfe/trunk/lib/Parse/ParseTentative.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Parse/ParseTentative.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Parse/ParseTentative.cpp (original)
> +++ cfe/trunk/lib/Parse/ParseTentative.cpp Fri Apr 15 03:03:51 2016
> @@ -833,7 +833,7 @@ Parser::TPResult Parser::TryParseDeclara
> // '(' abstract-declarator ')'
> if (Tok.isOneOf(tok::kw___attribute, tok::kw___declspec,
> tok::kw___cdecl,
> tok::kw___stdcall, tok::kw___fastcall,
> tok::kw___thiscall,
> - tok::kw___vectorcall, tok::kw___unaligned))
> + tok::kw___vectorcall))
> return TPResult::True; // attributes indicate declaration
> TPResult TPR = TryParseDeclarator(mayBeAbstract, mayHaveIdentifier);
> if (TPR != TPResult::Ambiguous)
>
> Modified: cfe/trunk/lib/Sema/DeclSpec.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/DeclSpec.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Sema/DeclSpec.cpp (original)
> +++ cfe/trunk/lib/Sema/DeclSpec.cpp Fri Apr 15 03:03:51 2016
> @@ -494,6 +494,7 @@ const char *DeclSpec::getSpecifierName(T
> case DeclSpec::TQ_restrict: return "restrict";
> case DeclSpec::TQ_volatile: return "volatile";
> case DeclSpec::TQ_atomic: return "_Atomic";
> + case DeclSpec::TQ_unaligned: return "__unaligned";
> }
> llvm_unreachable("Unknown typespec!");
> }
> @@ -796,6 +797,7 @@ bool DeclSpec::SetTypeQual(TQ T, SourceL
> case TQ_restrict: TQ_restrictLoc = Loc; return false;
> case TQ_volatile: TQ_volatileLoc = Loc; return false;
> case TQ_atomic: TQ_atomicLoc = Loc; return false;
> + case TQ_unaligned: TQ_unalignedLoc = Loc; return false;
> }
>
> llvm_unreachable("Unknown type qualifier!");
> @@ -961,10 +963,10 @@ void DeclSpec::Finish(Sema &S, const Pri
> TypeSpecSign != TSS_unspecified ||
> TypeAltiVecVector || TypeAltiVecPixel || TypeAltiVecBool ||
> TypeQualifiers)) {
> - const unsigned NumLocs = 8;
> + const unsigned NumLocs = 9;
> SourceLocation ExtraLocs[NumLocs] = {
> TSWLoc, TSCLoc, TSSLoc, AltiVecLoc,
> - TQ_constLoc, TQ_restrictLoc, TQ_volatileLoc, TQ_atomicLoc
> + TQ_constLoc, TQ_restrictLoc, TQ_volatileLoc, TQ_atomicLoc,
> TQ_unalignedLoc
> };
> FixItHint Hints[NumLocs];
> SourceLocation FirstLoc;
>
> Modified: cfe/trunk/lib/Sema/SemaCodeComplete.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaCodeComplete.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Sema/SemaCodeComplete.cpp (original)
> +++ cfe/trunk/lib/Sema/SemaCodeComplete.cpp Fri Apr 15 03:03:51 2016
> @@ -3812,6 +3812,9 @@ void Sema::CodeCompleteTypeQualifiers(De
> if (getLangOpts().C11 &&
> !(DS.getTypeQualifiers() & DeclSpec::TQ_atomic))
> Results.AddResult("_Atomic");
> + if (getLangOpts().MSVCCompat &&
> + !(DS.getTypeQualifiers() & DeclSpec::TQ_unaligned))
> + Results.AddResult("__unaligned");
> Results.ExitScope();
> HandleCodeCompleteResults(this, CodeCompleter,
> Results.getCompletionContext(),
>
> Modified: cfe/trunk/lib/Sema/SemaDecl.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaDecl.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Sema/SemaDecl.cpp (original)
> +++ cfe/trunk/lib/Sema/SemaDecl.cpp Fri Apr 15 03:03:51 2016
> @@ -3974,6 +3974,8 @@ Sema::ParsedFreeStandingDeclSpec(Scope *
> // Restrict is covered above.
> if (DS.getTypeQualifiers() & DeclSpec::TQ_atomic)
> Diag(DS.getAtomicSpecLoc(), DiagID) << "_Atomic";
> + if (DS.getTypeQualifiers() & DeclSpec::TQ_unaligned)
> + Diag(DS.getUnalignedSpecLoc(), DiagID) << "__unaligned";
> }
>
> // Warn about ignored type attributes, for example:
> @@ -4231,6 +4233,11 @@ Decl *Sema::BuildAnonymousStructOrUnion(
> diag::ext_anonymous_struct_union_qualified)
> << Record->isUnion() << "_Atomic"
> << FixItHint::CreateRemoval(DS.getAtomicSpecLoc());
> + if (DS.getTypeQualifiers() & DeclSpec::TQ_unaligned)
> + Diag(DS.getUnalignedSpecLoc(),
> + diag::ext_anonymous_struct_union_qualified)
> + << Record->isUnion() << "__unaligned"
> + << FixItHint::CreateRemoval(DS.getUnalignedSpecLoc());
>
> DS.ClearTypeQualifiers();
> }
>
> Modified: cfe/trunk/lib/Sema/SemaDeclObjC.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaDeclObjC.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Sema/SemaDeclObjC.cpp (original)
> +++ cfe/trunk/lib/Sema/SemaDeclObjC.cpp Fri Apr 15 03:03:51 2016
> @@ -1503,6 +1503,7 @@ void Sema::actOnObjCTypeArgsOrProtocolQu
> SourceLocation(),
> SourceLocation(),
> SourceLocation(),
> + SourceLocation(),
> SourceLocation()),
> parsedAttrs,
> starLoc);
>
> Modified: cfe/trunk/lib/Sema/SemaExpr.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaExpr.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Sema/SemaExpr.cpp (original)
> +++ cfe/trunk/lib/Sema/SemaExpr.cpp Fri Apr 15 03:03:51 2016
> @@ -7138,7 +7138,7 @@ checkPointerTypesForAssignment(Sema &S,
> else if (lhq.getObjCLifetime() != rhq.getObjCLifetime())
> ConvTy = Sema::IncompatiblePointerDiscardsQualifiers;
>
> - // For GCC compatibility, other qualifier mismatches are treated
> + // For GCC/MS compatibility, other qualifier mismatches are treated
> // as still compatible in C.
> else ConvTy = Sema::CompatiblePointerDiscardsQualifiers;
> }
>
> Modified: cfe/trunk/lib/Sema/SemaType.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaType.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Sema/SemaType.cpp (original)
> +++ cfe/trunk/lib/Sema/SemaType.cpp Fri Apr 15 03:03:51 2016
> @@ -1743,12 +1743,13 @@ QualType Sema::BuildQualifiedType(QualTy
> }
>
> QualType Sema::BuildQualifiedType(QualType T, SourceLocation Loc,
> - unsigned CVRA, const DeclSpec *DS) {
> + unsigned CVRAU, const DeclSpec *DS) {
> if (T.isNull())
> return QualType();
>
> - // Convert from DeclSpec::TQ to Qualifiers::TQ by just dropping
> TQ_atomic.
> - unsigned CVR = CVRA & ~DeclSpec::TQ_atomic;
> + // Convert from DeclSpec::TQ to Qualifiers::TQ by just dropping
> TQ_atomic and
> + // TQ_unaligned;
> + unsigned CVR = CVRAU & ~DeclSpec::TQ_atomic & ~DeclSpec::TQ_unaligned;
>
> // C11 6.7.3/5:
> // If the same qualifier appears more than once in the same
> @@ -1758,7 +1759,7 @@ QualType Sema::BuildQualifiedType(QualTy
> // It's not specified what happens when the _Atomic qualifier is
> applied to
> // a type specified with the _Atomic specifier, but we assume that this
> // should be treated as if the _Atomic qualifier appeared multiple
> times.
> - if (CVRA & DeclSpec::TQ_atomic && !T->isAtomicType()) {
> + if (CVRAU & DeclSpec::TQ_atomic && !T->isAtomicType()) {
> // C11 6.7.3/5:
> // If other qualifiers appear along with the _Atomic qualifier in a
> // specifier-qualifier-list, the resulting type is the so-qualified
> @@ -1775,7 +1776,9 @@ QualType Sema::BuildQualifiedType(QualTy
> return BuildQualifiedType(T, Loc, Split.Quals);
> }
>
> - return BuildQualifiedType(T, Loc, Qualifiers::fromCVRMask(CVR), DS);
> + Qualifiers Q = Qualifiers::fromCVRMask(CVR);
> + Q.setUnaligned(CVRAU & DeclSpec::TQ_unaligned);
> + return BuildQualifiedType(T, Loc, Q, DS);
> }
>
> /// \brief Build a paren type including \p T.
> @@ -2617,7 +2620,8 @@ void Sema::diagnoseIgnoredQualifiers(uns
> SourceLocation ConstQualLoc,
> SourceLocation VolatileQualLoc,
> SourceLocation RestrictQualLoc,
> - SourceLocation AtomicQualLoc) {
> + SourceLocation AtomicQualLoc,
> + SourceLocation UnalignedQualLoc) {
> if (!Quals)
> return;
>
> @@ -2625,20 +2629,21 @@ void Sema::diagnoseIgnoredQualifiers(uns
> const char *Name;
> unsigned Mask;
> SourceLocation Loc;
> - } const QualKinds[4] = {
> + } const QualKinds[5] = {
> { "const", DeclSpec::TQ_const, ConstQualLoc },
> { "volatile", DeclSpec::TQ_volatile, VolatileQualLoc },
> { "restrict", DeclSpec::TQ_restrict, RestrictQualLoc },
> - { "_Atomic", DeclSpec::TQ_atomic, AtomicQualLoc }
> + { "_Atomic", DeclSpec::TQ_atomic, AtomicQualLoc },
> + { "__unaligned", DeclSpec::TQ_unaligned, UnalignedQualLoc }
> };
>
> SmallString<32> QualStr;
> unsigned NumQuals = 0;
> SourceLocation Loc;
> - FixItHint FixIts[4];
> + FixItHint FixIts[5];
>
> // Build a string naming the redundant qualifiers.
> - for (unsigned I = 0; I != 4; ++I) {
> + for (unsigned I = 0; I != 5; ++I) {
> if (Quals & QualKinds[I].Mask) {
> if (!QualStr.empty()) QualStr += ' ';
> QualStr += QualKinds[I].Name;
> @@ -2690,7 +2695,8 @@ static void diagnoseRedundantReturnTypeQ
> SourceLocation::getFromRawEncoding(PTI.ConstQualLoc),
> SourceLocation::getFromRawEncoding(PTI.VolatileQualLoc),
> SourceLocation::getFromRawEncoding(PTI.RestrictQualLoc),
> - SourceLocation::getFromRawEncoding(PTI.AtomicQualLoc));
> + SourceLocation::getFromRawEncoding(PTI.AtomicQualLoc),
> + SourceLocation::getFromRawEncoding(PTI.UnalignedQualLoc));
> return;
> }
>
> @@ -2726,7 +2732,8 @@ static void diagnoseRedundantReturnTypeQ
> D.getDeclSpec().getConstSpecLoc(),
> D.getDeclSpec().getVolatileSpecLoc(),
> D.getDeclSpec().getRestrictSpecLoc(),
> - D.getDeclSpec().getAtomicSpecLoc());
> + D.getDeclSpec().getAtomicSpecLoc(),
> + D.getDeclSpec().getUnalignedSpecLoc());
> }
>
> static QualType GetDeclSpecTypeForDeclarator(TypeProcessingState &state,
>
> Modified: cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp (original)
> +++ cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp Fri Apr 15 03:03:51 2016
> @@ -293,3 +293,14 @@ int PR26105() {
> }
> // CHECK-DAG: @"\01??R<lambda_0>@?0??PR26105@@YAHXZ at QBE@H at Z"
> // CHECK-DAG: @"\01??R<lambda_1>@?0???R<lambda_0>@?0??PR26105@@YAHXZ at QBE
> @H at Z@QBE at H@Z"
> +
> +int __unaligned * unaligned_foo1() { return 0; }
> +int __unaligned * __unaligned * unaligned_foo2() { return 0; }
> +__unaligned int unaligned_foo3() { return 0; }
> +void unaligned_foo4(int __unaligned *p1) {}
> +
> +// CHECK-DAG: @"\01?unaligned_foo1@@YAPFAHXZ"
> +// CHECK-DAG: @"\01?unaligned_foo2@@YAPFAPFAHXZ"
> +// CHECK-DAG: @"\01?unaligned_foo3@@YAHXZ"
> +// CHECK-DAG: @"\01?unaligned_foo4@@YAXPFAH at Z"
> +
>
> Modified: cfe/trunk/test/Sema/MicrosoftExtensions.c
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/MicrosoftExtensions.c?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/test/Sema/MicrosoftExtensions.c (original)
> +++ cfe/trunk/test/Sema/MicrosoftExtensions.c Fri Apr 15 03:03:51 2016
> @@ -170,3 +170,11 @@ void myprintf(const char *f, ...) {
> __va_start(ap, f); // expected-warning {{incompatible pointer types
> passing 'my_va_list'}}
> }
> }
> +
> +// __unaligned handling
> +void test_unaligned() {
> + __unaligned int *p1 = 0;
> + int *p2 = p1; // expected-warning {{initializing 'int *' with an
> expression of type '__unaligned int *' discards qualifiers}}
> + __unaligned int *p3 = p2;
> +}
> +
>
> Modified: cfe/trunk/test/Sema/address_spaces.c
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/address_spaces.c?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/test/Sema/address_spaces.c (original)
> +++ cfe/trunk/test/Sema/address_spaces.c Fri Apr 15 03:03:51 2016
> @@ -20,7 +20,7 @@ void foo(_AS3 float *a,
> _AS1 int arrarr[5][5]; // expected-error {{automatic variable qualified
> with an address space}}
>
> __attribute__((address_space(-1))) int *_boundsA; // expected-error
> {{address space is negative}}
> - __attribute__((address_space(0xFFFFFF))) int *_boundsB;
> + __attribute__((address_space(0x7FFFFF))) int *_boundsB;
> __attribute__((address_space(0x1000000))) int *_boundsC; //
> expected-error {{address space is larger than the maximum supported}}
> // chosen specifically to overflow 32 bits and come out reasonable
> __attribute__((address_space(4294967500))) int *_boundsD; //
> expected-error {{address space is larger than the maximum supported}}
> @@ -71,4 +71,4 @@ __attribute__((address_space("12"))) int
> // Clang extension doesn't forbid operations on pointers to different
> address spaces.
> char* cmp(_AS1 char *x, _AS2 char *y) {
> return x < y ? x : y; // expected-warning {{pointer type mismatch
> ('__attribute__((address_space(1))) char *' and
> '__attribute__((address_space(2))) char *')}}
> -}
> \ No newline at end of file
> +}
>
> Modified: cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c
> (original)
> +++ cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c Fri
> Apr 15 03:03:51 2016
> @@ -1,6 +1,6 @@
> // RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only
>
> -#define OPENCL_CONSTANT 16776962
> +#define OPENCL_CONSTANT 8388354
> int __attribute__((address_space(OPENCL_CONSTANT))) c[3] = {0};
>
> void foo() {
>
> Modified: cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp?rev=266415&r1=266414&r2=266415&view=diff
>
> ==============================================================================
> --- cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp (original)
> +++ cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp Fri Apr 15 03:03:51 2016
> @@ -1,5 +1,7 @@
> -// RUN: %clang_cc1 %s -triple i686-pc-win32 -fsyntax-only -Wmicrosoft
> -Wc++11-extensions -Wno-long-long -verify -fms-extensions -fexceptions
> -fcxx-exceptions
> +// RUN: %clang_cc1 %s -triple i686-pc-win32 -fsyntax-only -Wmicrosoft
> -Wc++11-extensions -Wno-long-long -verify -fms-extensions -fexceptions
> -fcxx-exceptions -DTEST1
> +// RUN: %clang_cc1 %s -triple i686-pc-win32 -fsyntax-only -Wmicrosoft
> -Wc++11-extensions -Wno-long-long -verify -fexceptions -fcxx-exceptions
> -DTEST2
>
> +#if TEST1
>
> // Microsoft doesn't validate exception specification.
> namespace microsoft_exception_spec {
> @@ -80,7 +82,32 @@ struct M {
> // __unaligned handling
> typedef char __unaligned *aligned_type;
> typedef struct UnalignedTag { int f; } __unaligned *aligned_type2;
> +typedef char __unaligned aligned_type3;
>
> +// Check that __unaligned qualifier can be used for overloading
> +void foo_unaligned(int *arg) {}
> +void foo_unaligned(__unaligned int *arg) {}
> +void foo_unaligned(int arg) {} // expected-note {{previous definition is
> here}}
> +void foo_unaligned(__unaligned int arg) {} // expected-error
> {{redefinition of 'foo_unaligned'}}
> +class A_unaligned {};
> +class B_unaligned : public A_unaligned {};
> +int foo_unaligned(__unaligned A_unaligned *arg) { return 0; }
> +void *foo_unaligned(B_unaligned *arg) { return 0; }
> +
> +void test_unaligned() {
> + int *p1 = 0;
> + foo_unaligned(p1);
> +
> + __unaligned int *p2 = 0;
> + foo_unaligned(p2);
> +
> + __unaligned B_unaligned *p3 = 0;
> + int p4 = foo_unaligned(p3);
> +
> + B_unaligned *p5 = p3; // expected-error {{cannot initialize a variable
> of type 'B_unaligned *' with an lvalue of type '__unaligned B_unaligned *'}}
> +
> + __unaligned B_unaligned *p6 = p3;
> +}
>
> template<typename T> void h1(T (__stdcall M::* const )()) { }
>
> @@ -420,3 +447,15 @@ struct S {
>
> int S::fn() { return 0; } // expected-warning {{is missing exception
> specification}}
> }
> +
> +#elif TEST2
> +
> +// Check that __unaligned is not recognized if MS extensions are not
> enabled
> +typedef char __unaligned *aligned_type; // expected-error {{expected ';'
> after top level declarator}}
> +
> +#else
> +
> +#error Unknown test mode
> +
> +#endif
> +
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20160415/0b7808d9/attachment-0001.html>
More information about the cfe-commits
mailing list