PR middle-end/77484
[official-gcc.git] / gcc / ChangeLog
blob375b79a83c5687d3acd8610d0572c689cf149d8e
1 2017-01-01  Jan Hubicka  <hubicka@ucw.cz>
3         PR middle-end/77484
4         * predict.def (PRED_INDIR_CALL): Set to 86.
6 2017-01-07  Sandra Loosemore  <sandra@codesourcery.com>
8         PR preprocessor/54124
10         * doc/cppopts.texi: Reformat -d subtable to list the full name
11         of the options.  Add cross-reference to the docs for the general
12         compiler -d options.
13         * doc/invoke.texi (Developer Options): Add cross-reference to the
14         preprocessor-specific -d option documentation.
16 2017-01-07  Sandra Loosemore  <sandra@codesourcery.com>
18         PR preprocessor/13498
20         * doc/cpp.texi (Search Path): Rewrite to remove obsolete and
21         redudant material, and reflect new command-line options.
22         (System Headers): Likewise.
24 2017-01-07  Sandra Loosemore  <sandra@codesourcery.com>
26         * doc/cppdiropts.texi: Merge documentation of -I, -iquote,
27         -isystem, and -idirafter.  Copy-edit.
28         * doc/cppopts.texi: Copy-edit.  Remove contradiction about 
29         default for -ftrack-macro-expansion.  Delete obsolete and 
30         badly-formatted implementation details about -fdebug-cpp output.
31         * doc/cppwarnopts.texi: Copy-edit.
33 2017-01-07  David Malcolm  <dmalcolm@redhat.com>
35         PR c++/72803
36         * input.c (selftest::test_accessing_ordinary_linemaps): Verify
37         that the transition from a max line width >= 1<<10 to narrower
38         lines works correctly.
40 2017-01-07  Alexandre Oliva <aoliva@redhat.com>
42         * doc/options.texi (PerFunction): New.
43         * opt-functions.awk (switch_flags): Map both Optimization and
44         PerFunction to CL_OPTIMIZATION.
45         * opth-gen.awk: Test for PerFunction flag along with
46         Optimization.
47         * optc-save-gen.awk: Likewise.  Introduce var_opt_hash and set
48         it only when the latter is present.  Skip those that don't in
49         the hash function generator.
50         * common.opt (fvar-tracking): Mark as PerFunction instead of
51         Optimization.
52         (fvar-tracking-assignments): Likewise.
53         (fvar-tracking-assignments-toggle): Likewise.
54         (fvar-tracking-uninit): Likewise.
56 2017-01-07  Jakub Jelinek  <jakub@redhat.com>
58         PR translation/79018
59         * params.def (PARAM_MAX_STORES_TO_MERGE): Add missing space between
60         the and store.
62 2017-01-06  Mikael Pettersson  <mikpelinux@gmail.com>
64         PR target/57583
65         * config/m68k/m68k.opt (LONG_JUMP_TABLE_OFFSETS): New option.
66         * config/m68k/linux.h (ASM_RETURN_CASE_JUMP): Handle
67         TARGET_LONG_JUMP_TABLE_OFFSETS.
68         * config/m68k/m68kelf.h (ASM_RETURN_CASE_JUMP): Likewise.
69         * config/m68k/netbsd-elf.h (ASM_RETURN_CASE_JUMP): Likewise.
70         * config/m68k/m68k.h (CASE_VECTOR_MODE): Likewise.
71         (ASM_OUTPUT_ADDR_DIFF_ELF): Likewise.
72         * config/m68k/m68k.md (tablejump expander): Likewise.
73         (*tablejump_pcrel_hi): Renamed from unnamed insn, reject
74         TARGET_LONG_JUMP_TABLE_OFFSETS.
75         (*tablejump_pcrel_si): New insn, handle TARGET_LONG_JUMP_TABLE_OFFSETS.
76         * doc/invoke.texi (M68K options): Add -mlong-jump-table-offsets.
78 2017-01-06  Edgar E. Iglesias <edgar.iglesias@xilinx.com>
79             David Holsgrove <david.holsgrove@xilinx.com>
81         * common/config/microblaze/microblaze-common.c
82         (TARGET_EXCEPT_UNWIND_INFO): Remove.
83         * config/microblaze/microblaze-protos.h (microblaze_eh_return):
84         New prototype.
85         * config/microblaze/microblaze.c (microblaze_must_save_register)
86         (microblaze_expand_epilogue, microblaze_return_addr): Handle
87         calls_eh_return.
88         (microblaze_eh_return): New function.
89         * config/microblaze/microblaze.h (RETURN_ADDR_OFFSET)
90         (EH_RETURN_DATA_REGNO, MB_EH_STACKADJ_REGNUM)
91         (EH_RETURN_STACKADJ_RTX, ASM_PREFERRED_EH_DATA_FORMAT): New macros.
92         * config/microblaze/microblaze.md (eh_return): New pattern.
94 2017-01-06  Jakub Jelinek  <jakub@redhat.com>
96         * system.h (GCC_DIAGNOSTIC_PUSH_IGNORED, GCC_DIAGNOSTIC_POP,
97         GCC_DIAGNOSTIC_STRINGIFY): Define.
99         * read-rtl.c (rtx_reader::read_rtx_code): Avoid -Wsign-compare
100         warning.
102 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
104         * config/arm/arm.md (<mcrr>): New.
105         (<mrrc>): New.
106         * config/arm/arm.c (arm_arch5te): New.
107         (arm_option_override): Set arm_arch5te.
108         (arm_coproc_builtin_available): Add support for mcrr, mcrr2, mrrc
109         and mrrc2.
110         * config/arm/arm-builtins.c (MCRR_QUALIFIERS): Define to...
111         (arm_mcrr_qualifiers): ... this. New.
112         (MRRC_QUALIFIERS): Define to...
113         (arm_mrrc_qualifiers): ... this. New.
114         * config/arm/arm_acle.h (__arm_mcrr, __arm_mcrr2, __arm_mrrc,
115         __arm_mrrc2): New.
116         * config/arm/arm_acle_builtins.def (mcrr, mcrr2, mrrc, mrrc2): New.
117         * config/arm/iterators.md (MCRRI, mcrr, MCRR): New.
118         (MRRCI, mrrc, MRRC): New.
119         * config/arm/unspecs.md (VUNSPEC_MCRR, VUNSPEC_MCRR2, VUNSPEC_MRRC,
120         VUNSPEC_MRRC2): New.
122 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
124         * config/arm/arm.md (<mcr>): New.
125         (<mrc>): New.
126         * config/arm/arm.c (arm_coproc_builtin_available): Add
127         support for mcr, mrc, mcr2 and mrc2.
128         * config/arm/arm-builtins.c (MCR_QUALIFIERS): Define to...
129         (arm_mcr_qualifiers): ... this. New.
130         (MRC_QUALIFIERS): Define to ...
131         (arm_mrc_qualifiers): ... this. New.
132         (MCR_QUALIFIERS): Define to ...
133         (arm_mcr_qualifiers): ... this. New.
134         * config/arm/arm_acle.h (__arm_mcr, __arm_mrc, __arm_mcr2,
135         __arm_mrc2): New.
136         * config/arm/arm_acle_builtins.def (mcr, mcr2, mrc, mrc2): New.
137         * config/arm/iterators.md (MCRI, mcr, MCR, MRCI, mrc, MRC): New.
138         * config/arm/unspecs.md (VUNSPEC_MCR, VUNSPEC_MCR2, VUNSPEC_MRC,
139         VUNSPEC_MRC2): New.
141 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
143         * config/arm/arm.md (*ldc): New.
144         (*stc): New.
145         (<ldc>): New.
146         (<stc>): New.
147         * config/arm/arm.c (arm_coproc_builtin_available): Add
148         support for ldc,ldcl,stc,stcl,ldc2,ldc2l,stc2 and stc2l.
149         (arm_coproc_ldc_stc_legitimate_address): New.
150         * config/arm/arm-builtins.c (arm_type_qualifiers): Add
151         'qualifier_const_pointer'.
152         (LDC_QUALIFIERS): Define to...
153         (arm_ldc_qualifiers): ... this. New.
154         (STC_QUALIFIERS): Define to...
155         (arm_stc_qualifiers): ... this. New.
156         * config/arm/arm-protos.h
157         (arm_coproc_ldc_stc_legitimate_address): New.
158         * config/arm/arm_acle.h (__arm_ldc, __arm_ldcl, __arm_stc,
159         __arm_stcl, __arm_ldc2, __arm_ldc2l, __arm_stc2, __arm_stc2l): New.
160         * config/arm/arm_acle_builtins.def (ldc, ldc2, ldcl, ldc2l, stc,
161         stc2, stcl, stc2l): New.
162         * config/arm/constraints.md (Uz): New.
163         * config/arm/iterators.md (LDCI, STCI, ldc, stc, LDC STC): New.
164         * config/arm/unspecs.md (VUNSPEC_LDC, VUNSPEC_LDC2, VUNSPEC_LDCL,
165         VUNSPEC_LDC2L, VUNSPEC_STC, VUNSPEC_STC2, VUNSPEC_STCL,
166         VUNSPEC_STC2L): New.
168 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
170         * config/arm/arm.md (<cdp>): New.
171         * config/arm/arm.c (neon_const_bounds): Rename this ...
172         (arm_const_bounds): ... this.
173         (arm_coproc_builtin_available): New.
174         * config/arm/arm-builtins.c (SIMD_MAX_BUILTIN_ARGS): Increase.
175         (arm_type_qualifiers): Add 'qualifier_unsigned_immediate'.
176         (CDP_QUALIFIERS): Define to...
177         (arm_cdp_qualifiers): ... this. New.
178         (void_UP): Define.
179         (arm_expand_builtin_args): Add case for 6 arguments.
180         * config/arm/arm-protos.h (neon_const_bounds): Rename this ...
181         (arm_const_bounds): ... this.
182         (arm_coproc_builtin_available): New.
183         * config/arm/arm_acle.h (__arm_cdp): New.
184         (__arm_cdp2): New.
185         * config/arm/arm_acle_builtins.def (cdp): New.
186         (cdp2): New.
187         * config/arm/iterators.md (CDPI,CDP,cdp): New.
188         * config/arm/neon.md: Rename all 'neon_const_bounds' to
189         'arm_const_bounds'.
190         * config/arm/types.md (coproc): New.
191         * config/arm/unspecs.md (VUNSPEC_CDP, VUNSPEC_CDP2): New.
192         * gcc/doc/extend.texi (ACLE): Add a mention of Coprocessor intrinsics.
193         * gcc/doc/sourcebuild.texi (arm_coproc1_ok, arm_coproc2_ok,
194         arm_coproc3_ok, arm_coproc4_ok): Document new effective targets.
196 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
198         * config/arm/arm-builtins.c (arm_unsigned_binop_qualifiers): New.
199         (UBINOP_QUALIFIERS): New.
200         (si_UP): Define.
201         (acle_builtin_data): New. Change comment.
202         (arm_builtins): Remove ARM_BUILTIN_CRC32B, ARM_BUILTIN_CRC32H,
203         ARM_BUILTIN_CRC32W, ARM_BUILTIN_CRC32CB, ARM_BUILTIN_CRC32CH,
204         ARM_BUILTIN_CRC32CW. Add ARM_BUILTIN_ACLE_BASE and include
205         arm_acle_builtins.def.
206         (ARM_BUILTIN_ACLE_PATTERN_START): Define.
207         (arm_init_acle_builtins): New.
208         (CRC32_BUILTIN): Remove.
209         (bdesc_2arg): Remove entries for crc32b, crc32h, crc32w,
210         crc32cb, crc32ch and crc32cw.
211         (arm_init_crc32_builtins): Remove.
212         (arm_init_builtins): Use arm_init_acle_builtins rather
213         than arm_init_crc32_builtins.
214         (arm_expand_acle_builtin): New.
215         (arm_expand_builtin): Use 'arm_expand_acle_builtin'.
216         * config/arm/arm_acle_builtins.def: New.
218 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
220         * config/arm/arm-builtins.c (neon_builtin_datum): Rename to ..
221         (arm_builtin_datum): ... this.
222         (arm_init_neon_builtin): Rename to ...
223         (arm_init_builtin): ... this. Add a new parameters PREFIX
224         and USE_SIG_IN_NAME.
225         (arm_init_neon_builtins): Replace 'arm_init_neon_builtin' with
226         'arm_init_builtin'. Replace type 'neon_builtin_datum' with
227         'arm_builtin_datum'.
228         (arm_init_vfp_builtins): Likewise.
229         (builtin_arg): Rename enum's replacing 'NEON_ARG' with
230         'ARG_BUILTIN' and add a 'ARG_BUILTIN_NEON_MEMORY.
231         (arm_expand_neon_args): Rename to ...
232         (arm_expand_builtin_args): ... this. Rename builtin_arg
233         enum values and differentiate between ARG_BUILTIN_MEMORY
234         and ARG_BUILTIN_NEON_MEMORY.
235         (arm_expand_neon_builtin_1): Rename to ...
236         (arm_expand_builtin_1): ... this. Rename builtin_arg enum
237         values, arm_expand_builtin_args and add bool parameter NEON.
238         (arm_expand_neon_builtin): Use arm_expand_builtin_1.
239         (arm_expand_vfp_builtin): Likewise.
240         (NEON_MAX_BUILTIN_ARGS): Remove, it was unused.
242 2017-01-01  Jan Hubicka  <hubicka@ucw.cz>
244         PR middle-end/77484
245         * predict.def (PRED_POLYMORPHIC_CALL): Set to 59.
246         * predict.c (tree_estimate_probability_bb): Reverse direction of
247         polymorphic call predictor.
249 2017-01-06  David Malcolm  <dmalcolm@redhat.com>
251         * passes.c (execute_one_pass): Split out pass-skipping logic
252         into...
253         (determine_pass_name_match): ...this new function and...
254         (should_skip_pass_p): ...this new function.
256 2017-01-06  Nathan Sidwell  <nathan@acm.org>
258         * ipa-visibility.c (function_and_variable_visibility): Reformat
259         comments and long lines.  Remove extrneous if.
260         * symtab.c (symtab_node::make_decl_local): Fix code format.
261         (symtab_node::set_section_for_node): Fix comment typo.
263 2017-01-06  Martin Liska  <mliska@suse.cz>
265         PR bootstrap/79003
266         * lra-constraints.c: Rename invariant to lra_invariant.
267         * predict.c (set_even_probabilities): Initialize e to NULL.
269 2017-01-05  Martin Sebor  <msebor@redhat.com>
271         PR tree-optimization/78910
272         * gimple-ssa-sprintf.c (tree_digits): Add an argument.
273         (format_integer): Correct off-by-one error in the handling
274         of precision with negative numbers in signed conversions..
276 2017-01-05  Eric Botcazou  <ebotcazou@adacore.com>
278         * doc/invoke.texi (C Dialect Options): Adjust -fsso-struct entry.
280 2017-01-05  Jakub Jelinek  <jakub@redhat.com>
282         PR tree-optimization/71016
283         * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Pass cond_stmt to
284         factor_out_conditional_conversion.  Formatting fix.
285         (factor_out_conditional_conversion): Add cond_stmt argument.
286         If arg1 is INTEGER_CST, punt if new_arg0 is not any operand of
287         cond_stmt and if arg0_def_stmt is not the only stmt in its bb.
288         Formatting fix.
290 2017-01-05  David Malcolm  <dmalcolm@redhat.com>
292         * Makefile.in (OBJS): Add read-md.o, read-rtl.o,
293         read-rtl-function.o, and selftest-rtl.o.
294         * config/aarch64/aarch64.c: Include selftest.h and
295         selftest-rtl.h.
296         (selftest::aarch64_test_loading_full_dump): New function.
297         (selftest::aarch64_run_selftests): New function.
298         (TARGET_RUN_TARGET_SELFTESTS): Wire it up to
299         selftest::aarch64_run_selftests.
300         * config/i386/i386.c
301         (selftest::ix86_test_loading_dump_fragment_1): New function.
302         (selftest::ix86_test_loading_call_insn): New function.
303         (selftest::ix86_test_loading_full_dump): New function.
304         (selftest::ix86_test_loading_unspec): New function.
305         (selftest::ix86_run_selftests): Call the new functions.
306         * emit-rtl.c (maybe_set_max_label_num): New function.
307         * emit-rtl.h (maybe_set_max_label_num): New decl.
308         * function.c (instantiate_decls): Guard call to
309         instantiate_decls_1 with if (DECL_INITIAL (fndecl)).
310         * function-tests.c (selftest::verify_three_block_rtl_cfg): Remove
311         "static".
312         * gensupport.c (gen_reader::gen_reader): Pass "false"
313         for new "compact" param of rtx_reader.
314         * print-rtl.c (rtx_writer::print_rtx_operand): Print "(nil)"
315         rather than an empty string for NULL strings.
316         * read-md.c: Potentially include config.h rather than bconfig.h.
317         Wrap include of errors.h with #ifdef GENERATOR_FILE.
318         (have_error): New global, copied from errors.c.
319         (md_reader::read_name): Rename to...
320         (md_reader::read_name_1): ...this, adding "out_loc" param,
321         and converting "missing name or number" to returning false, rather
322         than failing.
323         (md_reader::read_name): Reimplement in terms of read_name_1.
324         (md_reader::read_name_or_nil): New function.
325         (md_reader::read_string): Handle "(nil)" by returning NULL.
326         (md_reader::md_reader): Add new param "compact".
327         (md_reader::read_md_files): Wrap with #ifdef GENERATOR_FILE.
328         (md_reader::read_file): New method.
329         * read-md.h (md_reader::md_reader): Add new param "compact".
330         (md_reader::read_file): New method.
331         (md_reader::is_compact): New accessor.
332         (md_reader::read_name): Convert return type from void to
333         file_location.
334         (md_reader::read_name_or_nil): New decl.
335         (md_reader::read_name_1): New decl.
336         (md_reader::m_compact): New field.
337         (noop_reader::noop_reader): Pass "false" for new "compact" param
338         of rtx_reader.
339         (rtx_reader::rtx_reader): Add new "compact" param.
340         (rtx_reader::read_rtx_operand): Make virtual and convert return
341         type from void to rtx.
342         (rtx_reader::read_until): New decl.
343         (rtx_reader::handle_any_trailing_information): New virtual
344         function.
345         (rtx_reader::postprocess): New virtual function.
346         (rtx_reader::finalize_string): New virtual function.
347         (rtx_reader::m_in_call_function_usage): New field.
348         (rtx_reader::m_reuse_rtx_by_id): New field.
349         * read-rtl-function.c: New file.
350         * selftest-rtl.c (selftest::assert_rtx_ptr_eq_at): New function.
351         * selftest-rtl.h (ASSERT_RTX_PTR_EQ): New macro.
352         (selftest::verify_three_block_rtl_cfg): New decl.
353         * read-rtl-function.h: New file.
354         * read-rtl.c: Potentially include config.h rather than bconfig.h.
355         For host, include function.h, memmodel.h, and emit-rtl.h.
356         (one_time_initialization): New function.
357         (struct compact_insn_name): New struct.
358         (compact_insn_names): New array.
359         (find_code): Handle insn codes in compact dumps.
360         (apply_subst_iterator): Wrap with #ifdef GENERATOR_FILE.
361         (bind_subst_iter_and_attr): Likewise.
362         (add_condition_to_string): Likewise.
363         (add_condition_to_rtx): Likewise.
364         (apply_attribute_uses): Likewise.
365         (add_current_iterators): Likewise.
366         (apply_iterators): Likewise.
367         (initialize_iterators): Guard usage of apply_subst_iterator with
368         #ifdef GENERATOR_FILE.
369         (read_conditions): Wrap with #ifdef GENERATOR_FILE.
370         (md_reader::read_mapping): Likewise.
371         (add_define_attr_for_define_subst): Likewise.
372         (add_define_subst_attr): Likewise.
373         (read_subst_mapping): Likewise.
374         (check_code_iterator): Likewise.
375         (rtx_reader::read_rtx): Likewise.  Move one-time initialization
376         logic to...
377         (one_time_initialization): New function.
378         (rtx_reader::read_until): New method.
379         (read_flags): New function.
380         (parse_reg_note_name): New function.
381         (rtx_reader::read_rtx_code): Initialize "iterator" to NULL.
382         Handle reuse_rtx ids.
383         Wrap iterator lookup within #ifdef GENERATOR_FILE.
384         Add parsing support for RTL dumps, mirroring the special-cases in
385         print_rtx, by calling read_flags, reading REG_NOTE names, INSN_UID
386         values, and calling handle_any_trailing_information.
387         (rtx_reader::read_rtx_operand): Convert return type from void
388         to rtx, returning return_rtx.  Handle case 'e'.  Call
389         finalize_string on XSTR and XTMPL fields.
390         (rtx_reader::read_nested_rtx):  Handle dumps in which trailing
391          "(nil)" values were omitted.  Call the postprocess vfunc on the
392         return_rtx.
393         (rtx_reader::rtx_reader): Add new "compact" param and pass to base
394         class ctor.  Initialize m_in_call_function_usage.  Call
395         one_time_initialization.
396         * rtl-tests.c (selftest::test_uncond_jump): Call
397         set_new_first_and_last_insn.
398         * rtl.h (read_rtx): Wrap decl with #ifdef GENERATOR_FILE.
399         * selftest-rtl.c: New file.
400         * selftest-rtl.h (class selftest::rtl_dump_test): New class.
401         (selftest::get_insn_by_uid): New decl.
402         * selftest-run-tests.c (selftest::run_tests): Call
403         read_rtl_function_c_tests.
404         * selftest.h  (selftest::read_rtl_function_c_tests): New decl.
405         * tree-dfa.c (ssa_default_def): Return NULL_TREE for rtl function
406         dumps.
408 2017-01-05  Uros Bizjak  <ubizjak@gmail.com>
410         * config/i386/i386.md (*testqi_ext_3): No need to handle memory
411         operands in a special way.  Assert that pos+len <= mode precision.
413 2017-01-05  Jakub Jelinek  <jakub@redhat.com>
415         * common.opt (fvect-cost-model): Remove RejectNegative flag, use
416         3 argument Alias with unlimited for the negative form.
417         (fno-vect-cost-model): Removed.
419 2017-01-05  Martin Liska  <mliska@suse.cz>
421         * hsa-gen.c (gen_hsa_divmod): New function.
422         (gen_hsa_insn_for_internal_fn_call): Use the function for IFN_DIVMOD.
424 2017-01-05  Martin Liska  <mliska@suse.cz>
426         PR pch/78970
427         * gcc.c (lookup_compiler): Reject '-' filename for a precompiled
428         header.
430 2017-01-05  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>
432         * config/s390/s390.c (s390_expand_setmem): Unroll the loop for
433         small constant length operands.
435 2017-01-05  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>
437         * config/s390/s390.c (s390_expand_setmem): Avoid overlapping bytes
438         between loop iterations.
440 2017-01-05  Martin Liska  <mliska@suse.cz>
442         PR sanitizer/78815
443         * gimplify.c (gimplify_decl_expr): Compare to
444         asan_poisoned_variables instread of checking flags.
445         (gimplify_target_expr): Likewise.
446         (gimplify_expr): Likewise.
447         (gimplify_function_tree): Conditionally initialize
448         asan_poisoned_variables.
450 2017-01-04  Jeff Law  <law@redhat.com>
452         PR tree-optimizatin/78812
453         * rtl.h (contains_mem_rtx_p): Prototype.
454         * ifcvt.c (containts_mem_rtx_p): Move from here to...
455         * rtlanal.c (contains_mem_rtx_p): Here and remove static linkage.
456         * gcse.c (prune_expressions): Use contains_mem_rtx_p to discover
457         and prune MEMs that are not at the toplevel of a SET_SRC rtx.  Look
458         through ZERO_EXTEND and SIGN_EXTEND when trying to avoid pruning MEMs.
460 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
462         * input.c (assert_char_at_range): Default-initialize actual_range.
464 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
466         * df-scan.c (df_ref_create_structure): Make regno unsigned,
467         to match the caller.
469 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
471         * cfgexpand.c (expand_gimple_basic_block): Disregard debug
472         insns after final jump in test to emit dummy move.
474 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
476         * gimple-iterator.h (gsi_one_nondebug_before_end_p): New.
477         * tree-eh.c (cleanup_empty_eh): Skip more debug stmts.
479 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
481         * multiple_target.c (create_dispatcher_calls): Init e_next.
482         * tree-ssa-loop-split.c (split_loop): Init border.
483         * tree-vect-loop.c (vect_determine_vectorization_factor): Init
484         scalar_type.
486 2017-01-04  Michael Meissner  <meissner@linux.vnet.ibm.com>
488         PR target/71977
489         PR target/70568
490         PR target/78823
491         * config/rs6000/predicates.md (sf_subreg_operand): New predicate.
492         (altivec_register_operand): Do not return true if the operand
493         contains a SUBREG mixing SImode and SFmode.
494         (vsx_register_operand): Likewise.
495         (vsx_reg_sfsubreg_ok): New predicate.
496         (vfloat_operand): Do not return true if the operand contains a
497         SUBREG mixing SImode and SFmode.
498         (vint_operand): Likewise.
499         (vlogical_operand): Likewise.
500         (gpc_reg_operand): Likewise.
501         (int_reg_operand): Likewise.
502         * config/rs6000/rs6000-protos.h (valid_sf_si_move): Add declaration.
503         * config/rs6000/rs6000.c (valid_sf_si_move): New function to
504         determine if a MOVSI or MOVSF operation contains SUBREGs that mix
505         SImode and SFmode.
506         (rs6000_emit_move_si_sf_subreg): New helper function.
507         (rs6000_emit_move): Call rs6000_emit_move_si_sf_subreg to possbily
508         fixup SUBREGs involving SImode and SFmode.
509         * config/rs6000/vsx.md (SFBOOL_*): New constants that are operand
510         numbers for the new peephole2 optimization.
511         (peephole2 for SFmode unions): New peephole2 to optimize cases in
512         the GLIBC math library that do AND/IOR/XOR operations on single
513         precision floating point.
514         * config/rs6000/rs6000.h (TARGET_NO_SF_SUBREG): New internal
515         target macros to say whether we need to avoid SUBREGs mixing
516         SImode and SFmode.
517         (TARGET_ALLOW_SF_SUBREG): Likewise.
518         * config/rs6000/rs6000.md (UNSPEC_SF_FROM_SI): New unspecs.
519         (UNSPEC_SI_FROM_SF): Likewise.
520         (iorxor): Change spacing.
521         (and_ior_xor): New iterator for AND, IOR, and XOR.
522         (movsi_from_sf): New insns for SImode/SFmode SUBREG support.
523         (movdi_from_sf_zero_ext): Likewise.
524         (mov<mode>_hardfloat, FMOVE32 iterator): Use register_operand
525         instead of gpc_reg_operand.  Add SImode/SFmode SUBREG support.
526         (movsf_from_si): New insn for SImode/SFmode SUBREG support.
527         (fma<mode>4): Use gpc_reg_operand instead of register_operand.
528         (fms<mode>4): Likewise.
529         (fnma<mode>4): Likewise.
530         (fnms<mode>4): Likewise.
531         (nfma<mode>4): Likewise.
532         (nfms<mode>4): Likewise.
534 2017-01-04  Marek Polacek  <polacek@redhat.com>
536         PR c++/64767
537         * doc/invoke.texi: Document -Wpointer-compare.
539 2017-01-04  Jakub Jelinek  <jakub@redhat.com>
541         * optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without
542         RejectNegative.
544         * dwarf2out.c (output_loc_list): Don't throw away 64K+ location
545         descriptions for -gdwarf-5 and emit them as uleb128 instead of
546         2-byte data.
548 2017-01-04  Kelvin Nilsen  <kelvin@gcc.gnu.org>
550         PR target/78056
551         * doc/sourcebuild.texi (PowerPC-specific attributes): Add
552         documentation of the powerpc_popcntb_ok attribute.
553         * config/rs6000/rs6000.c (rs6000_option_override_internal): Add
554         code to issue warning messages if a requested CPU configuration is
555         not supported by the binary (assembler and loader) toolchain.
556         (spe_init_builtins): Add two assertions to prevent ICE if attempt is
557         made to define a built-in function that has been disabled.
558         (paired_init_builtins): Add assertion to prevent ICE if attempt is
559         made to define a built-in function that has been disabled.
560         (altivec_init_builtins): Add comment explaining why definition
561         of the DST built-in functions is not preceded by an assertion
562         check.  Add assertions to prevent ICE if attempts are made to
563         define an altivec predicate or an abs* built-in function that has
564         been disabled.
565         (htm_init_builtins): Add comment explaining why definition of the
566         htm built-in functions is not preceded by an assertion check.
568 2017-01-04  Jeff Law  <law@redhat.com>
570         PR tree-optimizatin/67955
571         * tree-ssa-alias.c (same_addr_size_stores_p): Check offsets first.
572         Allow any SSA_VAR_P as the base objects.  Use integer_zerop.  Verify
573         the points-to solution does not include pt_null.  Use DECL_PT_UID
574         unconditionally.
576 2017-01-04  Uros Bizjak  <ubizjak@gmail.com>
578         * config/i386/i386.md (HI/SImode test with imm to QImode splitters):
579         Use gen_int_mode instead of gen_lopwart for const_int operands.
581 2017-01-04  Jakub Jelinek  <jakub@redhat.com>
583         PR tree-optimization/71563
584         * match.pd: Simplify X << Y into X if Y is known to be 0 or
585         out of range value - has low bits known to be zero.
587 2017-01-04  Alan Modra  <amodra@gmail.com>
589         * Makefile.in (aclocal_deps): Update and order as per aclocal.m4.
590         * configure: Regenerate.
591         * config.in: Regenerate.
593 2017-01-04  Jakub Jelinek  <jakub@redhat.com>
595         PR bootstrap/77569
596         * input.c (ebcdic_execution_charset::on_error): Don't use strstr for
597         a substring of the message, but strcmp with the whole message.  Ifdef
598         ENABLE_NLS, translate the message first using dgettext.
600 2017-01-03  Jeff Law  <law@redhat.com>
602         PR tree-optimizatin/78856
603         * tree-ssa-threadupdate.c: Include tree-vectorizer.h.
604         (mark_threaded_blocks): Remove code to truncate thread paths that
605         cross multiple loop headers.  Instead invalidate the cached loop
606         iteration information and handle case of a thread path walking
607         into an irreducible region.
609 2017-01-03  Michael Meissner  <meissner@linux.vnet.ibm.com>
611         PR target/78900
612         * config/rs6000/rs6000.c (rs6000_split_signbit): Change some
613         assertions.  Add support for doing the signbit if the IEEE 128-bit
614         floating point value is in a GPR.
615         * config/rs6000/rs6000.md (Fsignbit): Delete.
616         (signbit<mode>2_dm): Delete using <Fsignbit> and just use "wa".
617         Update the length attribute if the value is in a GPR.
618         (signbit<mode>2_dm_<su>ext): Add combiner pattern to eliminate
619         the sign or zero extension instruction, since the value is always 0/1.
620         (signbit<mode>2_dm2): Delete using <Fsignbit>.
622         PR target/78953
623         * config/rs6000/vsx.md (vsx_extract_<mode>_store_p9): If we are
624         extracting SImode to a GPR register so that we can generate a
625         store, limit the vector to be in a traditional Altivec register
626         for the vextuwrx instruction.
628 2017-01-03  Ian Lance Taylor  <iant@google.com>
630         * godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.
632 2017-01-03  Martin Sebor  <msebor@redhat.com>
634         PR tree-optimization/78696
635         * gimple-ssa-sprintf.c (format_floating): Correct handling of
636         precision.  Use MPFR for %f for greater fidelity.  Correct handling
637         of %g.
638         (pass_sprintf_length::compute_format_length): Set width and precision
639         specified by asrerisk to void_node for vararg functions.
640         (try_substitute_return_value): Adjust dump output.
642 2017-01-03  David Edelsohn  <dje.gcc@gmail.com>
644         * doc/invoke.texi (RS6000 options): LRA is enabled by default.
646 2017-01-03  Eric Botcazou  <ebotcazou@adacore.com>
648         * doc/invoke.texi (SPARC options): Document -mlra as the default.
649         * config/sparc/sparc.c (sparc_option_override): Force LRA unless
650         -mlra/-mno-lra was passed to the compiler.
652 2017-01-03  James Cowgill  <James.Cowgill@imgtec.com>
654         PR rtl-optimization/65618
655         * emit-rtl.c (try_split): Move initialization of "before" and
656         "after" to just before the call to emit_insn_after_setloc.
658 2017-01-03  Gerald Pfeifer  <gerald@pfeifer.com>
660         * doc/md.texi (Standard Names): Remove reference to Java frontend.
662 2017-01-03  Pierre-Marie de Rodat  <derodat@adacore.com>
664         * dwarf2out.c (gen_enumeration_type_die): When
665         -gno-strict-dwarf, add a DW_AT_encoding attribute.
667 2017-01-03  Jakub Jelinek  <jakub@redhat.com>
669         PR tree-optimization/78965
670         * gimple-ssa-sprintf.c (pass_sprintf_length::compute_format_length):
671         Change first argument from const call_info & to call_info &.  For %n
672         set info.nowrite to false.
674         PR middle-end/78901
675         * gimple-ssa-sprintf.c (try_substitute_return_value): Don't change
676         possibly throwing calls.
678         * genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME
679         and exprs_len || fns_len, emit the code for SSA_NAME next to the exprs
680         and fns handling, rather than in a separate case SSA_NAME.
682 2017-01-02  Jeff Law  <law@redhat.com>
684         * config/darwin-driver.c (darwin_driver_init): Const-correctness
685         fixes for first_period and second_period variables.
687 2017-01-02  Uros Bizjak  <ubizjak@gmail.com>
689         PR target/78967
690         * config/i386/i386.md (UNSPEC_NOREX_MEM): New unspec.
691         (*insvqi_1): New insn pattern.
692         (*insvqi_1_mem_rex64): Ditto.
693         (*insvqi_2): Ditto.
694         (*insvqi_3): Rename from *insvqi.
696         (*extzvqi_mem_rex64): Add UNSPEC_NOREX_MEM tag.
698 2017-01-02  Gerald Pfeifer  <gerald@pfeifer.com>
700         * doc/cfg.texi (Edges): Remove reference to Java.
701         (Maintaining the CFG): Ditto.
703 2017-01-01  Jan Hubicka  <hubicka@ucw.cz>
705         PR middle-end/77674
706         * symtab.c (symtab_node::binds_to_current_def_p): Fix handling of
707         transparent aliases.
709 2017-01-01  Jan Hubicka  <hubicka@ucw.cz>
711         PR middle-end/77484
712         * predict.def (PRED_CALL): Update hitrate.
713         (PRED_INDIR_CALL, PRED_POLYMORPHIC_CALL): New predictors.
714         * predict.c (tree_estimate_probability_bb): Split CALL predictor
715         into direct/indirect/polymorphic variants.
717 2017-01-01  Jakub Jelinek  <jakub@redhat.com>
719         Update copyright years.
721         * gcc.c (process_command): Update copyright notice dates.
722         * gcov-dump.c (print_version): Ditto.
723         * gcov.c (print_version): Ditto.
724         * gcov-tool.c (print_version): Ditto.
725         * gengtype.c (create_file): Ditto.
726         * doc/cpp.texi: Bump @copying's copyright year.
727         * doc/cppinternals.texi: Ditto.
728         * doc/gcc.texi: Ditto.
729         * doc/gccint.texi: Ditto.
730         * doc/gcov.texi: Ditto.
731         * doc/install.texi: Ditto.
732         * doc/invoke.texi: Ditto.
734 Copyright (C) 2017 Free Software Foundation, Inc.
736 Copying and distribution of this file, with or without modification,
737 are permitted in any medium without royalty provided the copyright
738 notice and this notice are preserved.