Re: GIMPLE FE

2016-06-27 Thread Prasad Ghangal
On 27 June 2016 at 14:16, Richard Biener wrote: > On Sun, Jun 26, 2016 at 5:55 PM, Prasad Ghangal > wrote: >> Hi Richard, >> >> For the first stage of the project, I have completed the following things - >> parsed -- assign-statement, labeled-statement, if-statement, >> switch-statement, goto-sta

Re: GIMPLE FE

2016-06-27 Thread Richard Biener
On Sun, Jun 26, 2016 at 5:55 PM, Prasad Ghangal wrote: > Hi Richard, > > For the first stage of the project, I have completed the following things - > parsed -- assign-statement, labeled-statement, if-statement, > switch-statement, goto-statement, return-statement; > handled local declarations and

Re: Question about Gimple FE

2015-04-08 Thread Yinsong Xue
BB11, i_30, &_BB6); > ivtmp_59 = __PHI (tmp$10_66, &_BB11, ivtmp_33, &_BB6); > goto _BB9; > >possibly less conflicting would be to allow '11:' as label as >extension so we can use literal 11 for >the __PHI argument. > >The point of re-using (part

Re: Question about Gimple FE

2015-04-08 Thread Richard Biener
the __PHI argument. The point of re-using (parts of) the C frontend is that you get types and decls for free. The GIMPLE part is really the easy part of writing a gimple FE ;) You need to shortcut most of the C FEs specialities such as type promotion rules and stuff, of course. Richard. > — > Yinsong > >

Re: Question about Gimple FE

2015-04-07 Thread Yinsong Xue
On 15/4/7 下午4:33, "Richard Biener" wrote: >I still like the idea of using C + extensions most. As well as making the >-fdump-tree-XXX dumps (more) valid C (+ extensions). Cut & pasting >from dump files to generate testcases is currently somewhat awkward, >mainly due to the issue how we dump lab

Re: FW: Question about Gimple FE

2015-04-07 Thread Sebastian Pop
On Tue, Apr 7, 2015 at 3:33 AM, Richard Biener wrote: >> Having an IR that is more readable than LLVM's would be nice. > > I still like the idea of using C + extensions most. +1 > As well as making the > -fdump-tree-XXX dumps (more) valid C (+ extensions). Cut & pasting > from dump files to gen

Re: FW: Question about Gimple FE

2015-04-07 Thread Richard Biener
On Mon, Apr 6, 2015 at 11:20 PM, Sebastian Pop wrote: > On Fri, Apr 3, 2015 at 1:10 PM, Jeff Law wrote: >> On 04/03/2015 09:41 AM, Diego Novillo wrote: >>> >>> On Fri, Apr 3, 2015 at 11:35 AM, Jeff Law wrote: >>> I was hesitant to offer this option, but it's certainly a good >>> starting point.

Re: Question about Gimple FE

2015-04-07 Thread Richard Biener
/2015 09:30 AM, Diego Novillo wrote: >>>>> >>>>> On Fri, Apr 3, 2015 at 11:10 AM, xue yinsong >>> >>>>> wrote: >>>>> >>>>>> So it’s better not to try to read the exact dump format. >>>>>> Could we

Re: FW: Question about Gimple FE

2015-04-06 Thread Sebastian Pop
On Fri, Apr 3, 2015 at 1:10 PM, Jeff Law wrote: > On 04/03/2015 09:41 AM, Diego Novillo wrote: >> >> On Fri, Apr 3, 2015 at 11:35 AM, Jeff Law wrote: >> I was hesitant to offer this option, but it's certainly a good >> starting point. The representation encodes CFG, SSA, attributes, >> declarati

Re: Question about Gimple FE

2015-04-06 Thread Segher Boessenkool
On Fri, Apr 03, 2015 at 09:25:57AM -0600, Jeff Law wrote: > On 04/03/2015 07:45 AM, Diego Novillo wrote: > >Not quite. The output of the debug dumpers is not really meant to be fed > >back to the compiler. They are debug dumps only. They do not contain > >enough information for code generation or a

Re: FW: Question about Gimple FE

2015-04-03 Thread Jeff Law
On 04/03/2015 09:41 AM, Diego Novillo wrote: On Fri, Apr 3, 2015 at 11:35 AM, Jeff Law wrote: I was hesitant to offer this option, but it's certainly a good starting point. The representation encodes CFG, SSA, attributes, declarations and annotations. It has a relatively fixed syntax, which ma

Question about Gimple FE

2015-04-03 Thread Gry Gunvor
t;>>> Could we use a similar but more complete syntax instead? >>>> >>>> >>>> Absolutely. The initial attempt for gimple fe was to use a >>tuple-based >>>> syntax that is very easy to parse. But that was only chosen because >>it >

Re: FW: Question about Gimple FE

2015-04-03 Thread Richard Biener
> So it’s better not to try to read the exact dump format. >>>> Could we use a similar but more complete syntax instead? >>> >>> >>> Absolutely. The initial attempt for gimple fe was to use a >tuple-based >>> syntax that is very easy to parse. But that

Re: FW: Question about Gimple FE

2015-04-03 Thread Diego Novillo
se a similar but more complete syntax instead? >> >> >> Absolutely. The initial attempt for gimple fe was to use a tuple-based >> syntax that is very easy to parse. But that was only chosen because it >> simplifies parsing. >> >> You first need to design a text represent

Re: FW: Question about Gimple FE

2015-04-03 Thread Jeff Law
On 04/03/2015 09:30 AM, Diego Novillo wrote: On Fri, Apr 3, 2015 at 11:10 AM, xue yinsong wrote: So it’s better not to try to read the exact dump format. Could we use a similar but more complete syntax instead? Absolutely. The initial attempt for gimple fe was to use a tuple-based syntax

Re: FW: Question about Gimple FE

2015-04-03 Thread Diego Novillo
On Fri, Apr 3, 2015 at 11:10 AM, xue yinsong wrote: >So it’s better not to try to read the exact dump format. >Could we use a similar but more complete syntax instead? Absolutely. The initial attempt for gimple fe was to use a tuple-based syntax that is very easy to parse. But that wa

Re: Question about Gimple FE

2015-04-03 Thread Jeff Law
fies the result. What I'm struggling with here is balancing the human cost of building a test in David's kind of framework vs doing something easier in a gimple-FE like framework vs what we do now where it's bloody hard to arrange for bits to get to a specific pass in a specific state. jeff

FW: Question about Gimple FE

2015-04-03 Thread xue yinsong
On 15/4/3 下午11:00, "xue yinsong" wrote: >So it’s better not to try to read the exact dump format. >Could we use a similar but more complete syntax instead? > >—— >Yinsong > >On 15/4/3 下午9:45, "Diego Novillo" wrote: > >> >> >>On 04/02/15 11:59, xue yinsong wrote: >>> I suppose our goal is t

Re: Question about Gimple FE

2015-04-03 Thread Diego Novillo
On 04/02/15 11:59, xue yinsong wrote: I suppose our goal is to translate the dumped program back to the C source code (otherwise we can simply retain the gotos and labels since they are already `valid’ in C). In this case we have to convert the gotos back to if-elses and whiles. As long as CFG

Re: Question about Gimple FE

2015-04-02 Thread xue yinsong
On 15/3/30 下午5:40, "Richard Biener" wrote: >On Mon, Mar 30, 2015 at 11:36 AM, Richard Biener > wrote: >> On Fri, Mar 27, 2015 at 4:00 PM, xue yinsong wrote: >>> Thanks for your reply to my proposal. >>> AFAIS, most of the files generated by -fdump-tree-all are presented in >>> C-like form i

Re: Question about Gimple FE

2015-04-02 Thread Jeff Law
On 03/31/2015 09:34 AM, Trevor Saunders wrote: On Thu, Mar 26, 2015 at 03:15:22PM +0100, Richard Biener wrote: On Thu, Mar 26, 2015 at 2:31 PM, xue yinsong wrote: I think the gimple front end project would be quite useful to gcc so I’d like to do work on it this summer. The problem is, it se

Re: Question about Gimple FE

2015-03-31 Thread Trevor Saunders
On Thu, Mar 26, 2015 at 03:15:22PM +0100, Richard Biener wrote: > On Thu, Mar 26, 2015 at 2:31 PM, xue yinsong wrote: > > I think the gimple front end project would be quite useful to gcc so I’d > > like to do work on it this summer. > > > > The problem is, it seems the GIMPLE front end project h

Re: Question about Gimple FE

2015-03-30 Thread Richard Biener
On Mon, Mar 30, 2015 at 11:36 AM, Richard Biener wrote: > On Fri, Mar 27, 2015 at 4:00 PM, xue yinsong wrote: >> Thanks for your reply to my proposal. >> AFAIS, most of the files generated by -fdump-tree-all are presented in >> C-like form instead >> of in lisp-like tuple form. >> So it’s better

Re: Question about Gimple FE

2015-03-30 Thread Richard Biener
On Fri, Mar 27, 2015 at 4:00 PM, xue yinsong wrote: > Thanks for your reply to my proposal. > AFAIS, most of the files generated by -fdump-tree-all are presented in C-like > form instead > of in lisp-like tuple form. > So it’s better to implement a front end for the C-like gimple representations.

Re: Question about Gimple FE

2015-03-26 Thread Richard Biener
On Thu, Mar 26, 2015 at 2:31 PM, xue yinsong wrote: > I think the gimple front end project would be quite useful to gcc so I’d like > to do work on it this summer. > > The problem is, it seems the GIMPLE front end project hasn’t been active for > some time > and Diego Novillo told me it may not

Re: [gsoc2015] Is Gimple FE eligible for gsoc this year?

2015-03-22 Thread Trevor Saunders
On Sun, Mar 22, 2015 at 02:36:31PM +0800, xue yinsong wrote: > I add the following code in parser.c to replace htab: > > … > struct gimple_symtab_hasher : ggc_cache_hasher *> > { > /* Return the hash value of the declaration name of a > gimple_symtab_entry_def > object pointed by ENTRY. */ >

Re: [gsoc2015] Is Gimple FE eligible for gsoc this year?

2015-03-21 Thread xue yinsong
I add the following code in parser.c to replace htab: … struct gimple_symtab_hasher : ggc_cache_hasher { /* Return the hash value of the declaration name of a gimple_symtab_entry_def object pointed by ENTRY. */ static hashval_t hash(struct gimple_symtab_entry_def *base){return IDENTIFIER_H

Re: [gsoc2015] Is Gimple FE eligible for gsoc this year?

2015-03-19 Thread Trevor Saunders
On Thu, Mar 19, 2015 at 08:36:50PM +0800, xue yinsong wrote: > Thanks for the guidance. > > I tried to merge thunk into this branch. > However, it seems a small part of Gimple FE is a bit outdated. > > > is_param / is_marked / htab are still used in parser.c > ( htt

Re: [gsoc2015] Is Gimple FE eligible for gsoc this year?

2015-03-19 Thread Richard Biener
On March 19, 2015 4:57:37 AM GMT+01:00, Trevor Saunders wrote: >On Wed, Mar 18, 2015 at 11:09:28PM +0800, xue yinsong wrote: >> >> >> >> >> >> On 15/3/18 下午10:08, "Diego Novillo" wrote: >> >> >On Wed, Mar 18, 2015 at 2:54 AM, xue yinsong > wrote: >> > >> >> Somehow this project is not in t

Re: [gsoc2015] Is Gimple FE eligible for gsoc this year?

2015-03-18 Thread Trevor Saunders
On Wed, Mar 18, 2015 at 11:09:28PM +0800, xue yinsong wrote: > > > > > > On 15/3/18 下午10:08, "Diego Novillo" wrote: > > >On Wed, Mar 18, 2015 at 2:54 AM, xue yinsong wrote: > > > >> Somehow this project is not in the gsoc ideas list, and it’s been one year > >> since the last commit(Accord

Re: [gsoc2015] Is Gimple FE eligible for gsoc this year?

2015-03-18 Thread Diego Novillo
On Wed, Mar 18, 2015 at 11:09 AM, xue yinsong wrote: > I’m glad to get started now. > Could you please give me some specific directions to work on ? Sorry. I wasn't clear enough. You'd first need to find someone willing to mentor. I'm not going to be involved in GSoC for GCC this year. Diego.

Re: [gsoc2015] Is Gimple FE eligible for gsoc this year?

2015-03-18 Thread xue yinsong
On 15/3/18 下午10:08, "Diego Novillo" wrote: >On Wed, Mar 18, 2015 at 2:54 AM, xue yinsong wrote: > >> Somehow this project is not in the gsoc ideas list, and it’s been one year >> since the last commit(According to >> https://gcc.gnu.org/svn/gcc/branches/gimple-front-end/ChangeLog). >> >>

Re: [gsoc2015] Is Gimple FE eligible for gsoc this year?

2015-03-18 Thread Diego Novillo
On Wed, Mar 18, 2015 at 2:54 AM, xue yinsong wrote: > Somehow this project is not in the gsoc ideas list, and it’s been one year > since the last commit(According to > https://gcc.gnu.org/svn/gcc/branches/gimple-front-end/ChangeLog). > > Could someone tell me if this project is still active and