src/: Enhance `definst' to allow general BVL syntax.

[sod] / doc / clang.tex
diff --git a/doc/clang.tex b/doc/clang.tex

index 58b8cd2..f5b16a8 100644 (file)
--- a/doc/clang.tex
+++ b/doc/clang.tex
@@ -892,7 +892,8 @@ Temporary names are represented by objects which implement a simple protocol.
      \thd{Class name} &
      \thd{Arguments} &
      \thd{Output format}                                         \\ \hlx{vhv}
-    @|var|      & @<name> @<type> @<init>  & @<type> @<name> @[= @<init>@];
+    @|var|      & @<name> @<type> @|\&optional| @<init>
+                                           & @<type> @<name> @[= @<init>@];
                                                                  \\ \hlx{v}
      @|set|      & @<var> @<expr>           & @<var> = @<expr>;  \\ \hlx{v}
      @|update|   & @<var> @<op> @<expr>     & @<var> @<op>= @<expr>;
@@ -902,21 +903,23 @@ Temporary names are represented by objects which implement a simple protocol.
      @|break|    & ---                      & break;             \\ \hlx{v}
      @|continue| & ---                      & continue;          \\ \hlx{v}
      @|expr|     & @<expr>                  & @<expr>;           \\ \hlx{v}
-    @|call|     & @<func> @<args>          & @<func>(@<arg>_1,
+    @|call|     & @<func> @|\&rest| @<args>
+                                           & @<func>(@<arg>_1,
                                                       $\ldots$,
                                                       @<arg>_n)  \\ \hlx{vhv}
      @|block|    & @<decls> @<body>         & \{ @[@<decls>@] @<body> \}
                                                                  \\ \hlx{v}
-    @|if|       & @<cond> @<conseq> @<alt> & if (@<cond>) @<conseq>
+    @|if|       & @<cond> @<conseq> @|\&optional| @<alt>
+                                           & if (@<cond>) @<conseq>
                                               @[else @<alt>@]    \\ \hlx{v}
      @|while|    & @<cond> @<body>          & while (@<cond>) @<body>
                                                                  \\ \hlx{v}
      @|do-while| & @<body> @<cond>          & do @<body> while (@<cond>);
                                                                  \\ \hlx{v}
      @|function| & @<name> @<type> @<body>  &
-      @<type>_0 @<name>(@<type>_1 @<arg>_1, $\ldots$,
-                             @<type>_n @<arg>_n @[, \dots@])
-        @<body>                                                 \\ \hlx*{vh}
+      \vtop{\hbox{\strut @<type>_0 @<name>(@<type>_1 @<arg>_1, $\ldots$,
+                                           @<type>_n @<arg>_n @[, \dots@])}
+            \hbox{\strut \quad @<body>}}                        \\ \hlx*{vh}
    \end{tabular}
    \caption{Instruction classes}
    \label{tab:codegen.codegen.insts}