Re: [RFC] avoid type conversion through versioning loop

2021-03-26 Thread guojiufu via Gcc
On 2021-03-25 16:35, Richard Biener wrote: On Wed, 24 Mar 2021, guojiufu wrote: On 2021-03-24 20:33, Richard Biener wrote: > On Wed, 24 Mar 2021, guojiufu wrote: > >> On 2021-03-24 15:55, Richard Biener wrote: >> > On Wed, Mar 24, 2021 at 3:55 AM guojiufu wrote: >> >> >> >> On 2021-03-23 16:25

Re: [RFC] avoid type conversion through versioning loop

2021-03-25 Thread guojiufu via Gcc
On 2021-03-25 21:32, guojiufu via Gcc wrote: On 2021-03-25 16:35, Richard Biener wrote: On Wed, 24 Mar 2021, guojiufu wrote: On 2021-03-24 20:33, Richard Biener wrote: > On Wed, 24 Mar 2021, guojiufu wrote: > >> On 2021-03-24 15:55, Richard Biener wrote: >> > On Wed, Ma

Re: [RFC] avoid type conversion through versioning loop

2021-03-25 Thread guojiufu via Gcc
On 2021-03-25 16:35, Richard Biener wrote: On Wed, 24 Mar 2021, guojiufu wrote: On 2021-03-24 20:33, Richard Biener wrote: > On Wed, 24 Mar 2021, guojiufu wrote: > >> On 2021-03-24 15:55, Richard Biener wrote: >> > On Wed, Mar 24, 2021 at 3:55 AM guojiufu wrote: >> >> >> >> On 2021-03-23 16:25

Re: [RFC] avoid type conversion through versioning loop

2021-03-24 Thread guojiufu via Gcc
On 2021-03-24 20:33, Richard Biener wrote: On Wed, 24 Mar 2021, guojiufu wrote: On 2021-03-24 15:55, Richard Biener wrote: > On Wed, Mar 24, 2021 at 3:55 AM guojiufu wrote: >> >> On 2021-03-23 16:25, Richard Biener via Gcc wrote: >> > On Tue, Mar 23, 2021 at 4:33 AM guojiufu >> > wrote: >> >>

Re: [RFC] avoid type conversion through versioning loop

2021-03-24 Thread guojiufu via Gcc
On 2021-03-24 15:55, Richard Biener wrote: On Wed, Mar 24, 2021 at 3:55 AM guojiufu wrote: On 2021-03-23 16:25, Richard Biener via Gcc wrote: > On Tue, Mar 23, 2021 at 4:33 AM guojiufu > wrote: >> >> On 2021-03-22 16:31, Jakub Jelinek via Gcc wrote: >> > On Mon, Mar 22, 2021 at 09:22:26AM +01

Re: [RFC] avoid type conversion through versioning loop

2021-03-23 Thread guojiufu via Gcc
On 2021-03-23 16:25, Richard Biener via Gcc wrote: On Tue, Mar 23, 2021 at 4:33 AM guojiufu wrote: On 2021-03-22 16:31, Jakub Jelinek via Gcc wrote: > On Mon, Mar 22, 2021 at 09:22:26AM +0100, Richard Biener via Gcc wrote: >> Better than doing loop versioning is to enhance SCEV (and thus also

Re: [RFC] avoid type conversion through versioning loop

2021-03-22 Thread guojiufu via Gcc
On 2021-03-22 16:31, Jakub Jelinek via Gcc wrote: On Mon, Mar 22, 2021 at 09:22:26AM +0100, Richard Biener via Gcc wrote: Better than doing loop versioning is to enhance SCEV (and thus also dependence analysis) to track extra conditions they need to handle cases similar as to how niter analysis

[RFC] avoid type conversion through versioning loop

2021-03-21 Thread guojiufu via Gcc
Hi All, As we know, type conversion is not in favor of optimization, and may cause performance issue. For example: for (unsigned int i = 0; i < n; ++i) a[m + i] = 1; //or a[30 + i] = In this code, the index to access arrays is 'unsinged int' (32bit), while the register operations (like