PR tree-optimization/33562
[official-gcc.git] / gcc / ChangeLog
blobd07b1f5ef42a0a4bc8159691c4690b83a2956bf6
1 2017-01-13  Jeff Law  <law@redhat.com>
3         PR tree-optimization/33562
4         PR tree-optimization/61912
5         PR tree-optimization/77485
6         * tree-ssa-dse.c (delete_dead_call): Accept gsi rather than
7         a statement.
8         (delete_dead_assignment): Likewise.
9         (dse_dom_walker::dse_optimize_stmt): Pass in the gsi rather than
10         statement to delete_dead_call and delete_dead_assignment.
12 2017-01-13  David Malcolm  <dmalcolm@redhat.com>
14         PR c/78304
15         * substring-locations.c (format_warning_va): Strengthen case 1 so
16         that both endpoints of the substring must be within the format
17         range for just the substring to be printed.
19 2017-01-13  Uros Bizjak  <ubizjak@gmail.com>
21         * config/i386/i386.opt (msgx): Use ix86_isa_flags2 variable.
22         * config/i386/i386.c (ix86_target_string): Add missing options
23         to isa_opts and reorder options by implied ISAs.  Rename isa_opts2 to
24         isa2_opts, ix86_flag_opts to flag2_opts, ix86_target_other to
25         flags_other and ix86_target_other to flags2_other.  Display unknown
26         isa2 options.
27         (ix86_valid_target_attribute_inner_p): Add missing options and
28         reorder options by implied ISAs, as in ix86_target_string.
30 2017-01-13  Richard Sandiford  <richard.sandiford@arm.com>
32         * hash-table.h (hash_table::too_empty_p): New function.
33         (hash_table::expand): Use it.
34         (hash_table::traverse): Likewise.
35         (hash_table::empty_slot): Use sizeof (value_type) instead of
36         sizeof (PTR) to convert bytes to elements.  Shrink the table
37         if the current size is excessive for the current number of
38         elements.
40 2017-01-13  Richard Sandiford  <richard.sandiford@arm.com>
42         * ira-costs.c (record_reg_classes): Break from the inner loop
43         early once alt_fail is known to be true.  Update outer loop
44         handling accordingly.
46 2017-01-13  Jeff Law  <law@redhat.com>
48         * tree-ssa-dse.c (decrement_count): New function.
49         (increment_start_addr, maybe_trim_memstar_call): Likewise.
50         (dse_dom_walker::optimize_stmt): Call maybe_trim_memstar_call directly
51         when we know the partially dead statement is a mem* function.
53         PR tree-optimization/61912
54         PR tree-optimization/77485
55         * tree-ssa-dse.c: Include expr.h.
56         (maybe_trim_constructor_store): New function.
57         (maybe_trim_partially_dead_store): Call maybe_trim_constructor_store.
59         PR tree-optimization/33562
60         PR tree-optimization/61912
61         PR tree-optimization/77485
62         * doc/invoke.texi: Document new dse-max-object-size param.
63         * params.def (PARM_DSE_MAX_OBJECT_SIZE): New PARAM.
64         * tree-ssa-dse.c: Include params.h.
65         (dse_store_status): New enum.
66         (initialize_ao_ref_for_dse): New, partially extracted from
67         dse_optimize_stmt.
68         (valid_ao_ref_for_dse, normalize_ref): New.
69         (setup_live_bytes_from_ref, compute_trims): Likewise.
70         (clear_bytes_written_by, maybe_trim_complex_store): Likewise.
71         (maybe_trim_partially_dead_store): Likewise.
72         (maybe_trim_complex_store): Likewise.
73         (dse_classify_store): Renamed from dse_possibly_dead_store_p.
74         Track what bytes live from the original store.  Return tri-state
75         for dead, partially dead or live.
76         (dse_dom_walker): Add constructor, destructor and new private members.
77         (delete_dead_call, delete_dead_assignment): New extracted from
78         dse_optimize_stmt.
79         (dse_optimize_stmt): Make a member of dse_dom_walker.
80         Use initialize_ao_ref_for_dse.
82         PR tree-optimization/33562
83         PR tree-optimization/61912
84         PR tree-optimization/77485
85         * sbitmap.h (bitmap_count_bits): Prototype.
86         (bitmap_clear_range, bitmap_set_range): Likewise.
87         * sbitmap.c (bitmap_clear_range): New function.
88         (bitmap_set_range, sbitmap_popcount, bitmap_count_bits): Likewise.
90 2017-01-13  Martin Liska  <mliska@suse.cz>
92         PR ipa/79043
93         * function.c (set_cfun): Add new argument force.
94         * function.h (set_cfun): Likewise.
95         * ipa-inline-transform.c (inline_call): Use the function when
96         strict alising from is dropped for function we inline to.
98 2017-01-13  Richard Biener  <rguenther@suse.de>
100         * tree-pretty-print.c (dump_generic_node): Fix inverted condition
101         for dumping GIMPLE INTEGER_CSTs.
103 2017-01-13  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
105         * config/sol2.h (TARGET_OS_CPP_BUILTINS): Define __STDC_VERSION__
106         to 201112L since C++17.
108 2017-01-13  Maxim Ostapenko  <m.ostapenko@samsung.com>
110         PR sanitizer/78887
111         * asan.c (asan_needs_odr_indicator_p): Don't emit ODR indicators
112         if -fsanitize=kernel-address is present.
114 2017-01-13  Richard Biener  <rguenther@suse.de>
116         * tree-pretty-print.c (dump_generic_node): Dump INTEGER_CSTs
117         as _Literal ( type ) number in case usual suffixes do not
118         preserve all information.
120 2017-01-12  Michael Meissner  <meissner@linux.vnet.ibm.com>
122         PR target/79004
123         * config/rs6000/rs6000.md (FP_ISA3): Do not optimize converting
124         char or short to __float128/_Float128 directly.
126 2017-01-12  Martin Sebor  <msebor@redhat.com>
128         to -Wformat-overflow.
129         * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust.
130         (min_bytes_remaining): Same.
131         (get_string_length): Same.
132         (format_string): Same.
133         (format_directive): Same.
134         (add_bytes): Same.
135         (pass_sprintf_length::handle_gimple_call): Same.
137 2017-01-12  Jakub Jelinek  <jakub@redhat.com>
139         * gimple-ssa-sprintf.c (try_substitute_return_value): Remove
140         info.nowrite calls with no lhs that can't throw.  Return bool
141         whether gsi_remove has been called or not.
142         (pass_sprintf_length::handle_gimple_call): Return bool whether
143         try_substitute_return_value called gsi_remove.  Formatting fix.
144         (pass_sprintf_length::execute): Don't use gsi_remove if
145         handle_gimple_call returned true.
147         PR bootstrap/79069
148         * cfgrtl.c (rtl_tidy_fallthru_edge): For any_uncondjump_p that can't
149         be removed due to side-effects, don't remove following barrier nor
150         turn the successor edge into fallthru edge.
152 2017-01-12  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>
154         PR target/79044
155         * config/rs6000/rs6000.c (insn_is_swappable_p): Mark
156         element-reversing loads and stores as not swappable.
158 2017-01-12  Nathan Sidwell  <nathan@acm.org>
159             Nicolai Stange  <nicstange@gmail.com>
161         * combine.c (try_combine): Don't ignore result of overlap checking
162         loop.  Combine overlap & asm check into single loop.
164 2017-01-12  Richard Biener  <rguenther@suse.de>
166         * tree-pretty-print.c (dump_generic_node): Provide -gimple
167         variant for MEM_REF.  Sanitize INTEGER_CST for -gimple.
169 2017-01-12  Richard Biener  <rguenther@suse.de>
171         * tree.c (initialize_tree_contains_struct): Make TS_OPTIMIZATION
172         and TS_TARGET_OPTION directly derive from TS_BASE.
173         * tree-core.h (tree_optimization_option): Derive from tree_base.
174         (tree_target_option): Likewise.
176 2017-01-11  Uros Bizjak  <ubizjak@gmail.com>
178         * config/i386/i386.c (memory_address_length): Increase len
179         only when rip_relative_addr_p returns false.
181 2017-01-11  Julia Koval  <julia.koval@intel.com>
183         * common/config/i386/i386-common.c (OPTION_MASK_ISA_SGX_UNSET): New.
184         (OPTION_MASK_ISA_SGX_SET): New.
185         (ix86_handle_option): Handle OPT_msgx.
186         * config.gcc: Added sgxintrin.h.
187         * config/i386/driver-i386.c (host_detect_local_cpu): Detect sgx.
188         * config/i386/i386-c.c (ix86_target_macros_internal): Define __SGX__.
189         * config/i386/i386.c (ix86_target_string): Add -msgx.
190         (PTA_SGX): New.
191         (ix86_option_override_internal): Handle new options.
192         (ix86_valid_target_attribute_inner_p): Add sgx.
193         * config/i386/i386.h (TARGET_SGX, TARGET_SGX_P): New.
194         * config/i386/i386.opt: Add msgx.
195         * config/i386/sgxintrin.h: New file.
196         * config/i386/x86intrin.h: Add sgxintrin.h.
198 2017-01-11  Jakub Jelinek  <jakub@redhat.com>
200         PR c++/71537
201         * fold-const.c (maybe_nonzero_address): Return 1 for function
202         local objects.
203         (tree_single_nonzero_warnv_p): Don't handle function local objects
204         here.
206         PR c++/72813
207         * gcc.c (default_compilers): Don't add -o %g.s for -S -save-temps
208         of c-header.
210 2017-01-11  David Malcolm  <dmalcolm@redhat.com>
212         PR driver/78877
213         * opts.c: Include "spellcheck.h"
214         (struct string_fragment): New struct.
215         (struct edit_distance_traits<const string_fragment &>): New
216         struct.
217         (get_closest_sanitizer_option): New function.
218         (parse_sanitizer_options): Offer suggestions for unrecognized arguments.
220 2017-01-11  Jakub Jelinek  <jakub@redhat.com>
222         * dwarf2out.c (DWARF_COMPILE_UNIT_HEADER_SIZE): For DWARF5 decrease
223         by 12.
224         (DWARF_COMDAT_TYPE_UNIT_HEADER_SIZE): Always
225         DWARF_COMPILE_UNIT_HEADER_SIZE plus 12.
226         (DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE): Define.
227         (calc_base_type_die_sizes): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE
228         for initial die_offset if dwarf_split_debug_info.
229         (output_comp_unit): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE for
230         initial next_die_offset if dwo_id is non-NULL.  Don't emit padding
231         fields.
232         (output_skeleton_debug_sections): Formatting fix.  Use
233         DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE instead of
234         DWARF_COMPILE_UNIT_HEADER_SIZE.  Don't emit padding.
236 2017-01-11  Wilco Dijkstra  <wdijkstr@arm.com>
238         * config/arm/cortex-a53.md: Add bypasses for
239         cortex_a53_r2f_cvt.
240         (cortex_a53_r2f): Only use for transfers.
241         (cortex_a53_f2r): Likewise.
242         (cortex_a53_r2f_cvt): Add reservation for conversions.
243         (cortex_a53_f2r_cvt): Likewise.
245 2017-01-11  Tamar Christina  <tamar.christina@arm.com>
247         * config/arm/arm_neon.h: Add __artificial__ and gnu_inline
248         to all inlined functions, change static to extern.
250 2017-01-11  Christophe Lyon  <christophe.lyon@linaro.org>
252         PR target/78253
253         * config/arm/arm.c (legitimize_pic_address): Handle reference to
254         weak symbol.
255         (arm_assemble_integer): Likewise.
257 2017-01-11  Richard Earnshaw  <rearnsha@arm.com>
259         * config.gcc: Use new awk script to check CPU, FPU and architecture
260         parameters for --with-... options.
261         * config/arm/parsecpu.awk: New file
262         * config/arm/arm-cpus.in: New file.
263         * config/arm/arm-opts.h: Include arm-cpu.h instead of processing .def
264         files.
265         * config/arm/arm.c: Include arm-cpu-data.h instead of processing .def
266         files.
267         * config/arm/t-arm: Update dependency rules.
268         * common/config/arm/arm-common.c: Include arm-cpu-cdata.h instead
269         of processing .def files.
270         * config/arm/genopt.sh: Deleted.
271         * config/arm/gentune.sh: Deleted.
272         * config/arm/arm-cores.def: Deleted.
273         * config/arm/arm-arches.def: Deleted.
274         * config/arm/arm-fpus.def: Deleted.
275         * config/arm/arm-tune.md: Regenerated.
276         * config/arm/arm-tables.opt: Regenerated.
277         * config/arm/arm-cpu.h: New generated file.
278         * config/arm/arm-cpu-data.h: New generated file.
279         * config/arm/arm-cpu-cdata.h: New generated file.
281 2017-01-11  Maxim Ostapenko  <m.ostapenko@samsung.com>
283         PR lto/79042
284         * lto-cgraph.c (lto_output_varpool_node): Pack dynamically_initialized
285         bit.
286         (input_varpool_node): Unpack dynamically_initialized bit.
288 2017-01-11  Eric Botcazou  <ebotcazou@adacore.com>
290         PR rtl-optimization/79032
291         * lra-constraints.c (simplify_operand_subreg): In the MEM case, test
292         the alignment of the adjusted memory reference against that of MODE,
293         instead of the alignment of the original memory reference.
295 2017-01-11  Martin Jambor  <mjambor@suse.cz>
297         * hsa.c (hsa_callable_function_p): Revert addition of DECL_ARTIFICIAL
298         test.
299         * ipa-hsa.c (process_hsa_functions): Only duplicate non-artificial
300         decorated functions.
302 2017-01-11  Richard Biener  <rguenther@suse.de>
304         * tree-vrp.c (evrp_dom_walker::before_dom_children): Also
305         set range/nonnull info for PHI results.  Do not set it on
306         stmts marked for removal.
308 2017-01-10  Eric Botcazou  <ebotcazou@adacore.com>
310         * expr.c (store_field): In the bitfield case, fetch the return value
311         from the registers before applying a single big-endian adjustment.
312         Always do a final load for a BLKmode value not larger than a word.
314 2017-01-10  David Malcolm  <dmalcolm@redhat.com>
316         PR c++/77949
317         * input.c (selftest::test_accessing_ordinary_linemaps): Verify
318         that we correctly handle column numbers greater than
319         LINE_MAP_MAX_COLUMN_NUMBER.
321 2017-01-10  Martin Sebor  <msebor@redhat.com>
323         PR middle-end/78245
324         * gimple-ssa-sprintf.c (get_destination_size): Call
325         {init,fini}object_sizes.
326         * tree-object-size.c (addr_object_size): Adjust.
327         (pass_through_call): Adjust.
328         (pass_object_sizes::execute): Adjust.
329         * tree-object-size.h (fini_object_sizes): Declare.
331 2017-01-10  Martin Sebor  <msebor@redhat.com>
333         PR tree-optimization/78775
334         * builtins.c (get_size_range): Move...
335         * calls.c: ...to here.
336         (alloc_max_size): Accept zero argument.
337         (operand_signed_p): Remove.
338         (maybe_warn_alloc_args_overflow): Call get_size_range.
339         * calls.h (get_size_range): Declare.
341 2017-01-10  Joe Seymour  <joe.s@somniumtech.com>
343         * config/msp430/driver-msp430.c (msp430_mcu_data): Sync with data
344         from TI's devices.csv file as of September 2016.
345         * config/msp430/msp430.c (msp430_mcu_data): Likewise.
347 2017-01-10  Sandra Loosemore  <sandra@codesourcery.com>
349         * doc/extend.texi: Tweak formatting to fix overfull hbox warnings.
350         * doc/invoke.texi: Likewise.
351         * doc/md.texi: Likewise.
352         * doc/objc.texi: Likewise.
354 2017-01-10  Joshua Conner  <joshconner@google.com>
356         * config/arm/fuchsia-elf.h: New file.
357         * config/fuchsia.h: New file.
358         * config.gcc (*-*-fuchsia*): Set native_system_header_dir.
359         (aarch64*-*-fuchsia*, arm*-*-fuchsia*, x86_64-*-fuchsia*): Add to
360         targets.
361         * config.host: (aarch64*-*-fuchsia*, arm*-*-fuchsia*): Add to hosts. 
363 2016-01-10  Richard Biener  <rguenther@suse.de>
365         PR tree-optimization/79034
366         * tree-call-cdce.c (shrink_wrap_one_built_in_call_with_conds):
367         Propagate out degenerate PHIs in the joiner.
369 2017-01-10  Martin Liska  <mliska@suse.cz>
371         * ipa-icf.c (sort_sem_items_by_decl_uid): New function.
372         (sort_congruence_classes_by_decl_uid): Likewise.
373         (sort_congruence_class_groups_by_decl_uid): Likewise.
374         (sem_item_optimizer::merge_classes): Sort class, groups in these
375         classes and members in the groups by DECL_UID of declarations.
376         This would make merge operations stable.
378 2017-01-10  Martin Liska  <mliska@suse.cz>
380         * ipa-icf.c (sem_item_optimizer::sem_item_optimizer): Remove
381         usage of m_classes_vec.
382         (sem_item_optimizer::~sem_item_optimizer):  Likewise.
383         (sem_item_optimizer::get_group_by_hash): Likewise.
384         (sem_item_optimizer::subdivide_classes_by_equality): Likewise.
385         (sem_item_optimizer::subdivide_classes_by_sensitive_refs): Likewise.
386         (sem_item_optimizer::verify_classes): Likewise.
387         (sem_item_optimizer::process_cong_reduction): Likewise.
388         (sem_item_optimizer::dump_cong_classes): Likewise.
389         (sem_item_optimizer::merge_classes): Likewise.
390         * ipa-icf.h (congruence_class_hash): Rename from
391         congruence_class_group_hash.  Remove declaration of m_classes_vec.
393 2017-01-10  Andrew Senkevich  <andrew.senkevich@intel.com>
395         * common/config/i386/i386-common.c (OPTION_MASK_ISA_AVX512VPOPCNTDQ_SET,
396         OPTION_MASK_ISA_AVX512VPOPCNTDQ_UNSET): New.
397         * config.gcc: Add avx512vpopcntdqintrin.h.
398         * config/i386/avx512vpopcntdqintrin.h: New.
399         * config/i386/cpuid.h (bit_AVX512VPOPCNTDQ): New.
400         * config/i386/i386-builtin-types.def: Add new types.
401         * config/i386/i386-builtin.def (__builtin_ia32_vpopcountd_v16si,
402         __builtin_ia32_vpopcountd_v16si_mask, __builtin_ia32_vpopcountq_v8di,
403         __builtin_ia32_vpopcountq_v8di_mask): New.
404         * config/i386/i386-c.c (ix86_target_macros_internal): Define
405         __AVX512VPOPCNTDQ__.
406         * config/i386/i386.c (ix86_target_string): Add -mavx512vpopcntdq.
407         (PTA_AVX512VPOPCNTDQ): Define.
408         * config/i386/i386.h (TARGET_AVX512VPOPCNTDQ,
409         TARGET_AVX512VPOPCNTDQ_P): Define.
410         * config/i386/i386.opt: Add mavx512vpopcntdq.
411         * config/i386/immintrin.h: Include avx512vpopcntdqintrin.h.
412         * config/i386/sse.md (define_insn "vpopcount<mode><mask_name>"): New.
414 2017-01-01  Jan Hubicka  <hubicka@ucw.cz>
416         PR middle-end/77484
417         * predict.def (PRED_CALL): Set to 67.
419 2017-01-09  Eric Botcazou  <ebotcazou@adacore.com>
421         * expr.c (store_field): In the bitfield case, if the value comes from
422         a function call and is of an aggregate type returned in registers, do
423         not modify the field mode; extract the value in all cases if the mode
424         is BLKmode and the size is not larger than a word.
426 2017-01-09  Dominique d'Humieres  <dominiq@lps.ens.fr>
428         PR target/71017
429         * config/i386/cpuid.h: Fix undefined behavior.
431 2017-01-04  Jeff Law  <law@redhat.com>
433         PR tree-optimization/79007
434         PR tree-optimization/67955
435         * tree-ssa-alias.c (same_addr_size_stores_p): Only need to be
436         conservative for pt.null when flag_non_call_exceptions is on.
438 2017-01-09  Jakub Jelinek  <jakub@redhat.com>
440         PR translation/79019
441         PR translation/79020
442         * params.def (PARAM_INLINE_MIN_SPEEDUP,
443         PARAM_IPA_CP_SINGLE_CALL_PENALTY,
444         PARAM_USE_AFTER_SCOPE_DIRECT_EMISSION_THRESHOLD): Fix typos
445         in descriptions.
446         * config/avr/avr.opt (maccumulate-args): Likewise.
447         * config/msp430/msp430.opt (mwarn-mcu): Likewise.
448         * common.opt (freport-bug): Likewise.
449         * cif-code.def (CIF_FINAL_ERROR): Likewise.
450         * doc/invoke.texi (ipa-cp-single-call-penalty): Likewise.
451         * config/s390/s390.c (s390_invalid_binary_op): Fix spelling in
452         translatable string.
453         * config/i386/i386.c (function_value_32): Likewise.
454         * config/nios2/nios2.c (nios2_valid_target_attribute_rec): Likewise.
455         * config/msp430/msp430.c (msp430_option_override, msp430_attr):
456         Likewise.
457         * config/msp430/driver-msp430.c (msp430_select_hwmult_lib): Likewise.
458         * common/config/msp430/msp430-common.c (msp430_handle_option):
459         Likewise.
460         * symtab.c (symtab_node::verify_base): Likewise.
461         * opts.c (set_debug_level): Likewise.
462         * tree.c (verify_type_variant): Likewise.  Fix typo in comment.
463         * config/rs6000/rs6000-c.c (altivec_resolve_overloaded_builtin): Add
464         missing whitespace to translatable strings.
465         * config/avr/avr.md (bswapsi2): Fix typo in comment.
466         * config/sh/superh.h: Likewise.
467         * config/i386/xopintrin.h: Likewise.
468         * config/i386/znver1.md: Likewise.
469         * config/rs6000/rs6000.c (struct rs6000_opt_mask): Likewise.
470         * ipa-inline-analysis.c (compute_inline_parameters): Likewise.
471         * double-int.h (struct double_int): Likewise.
472         * double-int.c (div_and_round_double): Likewise.
473         * wide-int.cc: Likewise.
474         * tree-ssa.c (non_rewritable_mem_ref_base): Likewise.
475         * tree-ssa-sccvn.c (vn_reference_lookup_3): Likewise.
476         * cfgcleanup.c (crossjumps_occured): Renamed to ...
477         (crossjumps_occurred): ... this.
478         (try_crossjump_bb, try_head_merge_bb, try_optimize_cfg, cleanup_cfg):
479         Adjust all uses.
481         PR tree-optimization/78899
482         * tree-if-conv.c (version_loop_for_if_conversion): Instead of
483         returning bool return struct loop *, NULL for failure and the new
484         loop on success.
485         (versionable_outer_loop_p): Don't version outer loop if it has
486         dont_vectorized bit set.
487         (tree_if_conversion): When versioning outer loop, ensure
488         tree_if_conversion is performed also on the inner loop of the
489         non-vectorizable outer loop copy.
490         * tree-vectorizer.c (set_uid_loop_bbs): Formatting fix.  Fold
491         LOOP_VECTORIZED in inner loop of the scalar outer loop and
492         prevent vectorization of it.
493         (vectorize_loops): For outer + inner LOOP_VECTORIZED, ensure
494         the outer loop vectorization of the non-scalar version is attempted
495         before vectorization of the inner loop in scalar version.  If
496         outer LOOP_VECTORIZED guarded loop is not vectorized, prevent
497         vectorization of its inner loop.
498         * tree-vect-loop-manip.c (rename_variables_in_bb): If outer_loop
499         has 2 inner loops, rename also on edges from bb whose single pred
500         is outer_loop->header.  Fix typo in function comment.
502 2017-01-09  Martin Sebor  <msebor@redhat.com>
504         PR bootstrap/79033
505         * asan.c (asan_emit_stack_protection): Increase local buffer size
506         to avoid snprintf truncation warning.
508 2017-01-09  Andrew Pinski  <apinski@cavium.com>
510         * config/aarch64/aarch64-cores.def: Add thunderx2t99.  Change vulcan
511         to reference thunderx2t99 for the tuning structure
512         * config/aarch64/aarch64-cost-tables.h (vulcan_extra_costs):
513         Rename to ...
514         (thunderx2t99_extra_costs): This.
515         * config/aarch64/aarch64-tune.md: Regenerate.
516         * config/aarch64/aarch64.c (vulcan_addrcost_table): Rename to ...
517         (vulcan_addrcost_table): This.
518         (vulcan_regmove_cost): Rename to ...
519         (thunderx2t99_regmove_cost): This.
520         (vulcan_vector_cost): Rename to ...
521         (thunderx2t99_vector_cost): this.
522         (vulcan_branch_cost): Rename to ...
523         (thunderx2t99_branch_cost): This.
524         (vulcan_tunings): Rename to ...
525         (thunderx2t99_tunings): This and s/vulcan/thunderx2t99 .
526         * doc/invoke.texi (AARCH64/mtune): Add thunderx2t99.
528 2017-01-09  Martin Jambor  <mjambor@suse.cz>
530         PR ipa/78365
531         PR ipa/78599
532         * ipa-prop.h (ipa_jump_func): Swap positions of vr_known and m_vr.
533         * ipa-cp.c (ipa_vr_operation_and_type_effects): New function.
534         (propagate_vr_accross_jump_function): Use the above function for all
535         value range computations for pass-through jump functions and type
536         converasion from explicit value range values.
537         (ipcp_propagate_stage): Do not attempt to deduce types of formal
538         parameters from TYPE_ARG_TYPES.
539         * ipa-prop.c (ipa_write_jump_function): Remove trailing whitespace.
540         (ipa_write_node_info): Stream type of the actual argument.
541         (ipa_read_node_info): Likewise. Also remove trailing whitespace.
543 2017-01-09  Martin Liska  <mliska@suse.cz>
545         PR pch/78970
546         * gcc.c (driver_handle_option): Handle OPT_E and set have_E.
547         (lookup_compiler): Do not show error message with have_E.
549 2017-01-09  Jakub Jelinek  <jakub@redhat.com>
551         PR tree-optimization/78938
552         * tree-vect-stmts.c (vectorizable_condition): For non-masked COND_EXPR
553         where comp_vectype is VECTOR_BOOLEAN_TYPE_P, use
554         BIT_{NOT,XOR,AND,IOR}_EXPR on the comparison operands instead of
555         {EQ,NE,GE,GT,LE,LT}_EXPR directly inside of VEC_COND_EXPR.  Formatting
556         fixes.
558 2017-01-09  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
560         * tree-ssa-address.c (gen_addr_rtx): Don't handle index if it
561         is const0_rtx.
563 2017-01-09  Richard Biener  <rguenther@suse.de>
565         PR tree-optimization/78997
566         * tree-vect-slp.c (vect_mask_constant_operand_p): Handle SSA
567         name condition properly.
569 2017-01-09  Richard Biener  <rguenther@suse.de>
571         PR debug/79000
572         * dwarf2out.c (is_cxx): New overload with context.
573         (is_naming_typedef_decl): Use it.
575 2017-01-08  Sandra Loosemore  <sandra@codesourcery.com>
577         * invoke.texi (Option Summary): Correct spacing in option lists
578         and add line breaks to fix over-long lines.
580 2017-01-08  Sandra Loosemore  <sandra@codesourcery.com>
582         PR middle-end/17660
584         * extend.texi (Common Variable Attributes): Add xref to GCC
585         Internals manual to explain mode attribute keywords.
587 2017-01-08  Sandra Loosemore  <sandra@codesourcery.com>
589         PR other/16519
590         * doc/invoke.texi (Option Summary): Move -pthread to Linker Options
591         and Preprocessor Options.
592         (Options for Linking): Document -pthread here....
593         (RS/6000 and PowerPC Options): ...not here.
594         (Solaris 2 Options): ...or here.
595         * doc/cppopts.texi: Document -pthread.
597 2017-01-08  Martin Sebor  <msebor@redhat.com>
599         PR middle-end/77708
600         * doc/invoke.texi (Warning Options): Document -Wformat-truncation.
601         * gimple-ssa-sprintf.c (call_info::reval_used, call_info::warnopt):
602         New member functions.
603         (format_directive): Used them.
604         (add_bytes): Same.
605         (pass_sprintf_length::handle_gimple_call): Same.
606         * graphite-sese-to-poly.c (tree_int_to_gmp): Increase buffer size
607         to avoid truncation for any argument.
608         (extract_affine_mul): Same.
609         * tree.c (get_file_function_name): Same.
611 2017-01-01  Jan Hubicka  <hubicka@ucw.cz>
613         PR middle-end/77484
614         * predict.def (PRED_INDIR_CALL): Set to 86.
616 2017-01-07  Sandra Loosemore  <sandra@codesourcery.com>
618         PR preprocessor/54124
619         * doc/cppopts.texi: Reformat -d subtable to list the full name
620         of the options.  Add cross-reference to the docs for the general
621         compiler -d options.
622         * doc/invoke.texi (Developer Options): Add cross-reference to the
623         preprocessor-specific -d option documentation.
625 2017-01-07  Sandra Loosemore  <sandra@codesourcery.com>
627         PR preprocessor/13498
628         * doc/cpp.texi (Search Path): Rewrite to remove obsolete and
629         redudant material, and reflect new command-line options.
630         (System Headers): Likewise.
632 2017-01-07  Sandra Loosemore  <sandra@codesourcery.com>
634         * doc/cppdiropts.texi: Merge documentation of -I, -iquote,
635         -isystem, and -idirafter.  Copy-edit.
636         * doc/cppopts.texi: Copy-edit.  Remove contradiction about
637         default for -ftrack-macro-expansion.  Delete obsolete and
638         badly-formatted implementation details about -fdebug-cpp output.
639         * doc/cppwarnopts.texi: Copy-edit.
641 2017-01-07  David Malcolm  <dmalcolm@redhat.com>
643         PR c++/72803
644         * input.c (selftest::test_accessing_ordinary_linemaps): Verify
645         that the transition from a max line width >= 1<<10 to narrower
646         lines works correctly.
648 2017-01-07  Alexandre Oliva <aoliva@redhat.com>
650         * doc/options.texi (PerFunction): New.
651         * opt-functions.awk (switch_flags): Map both Optimization and
652         PerFunction to CL_OPTIMIZATION.
653         * opth-gen.awk: Test for PerFunction flag along with
654         Optimization.
655         * optc-save-gen.awk: Likewise.  Introduce var_opt_hash and set
656         it only when the latter is present.  Skip those that don't in
657         the hash function generator.
658         * common.opt (fvar-tracking): Mark as PerFunction instead of
659         Optimization.
660         (fvar-tracking-assignments): Likewise.
661         (fvar-tracking-assignments-toggle): Likewise.
662         (fvar-tracking-uninit): Likewise.
664 2017-01-07  Jakub Jelinek  <jakub@redhat.com>
666         PR translation/79018
667         * params.def (PARAM_MAX_STORES_TO_MERGE): Add missing space between
668         the and store.
670 2017-01-06  Mikael Pettersson  <mikpelinux@gmail.com>
672         PR target/57583
673         * config/m68k/m68k.opt (LONG_JUMP_TABLE_OFFSETS): New option.
674         * config/m68k/linux.h (ASM_RETURN_CASE_JUMP): Handle
675         TARGET_LONG_JUMP_TABLE_OFFSETS.
676         * config/m68k/m68kelf.h (ASM_RETURN_CASE_JUMP): Likewise.
677         * config/m68k/netbsd-elf.h (ASM_RETURN_CASE_JUMP): Likewise.
678         * config/m68k/m68k.h (CASE_VECTOR_MODE): Likewise.
679         (ASM_OUTPUT_ADDR_DIFF_ELF): Likewise.
680         * config/m68k/m68k.md (tablejump expander): Likewise.
681         (*tablejump_pcrel_hi): Renamed from unnamed insn, reject
682         TARGET_LONG_JUMP_TABLE_OFFSETS.
683         (*tablejump_pcrel_si): New insn, handle TARGET_LONG_JUMP_TABLE_OFFSETS.
684         * doc/invoke.texi (M68K options): Add -mlong-jump-table-offsets.
686 2017-01-06  Edgar E. Iglesias <edgar.iglesias@xilinx.com>
687             David Holsgrove <david.holsgrove@xilinx.com>
689         * common/config/microblaze/microblaze-common.c
690         (TARGET_EXCEPT_UNWIND_INFO): Remove.
691         * config/microblaze/microblaze-protos.h (microblaze_eh_return):
692         New prototype.
693         * config/microblaze/microblaze.c (microblaze_must_save_register)
694         (microblaze_expand_epilogue, microblaze_return_addr): Handle
695         calls_eh_return.
696         (microblaze_eh_return): New function.
697         * config/microblaze/microblaze.h (RETURN_ADDR_OFFSET)
698         (EH_RETURN_DATA_REGNO, MB_EH_STACKADJ_REGNUM)
699         (EH_RETURN_STACKADJ_RTX, ASM_PREFERRED_EH_DATA_FORMAT): New macros.
700         * config/microblaze/microblaze.md (eh_return): New pattern.
702 2017-01-06  Jakub Jelinek  <jakub@redhat.com>
704         * system.h (GCC_DIAGNOSTIC_PUSH_IGNORED, GCC_DIAGNOSTIC_POP,
705         GCC_DIAGNOSTIC_STRINGIFY): Define.
707         * read-rtl.c (rtx_reader::read_rtx_code): Avoid -Wsign-compare warning.
709 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
711         * config/arm/arm.md (<mcrr>): New.
712         (<mrrc>): New.
713         * config/arm/arm.c (arm_arch5te): New.
714         (arm_option_override): Set arm_arch5te.
715         (arm_coproc_builtin_available): Add support for mcrr, mcrr2, mrrc
716         and mrrc2.
717         * config/arm/arm-builtins.c (MCRR_QUALIFIERS): Define to...
718         (arm_mcrr_qualifiers): ... this. New.
719         (MRRC_QUALIFIERS): Define to...
720         (arm_mrrc_qualifiers): ... this. New.
721         * config/arm/arm_acle.h (__arm_mcrr, __arm_mcrr2, __arm_mrrc,
722         __arm_mrrc2): New.
723         * config/arm/arm_acle_builtins.def (mcrr, mcrr2, mrrc, mrrc2): New.
724         * config/arm/iterators.md (MCRRI, mcrr, MCRR): New.
725         (MRRCI, mrrc, MRRC): New.
726         * config/arm/unspecs.md (VUNSPEC_MCRR, VUNSPEC_MCRR2, VUNSPEC_MRRC,
727         VUNSPEC_MRRC2): New.
729 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
731         * config/arm/arm.md (<mcr>): New.
732         (<mrc>): New.
733         * config/arm/arm.c (arm_coproc_builtin_available): Add
734         support for mcr, mrc, mcr2 and mrc2.
735         * config/arm/arm-builtins.c (MCR_QUALIFIERS): Define to...
736         (arm_mcr_qualifiers): ... this. New.
737         (MRC_QUALIFIERS): Define to ...
738         (arm_mrc_qualifiers): ... this. New.
739         (MCR_QUALIFIERS): Define to ...
740         (arm_mcr_qualifiers): ... this. New.
741         * config/arm/arm_acle.h (__arm_mcr, __arm_mrc, __arm_mcr2,
742         __arm_mrc2): New.
743         * config/arm/arm_acle_builtins.def (mcr, mcr2, mrc, mrc2): New.
744         * config/arm/iterators.md (MCRI, mcr, MCR, MRCI, mrc, MRC): New.
745         * config/arm/unspecs.md (VUNSPEC_MCR, VUNSPEC_MCR2, VUNSPEC_MRC,
746         VUNSPEC_MRC2): New.
748 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
750         * config/arm/arm.md (*ldc): New.
751         (*stc): New.
752         (<ldc>): New.
753         (<stc>): New.
754         * config/arm/arm.c (arm_coproc_builtin_available): Add
755         support for ldc,ldcl,stc,stcl,ldc2,ldc2l,stc2 and stc2l.
756         (arm_coproc_ldc_stc_legitimate_address): New.
757         * config/arm/arm-builtins.c (arm_type_qualifiers): Add
758         'qualifier_const_pointer'.
759         (LDC_QUALIFIERS): Define to...
760         (arm_ldc_qualifiers): ... this. New.
761         (STC_QUALIFIERS): Define to...
762         (arm_stc_qualifiers): ... this. New.
763         * config/arm/arm-protos.h
764         (arm_coproc_ldc_stc_legitimate_address): New.
765         * config/arm/arm_acle.h (__arm_ldc, __arm_ldcl, __arm_stc,
766         __arm_stcl, __arm_ldc2, __arm_ldc2l, __arm_stc2, __arm_stc2l): New.
767         * config/arm/arm_acle_builtins.def (ldc, ldc2, ldcl, ldc2l, stc,
768         stc2, stcl, stc2l): New.
769         * config/arm/constraints.md (Uz): New.
770         * config/arm/iterators.md (LDCI, STCI, ldc, stc, LDC STC): New.
771         * config/arm/unspecs.md (VUNSPEC_LDC, VUNSPEC_LDC2, VUNSPEC_LDCL,
772         VUNSPEC_LDC2L, VUNSPEC_STC, VUNSPEC_STC2, VUNSPEC_STCL,
773         VUNSPEC_STC2L): New.
775 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
777         * config/arm/arm.md (<cdp>): New.
778         * config/arm/arm.c (neon_const_bounds): Rename this ...
779         (arm_const_bounds): ... this.
780         (arm_coproc_builtin_available): New.
781         * config/arm/arm-builtins.c (SIMD_MAX_BUILTIN_ARGS): Increase.
782         (arm_type_qualifiers): Add 'qualifier_unsigned_immediate'.
783         (CDP_QUALIFIERS): Define to...
784         (arm_cdp_qualifiers): ... this. New.
785         (void_UP): Define.
786         (arm_expand_builtin_args): Add case for 6 arguments.
787         * config/arm/arm-protos.h (neon_const_bounds): Rename this ...
788         (arm_const_bounds): ... this.
789         (arm_coproc_builtin_available): New.
790         * config/arm/arm_acle.h (__arm_cdp): New.
791         (__arm_cdp2): New.
792         * config/arm/arm_acle_builtins.def (cdp): New.
793         (cdp2): New.
794         * config/arm/iterators.md (CDPI,CDP,cdp): New.
795         * config/arm/neon.md: Rename all 'neon_const_bounds' to
796         'arm_const_bounds'.
797         * config/arm/types.md (coproc): New.
798         * config/arm/unspecs.md (VUNSPEC_CDP, VUNSPEC_CDP2): New.
799         * gcc/doc/extend.texi (ACLE): Add a mention of Coprocessor intrinsics.
800         * gcc/doc/sourcebuild.texi (arm_coproc1_ok, arm_coproc2_ok,
801         arm_coproc3_ok, arm_coproc4_ok): Document new effective targets.
803 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
805         * config/arm/arm-builtins.c (arm_unsigned_binop_qualifiers): New.
806         (UBINOP_QUALIFIERS): New.
807         (si_UP): Define.
808         (acle_builtin_data): New. Change comment.
809         (arm_builtins): Remove ARM_BUILTIN_CRC32B, ARM_BUILTIN_CRC32H,
810         ARM_BUILTIN_CRC32W, ARM_BUILTIN_CRC32CB, ARM_BUILTIN_CRC32CH,
811         ARM_BUILTIN_CRC32CW. Add ARM_BUILTIN_ACLE_BASE and include
812         arm_acle_builtins.def.
813         (ARM_BUILTIN_ACLE_PATTERN_START): Define.
814         (arm_init_acle_builtins): New.
815         (CRC32_BUILTIN): Remove.
816         (bdesc_2arg): Remove entries for crc32b, crc32h, crc32w,
817         crc32cb, crc32ch and crc32cw.
818         (arm_init_crc32_builtins): Remove.
819         (arm_init_builtins): Use arm_init_acle_builtins rather
820         than arm_init_crc32_builtins.
821         (arm_expand_acle_builtin): New.
822         (arm_expand_builtin): Use 'arm_expand_acle_builtin'.
823         * config/arm/arm_acle_builtins.def: New.
825 2017-01-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
827         * config/arm/arm-builtins.c (neon_builtin_datum): Rename to ..
828         (arm_builtin_datum): ... this.
829         (arm_init_neon_builtin): Rename to ...
830         (arm_init_builtin): ... this. Add a new parameters PREFIX
831         and USE_SIG_IN_NAME.
832         (arm_init_neon_builtins): Replace 'arm_init_neon_builtin' with
833         'arm_init_builtin'. Replace type 'neon_builtin_datum' with
834         'arm_builtin_datum'.
835         (arm_init_vfp_builtins): Likewise.
836         (builtin_arg): Rename enum's replacing 'NEON_ARG' with
837         'ARG_BUILTIN' and add a 'ARG_BUILTIN_NEON_MEMORY.
838         (arm_expand_neon_args): Rename to ...
839         (arm_expand_builtin_args): ... this. Rename builtin_arg
840         enum values and differentiate between ARG_BUILTIN_MEMORY
841         and ARG_BUILTIN_NEON_MEMORY.
842         (arm_expand_neon_builtin_1): Rename to ...
843         (arm_expand_builtin_1): ... this. Rename builtin_arg enum
844         values, arm_expand_builtin_args and add bool parameter NEON.
845         (arm_expand_neon_builtin): Use arm_expand_builtin_1.
846         (arm_expand_vfp_builtin): Likewise.
847         (NEON_MAX_BUILTIN_ARGS): Remove, it was unused.
849 2017-01-01  Jan Hubicka  <hubicka@ucw.cz>
851         PR middle-end/77484
852         * predict.def (PRED_POLYMORPHIC_CALL): Set to 59.
853         * predict.c (tree_estimate_probability_bb): Reverse direction of
854         polymorphic call predictor.
856 2017-01-06  David Malcolm  <dmalcolm@redhat.com>
858         * passes.c (execute_one_pass): Split out pass-skipping logic into...
859         (determine_pass_name_match): ...this new function and...
860         (should_skip_pass_p): ...this new function.
862 2017-01-06  Nathan Sidwell  <nathan@acm.org>
864         * ipa-visibility.c (function_and_variable_visibility): Reformat
865         comments and long lines.  Remove extrneous if.
866         * symtab.c (symtab_node::make_decl_local): Fix code format.
867         (symtab_node::set_section_for_node): Fix comment typo.
869 2017-01-06  Martin Liska  <mliska@suse.cz>
871         PR bootstrap/79003
872         * lra-constraints.c: Rename invariant to lra_invariant.
873         * predict.c (set_even_probabilities): Initialize e to NULL.
875 2017-01-05  Martin Sebor  <msebor@redhat.com>
877         PR tree-optimization/78910
878         * gimple-ssa-sprintf.c (tree_digits): Add an argument.
879         (format_integer): Correct off-by-one error in the handling
880         of precision with negative numbers in signed conversions..
882 2017-01-05  Eric Botcazou  <ebotcazou@adacore.com>
884         * doc/invoke.texi (C Dialect Options): Adjust -fsso-struct entry.
886 2017-01-05  Jakub Jelinek  <jakub@redhat.com>
888         PR tree-optimization/71016
889         * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Pass cond_stmt to
890         factor_out_conditional_conversion.  Formatting fix.
891         (factor_out_conditional_conversion): Add cond_stmt argument.
892         If arg1 is INTEGER_CST, punt if new_arg0 is not any operand of
893         cond_stmt and if arg0_def_stmt is not the only stmt in its bb.
894         Formatting fix.
896 2017-01-05  David Malcolm  <dmalcolm@redhat.com>
898         * Makefile.in (OBJS): Add read-md.o, read-rtl.o,
899         read-rtl-function.o, and selftest-rtl.o.
900         * config/aarch64/aarch64.c: Include selftest.h and selftest-rtl.h.
901         (selftest::aarch64_test_loading_full_dump): New function.
902         (selftest::aarch64_run_selftests): New function.
903         (TARGET_RUN_TARGET_SELFTESTS): Wire it up to
904         selftest::aarch64_run_selftests.
905         * config/i386/i386.c
906         (selftest::ix86_test_loading_dump_fragment_1): New function.
907         (selftest::ix86_test_loading_call_insn): New function.
908         (selftest::ix86_test_loading_full_dump): New function.
909         (selftest::ix86_test_loading_unspec): New function.
910         (selftest::ix86_run_selftests): Call the new functions.
911         * emit-rtl.c (maybe_set_max_label_num): New function.
912         * emit-rtl.h (maybe_set_max_label_num): New decl.
913         * function.c (instantiate_decls): Guard call to
914         instantiate_decls_1 with if (DECL_INITIAL (fndecl)).
915         * function-tests.c (selftest::verify_three_block_rtl_cfg): Remove
916         "static".
917         * gensupport.c (gen_reader::gen_reader): Pass "false"
918         for new "compact" param of rtx_reader.
919         * print-rtl.c (rtx_writer::print_rtx_operand): Print "(nil)"
920         rather than an empty string for NULL strings.
921         * read-md.c: Potentially include config.h rather than bconfig.h.
922         Wrap include of errors.h with #ifdef GENERATOR_FILE.
923         (have_error): New global, copied from errors.c.
924         (md_reader::read_name): Rename to...
925         (md_reader::read_name_1): ...this, adding "out_loc" param,
926         and converting "missing name or number" to returning false, rather
927         than failing.
928         (md_reader::read_name): Reimplement in terms of read_name_1.
929         (md_reader::read_name_or_nil): New function.
930         (md_reader::read_string): Handle "(nil)" by returning NULL.
931         (md_reader::md_reader): Add new param "compact".
932         (md_reader::read_md_files): Wrap with #ifdef GENERATOR_FILE.
933         (md_reader::read_file): New method.
934         * read-md.h (md_reader::md_reader): Add new param "compact".
935         (md_reader::read_file): New method.
936         (md_reader::is_compact): New accessor.
937         (md_reader::read_name): Convert return type from void to file_location.
938         (md_reader::read_name_or_nil): New decl.
939         (md_reader::read_name_1): New decl.
940         (md_reader::m_compact): New field.
941         (noop_reader::noop_reader): Pass "false" for new "compact" param
942         of rtx_reader.
943         (rtx_reader::rtx_reader): Add new "compact" param.
944         (rtx_reader::read_rtx_operand): Make virtual and convert return
945         type from void to rtx.
946         (rtx_reader::read_until): New decl.
947         (rtx_reader::handle_any_trailing_information): New virtual function.
948         (rtx_reader::postprocess): New virtual function.
949         (rtx_reader::finalize_string): New virtual function.
950         (rtx_reader::m_in_call_function_usage): New field.
951         (rtx_reader::m_reuse_rtx_by_id): New field.
952         * read-rtl-function.c: New file.
953         * selftest-rtl.c (selftest::assert_rtx_ptr_eq_at): New function.
954         * selftest-rtl.h (ASSERT_RTX_PTR_EQ): New macro.
955         (selftest::verify_three_block_rtl_cfg): New decl.
956         * read-rtl-function.h: New file.
957         * read-rtl.c: Potentially include config.h rather than bconfig.h.
958         For host, include function.h, memmodel.h, and emit-rtl.h.
959         (one_time_initialization): New function.
960         (struct compact_insn_name): New struct.
961         (compact_insn_names): New array.
962         (find_code): Handle insn codes in compact dumps.
963         (apply_subst_iterator): Wrap with #ifdef GENERATOR_FILE.
964         (bind_subst_iter_and_attr): Likewise.
965         (add_condition_to_string): Likewise.
966         (add_condition_to_rtx): Likewise.
967         (apply_attribute_uses): Likewise.
968         (add_current_iterators): Likewise.
969         (apply_iterators): Likewise.
970         (initialize_iterators): Guard usage of apply_subst_iterator with
971         #ifdef GENERATOR_FILE.
972         (read_conditions): Wrap with #ifdef GENERATOR_FILE.
973         (md_reader::read_mapping): Likewise.
974         (add_define_attr_for_define_subst): Likewise.
975         (add_define_subst_attr): Likewise.
976         (read_subst_mapping): Likewise.
977         (check_code_iterator): Likewise.
978         (rtx_reader::read_rtx): Likewise.  Move one-time initialization
979         logic to...
980         (one_time_initialization): New function.
981         (rtx_reader::read_until): New method.
982         (read_flags): New function.
983         (parse_reg_note_name): New function.
984         (rtx_reader::read_rtx_code): Initialize "iterator" to NULL.
985         Handle reuse_rtx ids.
986         Wrap iterator lookup within #ifdef GENERATOR_FILE.
987         Add parsing support for RTL dumps, mirroring the special-cases in
988         print_rtx, by calling read_flags, reading REG_NOTE names, INSN_UID
989         values, and calling handle_any_trailing_information.
990         (rtx_reader::read_rtx_operand): Convert return type from void
991         to rtx, returning return_rtx.  Handle case 'e'.  Call
992         finalize_string on XSTR and XTMPL fields.
993         (rtx_reader::read_nested_rtx):  Handle dumps in which trailing
994          "(nil)" values were omitted.  Call the postprocess vfunc on the
995         return_rtx.
996         (rtx_reader::rtx_reader): Add new "compact" param and pass to base
997         class ctor.  Initialize m_in_call_function_usage.  Call
998         one_time_initialization.
999         * rtl-tests.c (selftest::test_uncond_jump): Call
1000         set_new_first_and_last_insn.
1001         * rtl.h (read_rtx): Wrap decl with #ifdef GENERATOR_FILE.
1002         * selftest-rtl.c: New file.
1003         * selftest-rtl.h (class selftest::rtl_dump_test): New class.
1004         (selftest::get_insn_by_uid): New decl.
1005         * selftest-run-tests.c (selftest::run_tests): Call
1006         read_rtl_function_c_tests.
1007         * selftest.h  (selftest::read_rtl_function_c_tests): New decl.
1008         * tree-dfa.c (ssa_default_def): Return NULL_TREE for rtl function
1009         dumps.
1011 2017-01-05  Uros Bizjak  <ubizjak@gmail.com>
1013         * config/i386/i386.md (*testqi_ext_3): No need to handle memory
1014         operands in a special way.  Assert that pos+len <= mode precision.
1016 2017-01-05  Jakub Jelinek  <jakub@redhat.com>
1018         * common.opt (fvect-cost-model): Remove RejectNegative flag, use
1019         3 argument Alias with unlimited for the negative form.
1020         (fno-vect-cost-model): Removed.
1022 2017-01-05  Martin Liska  <mliska@suse.cz>
1024         * hsa-gen.c (gen_hsa_divmod): New function.
1025         (gen_hsa_insn_for_internal_fn_call): Use the function for IFN_DIVMOD.
1027 2017-01-05  Martin Liska  <mliska@suse.cz>
1029         PR pch/78970
1030         * gcc.c (lookup_compiler): Reject '-' filename for a precompiled
1031         header.
1033 2017-01-05  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>
1035         * config/s390/s390.c (s390_expand_setmem): Unroll the loop for
1036         small constant length operands.
1038 2017-01-05  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>
1040         * config/s390/s390.c (s390_expand_setmem): Avoid overlapping bytes
1041         between loop iterations.
1043 2017-01-05  Martin Liska  <mliska@suse.cz>
1045         PR sanitizer/78815
1046         * gimplify.c (gimplify_decl_expr): Compare to
1047         asan_poisoned_variables instread of checking flags.
1048         (gimplify_target_expr): Likewise.
1049         (gimplify_expr): Likewise.
1050         (gimplify_function_tree): Conditionally initialize
1051         asan_poisoned_variables.
1053 2017-01-04  Jeff Law  <law@redhat.com>
1055         PR tree-optimizatin/78812
1056         * rtl.h (contains_mem_rtx_p): Prototype.
1057         * ifcvt.c (containts_mem_rtx_p): Move from here to...
1058         * rtlanal.c (contains_mem_rtx_p): Here and remove static linkage.
1059         * gcse.c (prune_expressions): Use contains_mem_rtx_p to discover
1060         and prune MEMs that are not at the toplevel of a SET_SRC rtx.  Look
1061         through ZERO_EXTEND and SIGN_EXTEND when trying to avoid pruning MEMs.
1063 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
1065         * input.c (assert_char_at_range): Default-initialize actual_range.
1067 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
1069         * df-scan.c (df_ref_create_structure): Make regno unsigned,
1070         to match the caller.
1072 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
1074         * cfgexpand.c (expand_gimple_basic_block): Disregard debug
1075         insns after final jump in test to emit dummy move.
1077 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
1079         * gimple-iterator.h (gsi_one_nondebug_before_end_p): New.
1080         * tree-eh.c (cleanup_empty_eh): Skip more debug stmts.
1082 2017-01-04  Alexandre Oliva <aoliva@redhat.com>
1084         * multiple_target.c (create_dispatcher_calls): Init e_next.
1085         * tree-ssa-loop-split.c (split_loop): Init border.
1086         * tree-vect-loop.c (vect_determine_vectorization_factor): Init
1087         scalar_type.
1089 2017-01-04  Michael Meissner  <meissner@linux.vnet.ibm.com>
1091         PR target/71977
1092         PR target/70568
1093         PR target/78823
1094         * config/rs6000/predicates.md (sf_subreg_operand): New predicate.
1095         (altivec_register_operand): Do not return true if the operand
1096         contains a SUBREG mixing SImode and SFmode.
1097         (vsx_register_operand): Likewise.
1098         (vsx_reg_sfsubreg_ok): New predicate.
1099         (vfloat_operand): Do not return true if the operand contains a
1100         SUBREG mixing SImode and SFmode.
1101         (vint_operand): Likewise.
1102         (vlogical_operand): Likewise.
1103         (gpc_reg_operand): Likewise.
1104         (int_reg_operand): Likewise.
1105         * config/rs6000/rs6000-protos.h (valid_sf_si_move): Add declaration.
1106         * config/rs6000/rs6000.c (valid_sf_si_move): New function to
1107         determine if a MOVSI or MOVSF operation contains SUBREGs that mix
1108         SImode and SFmode.
1109         (rs6000_emit_move_si_sf_subreg): New helper function.
1110         (rs6000_emit_move): Call rs6000_emit_move_si_sf_subreg to possbily
1111         fixup SUBREGs involving SImode and SFmode.
1112         * config/rs6000/vsx.md (SFBOOL_*): New constants that are operand
1113         numbers for the new peephole2 optimization.
1114         (peephole2 for SFmode unions): New peephole2 to optimize cases in
1115         the GLIBC math library that do AND/IOR/XOR operations on single
1116         precision floating point.
1117         * config/rs6000/rs6000.h (TARGET_NO_SF_SUBREG): New internal
1118         target macros to say whether we need to avoid SUBREGs mixing
1119         SImode and SFmode.
1120         (TARGET_ALLOW_SF_SUBREG): Likewise.
1121         * config/rs6000/rs6000.md (UNSPEC_SF_FROM_SI): New unspecs.
1122         (UNSPEC_SI_FROM_SF): Likewise.
1123         (iorxor): Change spacing.
1124         (and_ior_xor): New iterator for AND, IOR, and XOR.
1125         (movsi_from_sf): New insns for SImode/SFmode SUBREG support.
1126         (movdi_from_sf_zero_ext): Likewise.
1127         (mov<mode>_hardfloat, FMOVE32 iterator): Use register_operand
1128         instead of gpc_reg_operand.  Add SImode/SFmode SUBREG support.
1129         (movsf_from_si): New insn for SImode/SFmode SUBREG support.
1130         (fma<mode>4): Use gpc_reg_operand instead of register_operand.
1131         (fms<mode>4): Likewise.
1132         (fnma<mode>4): Likewise.
1133         (fnms<mode>4): Likewise.
1134         (nfma<mode>4): Likewise.
1135         (nfms<mode>4): Likewise.
1137 2017-01-04  Marek Polacek  <polacek@redhat.com>
1139         PR c++/64767
1140         * doc/invoke.texi: Document -Wpointer-compare.
1142 2017-01-04  Jakub Jelinek  <jakub@redhat.com>
1144         * optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without
1145         RejectNegative.
1147         * dwarf2out.c (output_loc_list): Don't throw away 64K+ location
1148         descriptions for -gdwarf-5 and emit them as uleb128 instead of
1149         2-byte data.
1151 2017-01-04  Kelvin Nilsen  <kelvin@gcc.gnu.org>
1153         PR target/78056
1154         * doc/sourcebuild.texi (PowerPC-specific attributes): Add
1155         documentation of the powerpc_popcntb_ok attribute.
1156         * config/rs6000/rs6000.c (rs6000_option_override_internal): Add
1157         code to issue warning messages if a requested CPU configuration is
1158         not supported by the binary (assembler and loader) toolchain.
1159         (spe_init_builtins): Add two assertions to prevent ICE if attempt is
1160         made to define a built-in function that has been disabled.
1161         (paired_init_builtins): Add assertion to prevent ICE if attempt is
1162         made to define a built-in function that has been disabled.
1163         (altivec_init_builtins): Add comment explaining why definition
1164         of the DST built-in functions is not preceded by an assertion
1165         check.  Add assertions to prevent ICE if attempts are made to
1166         define an altivec predicate or an abs* built-in function that has
1167         been disabled.
1168         (htm_init_builtins): Add comment explaining why definition of the
1169         htm built-in functions is not preceded by an assertion check.
1171 2017-01-04  Jeff Law  <law@redhat.com>
1173         PR tree-optimizatin/67955
1174         * tree-ssa-alias.c (same_addr_size_stores_p): Check offsets first.
1175         Allow any SSA_VAR_P as the base objects.  Use integer_zerop.  Verify
1176         the points-to solution does not include pt_null.  Use DECL_PT_UID
1177         unconditionally.
1179 2017-01-04  Uros Bizjak  <ubizjak@gmail.com>
1181         * config/i386/i386.md (HI/SImode test with imm to QImode splitters):
1182         Use gen_int_mode instead of gen_lopwart for const_int operands.
1184 2017-01-04  Jakub Jelinek  <jakub@redhat.com>
1186         PR tree-optimization/71563
1187         * match.pd: Simplify X << Y into X if Y is known to be 0 or
1188         out of range value - has low bits known to be zero.
1190 2017-01-04  Alan Modra  <amodra@gmail.com>
1192         * Makefile.in (aclocal_deps): Update and order as per aclocal.m4.
1193         * configure: Regenerate.
1194         * config.in: Regenerate.
1196 2017-01-04  Jakub Jelinek  <jakub@redhat.com>
1198         PR bootstrap/77569
1199         * input.c (ebcdic_execution_charset::on_error): Don't use strstr for
1200         a substring of the message, but strcmp with the whole message.  Ifdef
1201         ENABLE_NLS, translate the message first using dgettext.
1203 2017-01-03  Jeff Law  <law@redhat.com>
1205         PR tree-optimizatin/78856
1206         * tree-ssa-threadupdate.c: Include tree-vectorizer.h.
1207         (mark_threaded_blocks): Remove code to truncate thread paths that
1208         cross multiple loop headers.  Instead invalidate the cached loop
1209         iteration information and handle case of a thread path walking
1210         into an irreducible region.
1212 2017-01-03  Michael Meissner  <meissner@linux.vnet.ibm.com>
1214         PR target/78900
1215         * config/rs6000/rs6000.c (rs6000_split_signbit): Change some
1216         assertions.  Add support for doing the signbit if the IEEE 128-bit
1217         floating point value is in a GPR.
1218         * config/rs6000/rs6000.md (Fsignbit): Delete.
1219         (signbit<mode>2_dm): Delete using <Fsignbit> and just use "wa".
1220         Update the length attribute if the value is in a GPR.
1221         (signbit<mode>2_dm_<su>ext): Add combiner pattern to eliminate
1222         the sign or zero extension instruction, since the value is always 0/1.
1223         (signbit<mode>2_dm2): Delete using <Fsignbit>.
1225         PR target/78953
1226         * config/rs6000/vsx.md (vsx_extract_<mode>_store_p9): If we are
1227         extracting SImode to a GPR register so that we can generate a
1228         store, limit the vector to be in a traditional Altivec register
1229         for the vextuwrx instruction.
1231 2017-01-03  Ian Lance Taylor  <iant@google.com>
1233         * godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.
1235 2017-01-03  Martin Sebor  <msebor@redhat.com>
1237         PR tree-optimization/78696
1238         * gimple-ssa-sprintf.c (format_floating): Correct handling of
1239         precision.  Use MPFR for %f for greater fidelity.  Correct handling
1240         of %g.
1241         (pass_sprintf_length::compute_format_length): Set width and precision
1242         specified by asrerisk to void_node for vararg functions.
1243         (try_substitute_return_value): Adjust dump output.
1245 2017-01-03  David Edelsohn  <dje.gcc@gmail.com>
1247         * doc/invoke.texi (RS6000 options): LRA is enabled by default.
1249 2017-01-03  Eric Botcazou  <ebotcazou@adacore.com>
1251         * doc/invoke.texi (SPARC options): Document -mlra as the default.
1252         * config/sparc/sparc.c (sparc_option_override): Force LRA unless
1253         -mlra/-mno-lra was passed to the compiler.
1255 2017-01-03  James Cowgill  <James.Cowgill@imgtec.com>
1257         PR rtl-optimization/65618
1258         * emit-rtl.c (try_split): Move initialization of "before" and
1259         "after" to just before the call to emit_insn_after_setloc.
1261 2017-01-03  Gerald Pfeifer  <gerald@pfeifer.com>
1263         * doc/md.texi (Standard Names): Remove reference to Java frontend.
1265 2017-01-03  Pierre-Marie de Rodat  <derodat@adacore.com>
1267         * dwarf2out.c (gen_enumeration_type_die): When
1268         -gno-strict-dwarf, add a DW_AT_encoding attribute.
1270 2017-01-03  Jakub Jelinek  <jakub@redhat.com>
1272         PR tree-optimization/78965
1273         * gimple-ssa-sprintf.c (pass_sprintf_length::compute_format_length):
1274         Change first argument from const call_info & to call_info &.  For %n
1275         set info.nowrite to false.
1277         PR middle-end/78901
1278         * gimple-ssa-sprintf.c (try_substitute_return_value): Don't change
1279         possibly throwing calls.
1281         * genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME
1282         and exprs_len || fns_len, emit the code for SSA_NAME next to the exprs
1283         and fns handling, rather than in a separate case SSA_NAME.
1285 2017-01-02  Jeff Law  <law@redhat.com>
1287         * config/darwin-driver.c (darwin_driver_init): Const-correctness
1288         fixes for first_period and second_period variables.
1290 2017-01-02  Uros Bizjak  <ubizjak@gmail.com>
1292         PR target/78967
1293         * config/i386/i386.md (UNSPEC_NOREX_MEM): New unspec.
1294         (*insvqi_1): New insn pattern.
1295         (*insvqi_1_mem_rex64): Ditto.
1296         (*insvqi_2): Ditto.
1297         (*insvqi_3): Rename from *insvqi.
1299         (*extzvqi_mem_rex64): Add UNSPEC_NOREX_MEM tag.
1301 2017-01-02  Gerald Pfeifer  <gerald@pfeifer.com>
1303         * doc/cfg.texi (Edges): Remove reference to Java.
1304         (Maintaining the CFG): Ditto.
1306 2017-01-01  Jan Hubicka  <hubicka@ucw.cz>
1308         PR middle-end/77674
1309         * symtab.c (symtab_node::binds_to_current_def_p): Fix handling of
1310         transparent aliases.
1312 2017-01-01  Jan Hubicka  <hubicka@ucw.cz>
1314         PR middle-end/77484
1315         * predict.def (PRED_CALL): Update hitrate.
1316         (PRED_INDIR_CALL, PRED_POLYMORPHIC_CALL): New predictors.
1317         * predict.c (tree_estimate_probability_bb): Split CALL predictor
1318         into direct/indirect/polymorphic variants.
1320 2017-01-01  Jakub Jelinek  <jakub@redhat.com>
1322         Update copyright years.
1324         * gcc.c (process_command): Update copyright notice dates.
1325         * gcov-dump.c (print_version): Ditto.
1326         * gcov.c (print_version): Ditto.
1327         * gcov-tool.c (print_version): Ditto.
1328         * gengtype.c (create_file): Ditto.
1329         * doc/cpp.texi: Bump @copying's copyright year.
1330         * doc/cppinternals.texi: Ditto.
1331         * doc/gcc.texi: Ditto.
1332         * doc/gccint.texi: Ditto.
1333         * doc/gcov.texi: Ditto.
1334         * doc/install.texi: Ditto.
1335         * doc/invoke.texi: Ditto.
1337 Copyright (C) 2017 Free Software Foundation, Inc.
1339 Copying and distribution of this file, with or without modification,
1340 are permitted in any medium without royalty provided the copyright
1341 notice and this notice are preserved.