llvm/docs
Nick Desaulniers 67cd776307 [Verifier] add invariant check for callbr
Summary:
The list of indirect labels should ALWAYS have their blockaddresses as
argument operands to the callbr (but not necessarily the other way
around).  Add an invariant that checks this.

The verifier catches a bad test case that was added recently in r368478.
I think that was a simple mistake, and the test was made less strict in
regards to the precise addresses (as those weren't specifically the
point of the test).

This invariant will be used to find a reported bug.

Link: https://www.spinics.net/lists/arm-kernel/msg753473.html
Link: https://github.com/ClangBuiltLinux/linux/issues/649

Reviewers: craig.topper, void, chandlerc

Reviewed By: void

Subscribers: ychen, lebedev.ri, javed.absar, kristof.beyls, hiraditya, llvm-commits, srhines

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D67196

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@372923 91177308-0d34-0410-b5e6-96231b3b80d8
2019-09-25 22:28:27 +00:00
..
_ocamldoc
_static
_templates [Docs] Updates sidebar links 2019-09-21 21:05:20 +00:00
_themes/llvm-theme
AMDGPU [AMDGPU][MC][DOC] Updated AMD GPU assembler description. 2019-09-25 12:38:35 +00:00
CommandGuide [docs][llvm-strings] Clarify "printable character" wording 2019-09-25 13:09:17 +00:00
DependenceGraphs Data Dependence Graph Basics 2019-09-18 17:43:45 +00:00
Frontend [docs] Remove training whitespaces. NFC 2019-09-20 15:02:32 +00:00
HistoricalNotes
PDB Fix a few spellos in docs. 2019-09-13 14:58:24 +00:00
Proposals Add a proposal for a libc project under the LLVM umbrella. 2019-08-15 15:50:42 +00:00
TableGen [docs] Fix TableGen/LangRef typos 2019-06-13 18:42:30 +00:00
tutorial Fix a few spellos in docs. 2019-09-13 14:58:24 +00:00
AddingConstrainedIntrinsics.rst [FPEnv] A missing crucial step was undocumented. 2019-06-25 16:09:39 +00:00
AdvancedBuilds.rst
AliasAnalysis.rst
AMDGPUInstructionNotation.rst
AMDGPUInstructionSyntax.rst [AMDGPU][MC][DOC] Updated AMD GPU assembler syntax description. 2019-07-08 16:50:11 +00:00
AMDGPUModifierSyntax.rst [AMDGPU][MC][DOC] Updated AMD GPU assembler description. 2019-09-25 12:38:35 +00:00
AMDGPUOperandSyntax.rst [AMDGPU][MC][DOC] Updated AMD GPU assembler description. 2019-09-25 12:38:35 +00:00
AMDGPUUsage.rst [AMDGPU] gfx908 target 2019-07-09 18:10:06 +00:00
ARM-BE-bitcastfail.png
ARM-BE-bitcastsuccess.png
ARM-BE-ld1.png
ARM-BE-ldr.png
Atomics.rst [NFC] Test commit, deleting some whitespace 2019-09-20 09:43:31 +00:00
Benchmarking.rst
BigEndianNEON.rst
BitCodeFormat.rst ARM MTE stack sanitizer. 2019-07-15 20:02:23 +00:00
BlockFrequencyTerminology.rst
BranchWeightMetadata.rst
BugLifeCycle.rst
Bugpoint.rst Reland "[docs][Bugpoint]Add notes about multiple crashes" 2019-09-17 21:09:41 +00:00
BugpointRedesign.md [Bugpoint redesign] Fix nonlocal URI link in doc 2019-08-09 21:48:47 +00:00
BuildingADistribution.rst Fix a few spellos in docs. 2019-09-13 14:58:24 +00:00
CFIVerify.rst
CMake.rst doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion 2019-09-05 19:50:56 +00:00
CMakeLists.txt
CMakePrimer.rst
CodeGenerator.rst CodeGen: Allow virtual registers in bundles 2019-08-01 18:41:28 +00:00
CodeOfConduct.rst
CodingStandards.rst Move to C++14 2019-08-14 17:39:07 +00:00
CommandLine.rst [NFC] fix trivial typos in documents 2019-06-25 07:24:27 +00:00
CompileCudaWithLLVM.rst
CompilerWriterInfo.rst [Docs] Modernize references to macOS 2019-05-30 16:46:22 +00:00
conf.py [Docs] Add a custom sidebar to doc pages 2019-09-20 22:16:39 +00:00
Contributing.rst
Coroutines.rst Extend coroutines to support a "returned continuation" lowering. 2019-08-14 03:53:17 +00:00
CoverageMappingFormat.rst
DebuggingJITedCode.rst [Docs] Modernize references to macOS 2019-05-30 16:46:22 +00:00
DeveloperPolicy.rst DeveloperPolicy: fix a typo 2019-07-15 08:09:21 +00:00
Docker.rst [build] Rename clang-headers to clang-resource-headers 2019-03-04 21:19:53 +00:00
doxygen-mainpage.dox
doxygen.cfg.in [NFC] Remove LLVM_ALIGNAS 2019-07-31 03:22:08 +00:00
ExceptionHandling.rst
ExtendedIntegerResults.txt
ExtendingLLVM.rst Note ImmArg in documentation for adding intrinsics 2019-03-14 13:46:17 +00:00
Extensions.rst Add IR support, ELF section and user documentation for partitioning feature. 2019-05-29 03:29:01 +00:00
FAQ.rst Remove some autoconf references from docs and comments 2019-07-03 09:57:59 +00:00
FaultMaps.rst
FuzzingLLVM.rst
GarbageCollection.rst
gcc-loops.png
GetElementPtr.rst [DOC] Fix load instructions' syntax, function definition. 2019-06-12 11:24:22 +00:00
GettingInvolved.rst [Docs] Moves Reference docs to new page 2019-09-25 00:49:02 +00:00
GettingStarted.rst [docs] Fix sphinx doc generation errors 2019-08-14 22:18:01 +00:00
GettingStartedVS.rst Retire VS2015 Support 2019-07-09 10:10:48 +00:00
GlobalISel.rst [docs] Fix sphinx doc generation errors 2019-08-14 22:18:01 +00:00
GoldPlugin.rst
GwpAsan.rst [docs] Add GwpAsan to toctree. 2019-08-21 18:31:03 +00:00
HowToAddABuilder.rst
HowToBuildOnARM.rst
HowToBuildWithPGO.rst
HowToCrossCompileBuiltinsOnArm.rst
HowToCrossCompileLLVM.rst
HowToReleaseLLVM.rst Remove some autoconf references from docs and comments 2019-07-03 09:57:59 +00:00
HowToSetUpLLVMStyleRTTI.rst
HowToSubmitABug.rst
HowToUseAttributes.rst
HowToUseInstrMappings.rst
InAlloca.rst
index.rst [Docs] Moves Reference docs to new page 2019-09-25 00:49:02 +00:00
LangRef.rst [Verifier] add invariant check for callbr 2019-09-25 22:28:27 +00:00
Lexicon.rst
LibFuzzer.rst [docs] Update structure-aware-fuzzing link. 2019-09-20 19:39:50 +00:00
LinkTimeOptimization.rst
linpack-pc.png
llvm-objdump.1
LLVMBuild.rst
LLVMBuild.txt
LoopTerminology.rst [docs] Fix sphinx doc generation errors 2019-08-14 22:18:01 +00:00
make.bat
Makefile.sphinx
MarkdownQuickstartTemplate.md
MarkedUpDisassembly.rst
MCJIT-creation.png
MCJIT-dyld-load.png
MCJIT-engine-builder.png
MCJIT-load-object.png
MCJIT-load.png
MCJIT-resolve-relocations.png
MCJITDesignAndImplementation.rst
MeetupGuidelines.rst Add guidelines/recommendations for organizers of LLVM Socials 2019-05-14 07:20:58 +00:00
MemorySSA.rst
MergeFunctions.rst
MIRLangRef.rst [LLVM][Alignment] Make functions using log of alignment explicit 2019-09-05 10:00:22 +00:00
NVPTXUsage.rst
OptBisect.rst
ORCv2.rst Fix a few spellos in docs. 2019-09-13 14:58:24 +00:00
Packaging.rst
Passes.rst
Phabricator.rst
ProgrammersManual.rst Fix typo in programmer's manual cantFile -> cantFail 2019-07-18 05:24:22 +00:00
ProgrammingDocumentation.rst [Docs] Move topics to new categories 2019-09-20 20:51:33 +00:00
Projects.rst
re_format.7
README.txt [NFC] Test commit, whitespace change 2019-06-06 22:07:14 +00:00
Reference.rst [Docs] Moves Reference docs to new page 2019-09-25 00:49:02 +00:00
ReleaseNotes.rst [X86] Enable -mprefer-vector-width=256 by default for Skylake-avx512 and later Intel CPUs. 2019-09-11 23:54:36 +00:00
ReleaseProcess.rst
Remarks.rst Reland: [Remarks] Add an LLVM-bitstream-based remark serializer 2019-07-31 00:13:51 +00:00
ReportingGuide.rst
ScudoHardenedAllocator.rst
SegmentedStacks.rst
SourceLevelDebugging.rst Update link to the DWARF spec. 2019-09-11 19:57:29 +00:00
speculative_load_hardening_microbenchmarks.png
SpeculativeLoadHardening.md Fix a few spellos in docs. 2019-09-13 14:58:24 +00:00
SphinxQuickstartTemplate.rst
StackMaps.rst
StackSafetyAnalysis.rst
Statepoints.rst
SubsystemDocumentation.rst [Docs] Move topics to new categories 2019-09-20 20:51:33 +00:00
SupportLibrary.rst
SystemLibrary.rst
TableGenFundamentals.rst
TestingGuide.rst [Docs] Test commit 2019-08-18 19:07:10 +00:00
TestSuiteGuide.md
TestSuiteMakefileGuide.rst
TransformMetadata.rst
TypeMetadata.rst
UserGuides.rst [Docs] Move topics to new categories 2019-09-20 20:51:33 +00:00
Vectorizers.rst
WritingAnLLVMBackend.rst
WritingAnLLVMPass.rst Attempt to unbreak sphinx build bot by inserting a link. 2019-07-31 22:14:26 +00:00
XRay.rst
XRayExample.rst [XRay][docs] Fix option name 2019-03-12 13:44:42 +00:00
XRayFDRFormat.rst
yaml2obj.rst
YamlIO.rst

LLVM Documentation
==================

LLVM's documentation is written in reStructuredText, a lightweight
plaintext markup language (file extension `.rst`). While the
reStructuredText documentation should be quite readable in source form, it
is mostly meant to be processed by the Sphinx documentation generation
system to create HTML pages which are hosted on <http://llvm.org/docs/> and
updated after every commit. Manpage output is also supported, see below.

If you instead would like to generate and view the HTML locally, install
Sphinx <http://sphinx-doc.org/> and then do:

    cd <build-dir>
    cmake -DLLVM_ENABLE_SPHINX=true -DSPHINX_OUTPUT_HTML=true <src-dir>
    make -j3 docs-llvm-html
    $BROWSER <build-dir>/docs//html/index.html

The mapping between reStructuredText files and generated documentation is
`docs/Foo.rst` <-> `<build-dir>/docs//html/Foo.html` <-> `http://llvm.org/docs/Foo.html`.

If you are interested in writing new documentation, you will want to read
`SphinxQuickstartTemplate.rst` which will get you writing documentation
very fast and includes examples of the most important reStructuredText
markup syntax.

Manpage Output
===============

Building the manpages is similar to building the HTML documentation. The
primary difference is to use the `man` makefile target, instead of the
default (which is `html`). Sphinx then produces the man pages in the
directory `<build-dir>/docs/man/`.

    cd <build-dir>
    cmake -DLLVM_ENABLE_SPHINX=true -DSPHINX_OUTPUT_MAN=true <src-dir>
    make -j3 docs-llvm-man
    man -l >build-dir>/docs/man/FileCheck.1

The correspondence between .rst files and man pages is
`docs/CommandGuide/Foo.rst` <-> `<build-dir>/docs//man/Foo.1`.
These .rst files are also included during HTML generation so they are also
viewable online (as noted above) at e.g.
`http://llvm.org/docs/CommandGuide/Foo.html`.

Checking links
==============

The reachability of external links in the documentation can be checked by
running:

    cd docs/
    make -f Makefile.sphinx linkcheck

Doxygen page Output
==============

Install doxygen <http://www.stack.nl/~dimitri/doxygen/download.html> and dot2tex <https://dot2tex.readthedocs.io/en/latest>.

    cd <build-dir>
    cmake -DLLVM_ENABLE_DOXYGEN=On <llvm-top-src-dir>
    make doxygen-llvm # for LLVM docs
    make doxygen-clang # for clang docs

It will generate html in

    <build-dir>/docs/doxygen/html # for LLVM docs
    <build-dir>/tools/clang/docs/doxygen/html # for clang docs