search for: refmanu

On Mar 6, 2010, at 9:13 AM, Jianzhou Zhao wrote: > Hi llvm, > > 1) The lib/VMCore/Verifier.cpp in 2.7 implements Verifier::VerifyType, > which is empty in 2.6. I noticed that it does not check all types, > for example, UnionTyID, OpaqueTyID, LabelTyID, MetadataTyID > and etc are ignored in the 'default' branch. Does it mean we dont > need to check them? They are

...gt; Can I take it as a type checker for SSA? Is there any static >> semantics that has not been checked yet? > > The verifier is best effort, it does not guarantee correctness. Can we take the verifier as a reference to generate correct SSA? I had some confusions when I was reading the RefManual on the LLVM website, so I looked into the source code of Verifier to see how well-formedness is checked in practice. For example, 1) Can I have a block that does not start with a label? Verifier checks that a block must end with a terminator instruction. If the block without a label is not the e...

Hi llvm, 1) The lib/VMCore/Verifier.cpp in 2.7 implements Verifier::VerifyType, which is empty in 2.6. I noticed that it does not check all types, for example, UnionTyID, OpaqueTyID, LabelTyID, MetadataTyID and etc are ignored in the 'default' branch. Does it mean we dont need to check them? Another question is: How much does Verifier.cpp check statically? Can I take it as a type checker