On Mon, Mar 22, 2021 at 7:41 AM guojiufu via Gcc wrote:
>
> 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 a
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 computes it's 'assumptions'
> condition. That
On Sun, 2021-03-21 at 00:31 +0530, Namitha S via Gcc wrote:
> Hi,
> I am Namitha S, an undergrad from Amrita University. This mail is
> regarding
> GSOC-2021, I wanted to know more about the project "Extend the static
> analysis pass". I've gone through the wiki and finished the tasks
> listed
> ou
Hi Isitha (and Philip!)
If I'm reading Isitha's email correctly, it talks about static
analysis, whereas Philip's talks about GCC Rust, so some wires got
crossed somewhere.
I'm the author of the GCC static analysis pass. I should confess that
I still feel like I'm learning static analysis myself
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
