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