On Fri, Mar 2, 2018 at 3:12 PM, Richard Sandiford
wrote:
> Richard Biener writes:
>> On Thu, Mar 1, 2018 at 12:38 PM, Richard Sandiford
>> wrote:
>>> Richard Biener writes:
Richard Biener writes:
> On Thu, Mar 1, 2018 at 12:38 PM, Richard Sandiford
> wrote:
>> Richard Biener writes:
>>> On Wed, Feb 28, 2018 at 3:20 PM, Richard Sandiford
>>> wrote:
On Thu, Mar 1, 2018 at 12:38 PM, Richard Sandiford
wrote:
> Richard Biener writes:
>> On Wed, Feb 28, 2018 at 3:20 PM, Richard Sandiford
>> wrote:
>>> GCC 6 and 7 would vectorise:
>>>
>>> void
>>> f
Richard Biener writes:
> On Wed, Feb 28, 2018 at 3:20 PM, Richard Sandiford
> wrote:
>> GCC 6 and 7 would vectorise:
>>
>> void
>> f (unsigned long incx, unsigned long incy,
>>float *restrict dx, float *restrict dy)
>> {
>> unsigned
On Wed, Feb 28, 2018 at 3:20 PM, Richard Sandiford
wrote:
> GCC 6 and 7 would vectorise:
>
> void
> f (unsigned long incx, unsigned long incy,
>float *restrict dx, float *restrict dy)
> {
> unsigned long ix = 0, iy = 0;
> for (unsigned long i = 0; i < 512;
Jakub Jelinek writes:
> On Wed, Feb 28, 2018 at 02:20:27PM +, Richard Sandiford wrote:
>> GCC 6 and 7 would vectorise:
>>
>> void
>> f (unsigned long incx, unsigned long incy,
>>float *restrict dx, float *restrict dy)
>> {
>> unsigned long ix = 0, iy = 0;
>> for
On Wed, Feb 28, 2018 at 02:20:27PM +, Richard Sandiford wrote:
> GCC 6 and 7 would vectorise:
>
> void
> f (unsigned long incx, unsigned long incy,
>float *restrict dx, float *restrict dy)
> {
> unsigned long ix = 0, iy = 0;
> for (unsigned long i = 0; i < 512; ++i)
> {
>
GCC 6 and 7 would vectorise:
void
f (unsigned long incx, unsigned long incy,
float *restrict dx, float *restrict dy)
{
unsigned long ix = 0, iy = 0;
for (unsigned long i = 0; i < 512; ++i)
{
dy[iy] += dx[ix];
ix += incx;
iy += incy;
}
}
without first proving that