Re: Question about dump_printf/dump_printf_loc

2017-05-08 Thread Richard Biener via gcc
On Sat, May 6, 2017 at 12:37 AM, Steve Ellcey wrote: > I have a simple question about dump_printf and dump_printf_loc. I notice > that most (all?) of the uses of these function are of the form: > > if (dump_enabled_p ()) > dump_printf_loc (MSG_*,

Re: Question about loop induction variables

2017-05-08 Thread Richard Biener via gcc
On Sun, May 7, 2017 at 11:22 AM, Fredrik Hederstierna wrote: > Hi, > > I have a question about loop induction variables, related to > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67213 > > Consider a simple loop like > > int ix; > for (ix = 0; ix < 6;

Re: Thought on inlining indirect function calls

2020-03-14 Thread Richard Biener via Gcc
On March 14, 2020 10:55:09 AM GMT+01:00, "FRÉDÉRIC RECOULES" wrote: >Hello the GCC community, >I just want to share some thoughts on inlining a function even if >it is called through a function pointer. >My starting point is the version 9.2 (used at https://godbolt.org/), >so I am sorry if

Re: Question about undefined functions' parameters during LTO

2020-03-13 Thread Richard Biener via Gcc
On Thu, Mar 12, 2020 at 5:31 PM Erick Ochoa wrote: > > Hello, > > I am trying to find out the arguments of functions which are undefined > during LTO. > > Basically: > > gcc_assert(in_lto_p && !cnode->definition) > // Do we have arguments? > gcc_assert(DECL_ARGUMENTS(cnode->decl)) // fails > //

Re: Vectorization of loop which operate on local arrays

2020-04-15 Thread Richard Biener via Gcc
On Tue, Apr 14, 2020 at 4:39 PM Shubham Narlawar via Gcc wrote: > > Hello, > > I am working on gcc-4.9.4 and encountered different results of loop > vectorization on array arr0, arr1 and arr2. > > Testcase - > > int main() > { > int i; > for (i=0; i<64; i++) > { >

Re: Question about undefined functions' parameters during LTO

2020-04-07 Thread Richard Biener via Gcc
On Tue, Apr 7, 2020 at 1:54 PM Erick Ochoa wrote: > > Hello Micheal, > > Thanks for this lead! It is almost exactly what I need. I do have one > more question about this. It seems that the types obtained via > FOR_EACH_FUNCTION_ARGS and TREE_TYPE are different pointers when > compiled with -flto.

Re: Question about undefined functions' parameters during LTO

2020-04-07 Thread Richard Biener via Gcc
On Tue, Apr 7, 2020 at 2:41 PM Erick Ochoa wrote: > > > > On 07/04/2020 14:34, Michael Matz wrote: > > Hello, > > > > On Tue, 7 Apr 2020, Erick Ochoa wrote: > > > >> Thanks for this lead! It is almost exactly what I need. I do have one more > >> question about this. It seems that the types

Re: SH Port Status

2020-04-21 Thread Richard Biener via Gcc
On Mon, Apr 20, 2020 at 11:05 PM Jeff Law via Gcc wrote: > > On Mon, 2020-04-20 at 15:29 -0500, Joel Sherrill wrote: > > > > > > On Mon, Apr 20, 2020, 3:13 PM Jeff Law wrote: > > > On Mon, 2020-04-20 at 14:47 -0500, Joel Sherrill wrote: > > > > Hi > > > > > > > > Over at RTEMS, we were

Re: [RFC, doloop] How to deal with invariants introduced by doloop

2020-04-21 Thread Richard Biener via Gcc
On Tue, Apr 21, 2020 at 10:42 AM Kewen.Lin wrote: > > on 2020/4/17 下午7:32, Richard Biener wrote: > > On Fri, Apr 17, 2020 at 1:10 PM Kewen.Lin via Gcc wrote: > >> > >> Hi all, > >> > >> This is one question origining from PR61837, which shows that doloop > >> pass could introduce some loop

Re: Help implementing support for vec in gengtype

2020-04-21 Thread Richard Biener via Gcc
On Mon, Apr 20, 2020 at 11:45 PM Giuliano Belinassi wrote: > > Hi. Sorry for the late reply. > > On 03/02, Richard Biener wrote: > > On Thu, Feb 27, 2020 at 6:56 PM Giuliano Belinassi > > wrote: > > > > > > Hi, all. > > > > > > I am tying to fix an issue with a global variable in the parallel

Re: Help implementing support for vec in gengtype

2020-04-21 Thread Richard Biener via Gcc
On Tue, Apr 21, 2020 at 5:56 PM Giuliano Belinassi wrote: > > Hi, Richi > > On 04/21, Richard Biener wrote: > > On Mon, Apr 20, 2020 at 11:45 PM Giuliano Belinassi > > wrote: > > > > > > Hi. Sorry for the late reply. > > > > > > On 03/02, Richard Biener wrote: > > > > On Thu, Feb 27, 2020 at

Re: [RFC, doloop] How to deal with invariants introduced by doloop

2020-04-17 Thread Richard Biener via Gcc
On Fri, Apr 17, 2020 at 1:10 PM Kewen.Lin via Gcc wrote: > > Hi all, > > This is one question origining from PR61837, which shows that doloop > pass could introduce some loop invariants against its outer loop when > doloop performs and prepares the iteration count for hardware > count register

Re: How to extend SLP to support this case

2020-03-13 Thread Richard Biener via Gcc
On Tue, Mar 10, 2020 at 12:32 PM Tamar Christina wrote: > > > -Original Message- > > From: Gcc On Behalf Of Richard Biener > > Sent: Tuesday, March 10, 2020 11:12 AM > > To: Kewen.Lin > > Cc: GCC Development ; Segher Boessenkool > > > > Subject: Re: How to extend SLP to support this

Re: [QUESTION] About RTL optimization at forward propagation

2020-03-30 Thread Richard Biener via Gcc
On Sat, Mar 28, 2020 at 4:19 AM xiezhiheng wrote: > > Hi, > I find there exists some restricts in function fwprop preventing it to > forward propagate addresses into loops. > /* Go through all the uses. df_uses_create will create new ones at the >end, and we'll go through them as well. >

Re: Question on lto-stream-out

2020-03-26 Thread Richard Biener via Gcc
On Thu, Mar 26, 2020 at 12:01 PM lizekun (A) wrote: > > Hi, > I have a question on function "get_symbol_initial_value" in lto-stream-out.c. > > When the initial value of symbol is constructor, it will be replaced by an > error_mark. > What's the benefit of donging this? In some cases, it

Re: Question on lto-stream-out

2020-03-26 Thread Richard Biener via Gcc
On Thu, Mar 26, 2020 at 2:00 PM lizekun (A) wrote: > > Thanks for replying! > > I've dumped the lto stream-out file and noticed that constructors are > streamed to > function_body. > Also, I noticed that, the binany which is generated when streaming > constructors > to function_body has bigger

Re: Not usable email content encoding

2020-04-23 Thread Richard Biener via Gcc
On Thu, Apr 23, 2020 at 7:47 AM Florian Weimer wrote: > > * Tamar Christina: > > > A bit late to the party, but this really doesn't work that well > > because until recent version of gitlab there was no fairness > > guarantee. another patch could be approved after mine (with hours > > in between

Re: how to find variable related to a virtual ssa name

2020-05-13 Thread Richard Biener via Gcc
On Wed, May 13, 2020 at 6:03 AM 易会战 wrote: > > It seems the function ptr_deref_may_alias_global_p cannot give right result. > For example, > int func(int size, int i) > { > int * sum; > sum = malloc() > here some code access sum pointing to memory > return sum[i] > } >

Re: how to find variable related to a virtual ssa name

2020-05-12 Thread Richard Biener via Gcc
On Tue, May 12, 2020 at 2:44 PM 易会战 via Gcc wrote: > > hi, I am working on gcc ssa name. For each function, we can traverse all > defined ssa name by macro FOR_EACH_SSA_NAME. If a ssa name is default > definition for a symbol (check SSA_NAME_IS_DEFAULT_DEF) , I can get the > symbol by

Re: how to find variable related to a virtual ssa name

2020-05-12 Thread Richard Biener via Gcc
On Tue, May 12, 2020 at 4:16 PM 易会战 wrote: > > thanks a lot. I will check your advice. > Can you give some explaination about memory ssa, and how to use it. I check > internal, cannot get it. Maybe you know some examples or some more materials. memory SSA in GCC is simply a SSA chain of all

Re: Question about alias or points-to analysis

2020-05-07 Thread Richard Biener via Gcc
On Wed, May 6, 2020 at 9:25 PM Erick Ochoa wrote: > > > > On 06/05/2020 18:40, Richard Biener wrote: > > On Wed, May 6, 2020 at 3:04 PM Erick Ochoa > > wrote: > >> > >> > >> > >> On 06/05/2020 14:25, Richard Biener wrote: > >>> On Wed, May 6, 2020 at 12:26 PM Erick Ochoa > >>> wrote: > >

Re: Multilibs in stage-1

2020-05-07 Thread Richard Biener via Gcc
On May 6, 2020 11:15:08 PM GMT+02:00, Uros Bizjak via Gcc wrote: >Hello! > >I wonder, if the build process really needs to build all multilibs in >stage-1 bootstrap build. IIRC, stage-1 uses system compiler to build >stage-1 gcc, so there is no need for multilibs, apart from library >that will

Re: Multilibs in stage-1

2020-05-07 Thread Richard Biener via Gcc
On Thu, May 7, 2020 at 8:25 AM Uros Bizjak wrote: > > On Thu, May 7, 2020 at 8:16 AM Richard Biener > wrote: > > > > On May 6, 2020 11:15:08 PM GMT+02:00, Uros Bizjak via Gcc > > wrote: > > >Hello! > > > > > >I wonder, if the build process really needs to build all multilibs in > > >stage-1

Re: Multilibs in stage-1

2020-05-07 Thread Richard Biener via Gcc
On Thu, May 7, 2020 at 9:24 AM Jakub Jelinek wrote: > > On Thu, May 07, 2020 at 09:02:58AM +0200, Richard Biener wrote: > > Hmm. IIRC it required special-handling in the individual libs - Jakub > > may remeber (IIRC > > he implemented short-cutting libsanitizer builds) > > Just fuzzy memories,

Re: how to find variable related to a virtual ssa name

2020-05-14 Thread Richard Biener via Gcc
On Thu, May 14, 2020 at 6:00 AM 易会战 wrote: > > There are some other cases that I cannot get right answer. > case1: interproceduure > func(int*arg) > { > return arg[0] + arg[1] > } > func2() > { > int a[10] > return func(a); > } > here func cannot tell arg is local var. > > case 2: global array

Re: how to find variable related to a virtual ssa name

2020-05-13 Thread Richard Biener via Gcc
On Wed, May 13, 2020 at 11:08 AM 易会战 wrote: > > yes, it does not escape the function, but indeed allocate memory on heap. > There is much specific method to judge the memory on heap although not escape > the function? Not at the moment. The info is computed by tree-ssa-structalias.c in

Re: Automatically generated ChangeLog files - PHASE 1

2020-05-13 Thread Richard Biener via Gcc
On Wed, May 13, 2020 at 11:27 AM Martin Liška wrote: > > On 5/13/20 10:16 AM, Richard Sandiford wrote: > > As far as this particular example goes, shouldn't the "testsuite/" line > > be dropped from the above? > > Good point. Fixes now with: > > $ ./git_email.py >

Re: how to find variable related to a virtual ssa name

2020-05-13 Thread Richard Biener via Gcc
On Wed, May 13, 2020 at 11:38 AM 易会战 wrote: > > now I am working on gcc-9.3, can you give the specific code location to check > not escaped heap? I try to add a flag. set_uids_in_ptset > ---Original--- > From: "Richard Biener" > Date: Wed, May 13, 2020 17:28 PM > To: "易会战"; > Cc: "gcc"; >

Re: performance of exception handling

2020-05-12 Thread Richard Biener via Gcc
On Tue, May 12, 2020 at 8:14 AM Thomas Neumann via Gcc wrote: > > > Not all GCC/G++ targets are GNU/Linux and use GLIBC. A duplicate > > implementation in GLIBC creates its own set of advantages and > > disadvantages. > > so what should I do now? Should I try to move the lookup into GLIBC? Or >

Re: Not usable email content encoding

2020-03-19 Thread Richard Biener via Gcc
On Thu, Mar 19, 2020 at 2:28 PM Florian Weimer wrote: > > * Tom Tromey: > > > Also, gerrit was pretty bad about threading messages, so it became quite > > hard to follow progress in email (but following all patches in the web > > interface is very difficult, a problem shared by all these web

Re: Fw: GSoC topic: Implement hot cold splitting at GIMPLE IR level

2020-03-17 Thread Richard Biener via Gcc
On Tue, Mar 17, 2020 at 3:33 PM Aditya K via Gcc wrote: > > As I understand the openmp outliner is also at the tree level. A region based > outliner could be reused there. I’m not particular about the outliner being > specific to ipa-split. A GSoC project can help us get the coding+testing >

Re: Vectorization Messages

2020-03-24 Thread Richard Biener via Gcc
On March 24, 2020 5:45:05 PM GMT+01:00, Roger Martz via Gcc wrote: >I was glad to see that compiler flags such as -fopt-info-vec-missed ... >provide information about what is happening under the hood w.r.t code >that >can and can't be vectorized. > >Can anyone point me to a document, etc. that

Re: Question about alias or points-to analysis

2020-05-06 Thread Richard Biener via Gcc
On Wed, May 6, 2020 at 12:26 PM Erick Ochoa wrote: > > Hi, > > I am trying to find out how to use the alias and/or points-to analysis > in GCC. Ideally, I would like to find a function that given an > allocation site, the return value is a set of pointers which may point > to memory allocated

Re: Question about alias or points-to analysis

2020-05-06 Thread Richard Biener via Gcc
On Wed, May 6, 2020 at 3:04 PM Erick Ochoa wrote: > > > > On 06/05/2020 14:25, Richard Biener wrote: > > On Wed, May 6, 2020 at 12:26 PM Erick Ochoa > > wrote: > >> > >> Hi, > >> > >> I am trying to find out how to use the alias and/or points-to analysis > >> in GCC. Ideally, I would like to

Re: Writing automated tests for the GCC driver

2020-05-22 Thread Richard Biener via Gcc
On Thu, May 21, 2020 at 11:00 PM Giuliano Belinassi via Gcc wrote: > > Hi, all. > > GCC have a extensive testsuite, that is no news at all. However they are > focused on the compiler (cc1*) or in libraries, and I can't find tests > related to the GCC driver. > > Are there tests to the GCC driver?

Re: Types are confused in inlining

2020-09-03 Thread Richard Biener via Gcc
On September 3, 2020 7:59:12 PM GMT+02:00, Gary Oblock wrote: >>This is absolutely not enough information to guess at the >>issue ;) > >That's fair, I was hoping some mad genius out there would confess to a >fubar_adjustment phase that was probably at fault.  Ah, well. It's probably your own

Re: A silly question regarding function types

2020-09-04 Thread Richard Biener via Gcc
On Fri, Sep 4, 2020 at 4:39 AM Gary Oblock via Gcc wrote: > > Note, isn't a problem, rather, it's something that puzzles me. > > On walking a function types argument types this way > > for ( arg = TYPE_ARG_TYPES ( func_type); >arg != NULL; >arg = TREE_CHAIN ( arg)) > { >

Re: about souce code location

2020-09-04 Thread Richard Biener via Gcc
On Fri, Sep 4, 2020 at 2:23 AM 易会战 via Gcc wrote: > > I am working a instrumention tool, and need get the location info for a > gimple statement. I use the location structure to get the info, and it can > work when i use -O1. When I use -O2, sometimes the info seems to be lost and > I get line

Re: A couple GIMPLE questions

2020-09-06 Thread Richard Biener via Gcc
On September 6, 2020 9:38:45 AM GMT+02:00, Gary Oblock via Gcc wrote: >>That's not a question? Are you asking why PHIs exist at all? >>They are the standard way to represent merging in SSA >>representations. You can iterate on the PHIs of a basic block, etc. > >Marc, > >I first worked with the

Re: [RFC] Add new flag to specify output constraint in match.pd

2020-09-02 Thread Richard Biener via Gcc
On Wed, Sep 2, 2020 at 9:27 AM Marc Glisse wrote: > > On Wed, 2 Sep 2020, Richard Biener via Gcc wrote: > > > On Mon, Aug 24, 2020 at 8:20 AM Feng Xue OS via Gcc wrote: > >> > >>>> There is a match-folding issue derived from pr94234. A piece of code &g

Re: [RFC] Add new flag to specify output constraint in match.pd

2020-09-02 Thread Richard Biener via Gcc
On Wed, Sep 2, 2020 at 9:35 AM Feng Xue OS wrote: > > > > >> > >> >> There is a match-folding issue derived from pr94234. A piece of code > >> >> like: > >> >> > >> >> int foo (int n) > >> >> { > >> >> int t1 = 8 * n; > >> >> int t2 = 8 * (n - 1); > >> >> > >> >> return t1

Re: Question about exporting omputing alias sets

2020-09-02 Thread Richard Biener via Gcc
On Wed, Sep 2, 2020 at 10:04 AM Erick Ochoa wrote: > > Hello, > > I am trying to find out all pointers which alias a pointer and place > them in a set. > > I am using `ptr_derefs_may_alias_p` to find out if two pointers may > point to the same memory location. I think this yields conservative >

Re: [RFC] Add new flag to specify output constraint in match.pd

2020-09-02 Thread Richard Biener via Gcc
On Mon, Aug 24, 2020 at 8:20 AM Feng Xue OS via Gcc wrote: > > >> There is a match-folding issue derived from pr94234. A piece of code > >> like: > >> > >> int foo (int n) > >> { > >> int t1 = 8 * n; > >> int t2 = 8 * (n - 1); > >> > >> return t1 - t2; > >> } > >> > >>

Re: [GSoC] Automatic Parallel Compilation Viability -- Final Report

2020-08-31 Thread Richard Biener via Gcc
On Mon, Aug 31, 2020 at 1:15 PM Jan Hubicka wrote: > > > On Fri, Aug 28, 2020 at 10:32 PM Giuliano Belinassi > > wrote: > > > > > > Hi, > > > > > > This is the final report of the "Automatic Parallel Compilation > > > Viability" project. Please notice that this report is pretty > > > similar to

Re: [GSoC] Automatic Parallel Compilation Viability -- Final Report

2020-08-31 Thread Richard Biener via Gcc
On Fri, Aug 28, 2020 at 10:32 PM Giuliano Belinassi wrote: > > Hi, > > This is the final report of the "Automatic Parallel Compilation > Viability" project. Please notice that this report is pretty > similar to the delivered from the 2nd evaluation, as this phase > consisted of mostly rebasing

Re: Is there a way to look for a tree by its UID?

2020-09-07 Thread Richard Biener via Gcc
On Fri, Sep 4, 2020 at 4:36 PM Erick Ochoa wrote: > > > > On 04/09/2020 15:19, Richard Biener wrote: > > On Fri, Sep 4, 2020 at 10:13 AM Erick Ochoa > > wrote: > >> > >> > >> > >> On 03/09/2020 12:19, Richard Biener wrote: > >>> On Thu, Sep 3, 2020 at 10:58 AM Jakub Jelinek via Gcc > >>>

Re: A problem with one instruction multiple latencies and pipelines

2020-09-07 Thread Richard Biener via Gcc
On Mon, Sep 7, 2020 at 8:10 AM Qian, Jianhua wrote: > > Hi > > I'm adding a new machine model. I have a problem when writing the > "define_insn_reservation" for instruction scheduling. > How to write the "define_insn_reservation" for one instruction that there are > different latencies and

Re: A problem with one instruction multiple latencies and pipelines

2020-09-07 Thread Richard Biener via Gcc
On Mon, Sep 7, 2020 at 10:46 AM Qian, Jianhua wrote: > > Hi Richard > > > -Original Message- > > From: Richard Biener > > Sent: Monday, September 7, 2020 3:41 PM > > To: Qian, Jianhua/钱 建华 > > Cc: gcc@gcc.gnu.org > > Subject: Re: A problem with one instruction multiple latencies and

Re: Question about instrumenting gimple

2020-09-16 Thread Richard Biener via Gcc
On Tue, Sep 15, 2020 at 5:14 PM Erick Ochoa wrote: > > Hi, > > I am trying to instrument gimple so that "hello world" is printed after > each call to malloc. I've tried instrumenting using the following code > > static void > // G points to the gcall which corresponds to malloc >

Re: Is there a way to look for a tree by its UID?

2020-09-04 Thread Richard Biener via Gcc
On Fri, Sep 4, 2020 at 10:13 AM Erick Ochoa wrote: > > > > On 03/09/2020 12:19, Richard Biener wrote: > > On Thu, Sep 3, 2020 at 10:58 AM Jakub Jelinek via Gcc > > wrote: > >> > >> On Thu, Sep 03, 2020 at 10:22:52AM +0200, Erick Ochoa wrote: > >>> So, I am just wondering is there an interface

Re: Types are confused in inlining

2020-09-03 Thread Richard Biener via Gcc
On Wed, Sep 2, 2020 at 10:19 PM Gary Oblock via Gcc wrote: > > I'm not accusing inlining of having problems but I really > need to understand what's going on in this situation so I can > fix my optimization. > > The error given is: > main.c: In function ‘main’: > main.c:5:1: error: non-trivial

Re: Is there a way to look for a tree by its UID?

2020-09-03 Thread Richard Biener via Gcc
On Thu, Sep 3, 2020 at 10:58 AM Jakub Jelinek via Gcc wrote: > > On Thu, Sep 03, 2020 at 10:22:52AM +0200, Erick Ochoa wrote: > > So, I am just wondering is there an interface where I could do something > > like: > > > > ``` > > // vars is the field in pt_solution of type bitmap > >

Re: [GSoC] Automatic Parallel Compilation Viability -- Final Report

2020-08-31 Thread Richard Biener via Gcc
On August 31, 2020 6:21:27 PM GMT+02:00, Giuliano Belinassi wrote: >Hi, Richi. > >On 08/31, Richard Biener wrote: >> On Mon, Aug 31, 2020 at 1:15 PM Jan Hubicka wrote: >> > >> > > On Fri, Aug 28, 2020 at 10:32 PM Giuliano Belinassi >> > > wrote: >> > > > >> > > > Hi, >> > > > >> > > > This is

Re: GCC DWARF Issue - Frame Pointer Dependency

2020-10-13 Thread Richard Biener via Gcc
On Tue, Oct 13, 2020 at 5:10 AM AJ D via Gcc wrote: > > Hi, > > > > I have a function for which GCC is generating the following code (just > showing the relevant snippet here). > > > > 5a70 : > > 5a70: 4c 8d 54 24 08 lea0x8(%rsp),%r10 > > 5a75: 48 83 e4 f0

Re: Question about callgraph and call_stmt

2020-10-13 Thread Richard Biener via Gcc
On Tue, Oct 13, 2020 at 1:17 PM Erick Ochoa wrote: > > Hi, > > I am analyzing gimple calls during LTO. What's symtab->state at this point? >I found a gimple call statement > s that has the following properties: > > ``` > tree fndecl = gimple_call_fndecl(s) > gcc_assert(fndecl) > // That is, the

Re: Question about callgraph and call_stmt

2020-10-13 Thread Richard Biener via Gcc
On Tue, Oct 13, 2020 at 2:40 PM Erick Ochoa wrote: > > > > On 13/10/2020 13:37, Richard Biener wrote: > > On Tue, Oct 13, 2020 at 1:17 PM Erick Ochoa > > wrote: > >> > >> Hi, > >> > >> I am analyzing gimple calls during LTO. > > > > What's symtab->state at this point? > > The state is

Re: Where did my function go?

2020-10-19 Thread Richard Biener via Gcc
On Fri, Oct 16, 2020 at 9:59 PM Gary Oblock via Gcc wrote: > > I have a tiny program composed of a few functions > and one of those functions (setupB) has gone missing. > Since I need to walk its GIMPLE, this is a problem. > > The program: > > -- aux.h - >

Re: Where did my function go?

2020-10-20 Thread Richard Biener via Gcc
On Mon, Oct 19, 2020 at 7:52 PM Gary Oblock wrote: > > Richard, > > I guess that will work for me. However, since it > was decided to remove an identical function, > why weren't the calls to it adjusted to reflect it? > If the call wasn't transformed that means it will > be mapped at some later

Re: Where did my function go?

2020-10-20 Thread Richard Biener via Gcc
On Tue, Oct 20, 2020 at 1:02 PM Martin Jambor wrote: > > Hi, > > On Tue, Oct 20 2020, Richard Biener wrote: > > On Mon, Oct 19, 2020 at 7:52 PM Gary Oblock > > wrote: > >> > >> Richard, > >> > >> I guess that will work for me. However, since it > >> was decided to remove an identical function,

Re: Question about IPA-PTA and build_alias

2020-08-25 Thread Richard Biener via Gcc
On August 24, 2020 10:00:44 AM GMT+02:00, Erick Ochoa wrote: > > >On 24/08/2020 09:40, Richard Biener wrote: >> On Mon, Aug 17, 2020 at 3:22 PM Erick Ochoa >> wrote: >>> >>> Hello, >>> >>> I'm looking to understand better the points-to analysis (IPA-PTA) >and >>> the alias analysis

Re: Do all global structure variables escape in IPA-PTA?

2020-08-25 Thread Richard Biener via Gcc
On August 25, 2020 3:09:13 PM GMT+02:00, Erick Ochoa wrote: >Hi, > >I'm trying to understand how the escape analysis in IPA-PTA works. I >was >testing a hypothesis where if a structure contains an array of >characters and this array of characters is passed to fopen, the >structure and all

Re: Do all global structure variables escape in IPA-PTA?

2020-08-25 Thread Richard Biener via Gcc
On August 25, 2020 6:36:19 PM GMT+02:00, Erick Ochoa wrote: > > >On 25/08/2020 17:19, Erick Ochoa wrote: >> >> >> On 25/08/2020 17:10, Richard Biener wrote: >>> On August 25, 2020 3:09:13 PM GMT+02:00, Erick Ochoa >>> wrote: Hi, I'm trying to understand how the escape analysis

Re: LTO slows down calculix by more than 10% on aarch64

2020-08-26 Thread Richard Biener via Gcc
On Wed, Aug 26, 2020 at 12:34 PM Prathamesh Kulkarni via Gcc wrote: > > Hi, > We're seeing a consistent regression >10% on calculix with -O2 -flto vs -O2 > on aarch64 in our validation CI. I tried to investigate this issue a > bit, and it seems the regression comes from inlining of orthonl into >

Re: Do all global structure variables escape in IPA-PTA?

2020-08-26 Thread Richard Biener via Gcc
On Wed, Aug 26, 2020 at 11:45 AM Erick Ochoa wrote: > > > > On 26/08/2020 10:36, Erick Ochoa wrote: > > > > > > On 25/08/2020 22:03, Richard Biener wrote: > >> On August 25, 2020 6:36:19 PM GMT+02:00, Erick Ochoa > >> wrote: > >>> > >>> > >>> On 25/08/2020 17:19, Erick Ochoa wrote: > >

Re: Questions regarding update_stmt and release_ssa_name_fn.

2020-08-28 Thread Richard Biener via Gcc
On Fri, Aug 28, 2020 at 6:29 AM Gary Oblock wrote: > > > If x_2 is a default def then the IL isn't correct in the first place. I > > doubt > > it is that way, btw. - we have verifiers that would blow up if it would. > > Richard, > > I'm just sharing this so you can tell me whether or not I'm

Re: Test case for improving PTA precision

2020-08-28 Thread Richard Biener via Gcc
On Fri, Aug 28, 2020 at 1:24 PM Erick Ochoa wrote: > > Hi, > > I'm testing the precision of IPA-PTA when compiling with -flto. I found > this case when a global variable is marked as escaping even if the > variable is a primitive type and no address is taken. > > This is the result of IPA-PTA

Re: LTO slows down calculix by more than 10% on aarch64

2020-08-28 Thread Richard Biener via Gcc
On Fri, Aug 28, 2020 at 1:17 PM Prathamesh Kulkarni wrote: > > On Wed, 26 Aug 2020 at 16:50, Richard Biener > wrote: > > > > On Wed, Aug 26, 2020 at 12:34 PM Prathamesh Kulkarni via Gcc > > wrote: > > > > > > Hi, > > > We're seeing a consistent regression >10% on calculix with -O2 -flto vs >

Re: Questions regarding update_stmt and release_ssa_name_fn.

2020-08-27 Thread Richard Biener via Gcc
On Wed, Aug 26, 2020 at 11:32 PM Gary Oblock via Gcc wrote: > > I'm having some major grief with a few related things that I'm try to > do. The mostly revolve around trying to change the type of an SSA name > (which I've given up in favor of creating new SSA names and replacing > the ones I

Re: Questions regarding update_stmt and release_ssa_name_fn.

2020-08-27 Thread Richard Biener via Gcc
On August 27, 2020 7:45:15 PM GMT+02:00, Gary Oblock wrote: >Richard, > >>You need to call update_stmt () if you change SSA operands to >>sth else. > >I'm having trouble parsing the "sth else" above. Could you >please rephrase this if it's important to your point. I take >what you mean is if you

Re: Question about Gimple Variables named D.[0-9]*

2020-08-24 Thread Richard Biener via Gcc
On Thu, Aug 20, 2020 at 11:51 AM Erick Ochoa wrote: > > Hello, > > I am looking at the dump for the build_alias pass. I see a lot of > variables with the naming convention D.[0-9]* in the points-to sets > being printed. > > When I compile with > > -fdump-tree-all-all > > I can see that the suffix

Re: RFC: -fno-share-inlines

2020-08-24 Thread Richard Biener via Gcc
On Mon, Aug 10, 2020 at 9:36 AM Allan Sandfeld Jensen wrote: > > Following the previous discussion, this is a proposal for a patch that adds > the flag -fno-share-inlines that can be used when compiling singular source > files with a different set of flags than the rest of the project. > > It

Re: Peephole optimisation: isWhitespace()

2020-08-24 Thread Richard Biener via Gcc
On Mon, Aug 17, 2020 at 7:09 PM Stefan Kanthak wrote: > > "Allan Sandfeld Jensen" wrote: > > > On Freitag, 14. August 2020 18:43:12 CEST Stefan Kanthak wrote: > >> Hi @ll, > >> > >> in his ACM queue article , > >> Matt Godbolt used the function > >> >

Re: GCC Plugins and global_options

2020-08-24 Thread Richard Biener via Gcc
On Thu, Aug 13, 2020 at 10:39 AM Jakub Jelinek via Gcc wrote: > > Hi! > > Any time somebody adds or removes an option in some *.opt file (which e.g. > on the 10 branch after branching off 11 happened 5 times already), many > offsets in global_options variable change. It is true we don't

Re: Question about IPA-PTA and build_alias

2020-08-24 Thread Richard Biener via Gcc
On Mon, Aug 17, 2020 at 3:22 PM Erick Ochoa wrote: > > Hello, > > I'm looking to understand better the points-to analysis (IPA-PTA) and > the alias analysis (build_alias). > > How is the information produced by IPA-PTA consumed? > > Are alias sets in build_alias computed by the intersections of

Re: Problem cropping up in Value Range Propogation

2020-08-24 Thread Richard Biener via Gcc
On Tue, Aug 11, 2020 at 6:15 AM Gary Oblock via Gcc wrote: > > I'm trying to debug a problem cropping up in value range propagation. > Ironically I probably own an original copy 1995 copy of the paper it's > based on but that's not going to be much help since I'm lost in the > weeds. It's

Re: Peephole optimisation: isWhitespace()

2020-08-24 Thread Richard Biener via Gcc
On Mon, Aug 24, 2020 at 1:22 PM Stefan Kanthak wrote: > > "Richard Biener" wrote: > > > On Mon, Aug 17, 2020 at 7:09 PM Stefan Kanthak > > wrote: > >> > >> "Allan Sandfeld Jensen" wrote: > >> > >> > On Freitag, 14. August 2020 18:43:12 CEST Stefan Kanthak wrote: > >> >> Hi @ll, > >> >> > >>

Re: Git rejecting branch merge

2020-09-29 Thread Richard Biener via Gcc
On Tue, Sep 29, 2020 at 11:11 AM Jan Hubicka wrote: > > > On Tue, Sep 29, 2020 at 9:17 AM Jan Hubicka wrote: > > > > > > Hello, > > > I am trying to update me/honza-gcc-benchmark-branch to current trunk > > > which I do by deleting it, recreating locally and pushing out. > > > > > > The problem

Re: Git rejecting branch merge

2020-09-29 Thread Richard Biener via Gcc
On Tue, Sep 29, 2020 at 9:17 AM Jan Hubicka wrote: > > Hello, > I am trying to update me/honza-gcc-benchmark-branch to current trunk > which I do by deleting it, recreating locally and pushing out. > > The problem is that the push fails witih: > > remote: *** The following commit was rejected by

Re: Is there a way to tell GCC not to reorder a specific instruction?

2020-09-29 Thread Richard Biener via Gcc
On Tue, Sep 29, 2020 at 12:55 PM 夏 晋 via Gcc wrote: > > Hi everyone, > I tried to set the "vlen" after the add & multi, as shown in the following > code: > ➜ > vf32 x3,x4; > void foo1(float16_t* input, float16_t* output, int vlen){ > vf32 add = x3 + x4; > vf32 mul = x3 * x4; >

Re: Is there a way to tell GCC not to reorder a specific instruction?

2020-09-30 Thread Richard Biener via Gcc
On Tue, Sep 29, 2020 at 9:46 PM Jim Wilson wrote: > > On Tue, Sep 29, 2020 at 3:47 AM 夏 晋 via Gcc wrote: > > I tried to set the "vlen" after the add & multi, as shown in the following > > code: > > > vf32 x3,x4; > > void foo1(float16_t* input, float16_t* output, int vlen){ > > vf32 add = x3

Re: LTO slows down calculix by more than 10% on aarch64

2020-09-22 Thread Richard Biener via Gcc
On Tue, Sep 22, 2020 at 7:08 AM Prathamesh Kulkarni wrote: > > On Mon, 21 Sep 2020 at 18:14, Prathamesh Kulkarni > wrote: > > > > On Mon, 21 Sep 2020 at 15:19, Prathamesh Kulkarni > > wrote: > > > > > > On Fri, 4 Sep 2020 at 17:08, Alexander Monakov wrote: > > > > > > > > > I obtained perf

Re: LTO slows down calculix by more than 10% on aarch64

2020-09-24 Thread Richard Biener via Gcc
On Thu, Sep 24, 2020 at 12:36 PM Prathamesh Kulkarni wrote: > > On Wed, 23 Sep 2020 at 16:40, Richard Biener > wrote: > > > > On Wed, Sep 23, 2020 at 12:11 PM Prathamesh Kulkarni > > wrote: > > > > > > On Wed, 23 Sep 2020 at 13:22, Richard Biener > > > wrote: > > > > > > > > On Tue, Sep 22,

Re: LTO slows down calculix by more than 10% on aarch64

2020-09-23 Thread Richard Biener via Gcc
On Wed, Sep 23, 2020 at 12:11 PM Prathamesh Kulkarni wrote: > > On Wed, 23 Sep 2020 at 13:22, Richard Biener > wrote: > > > > On Tue, Sep 22, 2020 at 6:25 PM Prathamesh Kulkarni > > wrote: > > > > > > On Tue, 22 Sep 2020 at 16:36, Richard Biener > > > wrote: > > > > > > > > On Tue, Sep 22,

Re: On IPA-PTA field sensitivity and pointer expressions

2020-09-25 Thread Richard Biener via Gcc
On Fri, Sep 25, 2020 at 2:27 PM Erick Ochoa wrote: > > > > On 25/09/2020 13:30, Richard Biener wrote: > > On Fri, Sep 25, 2020 at 9:05 AM Erick Ochoa > > wrote: > >> > >> Hi, > >> > >> I am working on an alias analysis using the points-to information > >> generated during IPA-PTA. If we look at

Re: On IPA-PTA field sensitivity and pointer expressions

2020-09-25 Thread Richard Biener via Gcc
On Fri, Sep 25, 2020 at 9:05 AM Erick Ochoa wrote: > > Hi, > > I am working on an alias analysis using the points-to information > generated during IPA-PTA. If we look at the varmap varinfo_t array in > gcc/tree-ssa-struct.c, most of the constraint variable info structs > contain a non-null decl

Re: LTO slows down calculix by more than 10% on aarch64

2020-09-22 Thread Richard Biener via Gcc
On Tue, Sep 22, 2020 at 11:37 AM Prathamesh Kulkarni wrote: > > On Tue, 22 Sep 2020 at 12:56, Richard Biener > wrote: > > > > On Tue, Sep 22, 2020 at 7:08 AM Prathamesh Kulkarni > > wrote: > > > > > > On Mon, 21 Sep 2020 at 18:14, Prathamesh Kulkarni > > > wrote: > > > > > > > > On Mon, 21

Re: LTO slows down calculix by more than 10% on aarch64

2020-09-23 Thread Richard Biener via Gcc
On Tue, Sep 22, 2020 at 6:25 PM Prathamesh Kulkarni wrote: > > On Tue, 22 Sep 2020 at 16:36, Richard Biener > wrote: > > > > On Tue, Sep 22, 2020 at 11:37 AM Prathamesh Kulkarni > > wrote: > > > > > > On Tue, 22 Sep 2020 at 12:56, Richard Biener > > > wrote: > > > > > > > > On Tue, Sep 22,

Re: Is there a way to tell GCC not to reorder a specific instruction?

2020-10-01 Thread Richard Biener via Gcc
On Wed, Sep 30, 2020 at 10:01 PM Jim Wilson wrote: > > On Tue, Sep 29, 2020 at 11:40 PM Richard Biener > wrote: > > But this also doesn't work on GIMPLE. On GIMPLE riscv_vlen would > > be a barrier for code motion if you make it __attribute__((returns_twice)) > > since then abnormal edges

Re: Writing automated tests for the GCC driver

2020-05-25 Thread Richard Biener via Gcc
On Mon, May 25, 2020 at 4:37 PM Giuliano Belinassi wrote: > > Hi, > > On 05/22, Richard Biener wrote: > > On Thu, May 21, 2020 at 11:00 PM Giuliano Belinassi via Gcc > > wrote: > > > > > > Hi, all. > > > > > > GCC have a extensive testsuite, that is no news at all. However they are > > > focused

Re: [1-800-GIT-HELP] Backporting a series of commits into a combined commit?

2020-06-02 Thread Richard Biener via Gcc
On Mon, Jun 1, 2020 at 2:17 PM Thomas Koenig via Fortran wrote: > > Hi Martin, > > > For now, I would recommend doing 1:1 backports. Otherwise, you'll need > > to merge > > all ChangeLog entries in a format the server hook accepts. That can > > require some > > work. > > If the first commit

Re: Import license issue

2020-09-21 Thread Richard Biener via Gcc
On Mon, Sep 21, 2020 at 10:55 AM Andrew Stubbs wrote: > > Ping. Sorry, but you won't get any help resolving license issues from the mailing list. Instead you should eventually ask the SC to "resolve" this issue with the FSF. Richard. > On 14/09/2020 17:56, Andrew Stubbs wrote: > > Hi All, > >

Re: Fortran Shared Coarrays for GCC 11

2020-10-23 Thread Richard Biener via Gcc
On October 23, 2020 7:49:04 PM GMT+02:00, "Nicolas König" wrote: >Hello everyone, > >I'm hoping to get shared coarrays for fortran (the devel/coarray_native >branch) merged for GCC 11 as an experimental feature, but, since the >library uses a lot of low-level routines, I'm a bit scared of

Re: Incremental updating of SSA_NAMEs that are passed to b_c_p

2020-10-28 Thread Richard Biener via Gcc
On Tue, Oct 27, 2020 at 7:36 PM Ilya Leoshkevich via Gcc wrote: > > Hi, > > I'd like to revive the old discussion regarding the interaction of > jump threading and b_c_p causing the latter to incorrectly return 1 in > certain cases: > >

Re: [__mulvti3] register allocator plays shell game

2020-10-27 Thread Richard Biener via Gcc
On Tue, Oct 27, 2020 at 12:01 AM Stefan Kanthak wrote: > > Richard Biener wrote: > > > On Sun, Oct 25, 2020 at 8:37 PM Stefan Kanthak > > wrote: > >> > >> Hi, > >> > >> for the AMD64 alias x86_64 platform and the __int128_t [DW]type, > >> the first few lines of the __mulvDI3() function from

Re: [__mulvti3] register allocator plays shell game

2020-10-26 Thread Richard Biener via Gcc
On Sun, Oct 25, 2020 at 8:37 PM Stefan Kanthak wrote: > > Hi, > > for the AMD64 alias x86_64 platform and the __int128_t [DW]type, > the first few lines of the __mulvDI3() function from libgcc2.c > > | DWtype > | __mulvDI3 (DWtype u, DWtype v) > | { > | /* The unchecked multiplication needs 3

Re: Recognizing loop pattern

2020-10-26 Thread Richard Biener via Gcc
On Mon, Oct 26, 2020 at 10:59 AM Stefan Schulze Frielinghaus via Gcc wrote: > > I'm trying to detect loops of the form > > while (*x != y) > ++x; > > which mimic the behaviour of function rawmemchr. Note, the size of *x is not > necessarily one byte. Thus ultimately I would like to detect

Re: Missing functionality

2020-10-23 Thread Richard Biener via Gcc
On Fri, Oct 23, 2020 at 5:10 AM Gary Oblock via Gcc wrote: > > I'm finishing up coding my patterns for the structure reorganization > optimization. They recognize certain instructions and replace them > other instructions. I've got some code that generates gimple which is > inserted as it's

Re: New x86-64 micro-architecture levels

2020-07-22 Thread Richard Biener via Gcc
On Wed, Jul 22, 2020 at 10:58 AM Florian Weimer via Gcc wrote: > > * Dongsheng Song: > > > I fully agree these names (100/101, A/B/C/D) are not very intuitive, I > > recommend using isa tags by year (e.g. x64_2010, x64_2014) like the > > python's platform tags (e.g. manylinux2010, manylinux2014).

Re: Three issues

2020-07-22 Thread Richard Biener via Gcc
On Wed, Jul 22, 2020 at 12:51 AM Gary Oblock via Gcc wrote: > > Some background: > > This is in the dreaded structure reorganization optimization that I'm > working on. It's running at LTRANS time with '-flto-partition=one'. > > My issues in order of importance are: > > 1) In gimple-ssa.h, the

Re: New x86-64 micro-architecture levels

2020-07-22 Thread Richard Biener via Gcc
On Wed, Jul 22, 2020 at 12:16 PM Florian Weimer wrote: > > * Richard Biener: > > > On Wed, Jul 22, 2020 at 10:58 AM Florian Weimer via Gcc > > wrote: > >> > >> * Dongsheng Song: > >> > >> > I fully agree these names (100/101, A/B/C/D) are not very intuitive, I > >> > recommend using isa tags by

  1   2   3   4   5   6   7   8   9   10   >