diff options
| author | Chris Lattner <sabre@nondot.org> | 2001-06-29 05:22:12 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2001-06-29 05:22:12 +0000 |
| commit | 1be1d79a1d3260652f7796c1c07d70d98c62b119 (patch) | |
| tree | b2c7e9542ecdda27a9ac14dd1178f2653a595d66 /lib/VMCore/Verifier.cpp | |
| parent | 7b6f5a3ee9a68d0f6206b1695f71551a467e33c4 (diff) | |
| download | external_llvm-1be1d79a1d3260652f7796c1c07d70d98c62b119.zip external_llvm-1be1d79a1d3260652f7796c1c07d70d98c62b119.tar.gz external_llvm-1be1d79a1d3260652f7796c1c07d70d98c62b119.tar.bz2 | |
Added a note about a new verification the verifier should do
Removed a redundant check
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/Verifier.cpp')
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 5b6654d..730adbd 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -10,13 +10,13 @@ // 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 -// . Only PHI nodes can refer to themselves // . 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) // or to return one. [except constant arrays!] // . Right now 'add bool 0, 0' is valid. This isn't particularly good. // . Only phi nodes can be self referential: 'add int 0, 0 ; <int>:0' is bad +// . PHI nodes must have an entry for each predecessor, with no extras. // . 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 |