[-fcompare-debug] find jump before debug insns in expand

2017-01-02 Thread Alexandre Oliva
P_P (prev_nondebug_insn (last) { rtx dummy = gen_reg_rtx (SImode); emit_insn_after_noloc (gen_move_insn (dummy, dummy), last, NULL); -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -

[bootstrap-O1] enlarge sprintf output buffer to avoid warning

2017-01-02 Thread Alexandre Oliva
name = IDENTIFIER_POINTER (DECL_NAME (t)); else { - static char xname[8]; + /* xname[8] would do, but at -O1 we can't tell it's enough. */ + static char xname[12]; sprintf (xname, "", ((unsigned)((uintptr_t)(t) & 0x))); name = xname; } --

[bootstrap-O3,fortran] add a NULL initializer to avoid a warning at -O3

2017-01-02 Thread Alexandre Oliva
@@ -4702,7 +4702,7 @@ load_omp_udrs (void) mio_lparen (); while (peek_atom () != ATOM_RPAREN) { - const char *name, *newname; + const char *name = NULL, *newname; char *altname; gfc_typespec ts; gfc_symtree *st; -- Alexandre Oliva, freedom fighterhttp

[-fcompare-debug] skip more debug stmts in cleanup_empty_eh

2017-01-02 Thread Alexandre Oliva
resx = gsi_stmt (gsi); } if (!is_gimple_resx (resx)) return ret; - gcc_assert (gsi_one_before_end_p (gsi)); + gcc_assert (gsi_one_nondebug_before_end_p (gsi)); /* Determine if there are non-EH edges, or resx edges into the handler. */ has_non_eh_pred = false; -- Alexandre Ol

[bootstrap-O3] add a default initializer to avoid a warning at -O3

2017-01-02 Thread Alexandre Oliva
ype, idx, &actual_range); -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board member Free Software Evangelist|Red Hat Brasil GNU Toolchain Engineer

[bootstrap-O3] use unsigned type for regno in df-scan

2017-01-02 Thread Alexandre Oliva
reg) : reg); + unsigned int regno = REGNO (GET_CODE (reg) == SUBREG ? SUBREG_REG (reg) : reg); struct df_scan_problem_data *problem_data = (struct df_scan_problem_data *) df_scan->problem_data; -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the cha

[bootstrap-O1] add initializers to avoid warnings at -O1

2017-01-02 Thread Alexandre Oliva
k *bbs = LOOP_VINFO_BBS (loop_vinfo); unsigned nbbs = loop->num_nodes; unsigned int vectorization_factor = 0; - tree scalar_type; + tree scalar_type = NULL_TREE; gphi *phi; tree vectype; unsigned int nunits; -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You mu

[bootstrap-O3,fortran] silence warning in simplify_transformation_to_array

2017-01-02 Thread Alexandre Oliva
*d n++; if (n < result->rank) { - count [n]++; + gcc_checking_assert (n < GFC_MAX_DIMENSIONS); + count[n]++; base += sstride[n]; dest += dstride[n]; } -- Alexandre Oliva, freedom fi

[-fcompare-debug] var tracking options are not optimization options

2017-01-02 Thread Alexandre Oliva
id, gimple_stmt_iterator gsi) if (!gimple_in_ssa_p (id->src_cfun)) return; - if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments)) + if (!flag_var_tracking_assignments) return; for (var = DECL_ARGUMENTS (id->src_fn); -- Alexandre Oliva, freedom fighterhttp://F

Re: [-fcompare-debug] find jump before debug insns in expand

2017-01-03 Thread Alexandre Oliva
; Would it be worth adding a get_last_nondebug_insn in case other patterns > like this crop up? I didn't think so. Most of the RTL passes use the BB-based interfaces nowadays, so it seemed that cfgexpand would be pretty much the only place where this could be used. That was my reasoning anyw

Re: [-fcompare-debug] var tracking options are not optimization options

2017-01-04 Thread Alexandre Oliva
On Jan 4, 2017, Richard Biener wrote: > On Tue, Jan 3, 2017 at 6:29 AM, Alexandre Oliva wrote: >> If we include them in the ICF hash, they may cause congruence_groups to >> be processed in a different order due to different hashes, which in turn >> causes different funcd

Re: [bootstrap-O3] add a default initializer to avoid a warning at -O3

2017-01-04 Thread Alexandre Oliva
might want to look into them at a later time? FWIW, I hadn't considered the latter (it doesn't seem too hard to find such warnings anyway; every time I try bootstrap-O3, which is not very often, I get a few of those), and the former didn't seem enough of a reason to have bug repo

Re: [bootstrap-O3] use unsigned type for regno in df-scan

2017-01-04 Thread Alexandre Oliva
I guess we'll have bigger problems than this one, but VRP doesn't know it ;-) -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board member Free Software Evangelist|Red Hat Brasil GNU Toolchain Engineer

Re: [bootstrap-O3,fortran] silence warning in simplify_transformation_to_array

2017-01-04 Thread Alexandre Oliva
On Jan 4, 2017, Richard Biener wrote: > On Tue, Jan 3, 2017 at 7:19 PM, Jeff Law wrote: >> On 01/02/2017 10:29 PM, Alexandre Oliva wrote: >>> * simplify.c (simplify_transformation_to_array): Assert the >>> array access is in range. Fix whitespace. > But once we

Re: [bootstrap-O3,fortran] silence warning in simplify_transformation_to_array

2017-01-04 Thread Alexandre Oliva
27;t usually deserve. I'll prepare and post a patch anyway, but do we want to make it standard practice? -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board

Re: [libcc1] add support for C++

2017-01-04 Thread Alexandre Oliva
On Dec 14, 2016, Alexandre Oliva wrote: > On Oct 19, 2016, Alexandre Oliva wrote: >> On Sep 23, 2016, Alexandre Oliva wrote: >>> This patchset adds support for the C++ language to libcc1. >>> It updates a few patches for libcc1 by Jan Kratochvil, posted long ago &g

Re: [-fcompare-debug] var tracking options are not optimization options

2017-01-04 Thread Alexandre Oliva
On Jan 4, 2017, Alexandre Oliva wrote: > So I guess we need some alternate PerFunction option flag that makes > it per-function, but not part of the ICF hash? Like this... If we include them in the ICF hash, they may cause congruence_groups to be processed in a different order

[bootstrap-O1] change value type to avoid sprintf buffer size warning (was: Re: [bootstrap-O1] enlarge sprintf output buffer to avoid warning)

2017-01-04 Thread Alexandre Oliva
igned short)((uintptr_t)(t) & 0x))); name = xname; } -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board member Free Software Evangelist|Red Hat Brasil GNU Toolchain Engineer

Re: [bootstrap-O3,fortran] silence warning in simplify_transformation_to_array

2017-01-04 Thread Alexandre Oliva
On Jan 4, 2017, Alexandre Oliva wrote: > I'll prepare and post a patch anyway, but do we want to make it > standard practice? Here it is. simplify_transformation_to_array had the nested loop unrolled 7 times, which is reasonable given that it iterates over arrays of size GFC_MAX

Re: [bootstrap-O1] change value type to avoid sprintf buffer size warning

2017-01-05 Thread Alexandre Oliva
On Jan 5, 2017, Andreas Schwab wrote: > On Jan 05 2017, Alexandre Oliva wrote: >> - sprintf (xname, "", ((unsigned)((uintptr_t)(t) & 0x))); >> + sprintf (xname, "", ((unsigned short)((uintptr_t)(t) & >> 0x))); > Please

Re: [-fcompare-debug] var tracking options are not optimization options

2017-01-05 Thread Alexandre Oliva
ust be able to do so already, before and after the hash change, because they have different hashes *and* their option sets compare different. If it's not to merge them, their having the same hash shouldn't make a difference because the options compare different in spite of the same hash.

Re: [-fcompare-debug] var tracking options are not optimization options

2017-01-05 Thread Alexandre Oliva
report about this, and copy me? I might be able to have a look into this one when I get a chance. > We need to deal not just with the iteration order, but also with equality > of functions, otherwise ICF will do something depending on -g vs. -g0. Agreed. But IMHO that's two dif

Re: [bootstrap-O1] change value type to avoid sprintf buffer size warning

2017-01-05 Thread Alexandre Oliva
On Jan 5, 2017, Andreas Schwab wrote: > On Jan 05 2017, Alexandre Oliva wrote: >> On Jan 5, 2017, Andreas Schwab wrote: >> >>> On Jan 05 2017, Alexandre Oliva wrote: >>>> - sprintf (xname, "", ((unsigned)((uintptr_t)(t) & 0x)))

Re: [bootstrap-O3,fortran] silence warning in simplify_transformation_to_array

2017-01-05 Thread Alexandre Oliva
But I won't object. I'll take these as a tentative ok and check it in before swapping it all out and going on vacations ;-) If there's an objection, you all feel free to revert if I don't respond in a timely manner ;-) -- Alexandre Oliva, freedom fighterhttp://FSFLA.or

Re: [libcc1] add support for C++

2017-01-21 Thread Alexandre Oliva
it was hopeless for GCC7. Did I misunderstand? -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board member Free Software Evangelist|Red Hat Brasil GNU Toolchain Engineer

Re: [libcc1] add support for C++

2017-01-22 Thread Alexandre Oliva
On Jan 13, 2017, Jason Merrill wrote: > On 09/23/2016 08:41 PM, Alexandre Oliva wrote: >> +static tree global_friend_list; > This should be a hash_set rather than a TREE_LIST. You sure? At least in the libcc1 use scenario, this is going to have a single entry. I didn't even

Re: [libcc1] add support for C++

2017-01-23 Thread Alexandre Oliva
On Jan 23, 2017, Jason Merrill wrote: > On Sun, Jan 22, 2017 at 6:06 PM, Alexandre Oliva wrote: >> On Jan 13, 2017, Jason Merrill wrote: >> >>> On 09/23/2016 08:41 PM, Alexandre Oliva wrote: >>>> +static tree global_friend_list; >> >>>

Re: [libcc1] add support for C++

2017-01-23 Thread Alexandre Oliva
On Jan 22, 2017, Alexandre Oliva wrote: > On Jan 13, 2017, Jason Merrill wrote: >> On 09/23/2016 08:41 PM, Alexandre Oliva wrote: >>> +/* Create a modified version of a function type that has default >>> + values for some of its arguments. The returned type sho

Re: [libcc1] add support for C++

2017-01-23 Thread Alexandre Oliva
remains compatible with the old version. + + The following conventions have been observed as to naming entry points: + + - build_* creates (and maybe records) something and returns it; + - add_* creates and records something, but doesn't return it; + - get_* obtains something without creat

Re: [libcc1] add support for C++

2017-01-24 Thread Alexandre Oliva
On Jan 24, 2017, Jason Merrill wrote: > On Mon, Jan 23, 2017 at 7:21 PM, Alexandre Oliva wrote: >> On Jan 23, 2017, Jason Merrill wrote: >> >>>>>> + If the newly-created namespace is to be an inline namespace, after >>>>>> +

Re: [libcc1] add support for C++

2017-01-26 Thread Alexandre Oliva
Here are the incremental changes that, together, address all of your feedback (thanks!), but separated in logically-related patches. In a separate message, I'll post an updated, consolidated patch. Rename ansi_*opname; export cp_literal_operator_id diff --git a/gcc/cp/call.c b/gcc/cp/call.c ind

Re: [PR59319] output friends in debug info

2017-03-21 Thread Alexandre Oliva
On Jan 27, 2017, Alexandre Oliva wrote: > On Oct 19, 2016, Alexandre Oliva wrote: >> On Sep 23, 2016, Alexandre Oliva wrote: >>> On Aug 30, 2016, Alexandre Oliva wrote: >>>> Handling non-template friends is kind of easy, [...] >>> Regstrapped on x

[PR80025] avoid cselib rtx_equal infinite recursion on XOR

2017-03-21 Thread Alexandre Oliva
t +gn (void) +{ +} + +void +yc (int un, short int z6, unsigned short int il) +{ + (void)un; + (void)z6; + (void)il; +} + +int +w6 (void) +{ + kq -= cs; + cs = !gn (); + yc (cs ^= (l3 ^ 1) ? (l3 ^ 1) : gn (), &yc, kq); +} -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/

[libcp1] handle anon aggregates linkage-named by typedefs

2017-03-21 Thread Alexandre Oliva
pe_linkage (sym_type); +} + if (sym_kind != GCC_CP_SYMBOL_TYPEDEF && sym_kind != GCC_CP_SYMBOL_CLASS && sym_kind != GCC_CP_SYMBOL_UNION -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be F

Re: [PR59319] output friends in debug info

2017-04-07 Thread Alexandre Oliva
On Mar 21, 2017, Alexandre Oliva wrote: > On Jan 27, 2017, Alexandre Oliva wrote: >> On Oct 19, 2016, Alexandre Oliva wrote: >>> On Sep 23, 2016, Alexandre Oliva wrote: >>>> On Aug 30, 2016, Alexandre Oliva wrote: >>>>> Handling non-template frien

Re: [libcp1] handle anon aggregates linkage-named by typedefs

2017-04-07 Thread Alexandre Oliva
Ping? https://gcc.gnu.org/ml/gcc-patches/2017-03/msg01143.html On Mar 21, 2017, Alexandre Oliva wrote: > for libcc1/ChangeLog > * libcp1plugin.cc (plugin_build_decl): Propagate typedef name to > anonymous aggregate target type. -- Alexandre Oliva, freedom fighte

Re: [libcp1] handle anon aggregates linkage-named by typedefs

2017-04-11 Thread Alexandre Oliva
On Apr 10, 2017, Jeff Law wrote: > On 03/21/2017 05:32 PM, Alexandre Oliva wrote: >> * libcp1plugin.cc (plugin_build_decl): Propagate typedef name to >> anonymous aggregate target type. > Can you put some kind of pointer in the code you copied from cp/decl.c > so that there

Re: Statement Frontier Notes, Location Views, and Inlined Entry Point Markers

2017-09-20 Thread Alexandre Oliva
On Sep 7, 2017, Joseph Myers wrote: > On Fri, 25 Aug 2017, Alexandre Oliva wrote: >> for gcc/ChangeLog >> >> * common.opt (Wa, Wl, Wp, g, gz=): Add >> RejectNegative. >> (gno-column-info): Remove. >> (gcolumn-info): Drop RejectNegative. >> (

Re: [PATCH] Fix PR82144

2017-09-22 Thread Alexandre Oliva
t of the DIE, so the patch looks good to me. Thanks for your patience! Reviewed-by: Alexandre Oliva >> PR middle-end/82144 >> * dwarf2out.c (gen_enumeration_type_die): Do not add alignment >> attribute for incomplete types nor twice for complete ones. -- Alexandre Oliva, free

Re: Statement Frontier Notes, Location Views, and Inlined Entry Point Markers

2017-09-30 Thread Alexandre Oliva
On Aug 31, 2017, Alexandre Oliva wrote: > On Aug 23, 2017, Richard Biener wrote: >> Just separating the boilerplate changes out from the "meat" of the change >> into a separate patch for easier reviewing would be nice. > I've broken up the patch into a patchs

[PATCH 1/9] [SFN] adjust RTL insn-walking API

2017-09-30 Thread Alexandre Oliva
This patch removes unused RTL functions, introduces alternate ones for use in a later SFN patch, and regroups other related functions so that they appear in a more consistent order. for gcc/ChangeLog * emit-rtl.c (next_nondebug_insn, prev_nondebug_insn): Reorder. (next_nonnote_no

[PATCH 5/9] [SFN] Introduce -gstatement-frontiers option, enable debug markers

2017-09-30 Thread Alexandre Oliva
Introduce a command line option to enable statement frontiers, enabled by default in optimized builds with DWARF2+ debug information. This patch depends on an earlier patch that completed the infrastructure for debug markers, and on another patch that turns -g into a negatable option prefix. gcc/

[PATCH 2/9] [SFN] boilerplate changes in preparation to introduce nonbind markers

2017-09-30 Thread Alexandre Oliva
This patch introduces a number of new macros and functions that will be used to distinguish between different kinds of debug stmts, insns and notes, namely, preexisting debug bind ones and to-be-introduced nonbind markers. In a seemingly mechanical way, it adjusts several uses of the macros and fu

[PATCH 4/9] [SFN] introduce statement frontier notes, still disabled

2017-09-30 Thread Alexandre Oliva
This patch completes the infrastructure for the introduction of statement frontiers in C-family languages. It brings in all the code remaining code needed to introduce and transform begin stmt trees, gimple stmts, insns and notes, and ultimately use them to generate the is_stmt column in DWARF2+ l

[PATCH 6/9] [LVU] Allow final_start_function to skip initial insns

2017-09-30 Thread Alexandre Oliva
This API change will enable final_start_function() to "consume" initial insns, and choose the first insn to be passed to final(). Many ports call final_start_function() and final() when creating thunks and whatnot, so they needed adjusting. for gcc/ChangeLog * output.h (final_start_func

[PATCH 3/9] [SFN] not-quite-boilerplate changes in preparation to introduce nonbind markers

2017-09-30 Thread Alexandre Oliva
This patch adjusts numerous parts of the compiler that would malfunction should they find debug markers at points where they may be introduced. The changes purport to allow the compiler to pass bootstrap-debug-lean (-fcompare-debug in stage3) at various optimization levels, as well as bootstrap-de

[PATCH 8/9] [IEPM] Introduce debug hook for inline entry point markers

2017-09-30 Thread Alexandre Oliva
The inline_entry hook will be given a definition in a later patch. for gcc/ChangeLog * debug.h (gcc_debug_hooks): Add inline_entry. * dbxout.c (dbx_debug_hooks, xcoff_debug_hooks): Likewise. * debug.c (do_nothing_debug_hooks): Likewise. * sdbout.c (sdb_debug_hooks

[PATCH 7/9] [LVU] Introduce location views

2017-09-30 Thread Alexandre Oliva
This patch introduces an option to enable the generation of location views along with location lists. The exact format depends on the DWARF version: it can be a separate attribute (DW_AT_GNU_locviews) or (DW_LLE_view_pair) entries in DWARF5+ loclists. Line number tables are also affected. If the

[PATCH 9/9] [IEPM] Introduce inline entry point markers

2017-09-30 Thread Alexandre Oliva
Output DW_AT_entry_pc based on markers. Introduce DW_AT_GNU_entry_view as a DWARF extension. If views are enabled are we're not in strict compliance mode, output DW_AT_GNU_entry_view if it might be nonzero. This patch depends on SFN and LVU patchsets, and on the IEPM patch that introduces the in

bootstrap-debug-lean + flags in producer vs compare

2017-10-05 Thread Alexandre Oliva
fltrans_output_list_: case OPT_fresolution_: case OPT_fdebug_prefix_map_: + case OPT_fcompare_debug: /* Ignore these. */ continue; default: -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the worl

Re: [PR59319] output friends in debug info

2017-01-26 Thread Alexandre Oliva
On Oct 19, 2016, Alexandre Oliva wrote: > On Sep 23, 2016, Alexandre Oliva wrote: >> On Aug 30, 2016, Alexandre Oliva wrote: >>> Handling non-template friends is kind of easy, [...] >> Regstrapped on x86_64-linux-gnu and i686-linux-gnu, I'd failed to >> ment

Re: [PR63238] output alignment debug information

2017-01-26 Thread Alexandre Oliva
On Oct 19, 2016, Alexandre Oliva wrote: > On Sep 23, 2016, Alexandre Oliva wrote: >> On Aug 27, 2016, Alexandre Oliva wrote: >>> Output DWARFv5+ DW_AT_alignment for non-default alignment of >>> variables, fields and types. >>> Regstrapped on x86_64-linux-gn

Re: [PR63238] output alignment debug information

2017-01-30 Thread Alexandre Oliva
CHECKSUM_ATTR (attrs.at_vtable_elem_location); CHECKSUM_ATTR (attrs.at_type); CHECKSUM_ATTR (attrs.at_friend); + CHECKSUM_ATTR (attrs.at_alignment); /* Checksum the child DIEs. */ c = die->die_child; -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the

Re: [PATCH] Change default of param not being smaller that min.

2017-02-20 Thread Alexandre Oliva
. You set the param to a large number, and then non-debug insns will get the same uid in both debug and non-debug compilations, so it's easier to compare RTL dumps (using the attached gcc-diff-dump; I thought it was in contrib, but it's not; should I put it there?) and locate the difference

stabilize store merging

2017-03-07 Thread Alexandre Oliva
m_store_seq.insert (m_store_seq.end (), + std::make_pair (new_chain->seqno, base_addr)); if (dump_file && (dump_flags & TDF_DETAILS)) { fprintf (dump_file, -- Alexandre Oli

Re: stabilize store merging

2017-03-09 Thread Alexandre Oliva
On Mar 8, 2017, Richard Biener wrote: > On Wed, Mar 8, 2017 at 12:58 AM, Alexandre Oliva wrote: >> Don't let pointer randomization change the order in which we process >> store chains. This may cause SSA_NAMEs to be released in different >> order, and if they'

Re: stabilize store merging

2017-03-10 Thread Alexandre Oliva
those IDs is not as good as we can do > with similar cost? You seem to consider walking a hash_map (which we did before) pretty costly, but then I'm not proposin us to do so; the performance features of a map are not the same as those of a hash_map, and I was proposing a map. Please reas

Re: stabilize store merging

2017-03-10 Thread Alexandre Oliva
On Mar 10, 2017, Alexandre Oliva wrote: > Now, if there's something you dislike about maps, we could make it a > doubly-linked list, or maybe even a singly-linked list. Scratch that, there's a use that may remove after a lookup by base_addr, so a singly-linked list would requi

Re: [PR63238] output alignment debug information

2016-09-23 Thread Alexandre Oliva
On Aug 27, 2016, Alexandre Oliva wrote: > Output DWARFv5+ DW_AT_alignment for non-default alignment of > variables, fields and types. > Regstrapped on x86_64-linux-gnu and i686-linux-gnu. Ok to install? Ping? https://gcc.gnu.org/ml/gcc-patches/2016-08/msg01911.html -- Alexan

Re: [PR56974] output DWARF-5 markers for ref_qualifiers

2016-09-23 Thread Alexandre Oliva
On Aug 12, 2016, Alexandre Oliva wrote: > When a method or a method or function type has a ref-qualifier, output > DW_AT_reference or DW_AT_rvalue_reference in the subprogram or > subroutine_type tag, as specified in DWARF version 5 drafts, see > <http://dwarfstd.org/ShowIssue.php

Re: [PR59319] output friends in debug info

2016-09-23 Thread Alexandre Oliva
On Aug 30, 2016, Alexandre Oliva wrote: > Handling non-template friends is kind of easy, but it required a bit > of infrastructure in dwarf2out to avoid (i) forcing debug info for > unused types or functions: DW_TAG_friend DIEs are only emitted if > their DW_AT_friend DIE is emit

Re: Change license of filenames.h to LGPL

2016-09-28 Thread Alexandre Oliva
read in the archives, should anyone be surprised by the different license. As for the copy in GCC, that has additional code, we can then keep it under the stronger copyleft defenses. Does that work for everyone involved? -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be t

Re: [PR63238] output alignment debug information

2016-10-19 Thread Alexandre Oliva
On Sep 23, 2016, Alexandre Oliva wrote: > On Aug 27, 2016, Alexandre Oliva wrote: >> Output DWARFv5+ DW_AT_alignment for non-default alignment of >> variables, fields and types. >> Regstrapped on x86_64-linux-gnu and i686-linux-gnu. Ok to install? > Ping? Ping? (c

Re: [PR56974] output DWARF-5 markers for ref_qualifiers

2016-10-19 Thread Alexandre Oliva
On Sep 23, 2016, Alexandre Oliva wrote: > On Aug 12, 2016, Alexandre Oliva wrote: >> Regstrapped on x86_64-linux-gnu and i686-linux-gnu. Ok to install? > Ping? Ping? (conflicts resolved, patch refreshed and retested) When a method or a method or function type has a ref-quali

Re: [PR59319] output friends in debug info

2016-10-19 Thread Alexandre Oliva
On Sep 23, 2016, Alexandre Oliva wrote: > On Aug 30, 2016, Alexandre Oliva wrote: >> Handling non-template friends is kind of easy, [...] > Regstrapped on x86_64-linux-gnu and i686-linux-gnu, I'd failed to > mention. > Ping? Ping? (conflicts resolved, patch

Re: [libcc1] add support for C++

2016-10-19 Thread Alexandre Oliva
On Sep 23, 2016, Alexandre Oliva wrote: > This patchset adds support for the C++ language to libcc1. > It updates a few patches for libcc1 by Jan Kratochvil, posted long ago > but IIRC not reviewed; it updates a patch that adds support for > representing aliases and trampolines in d

[PR49366] emit loc exprs for C++ non-virtual pmf template value parms

2016-07-23 Thread Alexandre Oliva
estsuite/g++.dg/debug/dwarf2/template-params-12w.C b/gcc/testsuite/g++.dg/debug/dwarf2/template-params-12w.C new file mode 100644 index 000..11aabae --- /dev/null +++ b/gcc/testsuite/g++.dg/debug/dwarf2/template-params-12w.C @@ -0,0 +1,6 @@ +// { dg-options "-gdwarf-2 -dA" } +// { d

Re: [PR49366] emit loc exprs for C++ non-virtual pmf template value parms

2016-08-01 Thread Alexandre Oliva
On Jul 23, 2016, Alexandre Oliva wrote: > We used to emit, in debug information, the values bound to pointer to > member function template parameters only when they were NULL or > virtual member functions, because those can be represented with > DW_AT_const_value. > In order t

[PR63240] generate debug info for defaulted member functions

2016-08-01 Thread Alexandre Oliva
D_no = 0x00, +DW_DEFAULTED_in_class = 0x01, + DW_DEFAULTED_out_of_class = 0x02 + }; + /* Names and codes for new style macro information. */ enum dwarf_macro_record_type { -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board member Free Software Evangelist|Red Hat Brasil GNU Toolchain Engineer

[PR55641] drop spurious const_type from reference_type variables

2016-08-01 Thread Alexandre Oliva
z_t; +z_t z = x; + +void f(int &p) {} + +struct foo { + int &bar; + typedef int &bart; + bart fool; +}; + +void f3(struct foo &p) {} -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://F

Re: [libcc1] add support for C++

2016-12-14 Thread Alexandre Oliva
On Oct 19, 2016, Alexandre Oliva wrote: > On Sep 23, 2016, Alexandre Oliva wrote: >> This patchset adds support for the C++ language to libcc1. >> It updates a few patches for libcc1 by Jan Kratochvil, posted long ago >> but IIRC not reviewed; it updates a patch

Re: [PR64164] drop copyrename, integrate into expand

2015-08-14 Thread Alexandre Oliva
On Aug 11, 2015, Patrick Marlier wrote: > On Mon, Aug 10, 2015 at 5:14 PM, Jeff Law wrote: >> On 08/10/2015 02:23 AM, James Greenhalgh wrote: >>> For what it is worth, I bootstrapped and tested the consolidated patch >>> on arm-none-linux-gnueabihf and aarch64-none-linux-gnu with trunk at >>> r

Re: [PR64164] drop copyrename, integrate into expand

2015-08-16 Thread Alexandre Oliva
a native environment? Thanks in advance, -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board member Free Software Evangelist|Red Hat Brasil GNU Toolchain Engineer

Re: [PR64164] drop copyrename, integrate into expand

2015-08-16 Thread Alexandre Oliva
byref_p (var1) - && !parm_maybe_byref_p (var2) + !parm_in_stack_slot_p (var1) + && !parm_in_stack_slot_p (var2) && promote_ssa_mode (name1, NULL) == promote_ssa_mode (name2, NULL)); } -- Alexandre Oliva, freedom fighterhttp://FSFLA.

Re: [PR64164] drop copyrename, integrate into expand

2015-08-16 Thread Alexandre Oliva
On Aug 16, 2015, Andreas Schwab wrote: > Alexandre Oliva writes: >> On Aug 15, 2015, Andreas Schwab wrote: >> >>> FAIL: gcc.target/aarch64/target_attr_crypto_ice_1.c (internal compiler >>> error) >> >>> In file included from >>&g

Re: [PR64164] drop copyrename, integrate into expand

2015-08-17 Thread Alexandre Oliva
On Aug 17, 2015, Andreas Schwab wrote: > Alexandre Oliva writes: >> Would you be so kind as to give it a spin on a m68k native? TIA, > I tried it on ia64, and it falls flat on the floor. Doh, I see a logic flaw in the patch I posted. The hunk in assign_parm_setup_stack that look

Re: [PR64164] drop copyrename, integrate into expand

2015-08-17 Thread Alexandre Oliva
On Aug 17, 2015, Christophe Lyon wrote: > Since this was committed (r226901), I can see that the compiler build > fails for armeb targets, when building libgcc: Any chance you could get me a preprocessed testcase for this failure, please? Thanks in advance, -- Alexandre Oliva, f

Re: [PR64164] drop copyrename, integrate into expand

2015-08-17 Thread Alexandre Oliva
On Aug 17, 2015, Christophe Lyon wrote: > On 17 August 2015 at 13:58, Alexandre Oliva wrote: >> On Aug 17, 2015, Christophe Lyon wrote: >> >>> Since this was committed (r226901), I can see that the compiler build >>> fails for armeb targets, when building li

Re: [PR64164] drop copyrename, integrate into expand

2015-08-18 Thread Alexandre Oliva
On Aug 18, 2015, Alexandre Oliva wrote: >>> On Aug 17, 2015, Christophe Lyon wrote: >>>> Since this was committed (r226901), I can see that the compiler build >>>> fails for armeb targets, when building libgcc: > This patch fixes this particular case. I

Re: [PR64164] drop copyrename, integrate into expand

2015-08-19 Thread Alexandre Oliva
On Aug 19, 2015, Andreas Schwab wrote: > Andreas Schwab writes: >> Alexandre Oliva writes: >> >>> [PR64164] fix regressions reported on m68k and armeb >>> >>> From: Alexandre Oliva >>> >>> Defer stack slot address assignment for

Re: [PR64164] drop copyrename, integrate into expand

2015-08-19 Thread Alexandre Oliva
On Aug 19, 2015, Alexandre Oliva wrote: > I'm having some difficulty getting access to an ia64 box ATM, and for > ada bootstraps, a cross won't do, so... if you still have that build > tree around, any chance you could recompile par.o with both stage1 and > stage2,

Re: [PR64164] drop copyrename, integrate into expand

2015-08-21 Thread Alexandre Oliva
On Aug 19, 2015, Alexandre Oliva wrote: > On Aug 19, 2015, Alexandre Oliva wrote: >> I'm having some difficulty getting access to an ia64 box ATM, and for >> ada bootstraps, a cross won't do, so... if you still have that build >> tree around, any chance you

Re: [PR64164] drop copyrename, integrate into expand

2015-08-21 Thread Alexandre Oliva
On Aug 19, 2015, Alexandre Oliva wrote: > I have verified in the expand dumps that both the gimple and the rtl > representation in the relevant parts of the code are identical, except > for the presence of debug stmts and insns. While comparing the dumps, I noticed -fdump-unnumbered

Re: [PR64164] drop copyrename, integrate into expand

2015-09-02 Thread Alexandre Oliva
but I've just fixed it there. I'm almost ready to post a new patch, with a new, simpler, less fragile and more maintainable approach to integrate cfgexpand and assign_parms' RTL assignment, so if you could give it a spin on big and little endian aarch64 natives, that would be very muc

[PR69123] fix VTA dataflow oscillation

2016-01-08 Thread Alexandre Oliva
-linux-gnu. They were only compile-tested separately. Ok to install? [PR69123] fix handling of MEMs in VTA to avoid dataflow oscillation From: Alexandre Oliva The problem arises because we used to drop overwritten MEMs from loc lists of VALUEs, but not of other onepart variables, and it just so

Re: [PR69123] fix VTA dataflow oscillation

2016-01-11 Thread Alexandre Oliva
On Jan 9, 2016, Alexandre Oliva wrote: > for gcc/testsuite/ChangeLog > PR bootstrap/69123 > * gcc.dg/pr69123.c: New. Doh, it doesn't work to install a C++ testcase as C. Here's the patch with testcase that I actually tested successfully and checked in. [PR691

Re: [PR54693] loss of debug info in jump threading and loop ivopts

2012-11-02 Thread Alexandre Oliva
to block B B: # set foo to expr1 # advance to line n # set foo to expr2 # advance to line m # set foo to expr3 which ones seems like a more faithful representation of the computation described in the source code to you? -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/

Re: [PR54693] loss of debug info in jump threading and loop ivopts

2012-11-03 Thread Alexandre Oliva
On Nov 2, 2012, Alexandre Oliva wrote: > On Nov 1, 2012, Jakub Jelinek wrote: >> Even for stmt frontiers it is IMHO undesirable to duplicate >> (perhaps many times) the whole sequence, as one would then reply the var >> changing sequence in the debugger perhaps once in

Re: [PR54693] loss of debug info in jump threading and loop ivopts

2012-11-04 Thread Alexandre Oliva
On Nov 3, 2012, Jakub Jelinek wrote: > On Sat, Nov 03, 2012 at 02:11:22PM -0200, Alexandre Oliva wrote: >> I didn't try delaying the creation of the pointer set as you did, but >> I'm now thinking using a linear on-stack vector for searches up to some >> size mig

Re: [PATCH] Reset source location for instructions moved out of its original residing basic block

2012-11-04 Thread Alexandre Oliva
Summit paper on stmt frontier notes, that proposes further extensions to deal with the foreseen limitations. http://people.redhat.com/~aoliva/papers/sfn/gcc2010.pdf -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi B

Re: Fwd/Re: Ping / update: RFA: replace #ifdef with if/#if for HAVE_ATTR_*

2012-11-04 Thread Alexandre Oliva
org/ml/gcc-patches/2012-10/msg02897.html ). > or are you strictly limited to *.in files as hinted in the MAINTAINERS file? I don't think gen* and *.def are part of the build machinery, no. -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to s

Re: [PATCH] Perform frame_pointer_needed hfp -> cfa replacements even if fp setter is not in the first bb (PR debug/54402)

2012-11-04 Thread Alexandre Oliva
, 0); ... I don't get why you moved expr out of the only block in which it's used. Ok with or without this change. Thanks, -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ F

Re: [PATCH] Use propagate_threaded_block_debug_into even in loop header copying pass (PR debug/54693)

2012-11-06 Thread Alexandre Oliva
tree-ssa-loop-ch.c (copy_loop_headers): Use it. > * gcc.dg/guality/pr54693-2.c: New test. Nice! I'd approve this if I was entitled to ;-) -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- htt

Re: [PATCH] Fix up var-tracking notes emitted in between bbs (PR middle-end/43631)

2012-11-17 Thread Alexandre Oliva
fter, unlike add_insn_before, completely ignores and overwrites the bb it is passed as an argument; this seems wrong) -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board mem

[PR libmudflap/53952] don't check access to non-mem decls

2012-12-05 Thread Alexandre Oliva
rs on access to SRAed variables. From: Alexandre Oliva for gcc/ChangeLog PR libmudflap/53952 * expr.c (mem_ref_refers_to_non_mem_p): Factor out implementation into... (addr_expr_of_non_mem_decl_p_1): ... this new function. (addr_expr_of_non_mem_decl_p): New. * t

[mudflap] fix infinite recursion in verbose trace

2012-12-05 Thread Alexandre Oliva
inite recursion on verbose mudflap From: Alexandre Oliva for libmudflap/ChangeLog * mf-hooks1.c (free): Return on NULL before any logging. --- libmudflap/mf-hooks1.c |4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/libmudflap/mf-hooks1.c b/libmudflap/mf-hooks1.

Re: Minimize downward code motion during reassociation

2012-12-07 Thread Alexandre Oliva
Yup. If you must move a DEF past a debug stmt that USEs it, resetting the debug stmt is a (poor) option, but inserting a debug temp bound to the expression moved down, and replacing the use in the debug stmt with a use of the debug temp. I.e., given: x_? = # DEBUG y => x_? ... change

Re: RFC: PATCH to avoid linking multiple front ends at once with parallel make

2013-05-13 Thread Alexandre Oliva
R) endif lock-and-run: #! /bin/sh lockdir=$1 prog=$2; shift 2 || exit 1 status=1 trap 'rmdir "$lockdir"; exit $status' 0 1 2 15 until mkdir "$lockdir"; do sleep 1; done $prog "$@" status=$? rmdir "$lockdir" exit $status -- Alexandre Oliva, freed

Re: RFC: PATCH to avoid linking multiple front ends at once with parallel make

2013-05-15 Thread Alexandre Oliva
wise to add lock-stamp.* to the make clean rules. Patch with the above change (the last one) is pre-approved, but if the other proposed portability changes make sense to you (even though you documented that bash is required), please put them in too. Thanks! -- Alexandre Oliva, freedom fighter

Re: RFC: PATCH to avoid linking multiple front ends at once with parallel make

2013-05-16 Thread Alexandre Oliva
On May 15, 2013, Jason Merrill wrote: > + elif [ $count == 300 ]; then s/==/=/ Ok with this change. Thanks, -- Alexandre Oliva, freedom fighterhttp://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin Amer

<    7   8   9   10   11   12   13   14   15   16   >