Pei Wang via llvm-dev
2017-Jun-28 17:55 UTC
[llvm-dev] About the concept of "materialization"
Bruce, Thanks for the explanation. But based on my inspection on the source code, it seems that materialization is related to lazily reading LLVM objects (Module, Function, etc.) into the memory from bitcode files, which is possibly useful during LTO. I’m not sure though. Pei From: <bruce.hoult at gmail.com> on behalf of Bruce Hoult <bruce at hoult.org> Date: Wednesday, June 28, 2017 at 4:50 AM To: Pei Wang <pxw172 at ist.psu.edu> Cc: "llvm-dev at lists.llvm.org" <llvm-dev at lists.llvm.org> Subject: Re: [llvm-dev] About the concept of "materialization" You probably see it more often as "rematerialization". https://en.wikipedia.org/wiki/Rematerialization I believe "materialization" by itself (not "re") would usually be about things like getting a large constant (maybe a bit pattern or mask) into a register before it can be used. Some ISAs such as x86 support large constants directly in the instruction, but in RISC you usually have to choose between using a data load instruction to get the constant from a constant pool (maybe global, maybe just after the function using it), or using a series of instructions such as load-high, shift, or-immediate to create the constant. On Tue, Jun 27, 2017 at 12:07 AM, Pei Wang via llvm-dev <llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>> wrote: I’m current debugging one of my LLVM passes which utilized inline assembly. I constantly encounter crashes related to “value materialization”, according to the error messages I received. It seems a big concept in LLVM (or maybe generally in compilation), but I cannot find any document that is comprehensive enough to help me understand what exactly materialization is for. Could someone offer some pointers to useful materials introducing this concept or just explain it to me if it is straightforward enough? Thanks! Sincerely, Pei Wang _______________________________________________ LLVM Developers mailing list llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170628/72da189b/attachment.html>
2017-06-29 1:55 GMT+08:00 Pei Wang via llvm-dev <llvm-dev at lists.llvm.org>:> Bruce, > > > > Thanks for the explanation. But based on my inspection on the source code, > it seems that materialization is related to lazily reading LLVM objects > (Module, Function, etc.) into the memory from bitcode files, which is > possibly useful during LTO. I’m not sure though.You probably need to give us the error message you got, or the source code you're reading about materialization, so that we can speak of the same thing. Regards, chenwj -- Wei-Ren Chen (陳韋任) Homepage: https://people.cs.nctu.edu.tw/~chenwj
Pei Wang via llvm-dev
2017-Jun-28 18:08 UTC
[llvm-dev] About the concept of "materialization"
OK. About the error it’s a long story, so it’s probably better to pin some
source code here. Below is a piece of code related to my problem, clipped from
lib/Transforms/Utils/ValueMapper.cpp. I was wondering what “materialized” means
here.
Value *Mapper::mapBlockAddress(const BlockAddress &BA) {
Function *F = cast<Function>(mapValue(BA.getFunction()));
// F may not have materialized its initializer. In that case, create a
// dummy basic block for now, and replace it once we've materialized all
// the initializers.
BasicBlock *BB;
if (F->empty()) {
DelayedBBs.push_back(DelayedBasicBlock(BA));
BB = DelayedBBs.back().TempBB.get();
} else {
BB = cast_or_null<BasicBlock>(mapValue(BA.getBasicBlock()));
}
return getVM()[&BA] = BlockAddress::get(F, BB ? BB : BA.getBasicBlock());
}
Thanks,
Pei
On 6/28/17, 10:59 AM, "陳韋任" <chenwj.cs97g at g2.nctu.edu.tw>
wrote:
2017-06-29 1:55 GMT+08:00 Pei Wang via llvm-dev <llvm-dev at
lists.llvm.org>:
> Bruce,
>
>
>
> Thanks for the explanation. But based on my inspection on the source
code,
> it seems that materialization is related to lazily reading LLVM objects
> (Module, Function, etc.) into the memory from bitcode files, which is
> possibly useful during LTO. I’m not sure though.
You probably need to give us the error message you got, or the source code
you're reading about materialization, so that we can speak of the same
thing.
Regards,
chenwj
--
Wei-Ren Chen (陳韋任)
Homepage: https://people.cs.nctu.edu.tw/~chenwj