On Tue, 16 May 2017, François Dumont wrote:
What is match.pd ?
It is a file in gcc where we describe simple pattern-matching optimizations. In this case, IIRC, the missing transformations were * ptr + n == ptr + 1 --> n == 1 (we already do it if 1 is replaced by a variable or 0)
* ((n/8)+1)*8 --> n+8 when the division is known to be exact -- Marc Glisse