Displaying 3 results from an estimated 3 matches for "globalvaluesummaryinfo".
2017 May 16
2
[RFC] CFI for indirect calls with ThinLTO
...mptable + offset
>>
>
> One thing to be careful about is summary-based dead stripping: the pass
> needs to be able to query whether any specific function is still live in
> order to avoid introducing undefined symbol references. I think we can do
> that by adding a Live flag to GlobalValueSummaryInfo (which I think should
> also let us fix a number of FIXMEs elsewhere, e.g.
> http://llvm-cs.pcc.me.uk/lib/Transforms/IPO/LowerTypeTests.cpp#1447
> http://llvm-cs.pcc.me.uk/lib/Transforms/IPO/WholeProgramDevirt.cpp#1329),
> and have the pass check the flag for each function.
Sounds good...
2017 May 16
2
[RFC] CFI for indirect calls with ThinLTO
Hi,
this is a proposal for the implementation of CFI-icall [1] with ThinLTO.
Jumptables are generated in the merged module. To generate a
jumptable, we need a list of functions with !type annotations,
including (in non-cross-dso mode) external functions. Unfortunately,
LLVM IR does not preserve unused function declarations, and we don’t
want to copy the actual function bodies to the merged
2017 May 24
2
[RFC] CFI for indirect calls with ThinLTO
...gt; One thing to be careful about is summary-based dead stripping: the pass
> >> needs to be able to query whether any specific function is still live in
> >> order to avoid introducing undefined symbol references. I think we can
> do
> >> that by adding a Live flag to GlobalValueSummaryInfo (which I think
> should
> >> also let us fix a number of FIXMEs elsewhere, e.g.
> >> http://llvm-cs.pcc.me.uk/lib/Transforms/IPO/LowerTypeTests.cpp#1447
> >> http://llvm-cs.pcc.me.uk/lib/Transforms/IPO/WholeProgramDevirt.cpp#1329
> ),
> >> and have the pass...