[LLVMdev] [RFC] Removing FCA constants from the IR

[Chandler Carruth]

Bleh.

Well, just to add a grain of salt, doing this won't *actually* simplify
anything very much. The reality is that ConstantExpr's are much harder to
handle than FCA Constants. =/

So, maybe this would be a small step in that direction, but that's about it.


On Mon, Feb 3, 2014 at 1:24 AM, Chandler Carruth <chandlerc at google.com>wrote:

> Currently, you're allowed to form a constant of aggregate type using any
> number of other constants you like. This makes scanning the instructions of
> the IR needlessly complex when looking for references to constants.
>
> There is no need to support this degree of complexity in the IR. We could
> require that for anything but 'zeroinitializer' you cannot write a constant
> of aggregate (structure or array) type. You have to build it using
> insertvalue.
>
> Thoughts? This would simplify several things I'm working on currently, and
> it is a super easy auto-upgrade and verifier addition.
>
> -Chandler
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140203/f63e733f/attachment.html>