yaxunl added a comment. Can we reach consensus on how to fix this issue? Letting LLParser accept an optional datalayout parameter and use it to override the datalayout in LLVM IR is simpler and more straightforward. There will be no change in Verifier. https://reviews.llvm.org/D41832