diff --git a/llvm/tools/llvmc/doc/LLVMC-Reference.rst b/llvm/tools/llvmc/doc/LLVMC-Reference.rst index 3014a3afbff0..7e609a7bc341 100644 --- a/llvm/tools/llvmc/doc/LLVMC-Reference.rst +++ b/llvm/tools/llvmc/doc/LLVMC-Reference.rst @@ -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. + - ``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)))``. - - ``or`` - Another logical combinator that returns true only if any - one of its arguments returns true. Example: ``(or (test1), - (test2), ... (testN))``. Writing a tool description