[LLVMdev] LLVM tries to remove labels used in blockaddress()

Bob Wilson bob.wilson at apple.com
Mon Mar 15 11:31:14 PDT 2010


On Mar 15, 2010, at 11:18 AM, Chris Lattner wrote:
> 
> The problem is that test1 is codegen'd and the reference to test_label is emitted to the .s file.  By the time test_func is codegen'd, the block is deleted, so the definition isn't emitted.  I'll fix this.
> 
>>> The code generator doesn't want dead blocks coming into it for various reasons, so removing them is important.  I guess we'll have to do something like buffer up the unemitted labels and emit them at the end of the file (in a meaningless location).  This should provide correct code, but is somewhat gross.
>>> 
>>> Bob/Dan, do you guys have any other ideas on how to handle this?
>> 
>> Is the problem when you've got a blockaddress that references a dead label in a different function?  If that's the case, the blockaddress value can be an undef.
> 
> But the reference has already been emitted to the .s file.  I'll take care of this by just queuing up labels and emitting them at the end of the function they correspond to.

Oh, I get it.  Yuck.  I can't think of any better solutions ATM.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100315/7f698e51/attachment.html>


More information about the llvm-dev mailing list