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