Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

On Tue, Aug 27, 2019 at 9:01 AM Richard Sandiford wrote: > > Ilya Leoshkevich writes: > >> Am 26.08.2019 um 15:17 schrieb Ilya Leoshkevich : > >> > >>> Am 26.08.2019 um 15:06 schrieb Richard Biener > >>> : > >>> > >>> On Mon, Aug 26, 2019 at 1:54 PM Ilya Leoshkevich > >>> wrote: > > >

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

Ilya Leoshkevich writes: >> Am 26.08.2019 um 15:17 schrieb Ilya Leoshkevich : >> >>> Am 26.08.2019 um 15:06 schrieb Richard Biener : >>> >>> On Mon, Aug 26, 2019 at 1:54 PM Ilya Leoshkevich wrote: > Am 26.08.2019 um 10:49 schrieb Richard Biener > : > > On Fri, Aug 23, 20

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

> Am 26.08.2019 um 15:17 schrieb Ilya Leoshkevich : > >> Am 26.08.2019 um 15:06 schrieb Richard Biener : >> >> On Mon, Aug 26, 2019 at 1:54 PM Ilya Leoshkevich wrote: >>> Am 26.08.2019 um 10:49 schrieb Richard Biener : On Fri, Aug 23, 2019 at 1:35 PM Ilya Leoshkevich w

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

> Am 26.08.2019 um 15:06 schrieb Richard Biener : > > On Mon, Aug 26, 2019 at 1:54 PM Ilya Leoshkevich wrote: >> >>> Am 26.08.2019 um 10:49 schrieb Richard Biener : >>> >>> On Fri, Aug 23, 2019 at 1:35 PM Ilya Leoshkevich wrote: > Am 23.08.2019 um 13:24 schrieb Richard Biener >

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

On Mon, Aug 26, 2019 at 1:54 PM Ilya Leoshkevich wrote: > > > Am 26.08.2019 um 10:49 schrieb Richard Biener : > > > > On Fri, Aug 23, 2019 at 1:35 PM Ilya Leoshkevich wrote: > >> > >>> Am 23.08.2019 um 13:24 schrieb Richard Biener > >>> : > >>> > >>> On Fri, Aug 23, 2019 at 12:43 PM Richard Sand

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

> Am 26.08.2019 um 10:49 schrieb Richard Biener : > > On Fri, Aug 23, 2019 at 1:35 PM Ilya Leoshkevich wrote: >> >>> Am 23.08.2019 um 13:24 schrieb Richard Biener : >>> >>> On Fri, Aug 23, 2019 at 12:43 PM Richard Sandiford >>> wrote: Ilya Leoshkevich writes: > @@ -3819,6 +3820

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

On Fri, Aug 23, 2019 at 1:35 PM Ilya Leoshkevich wrote: > > > Am 23.08.2019 um 13:24 schrieb Richard Biener : > > > > On Fri, Aug 23, 2019 at 12:43 PM Richard Sandiford > > wrote: > >> > >> Ilya Leoshkevich writes: > >>> @@ -3819,6 +3820,82 @@ can_compare_p (enum rtx_code code, machine_mode > >

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

Ilya Leoshkevich writes: >> Am 23.08.2019 um 12:43 schrieb Richard Sandiford : >> >> Ilya Leoshkevich writes: >>> @@ -3819,6 +3820,82 @@ can_compare_p (enum rtx_code code, machine_mode mode, >>> return 0; >>> } >>> >>> +/* can_vector_compare_p presents fake rtx binary operations to the the >

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

> Am 23.08.2019 um 13:24 schrieb Richard Biener : > > On Fri, Aug 23, 2019 at 12:43 PM Richard Sandiford > wrote: >> >> Ilya Leoshkevich writes: >>> @@ -3819,6 +3820,82 @@ can_compare_p (enum rtx_code code, machine_mode mode, >>> return 0; >>> } >>> >>> +/* can_vector_compare_p presents fake

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

> Am 23.08.2019 um 12:43 schrieb Richard Sandiford : > > Ilya Leoshkevich writes: >> @@ -3819,6 +3820,82 @@ can_compare_p (enum rtx_code code, machine_mode mode, >> return 0; >> } >> >> +/* can_vector_compare_p presents fake rtx binary operations to the the >> back-end >> + in order to dete

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

On Fri, Aug 23, 2019 at 12:43 PM Richard Sandiford wrote: > > Ilya Leoshkevich writes: > > @@ -3819,6 +3820,82 @@ can_compare_p (enum rtx_code code, machine_mode mode, > >return 0; > > } > > > > +/* can_vector_compare_p presents fake rtx binary operations to the the > > back-end > > + in

Re: [PATCH v2 3/9] Introduce can_vector_compare_p function

Ilya Leoshkevich writes: > @@ -3819,6 +3820,82 @@ can_compare_p (enum rtx_code code, machine_mode mode, >return 0; > } > > +/* can_vector_compare_p presents fake rtx binary operations to the the > back-end > + in order to determine its capabilities. In order to avoid creating fake > +

[PATCH v2 3/9] Introduce can_vector_compare_p function

z13 supports only non-signaling vector comparisons. This means we cannot vectorize LT, LE, GT, GE and LTGT when compiling for z13. However, we cannot express this restriction today: the code only checks whether vcond$a$b optab exists, which does not contain information about the operation. Introd