[llvm-dev] RFC: Strong GC References in LLVM

[Daniel Berlin via llvm-dev]

>
>
>> This then leads to the problem i mentioned - because the may-throwness is
> not expressed at the bb level (or in the CFG, by having the call end the
> block, or at the least, a fake abnormal CFG edge), everything has to go
> checking every instruction along the entire path they want to hoist,
> whereas hoisting is normally just a simple dataflow problem with BB level
> properties :)
>
>

and to be clear, i'm just being colloquial about "expressed at the bb
level". An analysis that everything used/kept up to date if it decided to
insert throwing calls or make calls nounwind would have the same effect.  I
happen to be more used to these things being flags on basic blocks, but
whatever works.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160715/8b69393f/attachment.html>