[cfe-dev] Running bitcode module verifier in CodeGen tests

[Itay Bookstein via cfe-dev]

Hi all,

I'm trying to add some validation to the bitcode module verifier in a
situation where I know there should be an offending test within the
clang CodeGen tests, but it does not fire. When I piped the output
through llvm-as + llvm-dis, the verifier did fire in the llvm-as
invocation. It sounds important for at least the CodeGen tests to
undergo bitcode module verification. Digging in, I found that the
Backend_Emit(BC,LL) modes do not honor the CodeGenOpts.VerifyModule
flag (I guess that's because they definitionally skip CodeGen?).
Perhaps they should honor that flag anyway?

~Itay

-- 
This e-mail message and any attachments thereto are intended only for the 
person or entity to which it is addressed and may contain confidential 
and/or privileged material. Any retransmission, dissemination, copying or 
other use of, or taking of any action in reliance upon this information is 
prohibited. If you are not the intended addressee, please contact the 
sender immediately and delete the materials and information from your 
device and system and confirm the deletion by reply e-mail.