[llvm-dev] Potential ambiguity in the grammar of LLVM IR assembly

Robin Eklind via llvm-dev llvm-dev at lists.llvm.org
Wed May 25 19:21:49 PDT 2016


Hello Manuel,

Thank you so much for bringing this to my attention. I wholeheartedly 
agree that the grammar is simplified by this change and welcome it with 
open arms.

Credit goes to Rafael for pushing this work.

This would indeed remove the language ambiguity as far as I'm aware.

Kindly
/Robin Eklind

On 05/26/2016 03:59 AM, Manuel Jacob wrote:
> On 2016-05-26 02:42, Tim Northover via llvm-dev wrote:
>> On 25 May 2016 at 16:10, Robin Eklind via llvm-dev
>> <llvm-dev at lists.llvm.org> wrote:
>>> declare void @foo() unnamed_addr
>>> global i32 42
>>
>> Doesn't a global have to be named? The syntax in the IR reference
>> doesn't make it optional:
>>
>>     @<GlobalVarName> = [Linkage] [Visibility] [DLLStorageClass]
>> [ThreadLocal] ...
>
> That was changed quite recently: http://reviews.llvm.org/rL269096#c4361726
>
> I guess that means that the grammar is not ambiguous here anymore (if it
> was before).
>
> -Manuel
>
>> Cheers.
>>
>> Tim.
>> _______________________________________________
>> LLVM Developers mailing list
>> llvm-dev at lists.llvm.org
>> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev


More information about the llvm-dev mailing list