Re: anti-ranges of signed variables

2016-11-11 Thread Martin Sebor
On 11/11/2016 12:30 PM, Martin Sebor wrote: On 11/11/2016 12:12 PM, Andrew Pinski wrote: On Fri, Nov 11, 2016 at 10:51 AM, Martin Sebor wrote: On 11/11/2016 10:53 AM, Richard Biener wrote: On November 11, 2016 6:34:37 PM GMT+01:00, Martin Sebor wrote: I noticed that variables of signed in

About fortran 95 installation for mac book air OS X El capitan

2016-11-11 Thread İrem Taşkın
Dear Authorized, I want to download fortran95 to MacBook, I guess that we should download gfortran 6.1 related in 10.11 software. Could you please give us prompt info about downloading ? Thanks for your kind help in advance. Best regards, iPhone'umdan gönderildi

Re: anti-ranges of signed variables

2016-11-11 Thread Martin Sebor
On 11/11/2016 12:12 PM, Andrew Pinski wrote: On Fri, Nov 11, 2016 at 10:51 AM, Martin Sebor wrote: On 11/11/2016 10:53 AM, Richard Biener wrote: On November 11, 2016 6:34:37 PM GMT+01:00, Martin Sebor wrote: I noticed that variables of signed integer types that are constrained to a specifi

Re: anti-ranges of signed variables

2016-11-11 Thread Jakub Jelinek
On Fri, Nov 11, 2016 at 11:51:34AM -0700, Martin Sebor wrote: > On 11/11/2016 10:53 AM, Richard Biener wrote: > >On November 11, 2016 6:34:37 PM GMT+01:00, Martin Sebor > >wrote: > >>I noticed that variables of signed integer types that are constrained > >>to a specific subrange of values of the

Re: anti-ranges of signed variables

2016-11-11 Thread Andrew Pinski
On Fri, Nov 11, 2016 at 10:51 AM, Martin Sebor wrote: > On 11/11/2016 10:53 AM, Richard Biener wrote: >> >> On November 11, 2016 6:34:37 PM GMT+01:00, Martin Sebor >> wrote: >>> >>> I noticed that variables of signed integer types that are constrained >>> to a specific subrange of values of the t

Re: anti-ranges of signed variables

2016-11-11 Thread Martin Sebor
On 11/11/2016 10:53 AM, Richard Biener wrote: On November 11, 2016 6:34:37 PM GMT+01:00, Martin Sebor wrote: I noticed that variables of signed integer types that are constrained to a specific subrange of values of the type like so: [-TYPE_MAX + N, N] are reported by get_range_info as t

Re: anti-ranges of signed variables

2016-11-11 Thread Richard Biener
On November 11, 2016 6:34:37 PM GMT+01:00, Martin Sebor wrote: >I noticed that variables of signed integer types that are constrained >to a specific subrange of values of the type like so: > > [-TYPE_MAX + N, N] > >are reported by get_range_info as the anti-range > > [-TYPE_MAX, TYPE_MI

[SVE] Organisation of ARM/sve-branch

2016-11-11 Thread Richard Sandiford
This message describes the arrangement of the patches on the SVE branch. We've tried to make them fit a plausible submission order, with each patch having its own covering note and rationale (but no changelog :-)). They should also be bisect-friendly. The patches break down into the following broa

[SVE] Fully masked/predicated vector loops

2016-11-11 Thread Richard Sandiford
This message describes how the SVE patches implement full-loop predication/masking. To give an example: void foo (int *restrict dst, int *restrict src, int count) { for (int i = 0; i < count; ++i) dst[i] = src[i] + 1; } compiles to: foo: cmp w2, 0 ble .L1 m

[SVE] Support for variable-sized machine modes

2016-11-11 Thread Richard Sandiford
As described in the covering note, one of big differences for SVE is that things like mode sizes, offsets, and numbers of vector elements can depend on a runtime parameter. This message describes how the SVE patches handle that and how they deal with vector constants in which the number of element

[RFC] GCC port for ARM's Scalable Vector Extension

2016-11-11 Thread Richard Sandiford
Hi, We'd like to submit GCC support for ARM's Scalable Vector Extension (SVE). For more details about the extension itself, please see Nigel's blog post at: https://community.arm.com/groups/processors/blog/2016/08/22/technology-update-the-scalable-vector-extension-sve-for-the-armv8-a-architect

anti-ranges of signed variables

2016-11-11 Thread Martin Sebor
I noticed that variables of signed integer types that are constrained to a specific subrange of values of the type like so: [-TYPE_MAX + N, N] are reported by get_range_info as the anti-range [-TYPE_MAX, TYPE_MIN - 1] for all positive N of the type regardless of the variable's actual

C mangling

2016-11-11 Thread phi gcc
Hi Gurus, I got functions named like this in my symbol table [21711] |0x81228250|0x01e5|FUNC |LOCAL|0| .text|ep_scan_ready_list.isra.7 This is a linux kernel. I gues this is a magle name for the function ep_scan_ready_list() that is has only 2 call sites like this ep_scan_ready_list

RE: [RFC v2] MIPS ABI Extension for IEEE Std 754 Non-Compliant Interlinking

2016-11-11 Thread Matthew Fortune
Maciej Rozycki writes: > I'm back to this effort now, thanks for patience. Likewise, this thread got buried in email. At the risk of further delaying this work I do still have issues with the design. > > > 3.4 Relocatable Object Generation > > > > > > Tools that produce relocatable objects suc