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 fbf0abb71ec6b86abda9584db891378223200869..55424fc4784ab4f93de960546ef5f2a107fcc1d6 100644 (file)
--- 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
 //    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)
 //  . 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
 //  . 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.
 //  . 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.