Displaying 5 results from an estimated 5 matches for "verifytype".
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...
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 leaf types (just like integer type), there is n...
2010 Mar 06
0
[LLVMdev] Changes between 2.6 and 2.7: SSA Verifier and visitFreeInst
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?
We do need to check union. I'll add that. The others...
2010 Mar 09
1
[LLVMdev] Changes between 2.6 and 2.7: SSA Verifier and visitFreeInst
On Sat, Mar 6, 2010 at 2:14 PM, Chris Lattner <clattner at apple.com> wrote:
>
> 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 leaf types (just like...
2010 Mar 07
1
[LLVMdev] Changes between 2.6 and 2.7: SSA Verifier and visitFreeInst
On Sat, Mar 6, 2010 at 2:35 PM, Nick Lewycky <nicholas at mxc.ca> wrote:
> 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?
>
> We do need to check union. I...