[IR] Support importing modules with invalid data layouts.
authorJannik Silvanus <jannik.silvanus@amd.com>
Wed, 4 Jan 2023 10:52:00 +0000 (11:52 +0100)
committerJannik Silvanus <jannik.silvanus@amd.com>
Thu, 12 Jan 2023 09:10:45 +0000 (10:10 +0100)
commitdf1a74ac3c6407d0658c46c859c4a07974af3293
tree3dc13e8546e02e0d3e290c685f5fe9d4cae3d965
parent02856565ac12e21f14f2af64ce1135ecc3c2021f
[IR] Support importing modules with invalid data layouts.

Use the existing mechanism to change the data layout using callbacks.

Before this patch, we had a callback type DataLayoutCallbackTy that receives
a single StringRef specifying the target triple, and optionally returns
the data layout string to be used. Module loaders (both IR and BC) then
apply the callback to potentially override the module's data layout,
after first having imported and parsed the data layout from the file.

We can't do the same to fix invalid data layouts, because the import will already
fail, before the callback has a chance to fix it.
Instead, module loaders now tentatively parse the data layout into a string,
wait until the target triple has been parsed, apply the override callback
to the imported string and only then parse the tentative string as a data layout.

Moreover, add the old data layout string S as second argument to the callback,
in addition to the already existing target triple argument.
S is either the default data layout string in case none is specified, or the data
layout string specified in the module, possibly after auto-upgrades (for the BitcodeReader).
This allows callbacks to inspect the old data layout string,
and fix it instead of setting a fixed data layout.

Also allow to pass data layout override callbacks to lazy bitcode module
loader functions.

Differential Revision: https://reviews.llvm.org/D140985
16 files changed:
llvm/include/llvm/AsmParser/LLParser.h
llvm/include/llvm/AsmParser/Parser.h
llvm/include/llvm/Bitcode/BitcodeReader.h
llvm/include/llvm/CodeGen/MIRParser/MIRParser.h
llvm/include/llvm/IRReader/IRReader.h
llvm/lib/AsmParser/LLParser.cpp
llvm/lib/AsmParser/Parser.cpp
llvm/lib/Bitcode/Reader/BitcodeReader.cpp
llvm/lib/CodeGen/MIRParser/MIRParser.cpp
llvm/test/Assembler/invalid-datalayout-override.ll [new file with mode: 0644]
llvm/test/Bitcode/function-default-address-spaces.ll
llvm/tools/llc/llc.cpp
llvm/tools/llvm-as/llvm-as.cpp
llvm/tools/llvm-reduce/ReducerWorkItem.cpp
llvm/tools/opt/opt.cpp
llvm/unittests/AsmParser/AsmParserTest.cpp