From: Chris Lattner Date: Tue, 6 Nov 2001 22:53:11 +0000 (+0000) Subject: Add notes X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=b6d8fd46a29e8822cbdc627f600a9c81b9bcfcc6;p=oota-llvm.git Add notes git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1163 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index fbf0abb71ec..55424fc4784 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -10,6 +10,8 @@ // with the same name as something in the symbol table, but with a different // address as what is in the symbol table... // . Both of a binary operator's parameters are the same type +// . Verify that arithmetic and other things are only performed on first class +// types. No adding structures or arrays. // . All of the constants in a switch statement are of the correct type // . The code is in valid SSA form // . It should be illegal to put a label into any other type (like a structure) @@ -20,7 +22,7 @@ // . All other things that are tested by asserts spread about the code... // . All basic blocks should only end with terminator insts, not contain them // . All methods must have >= 1 basic block -// . Verify that none of the Def getType()'s are null. +// . Verify that none of the Value getType()'s are null. // . Method's cannot take a void typed parameter // . Verify that a method's argument list agrees with it's declared type. // . Verify that arrays and structures have fixed elements: No unsized arrays.