[llvm-commits] [llvm] r165693 - in /llvm/trunk: lib/Transforms/InstCombine/InstCombineCalls.cpp test/Transforms/InstCombine/struct-assign-tbaa.ll

[Rafael Espíndola]

> Yes, I saw you mention that on the commit where !tbaa.struct was first
> added. I don't have much to add here, other than the verifier currently
> isn't in the business of verifying metadata, even those documented in the
> LangRef. Should it be?

I think so. The metadata can be dropped, but it still changes the
semantics of the program. I have at least made the verifier check the
range metadata.

> Nick
>

Cheers,
Rafael