Re: On-Demand range technology [2/5] - Major Components : How it works

On Thu, May 23, 2019 at 3:28 AM Andrew MacLeod wrote: > > *This note will talk about the 4 major components of the prototype and > explain how they work together. I will be fairly light on detail just > to give an overview, we can delve into whatever details are needed. > - Range-ops : Range ope

Re: On-Demand range technology [3/5] - The Prototype

On Thu, May 23, 2019 at 3:29 AM Andrew MacLeod wrote: > > There is a functioning prototype in branch “ssa-range” which is a proof > of concept that the approach is functional as well as quick, and can be > used to answer questions which come up regarding what it can and can’t > do. Our last merge

Re: On-Demand range technology [4/5] - Performance results

On Thu, May 23, 2019 at 3:29 AM Andrew MacLeod wrote: > > We have done extensive performance analysis to help address concerns > about the nature of an on-demand model. LLVM made an attempt at > something similar, but suffered from significant performance issues > they could not solve with their

Re: On-Demand range technology [5/5] - Looking to the future.

On Thu, May 23, 2019 at 3:30 AM Andrew MacLeod wrote: > > A primary goal of this approach is to try to pull the various aspects of > VRP apart and make them individually viable so they can be used at > appropriate places as needed. The various components of VRP were > identified as: > - Rang

Re: -Wformat-diag: floating-point or floating point?

On Wed, 22 May 2019, Martin Sebor wrote: > ISO C does not support decimal floating point And as a tangential point, that's not accurate for C2X, where DFP is an optional standard feature, but it's probably reasonable to keep the diagnostic saying "ISO C does not support" under its existing co

What are the optimizations that contribute to ~70% improvement on SPEC06 hmmer benchmark?

Recently I happen to notice that there is more than 70% performance improvement for SPEC06 hmmer benchmark from Linaro GCC 5.2-2015.11-2 to GCC 10.0 on ARM platforms. I did some quick searching and think loop distributio

Re: On-Demand range technology [3/5] - The Prototype

> While I agree that symbolic ranges are a complication and that most > cases it currently handles are not "value-range" things I do not agree > with the idea that we can simply remove handling them and deal > with the fallout in some later point in the future. Eric may also be > able to show you

gcc-7-20190523 is now available

Snapshot gcc-7-20190523 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/7-20190523/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 7 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches/gcc-7