[llvm-commits] [llvm] r111895 - in /llvm/trunk: lib/AsmParser/LLParser.cpp lib/AsmParser/LLParser.h lib/Bitcode/Writer/ValueEnumerator.cpp lib/Bitcode/Writer/ValueEnumerator.h test/Feature/metadata.ll

[Chris Lattner]

>> 
>> It doesn't reject this either:
>> 
>> define void @foo() {
>> entry:
>> call void @llvm.dbg.value(metadata !{i32* %t}, i64 0, metadata !"hello")
>> %t = alloca i32
>> ret void
>> }
>> 
>> declare void @llvm.dbg.value(metadata, i64, metadata) nounwind readnone
>> 
>> Should it?
> 
> IMO, yes.

IMO, both should be accepted.  metadata isn't a use, and doesn't follow dominance properties.

-Chris