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