commit d9b8616c27e60719c297ce625f09d9b67a3c802c
author Chris Lattner <sabre@nondot.org> Thu Oct 25 04:30:35 2007 +0000
committer Chris Lattner <sabre@nondot.org> Thu Oct 25 04:30:35 2007 +0000
tree 323f84fc09896f9d408b83336b08b7f9cec7103c
parent f92ff03f7124bdd1da31863a47a0c9af84ef6f23

Run the verifier on generated code.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43327 91177308-0d34-0410-b5e6-96231b3b80d8

docs/tutorial/LangImpl3.html

diff --git a/docs/tutorial/LangImpl3.html b/docs/tutorial/LangImpl3.html
index 7e3ed03..49e55d3 100644
--- a/docs/tutorial/LangImpl3.html
+++ b/docs/tutorial/LangImpl3.html
@@ -400,10 +400,6 @@
   Builder.SetInsertPoint(BB);
   
   if (Value *RetVal = Body->Codegen()) {
-    // Finish off the function.
-    Builder.CreateRet(RetVal);
-    return TheFunction;
-  }
 </pre>
 </div>
 
@@ -417,12 +413,29 @@
 Since we don't have any control flow, our functions will only contain one 
 block so far.  We'll fix this in a future installment :).</p>
 
+<div class="doc_code">
+<pre>
+  if (Value *RetVal = Body-&gt;Codegen()) {
+    // Finish off the function.
+    Builder.CreateRet(RetVal);
+    
+    // Validate the generated code, checking for consistency.
+    verifyFunction(*TheFunction);
+    return TheFunction;
+  }
+</pre>
+</div>
+
 <p>Once the insertion point is set up, we call the <tt>CodeGen()</tt> method for
 the root expression of the function.  If no error happens, this emits code to
 compute the expression into the entry block and returns the value that was
 computed.  Assuming no error, we then create an LLVM <a 
-href="../LangRef.html#i_ret">ret instruction</a>.  This completes the function,
-which is then returned.</p>
+href="../LangRef.html#i_ret">ret instruction</a>, which completes the function.
+Once the function is built, we call the <tt>verifyFunction</tt> function, which
+is provided by LLVM.  This function does a variety of consistency checks on the
+generated code, to determine if our compiler is doing everything right.  Using
+this is important: it can catch a lot of bugs.  Once the function is finished
+and validated, we return it.</p>
   
 <div class="doc_code">
 <pre>
@@ -625,6 +638,7 @@
 
 #include "llvm/DerivedTypes.h"
 #include "llvm/Module.h"
+#include "llvm/Analysis/Verifier.h"
 #include "llvm/Support/LLVMBuilder.h"
 #include &lt;cstdio&gt;
 #include &lt;string&gt;
@@ -1071,6 +1085,9 @@
   if (Value *RetVal = Body-&gt;Codegen()) {
     // Finish off the function.
     Builder.CreateRet(RetVal);
+    
+    // Validate the generated code, checking for consistency.
+    verifyFunction(*TheFunction);
     return TheFunction;
   }