rafael accepted this revision. rafael added a comment. This revision is now accepted and ready to land. This LGTM. Chandler, are you OK with this being an attribute given Mehdi's argument that "llvm-dis | llvm-as" should produce equivalent bitcode? http://reviews.llvm.org/D20348