[LLVMdev] Building a stable bitcode format for PNaCl - based on LLVM IR

[Sean Silva]

On Tue, Jun 18, 2013 at 2:06 PM, Eli Bendersky <eliben at google.com> wrote:

>
>
>
> On Tue, Jun 18, 2013 at 12:03 PM, Sean Silva <silvas at purdue.edu> wrote:
>
>> Instead of a blacklist, why not a whitelist? Given the size of LangRef,
>> you're bound to leave something out of your blacklist that needs to be
>> there (also, future additions to LLVM IR will need to be added to the
>> blacklist; are you sure you can catch *all* of them?). A whitelist seems
>> much less prone to breakage or unexpected behavior.
>>
>>
> Hi Sean,
>
> Which blacklist are you referring to? In all places where we specifically
> allow or disallow certain constructs (such as specific instructions,
> intrinsics, linkage modes and so on) we use a whitelisting strategy.
>
>
What I'm saying is that the approach to defining the format seems to be
basically "the format is LLVM IR, except ...". The "except ..." is
effectively a blacklist. You are starting with LLVM IR and then removing
(i.e. blacklisting certain aspects)

-- Sean Silva
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130618/5577b0ea/attachment.html>