search for: bnf

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

Hi, all, very interested to ask if any one knows that there is a BNF like grammar to describe LLVM IR? Thanks, -jenny -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110102/b1eddac5/attachment.html>

...intermediate representation, BAP IL or LLVM IR. How might I go about providing a Backus Naur Form specification and then dynamically interpreting those lifted instructions by also specifying actions to be done with any given IL/IR primitive? I'm looking for any library that allows me to express BNF terms and actions on them. Like, say I convert push ebp to Bap IL (here's a json representation from their live development branch): { "move": { "lvar": { "name": "t", "id": 107, "typ": { "imm": 64 } }, "rexp...

...oid } > > The general syntax LGTM. It seems clean and fits well with what we have. > Thanks! :-) >> The 'align' and "cpu" attributes both have a value associated with them. The 'attr' attribute in '#1' has multiple values associated with it. (The BNF is below in the 'IR Changes' section.) Attribute groups with the same attributes in them, but in a different order, are identical. So '@bar' and '@qux' have the same attributes in this example: > > What is the use case for the multi-value attribute? Perhaps obvious,...

...> have documentation on par with the LLVM IR. Just last week I had to scout through the affine dialect "LangRef <https://github.com/tensorflow/mlir/blob/master/g3doc/Dialects/Affine.md>" for something, and I also felt that it is due for a refresh! It seemed a bit more than just BNF though, do you have example of what you would like to see expanded there? And to be clear: the ambition should be that the dialects included in-tree (in MLIR/LLVM) get some level of documentation on-par with LLVM LangRef. > For MLIR itself, I would > want documentation somewhat less dens...

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 LLVM IR....

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 formalized &gt...

...> > > Just last week I had to scout through the affine dialect "LangRef > > <https://github.com/tensorflow/mlir/blob/master/g3doc/Dialects/Affine.md > >" > > for something, and I also felt that it is due for a refresh! It seemed a > > bit more than just BNF though, do you have example of what you would like > > to see expanded there? > > I was referring to the base MLIR documentation with the BNF comment: > > https://github.com/tensorflow/mlir/blob/master/g3doc/LangRef.md > > Obviously there's more to it than that but I fou...

...ine void @foo() #0 #bork { ret void } The general syntax LGTM. It seems clean and fits well with what we have. > The 'align' and "cpu" attributes both have a value associated with them. The 'attr' attribute in '#1' has multiple values associated with it. (The BNF is below in the 'IR Changes' section.) Attribute groups with the same attributes in them, but in a different order, are identical. So '@bar' and '@qux' have the same attributes in this example: What is the use case for the multi-value attribute? Perhaps obvious, but it mak...

On Feb 3, 2013, at 12:55 PM, Bill Wending <isanbard at gmail.com> wrote: >>> The 'align' and "cpu" attributes both have a value associated with them. The 'attr' attribute in '#1' has multiple values associated with it. (The BNF is below in the 'IR Changes' section.) Attribute groups with the same attributes in them, but in a different order, are identical. So '@bar' and '@qux' have the same attributes in this example: >> >> What is the use case for the multi-value attribute? Perhaps o...

...butes { attr = (val1 val2 val3) } #bork = attributes { sspreq noredzone } define void @foo() #0 #bork { ret void } The 'align' and "cpu" attributes both have a value associated with them. The 'attr' attribute in '#1' has multiple values associated with it. (The BNF is below in the 'IR Changes' section.) Attribute groups with the same attributes in them, but in a different order, are identical. So '@bar' and '@qux' have the same attributes in this example: #0 = attributes { align=4 } #1 = attributes { sspreq noredzone } #2 = attribu...

...rhaps this is still available publically, or perhaps Microsoft might be willing to share an up to date definition of the name-decoration grammar, especially in light of the integration of CodeView debugging information into LLVM, which somewhat ties in with this. This was expressed as a regular BNF grammar, so it should be possible to create a clean-room implementation of both the “mangler” and “de-mangler” from that BNF definition if it still exists in that form. Does the recently added CodeView debug information not provide this description (I admit I haven’t looked)? Certainly tools l...

Please take a look at the attached patch. I updated the BNF and added comments in the code. On Wed, Sep 12, 2012 at 4:58 PM, Sean Silva <silvas at purdue.edu> wrote: > If you are changing the syntax, please update the BNF in the comments. > > --Sean Silva > > On Wed, Sep 12, 2012 at 6:16 PM, Akira Hatanaka <ahatanak at gmail.com&gt...

...the PTX backend but also to other backends (see examples below). Generally speaking, a for-loop can be used anywhere when you see a "table filling" pattern --- you are writing repeated identical lines that only differs in a few places (see examples below). An (illustrative, not complete) BNF of for-loop is as follows: ---------------------------------------- FOR_LOOP := for INDICES in BLOCK INDICES := INDEX, INDICES | INDEX INDEX := VARIABLE = RANGE RANGE := [comma separated values, ...] | function(args, ...) BLOCK := { STATEMENTS } | STATEMENT; STATEMENTS := STATEMENT; STATEMENTS...

I need to write some documentation: I'm looking for a standard, consistent way of referring to the components and attributes of R data structures. Googling and Stackoverflow yield a variety of github sites that do not seem to be particularly authoritative. I was hoping to find a BNF/ABNF grammar for R. I've looked at the output of bison -v ./R-3.6.2/src/main/gram.y but it does not appear helpful. I appreciate any suggestions for where to look or what to do. Thanks, Steve -- Ever tried, Ever failed, No Matter: Try again, Fail again, Fail Better. Samuel Beckett *Wors...

If you are changing the syntax, please update the BNF in the comments. --Sean Silva On Wed, Sep 12, 2012 at 6:16 PM, Akira Hatanaka <ahatanak at gmail.com> wrote: > The attached patch adds a construct that enables extending the base class' > lists rather than completely overwriting them. > The patch hasn't gone through extensi...

The attached patch adds a construct that enables extending the base class' lists rather than completely overwriting them. The patch hasn't gone through extensive testing yet (other than running make check). The lists can be extended either with a "+=" operator in a let statement or placing a '"+" in front of a superclass: - Example 1: def D0 : C1 { let

On Sat, Jul 27, 2013 at 9:02 AM, Vijay Daultani <vijay.daultani at gmail.com>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. > > Awaiting for your help. > > Hi Vijay, If you are asking about compiling C into LLVM IR - take a look at Clang: http://clang.llvm.org/. Clang is a C, C++ and ObjC fron...

...y I''m handling things, I thought I should ask. For your convience, here is the test in question: def test_has_many_with_piggyback assert_equal "2", categories(:sti_test).authors.first.post_id end -Derrick Spell "Perl''s grammar can not be reduced to BNF. The work of parsing perl is distributed between yacc, the lexer, smoke and mirrors.'''' -Chaim Frenkel

...lman/listinfo/llvmdev > I'm in the process of writing a formal spec for LLVM IR. > > I have a lot of the grammar done and a tool for checking the grammar for > completeness > and generating cross reference and such. I'm using a nice extended > regular expression form of BNF. > > My intent is to open source it at google code when it's done but if > other people want to help me with this project I could do that now. > > About 80% of it is done. > > I have documented it mostly from reading the source code. > > Beyond just using the gra...