Tests look ok, though I don't like the fact that the metadata nodes are unnamed and unidentified. Would be good to do like TBAA nodes where at least there's a text (even if unused) referring as to what is that node. http://llvm-reviews.chandlerc.com/D2194