Document the 'not' combinator.
authorMikhail Glushenkov <foldr@codedgers.com>
Mon, 28 Sep 2009 01:16:07 +0000 (01:16 +0000)
committerMikhail Glushenkov <foldr@codedgers.com>
Mon, 28 Sep 2009 01:16:07 +0000 (01:16 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82956 91177308-0d34-0410-b5e6-96231b3b80d8

tools/llvmc/doc/LLVMC-Reference.rst

index 3014a3afbff0f497efcd9f2166f75838aec8bdc9..7e609a7bc341d25e01fcb09a22d3ab990c4fd04f 100644 (file)
@@ -461,14 +461,17 @@ use TableGen inheritance instead.
   - ``default`` - Always evaluates to true. Should always be the last
     test in the ``case`` expression.
 
-  - ``and`` - A standard logical combinator that returns true iff all
-    of its arguments return true. Used like this: ``(and (test1),
-    (test2), ... (testN))``. Nesting of ``and`` and ``or`` is allowed,
-    but not encouraged.
-
-  - ``or`` - Another logical combinator that returns true only if any
-    one of its arguments returns true. Example: ``(or (test1),
-    (test2), ... (testN))``.
+  - ``and`` - A standard binary logical combinator that returns true iff all of
+    its arguments return true. Used like this: ``(and (test1), (test2),
+    ... (testN))``. Nesting of ``and`` and ``or`` is allowed, but not
+    encouraged.
+
+  - ``or`` - A binary logical combinator that returns true iff any of its
+    arguments returns true. Example: ``(or (test1), (test2), ... (testN))``.
+
+  - ``not`` - Standard unary logical combinator that negates its
+    argument. Example: ``(not (or (test1), (test2), ... (testN)))``.
+
 
 
 Writing a tool description