Re: [RFC, LRA] Incorrect subreg resolution?

2014-03-11 Thread Richard Sandiford
Returning to this old thread... Richard Sandiford writes: > Tejas Belagod writes: >> When I relaxed CANNOT_CHANGE_MODE_CLASS to undefined for AArch64, >> gcc.c-torture/execute/copysign1.c generates incorrect code because LRA >> cannot >> seem to handle subregs like >> >> (subreg:DI (reg:TF

Re: dom requires PROP_loops

2014-03-11 Thread Richard Biener
On Mon, Mar 10, 2014 at 12:57 PM, Paulo Matos wrote: > Hello, > > In an attempt to test some optimization I destroyed the loop property in > pass_tree_loop_done and reinstated it in pass_rtl_loop_init, however then I > noticed that pass_dominator started generating wrong code. > My guess is that

Re: status of current_pass (notably in gates) .... [possible bug in 4.9]

2014-03-11 Thread Richard Biener
On Mon, Mar 10, 2014 at 1:30 PM, Basile Starynkevitch wrote: > Hello All, > > > I am a bit confused (or unhappy) about the current_pass variable > (in GCC 4.9 svn rev.208447); I believe we have some incoherency about it. > > It is generally (as it used to be in previous versions of GCC) > a global

Re: [gsoc 2014] moving fold-const patterns to gimple

2014-03-11 Thread Richard Biener
On Mon, Mar 10, 2014 at 7:29 PM, Prathamesh Kulkarni wrote: > Hi Richard, > Sorry for the late reply. I would like to have few clarifications > regarding the following points: > > a) Pattern matching: Currently, gimple_match_and_simplify() matches > patterns one-by-one. Could we use a decision tre

Re: GNU C extension: Function Error vs. Success

2014-03-11 Thread David Brown
On 10/03/14 18:26, Shahbaz Youssefi wrote: > I'm mostly interested in C. Nevertheless, you can of course also do > the same in C: > > struct option_float > { > float value; > int error_code; > bool succeeded; > }; > > struct option_float inverse(int x) { > if (x == 0) > return (

Re: GNU C extension: Function Error vs. Success

2014-03-11 Thread Shahbaz Youssefi
On Tue, Mar 11, 2014 at 1:26 PM, David Brown wrote: > On 10/03/14 18:26, Shahbaz Youssefi wrote: > You can tell the compiler about the likely paths: > > struct option_float inverse(int x) { > if (__builtin_expect(x != 0, 1)) { > return (struct option_float){ .value = 1.0f

Issues installing GCC libraries

2014-03-11 Thread Falk, Katerina
Dear Administrator, I tried installing GCC libraries, but it does not seem to work. I do not understand the problem why. This is the output from my Terminal window: 1282816:~ kfalk$ cd Desktop/ 1282816:Desktop kfalk$ cd gcc-4.8.2/ 1282816:gcc-4.8.2 kfalk$ ./configure checking build system type..

Re: Issues installing GCC libraries

2014-03-11 Thread Jonathan Wakely
On 11 March 2014 21:33, Falk, Katerina wrote: > Dear Administrator, > > I tried installing GCC libraries, but it does not seem to work. I do not > understand the problem why. This is the output from my Terminal window: This mailing list is for development of GCC, for help using GCC please use the

Re: [RFC] Meta-description for tree and gimple folding

2014-03-11 Thread Marc Glisse
On Mon, 3 Mar 2014, Richard Biener wrote: How do you handle a transformation that currently tries to recursively fold something else and does the main transformation only if that simplified? And doesn't do the other folding (because it's not in the IL literally?)? Similar to the cst without ov

GSoC 2014 C++ Concepts project

2014-03-11 Thread Thomas Wynn
Hello, my name is Thomas Wynn. I am a junior in pursuit of a B.S. in Computer Science at The University of Akron. I am interested in working on a project with GCC for this year's Google Summer of Code. More specifically, I would like to work on support for concept variables and shorthand notation o

GSoC Concepts - separate checking

2014-03-11 Thread Braden Obrzut
My name is Braden Obrzut and I am a student from the University of Akron interested in contributing to GCC for GSoC. I am interested in working on a project related to the c++-concepts branch. In particular, I am interested in implementing mechanisms for checking the safety of constrained templa