Re: RFC: C extension to support variable-length vector types

2017-08-04 Thread Richard Biener
On Fri, Aug 4, 2017 at 12:46 PM, Alexander Monakov wrote: > On Thu, 3 Aug 2017, Richard Biener wrote: >> Btw., I did this once to represent constrained expressions on >> multi-dimensional arrays in SSA form. There control (aka loop) structure was >> also implicit. Google for 'middle-end array ex

Re: RFC: C extension to support variable-length vector types

2017-08-04 Thread Alexander Monakov
On Thu, 3 Aug 2017, Richard Biener wrote: > Btw., I did this once to represent constrained expressions on > multi-dimensional arrays in SSA form. There control (aka loop) structure was > also implicit. Google for 'middle-end array expressions'. The C interface > was builtins and VLAs. The descr

Re: RFC: C extension to support variable-length vector types

2017-08-04 Thread Richard Biener
On Fri, Aug 4, 2017 at 9:42 AM, Richard Sandiford wrote: > Richard Biener writes: >> On August 3, 2017 7:05:05 PM GMT+02:00, Richard Sandiford >> wrote: >>>Torvald Riegel writes: On Wed, 2017-08-02 at 17:59 +0100, Richard Sandiford wrote: > Torvald Riegel writes: > > On Wed, 2017-

Re: RFC: C extension to support variable-length vector types

2017-08-04 Thread Richard Sandiford
Richard Biener writes: > On August 3, 2017 7:05:05 PM GMT+02:00, Richard Sandiford > wrote: >>Torvald Riegel writes: >>> On Wed, 2017-08-02 at 17:59 +0100, Richard Sandiford wrote: Torvald Riegel writes: > On Wed, 2017-08-02 at 14:09 +0100, Richard Sandiford wrote: >> (1) Does

Re: RFC: C extension to support variable-length vector types

2017-08-03 Thread Richard Biener
On August 3, 2017 7:05:05 PM GMT+02:00, Richard Sandiford wrote: >Torvald Riegel writes: >> On Wed, 2017-08-02 at 17:59 +0100, Richard Sandiford wrote: >>> Torvald Riegel writes: >>> > On Wed, 2017-08-02 at 14:09 +0100, Richard Sandiford wrote: >>> >> (1) Does the approach seem reasonable? >>

Re: RFC: C extension to support variable-length vector types

2017-08-03 Thread Richard Sandiford
Torvald Riegel writes: > On Wed, 2017-08-02 at 17:59 +0100, Richard Sandiford wrote: >> Torvald Riegel writes: >> > On Wed, 2017-08-02 at 14:09 +0100, Richard Sandiford wrote: >> >> (1) Does the approach seem reasonable? >> >> >> >> (2) Would it be acceptable in principle to add this extensi

Re: RFC: C extension to support variable-length vector types

2017-08-03 Thread Richard Biener
On August 3, 2017 5:51:35 PM GMT+02:00, Richard Biener wrote: >On August 3, 2017 5:32:40 PM GMT+02:00, Torvald Riegel > wrote: >>On Wed, 2017-08-02 at 17:59 +0100, Richard Sandiford wrote: >>> Torvald Riegel writes: >>> > On Wed, 2017-08-02 at 14:09 +0100, Richard Sandiford wrote: >>> >> (1) D

Re: RFC: C extension to support variable-length vector types

2017-08-03 Thread Richard Biener
On August 3, 2017 5:32:40 PM GMT+02:00, Torvald Riegel wrote: >On Wed, 2017-08-02 at 17:59 +0100, Richard Sandiford wrote: >> Torvald Riegel writes: >> > On Wed, 2017-08-02 at 14:09 +0100, Richard Sandiford wrote: >> >> (1) Does the approach seem reasonable? >> >> >> >> (2) Would it be acce

Re: RFC: C extension to support variable-length vector types

2017-08-03 Thread Torvald Riegel
On Thu, 2017-08-03 at 17:32 +0200, Torvald Riegel wrote: > On Wed, 2017-08-02 at 17:59 +0100, Richard Sandiford wrote: > > Torvald Riegel writes: > > > On Wed, 2017-08-02 at 14:09 +0100, Richard Sandiford wrote: > > >> (1) Does the approach seem reasonable? > > >> > > >> (2) Would it be accep

Re: RFC: C extension to support variable-length vector types

2017-08-03 Thread Torvald Riegel
On Wed, 2017-08-02 at 17:59 +0100, Richard Sandiford wrote: > Torvald Riegel writes: > > On Wed, 2017-08-02 at 14:09 +0100, Richard Sandiford wrote: > >> (1) Does the approach seem reasonable? > >> > >> (2) Would it be acceptable in principle to add this extension to the > >> GCC C fron

Re: RFC: C extension to support variable-length vector types

2017-08-02 Thread Richard Sandiford
Torvald Riegel writes: > On Wed, 2017-08-02 at 14:09 +0100, Richard Sandiford wrote: >> (1) Does the approach seem reasonable? >> >> (2) Would it be acceptable in principle to add this extension to the >> GCC C frontend (only enabled where necessary)? >> >> (3) Should we submit this

Re: RFC: C extension to support variable-length vector types

2017-08-02 Thread Torvald Riegel
On Wed, 2017-08-02 at 14:09 +0100, Richard Sandiford wrote: > (1) Does the approach seem reasonable? > > (2) Would it be acceptable in principle to add this extension to the > GCC C frontend (only enabled where necessary)? > > (3) Should we submit this to the standards committee? I h

Re: RFC: C extension to support variable-length vector types

2017-08-02 Thread Richard Sandiford
Hi Joseph, Thanks for the quick feedback. Joseph Myers writes: > On Wed, 2 Aug 2017, Richard Sandiford wrote: > >> (1) Does the approach seem reasonable? >> >> (2) Would it be acceptable in principle to add this extension to the >> GCC C frontend (only enabled where necessary)? >> >>

Re: RFC: C extension to support variable-length vector types

2017-08-02 Thread Joseph Myers
On Wed, 2 Aug 2017, Richard Sandiford wrote: > (1) Does the approach seem reasonable? > > (2) Would it be acceptable in principle to add this extension to the > GCC C frontend (only enabled where necessary)? > > (3) Should we submit this to the standards committee? I think this only