Displaying 3 results from an estimated 3 matches for "refmanual".
Did you mean:
ref_manual
2010 Mar 06
0
[LLVMdev] Changes between 2.6 and 2.7: SSA Verifier and visitFreeInst
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
2010 Mar 09
1
[LLVMdev] Changes between 2.6 and 2.7: SSA Verifier and visitFreeInst
...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 ent...
2010 Mar 06
4
[LLVMdev] Changes between 2.6 and 2.7: SSA Verifier and visitFreeInst
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