search for: grammar

Has anyone written a grammar for LLVM for ANTLR. I mean an ANTLR grammar that parses LLVM instructions. Is an LLVM grammar available for any other parsing tool? Surinder

There's been a lot of discussion on this list about creating a formal grammar for markdown. I had a go at writing a [parsing expression grammar] for markdown. I used Haskell and John Meacham's Frisby PEG parsing library, but it should not be too hard to port the grammar to PEG libraries in other languages. [parsing expression grammar]: http://en.wikipedia.org/wiki/Parsi...

Has anyone seen any attempts to give Markdown a PEG (parsing expressions grammar) recognizable by some ruby PEG parser generator grammar like Treetop? http://treetop.rubyforge.org/

Reed, Are you working on a grammar of the LLVM syntax or also on a full semantics? Steve Zdancewic's group at U. Penn. is working on a formal operational semantics for LLVM. It is partially complete and Greg Morrisett at Harvard is planning to build further on it. Regards, --Vikram Professor, Computer Science University of I...

...y and paste them into the source. What were you planning on doing with your LLVM parser, if I may ask? --Sam ----- Original Message ---- > From: Surinder <surifilms at gmail.com> > To: llvmdev at cs.uiuc.edu > Sent: Sun, January 23, 2011 10:35:38 PM > Subject: [LLVMdev] LLVM grammar for ANTLR > > Has anyone written a grammar for LLVM for ANTLR. I mean an ANTLR > grammar that parses LLVM instructions. Is an LLVM grammar available > for any other parsing tool? > > Surinder

I recently subscribed and saw in the archive that Eric Astor was asking for a formal grammar (unlikely the first time for such request.) Currently there are a few problems in making such a thing so I was curious if Mr. Gruber has made any thoughts about moving toward one? This would also allow a more ?clean? parser which would get rid of some of the current problems (bad nesting[^1],...

Hello Tim, Thank you for getting back to me. The language grammar as defined by the LLVM Language Reference Manual [1] does not include the details of the LLVM IR parser reference implementation. The following extract from "lib/AsmParser/LLParser.cpp" illustrates that unnamed globals are allowed [2]. > /// ParseUnnamedGlobal: > /// Option...

Respected Sir/Madam, As I was developing some part of compiler for a project. I require grammar (BNF or EBNF) for converting the C code in the IR as it is not been mentioned any where over your official website. Awaiting for your help. Regards, Vijay Daultani. M.Tech student IIT Delhi

...hat were you planning on doing with your LLVM parser, if I may ask? > > --Sam > > > ----- Original Message ---- >> From: Surinder <surifilms at gmail.com> >> To: llvmdev at cs.uiuc.edu >> Sent: Sun, January 23, 2011 10:35:38 PM >> Subject: [LLVMdev] LLVM grammar for ANTLR >> >> Has anyone written a grammar for LLVM for ANTLR.  I mean an  ANTLR >> grammar that parses LLVM instructions.  Is an LLVM grammar  available >> for any other parsing  tool? >> >> Surinder > > > >

Hello everyone, While developing a parser for LLVM IR, I seem to have stumbled upon a potential ambiguity in the LLVM IR assembly language grammar. Most likely there is something which I may have overlooked, so wanted to reach out to a more experienced crowed for some feedback. How would the following set of tokens be interpreted [1]? declare void @foo() unnamed_addr global i32 42 As far as I can tell, both of the following representatio...

Hi everyone. We're interested in contributing a Hexagon assembler to MC and we're looking for comments on a good way to integrate the grammar in to the infrastructure. We rely on having a robust assembler because we have a large base of developers that write in assembly due to low power requirements for mobile devices. We put in some C-like concepts to make the syntax easier and this design is fairly well received by users. The...

Hi everyone, Today I tried to use the CD-ROM that came with my "Cambridge Grammar of English" on Ubuntu 8.10 and Wine 1.1.14 The install went ok, but when I try to run it I get the following error: Code: $ wine start 'C:\Program Files\Cambridge\Cambridge Grammar of English\cge.exe' fixme:exec:SHELL_execute flags ignored: 0x00000100 vwilson at hp-pavilion:~/.wine/...

Hey Zed, any chance you mind sharing the grammar file you use with lemon to create the parser? I''ve been meaning to sit down and learn how to use one of those things. If not, any suggestions on a good resource for learning how to use a LALR parser?

Vijay Daultani wrote: > Respected Sir/Madam, > > As I was developing some part of compiler for a project. I require grammar > (BNF or EBNF) for converting the C code in the IR as it is not been > mentioned any where over your official website. I don't know what you mean by "converting the C code in the IR". Regardless, LLVM does not have BNF or EBNF forms (or any formalized grammar) for C, nor for...

I am curious how do you guys do it anyways? On Mon, Jul 29, 2013 at 3:27 AM, Nick Lewycky <nicholas at mxc.ca> wrote: > Vijay Daultani wrote: > >> Respected Sir/Madam, >> >> As I was developing some part of compiler for a project. I require grammar >> (BNF or EBNF) for converting the C code in the IR as it is not been >> mentioned any where over your official website. >> > > I don't know what you mean by "converting the C code in the IR". > > Regardless, LLVM does not have BNF or EBNF forms (or any...

I would like to make a couple of small changes to the R grammar. At present, operators like ~, ==, !=, <, <=, >, >= are declared to be non-associative. This means that things like a < b <= c produce a "syntax error" message when typed. I would like to change the grammar so that these operators are left-associative. I want to ma...

Hello, Does a LL(k) grammar of LLVM assembly language exist somewhere ? Thanks JC

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] ... Cheers. Tim.

I have two questions, but the second may not be necessary depending on the answer to this first one; in Spirit2, when creating grammars that include other grammars (that include others and so on and so forth), is it better to construct them in the grammar itself (like any other rule), or is it better to have, say, a singleton of it somewhere and link that in, and if a singleton then would it be thread-safe?

...lobal 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