From 90a52145aba097dffcf92080975749778201f16c Mon Sep 17 00:00:00 2001 From: Gordon Henriksen Date: Mon, 5 Nov 2007 02:05:35 +0000 Subject: Bringing Passes.html up-to-date with the deletion of the -emitbitcode option and the addition of -preverify. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43696 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/Passes.html | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'docs/Passes.html') diff --git a/docs/Passes.html b/docs/Passes.html index 320f8e8..3492a27 100644 --- a/docs/Passes.html +++ b/docs/Passes.html @@ -179,7 +179,7 @@ perl -e '$/ = undef; for (split(/\n/, <>)) { s:^ *///? ?::; print "

\n" if ! OptionName -deadarghaX0rDead Argument Hacking (BUGPOINT USE ONLY; DO NOT USE) -extract-blocksExtract Basic Blocks From Module (for bugpoint use) --emitbitcodeBitcode Writer +-preverifyPreliminary module verification -verifyModule Verifier -view-cfgView CFG of function -view-cfg-onlyView CFG of function (with no function bodies) @@ -1826,10 +1826,18 @@ if (i == j)

- Bitcode Writer + Preliminary module verification
-

Yet to be written.

+

+ Ensures that the module is in the form required by the Module Verifier pass. +

+ +

+ Running the verifier runs this pass automatically, so there should be no need + to use it directly. +

-- cgit v1.1