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