src/c-types-impl.lisp, src/c-types-parse.lisp: Support C11 `_Alignas'.

diff --git a/doc/SYMBOLS b/doc/SYMBOLS
index 022538ab53473238b7afb124593b3fe06f67a36e..20e2eef1918dc97e4d4dc9e6b7c0c347badc514b 100644 (file)
--- a/doc/SYMBOLS
+++ b/doc/SYMBOLS
@@ -16,6 +16,8 @@ c-types-class-impl.lisp
 
 c-types-impl.lisp
   cl:*                                          variable function c-type
 
 c-types-impl.lisp
   cl:*                                          variable function c-type

+  alignas
+  alignas-storage-specifier                     class

   cl:array                                      class c-type
   atomic                                        c-type
   bool                                          c-type
   cl:array                                      class c-type
   atomic                                        c-type
   bool                                          c-type


@@ -589,6 +591,7 @@ Classes:
 cl:t
   sb-pcl::slot-object
     cl:standard-object
 cl:t
   sb-pcl::slot-object
     cl:standard-object

+      alignas-storage-specifier

       base-offset
       sod::basic-codegen
         codegen
       base-offset
       sod::basic-codegen
         codegen


@@ -893,6 +896,7 @@ expand-c-storage-specifier
   cl:list
   cl:symbol
 expand-c-storage-specifier-form
   cl:list
   cl:symbol
 expand-c-storage-specifier-form

+  (eql alignas) t

   (eql sod-parser:lisp) t
 expand-c-type-form
   (eql cl:*) t
   (eql sod-parser:lisp) t
 expand-c-type-form
   (eql cl:*) t


@@ -1199,6 +1203,7 @@ module-pset
   module
 pprint-c-storage-specifier
   cl:symbol t
   module
 pprint-c-storage-specifier
   cl:symbol t

+  alignas-storage-specifier t

 pprint-c-type
   t t t
   c-array-type t t
 pprint-c-type
   t t t
   c-array-type t t


@@ -1214,6 +1219,7 @@ primary-method-class
 print-c-storage-specifier
   t cl:symbol
   t t
 print-c-storage-specifier
   t cl:symbol
   t t

+  t alignas-storage-specifier

 print-c-type
   t c-array-type
   t c-atomic-type
 print-c-type
   t c-array-type
   t c-atomic-type

diff --git a/doc/clang.tex b/doc/clang.tex
index 5a22984b34999d6763a4d257b02121299b34a541..ce342653fdcc0b09fccf7975535880a3fafb6bcb 100644 (file)
--- a/doc/clang.tex
+++ b/doc/clang.tex
@@ -465,6 +465,15 @@ complicated objects.
   @<base-type>.
 \end{describe}
 
   @<base-type>.
 \end{describe}
 

+\begin{describe}{cls}{alignas-storage-specifier () \&key :alignment}
+  The class of @|_Alignas| storage specifiers; an instance denotes the
+  specifier @|_Alignas(@<alignment>)|.  The @<alignment> parameter may be any
+  printable object, but is usually a string or C fragment.
+
+  The storage specifier form @|(alignas @<alignment>)| returns a storage
+  specifier @|_Alignas(@<alignment>)|, where @<alignment> is evaluated.
+\end{describe}
+

 
 \subsection{Leaf types} \label{sec:clang.c-types.leaf}
 
 
 \subsection{Leaf types} \label{sec:clang.c-types.leaf}
 

diff --git a/doc/syntax.tex b/doc/syntax.tex
index 560dc47334a417ece602f842aff8f147a623384b..b8ae7977792376c4751e0ef297901076e734b124 100644 (file)
--- a/doc/syntax.tex
+++ b/doc/syntax.tex
@@ -451,6 +451,7 @@ recognized.
 \alt "bool" | "_Bool"
 \alt "imaginary" | "_Imaginary" | "complex" | "_Complex"
 \alt <qualifier>
 \alt "bool" | "_Bool"
 \alt "imaginary" | "_Imaginary" | "complex" | "_Complex"
 \alt <qualifier>

+\alt <storage-specifier>

 \alt <atomic-type>
 
 <qualifier> ::= <atomic> | "const" | "volatile" | "restrict"
 \alt <atomic-type>
 
 <qualifier> ::= <atomic> | "const" | "volatile" | "restrict"


@@ -460,6 +461,10 @@ recognized.
 
 <atomic> ::= "atomic" | "_Atomic"
 
 
 <atomic> ::= "atomic" | "_Atomic"
 

+<storage-specifier> ::= <alignas> "(" <c-fragment> ")"
+
+<alignas> ::= "alignas" "_Alignas"
+

 <type-name> ::= <identifier>
 \end{grammar}
 
 <type-name> ::= <identifier>
 \end{grammar}
 


@@ -475,7 +480,8 @@ defined in the built-in module.
 
 Declaration specifiers may appear in any order.  However, not all
 combinations are permitted.  A declaration specifier must consist of zero or
 
 Declaration specifiers may appear in any order.  However, not all
 combinations are permitted.  A declaration specifier must consist of zero or

-more @<qualifier>s, and one of the following, up to reordering.
+more @<qualifier>s, zero or more @<storage-specifier>s, and one of the
+following, up to reordering.

 \begin{itemize}
 \item @<type-name>
 \item @<atomic-type>
 \begin{itemize}
 \item @<type-name>
 \item @<atomic-type>

diff --git a/src/c-types-impl.lisp b/src/c-types-impl.lisp
index 719e61076df919801d0e02927a548974b40f04b2..97b6742286ea10527958e177a2234fa63268a910 100644 (file)
--- a/src/c-types-impl.lisp
+++ b/src/c-types-impl.lisp
@@ -135,6 +135,26 @@ (define-c-type-syntax specs (subtype &rest specifiers)
     ,(expand-c-type-spec subtype)
     (list ,@(mapcar #'expand-c-storage-specifier specifiers))))
 
     ,(expand-c-type-spec subtype)
     (list ,@(mapcar #'expand-c-storage-specifier specifiers))))
 

+;;;--------------------------------------------------------------------------
+;;; Some storage specifiers.
+
+(export 'alignas-storage-specifier)
+(defclass alignas-storage-specifier ()
+  ((alignment :initarg :alignment :reader spec-alignment)))
+
+(export 'alignas)
+(define-c-storage-specifier-syntax alignas (alignment)
+  `(make-instance 'alignas-storage-specifier :alignment ,alignment))
+
+(defmethod print-c-storage-specifier
+    (stream (spec alignas-storage-specifier) &optional colon atsign)
+  (declare (ignore colon atsign))
+  (format stream "~:@<~S ~_~S~:>" 'alignas (spec-alignment spec)))
+
+(defmethod pprint-c-storage-specifier
+    ((spec alignas-storage-specifier) stream)
+  (format stream "_Alignas(~A)" (spec-alignment spec)))
+

 ;;;--------------------------------------------------------------------------
 ;;; Simple C types.
 
 ;;;--------------------------------------------------------------------------
 ;;; Simple C types.
 

diff --git a/src/c-types-parse.lisp b/src/c-types-parse.lisp
index 94e86871da07979e375e2179065b340c5b1ab39a..450cee69dde9150a4c62c8b739d59909c0aee3e2 100644 (file)
--- a/src/c-types-parse.lisp
+++ b/src/c-types-parse.lisp
@@ -288,6 +288,21 @@ (define-pluggable-parser complex-declspec atomic-typepsec (scanner)
                       #\))
                   (make-atomic-type (car subtype)))))))
 
                       #\))
                   (make-atomic-type (car subtype)))))))
 

+(define-pluggable-parser complex-declspec alignas (scanner)
+  ;; `alignas' `(' fragment `)'
+  ;; `_Alignas' `(' fragment `)'
+  (with-parser-context (token-scanner-context :scanner scanner)
+    (parse (peek (seq ((nil (or "alignas" "_Alignas"))
+                      (nil (lisp (values #\(
+                                         (eq (token-type scanner) #\()
+                                         nil)))
+                      (nil (commit))
+                      (frag (parse-delimited-fragment scanner #\( #\))))
+                  (make-instance 'storespec
+                                 :spec (make-instance
+                                        'alignas-storage-specifier
+                                        :alignment frag)))))))
+

 (defun scan-and-merge-declspec (scanner specs)
   "Scan a declaration specifier and merge it with SPECS.
 
 (defun scan-and-merge-declspec (scanner specs)
   "Scan a declaration specifier and merge it with SPECS.
 

diff --git a/src/sod-module.5 b/src/sod-module.5
index 86b124d864908aa470aafb28ba1a72053784cc67..18375246943fa78275580323691a2b5c76af1c05 100644 (file)
--- a/src/sod-module.5
+++ b/src/sod-module.5
@@ -713,6 +713,8 @@ class-definition
 .|
 .I qualifier
 .|
 .|
 .I qualifier
 .|

+.I storage-specifier
+.|

 .I atomic-type
 .br
 .I qualifier
 .I atomic-type
 .br
 .I qualifier


@@ -740,6 +742,19 @@ atomic
 |
 .B _Atomic
 .br
 |
 .B _Atomic
 .br

+.I storage-specifier
+::=
+.I alignas
+.B (
+.I c-fragment
+.B )
+.br
+.I alignas
+::=
+.B alignas
+|
+.B _Alignas
+.br

 .I type-name
 ::=
 .I identifier
 .I type-name
 ::=
 .I identifier


@@ -761,6 +776,8 @@ However, not all combinations are permitted.
 A declaration specifier must consist of 
 zero or more
 .IR qualifier s,
 A declaration specifier must consist of 
 zero or more
 .IR qualifier s,

+zero or more
+.IR storage-specifier s,

 and one of the following, up to reordering.
 .hP \*o
 .I type-name
 and one of the following, up to reordering.
 .hP \*o
 .I type-name