1 2017-01-17 Martin Liska <mliska@suse.cz>
4 * ipa-polymorphic-call.c (contains_type_p): Fix wrong
5 assumption and add comment.
7 2017-01-17 Nathan Sidwell <nathan@acm.org>
9 * ipa-visibility.c (localize_node): New function, broken out of ...
10 (function_and_variable_visibility): ... here. Call it.
12 2017-01-17 Jan Hubicka <hubicka@ucw.cz>
15 * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges):
16 correctly set frequency of oudgoing edge.
17 (duplicate_thread_path): Fix profile updating.
19 2017-01-17 Jakub Jelinek <jakub@redhat.com>
22 * configure.ac: Add GCC_BASE_VER.
23 * Makefile.in (version): Use @get_gcc_base_ver@ instead of cat to get
24 version from BASE-VER file.
25 (CFLAGS-gcc.o): Add -DBASEVER=$(BASEVER_s).
26 (gcc.o): Depend on $(BASEVER).
27 * common.opt (dumpfullversion): New option.
28 * gcc.c (driver_handle_option): Handle OPT_dumpfullversion.
29 * doc/invoke.texi: Document -dumpfullversion.
30 * doc/install.texi: Document --with-gcc-major-version-only.
31 * configure: Regenerated.
33 2017-01-17 Richard Biener <rguenther@suse.de>
35 PR tree-optimization/71433
36 * tree-vrp.c (register_new_assert_for): Merge same asserts
37 on all incoming edges.
38 (process_assert_insertions_for): Handle insertions at the
41 2017-01-17 Gerald Pfeifer <gerald@pfeifer.com>
43 * config/i386/cygwin.h (LIBGCJ_SONAME): Remove.
44 * config/i386/mingw32.h (LIBGCJ_SONAME): Remove.
46 2017-01-17 Kaz Kojima <kkojima@gcc.gnu.org>
49 * config/sh/sh.md (cmpeqsi_t+1): Call copy_rtx to avoid invalid
52 2017-01-17 Alan Modra <amodra@gmail.com>
55 * config/rs6000/rs6000.md (elf_high, elf_low): Disable when pic.
56 * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Don't allow
57 symbolic stack limit when pic.
59 2017-01-16 Martin Sebor <msebor@redhat.com>
61 PR tree-optimization/78608
62 * gimple-ssa-sprintf.c (tree_digits): Avoid negating TYPE_MIN.
64 2017-01-16 Jeff Law <law@redhat.com>
67 2016-12-02 Tadek Kijkowski <tkijkowski@gmail.com>
68 * Makefile.in (PREPROCESSOR_DEFINES): Add a level of indirection
69 for several include directories that may be relative to sysroot.
70 * config/i386/x-mingw32 (gplus_includedir): Define.
71 (gplus_tool_includedir, gplus_backward_include_dir): Likewise.
72 (native_system_includedir): Likewise.
73 * config/i386/mingw32.h (STANDARD_STARTFILE_PREFIX_1): Do not
74 override if TARGET_SYSTEM_ROOT is defined.
75 (NATIVE_SYSTEM_HEADER_DIR): Likewise.
77 PR tree-optimization/79090
78 PR tree-optimization/33562
79 PR tree-optimization/61912
80 PR tree-optimization/77485
81 * tree-ssa-dse.c (compute_trims): Accept STMT argument. Dump STMT
82 and computed trims into the dump file.
84 2017-01-17 Uros Bizjak <ubizjak@gmail.com>
86 * config/i386/i386.h (LIMIT_RELOAD_CLASS): Remove.
88 2017-01-16 Jakub Jelinek <jakub@redhat.com>
91 * gimplify.c (gimplify_init_constructor): If want_value and
92 object == lhs, unshare lhs to avoid invalid tree sharing. Formatting
96 * loop-doloop.c (doloop_modify): Call unshare_all_rtl_in_chain on
97 sequence. Formatting fixes.
98 (doloop_optimize): Formatting fixes.
101 * gcc.c (debug_level_greater_than_spec_func): New function.
102 (static_spec_functions): Add debug-level-gt spec function.
103 (ASM_DEBUG_SPEC, cpp_options): Use %:debug-level-gt(0) instead of
105 * config/darwin.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
106 * config/darwin9.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
107 * common.opt (g, gcoff, gdwarf, gdwarf-, ggdb, gno-pubnames,
108 gpubnames, ggnu-pubnames, gno-record-gcc-switches,
109 grecord-gcc-switches, gno-strict-dwarf, gstrict-dwarf, gstabs,
110 gstabs+, gtoggle, gvms, gxcoff, gxcoff+): Add Driver flag.
112 2017-01-16 Uros Bizjak <ubizjak@gmail.com>
114 * config/i386/i386.h (HARD_REGNO_CALLER_SAVE_MODE): Apply HImode and
115 QImode fixups to general and mask registers only.
117 2017-01-16 Carl Love <cel@us.ibm.com>
119 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Add support
120 for built-in functions
121 vector signed char vec_nabs (vector signed char)
122 vector signed short vec_nabs (vector signed short)
123 vector signed int vec_nabs (vector signed int)
124 vector signed long long vec_nabs (vector signed long long)
125 vector float vec_nabs (vector float)
126 vector double vec_nabs (vector double)
127 * config/rs6000/rs6000-builtin.def: Add definitions for NABS functions
129 * config/rs6000/altivec.md: New define_expand nabs<mode>2 types
130 * config/rs6000/altivec.h: New define for vec_nabs built-in function.
131 * doc/extend.texi: Update the documentation file for the new built-in
134 2017-01-16 Martin Sebor <msebor@redhat.com>
136 * gimple-ssa-sprintf.c (format_directive): Correct a typo in a warning
139 2017-01-16 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
141 * config/rs6000/rs6000.c (rtx_is_swappable_p): Change
142 UNSPEC_VSX__XXSPLTD to require special splat handling.
144 2017-01-16 David Malcolm <dmalcolm@redhat.com>
147 * system.h: Poison strndup.
149 2017-01-16 Alan Modra <amodra@gmail.com>
152 * config/rs6000/rs6000.c (rs6000_legitimate_combined_insn): Don't
155 2017-01-16 Georg-Johann Lay <avr@gjlay.de>
157 * config/avr/avr.h (BRANCH_COST) [reload_completed]: Increase by 4.
159 2017-01-15 Uros Bizjak <ubizjak@gmail.com>
161 * config/i386/i386.c (ix86_legitimate_combined_insn): Do not
162 call recog here. Assert that INSN_CODE (insn) is non-negative.
164 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
167 * cfgrtl.c (rtl_split_edge): Also patch jump insns that jump to the
169 * haifa-sched.c (dump_insn_stream): Don't crash if there is a label
170 in the currently scheduled RTL fragment.
172 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
174 PR rtl-optimization/78751
175 * ifcvt.c (find_cond_trap): If we generated a non-existing insn,
178 2017-01-14 Jeff Law <law@redhat.com>
180 PR tree-optimization/79090
181 * tree-ssa-dse.c (valid_ao_ref_for_dse): Reject zero length and
182 variable length stores.
183 (compute_trims): Delete dead assignment to *trim_tail.
184 (dse_dom_walker::dse_optimize_stmt): Optimize mem* calls with
187 2017-01-14 Bernd Schmidt <bschmidt@redhat.com>
189 PR rtl-optimization/78626
190 PR rtl-optimization/78727
191 * cprop.c (one_cprop_pass): Collect unconditional traps in the middle
192 of a block, and split such blocks after everything else is finished.
194 2017-01-14 Alan Modra <amodra@gmail.com>
197 * combine.c (recog_for_combine_1): Set INSN_CODE before calling
198 target legitimate_combined_insn.
199 * config/rs6000/rs6000.c (TARGET_LEGITIMATE_COMBINED_INSN): Define.
200 (rs6000_legitimate_combined_insn): New function.
201 * config/rs6000/rs6000.md (UNSPEC_DOLOOP): Delete, and remove
203 (ctr<mode>_internal3): Rename from *ctr<mode>_internal5.
204 (ctr<mode>_internal4): Rename from *ctr<mode>_internal6.
205 (ctr<mode>_internal1, ctr<mode>_internal2): Remove '*' from name.
207 2017-01-14 Gerald Pfeifer <gerald@pfeifer.com>
209 * doc/frontends.texi (G++ and GCC): Remove references to Java.
211 2017-01-13 Jeff Law <law@redhat.com>
213 PR tree-optimization/33562
214 PR tree-optimization/61912
215 PR tree-optimization/77485
216 * tree-ssa-dse.c (delete_dead_call): Accept gsi rather than
218 (delete_dead_assignment): Likewise.
219 (dse_dom_walker::dse_optimize_stmt): Pass in the gsi rather than
220 statement to delete_dead_call and delete_dead_assignment.
222 2017-01-13 David Malcolm <dmalcolm@redhat.com>
225 * substring-locations.c (format_warning_va): Strengthen case 1 so
226 that both endpoints of the substring must be within the format
227 range for just the substring to be printed.
229 2017-01-13 Uros Bizjak <ubizjak@gmail.com>
231 * config/i386/i386.opt (msgx): Use ix86_isa_flags2 variable.
232 * config/i386/i386.c (ix86_target_string): Add missing options
233 to isa_opts and reorder options by implied ISAs. Rename isa_opts2 to
234 isa2_opts, ix86_flag_opts to flag2_opts, ix86_target_other to
235 flags_other and ix86_target_other to flags2_other. Display unknown
237 (ix86_valid_target_attribute_inner_p): Add missing options and
238 reorder options by implied ISAs, as in ix86_target_string.
240 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
242 * hash-table.h (hash_table::too_empty_p): New function.
243 (hash_table::expand): Use it.
244 (hash_table::traverse): Likewise.
245 (hash_table::empty_slot): Use sizeof (value_type) instead of
246 sizeof (PTR) to convert bytes to elements. Shrink the table
247 if the current size is excessive for the current number of
250 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
252 * ira-costs.c (record_reg_classes): Break from the inner loop
253 early once alt_fail is known to be true. Update outer loop
254 handling accordingly.
256 2017-01-13 Jeff Law <law@redhat.com>
258 * tree-ssa-dse.c (decrement_count): New function.
259 (increment_start_addr, maybe_trim_memstar_call): Likewise.
260 (dse_dom_walker::optimize_stmt): Call maybe_trim_memstar_call directly
261 when we know the partially dead statement is a mem* function.
263 PR tree-optimization/61912
264 PR tree-optimization/77485
265 * tree-ssa-dse.c: Include expr.h.
266 (maybe_trim_constructor_store): New function.
267 (maybe_trim_partially_dead_store): Call maybe_trim_constructor_store.
269 PR tree-optimization/33562
270 PR tree-optimization/61912
271 PR tree-optimization/77485
272 * doc/invoke.texi: Document new dse-max-object-size param.
273 * params.def (PARM_DSE_MAX_OBJECT_SIZE): New PARAM.
274 * tree-ssa-dse.c: Include params.h.
275 (dse_store_status): New enum.
276 (initialize_ao_ref_for_dse): New, partially extracted from
278 (valid_ao_ref_for_dse, normalize_ref): New.
279 (setup_live_bytes_from_ref, compute_trims): Likewise.
280 (clear_bytes_written_by, maybe_trim_complex_store): Likewise.
281 (maybe_trim_partially_dead_store): Likewise.
282 (maybe_trim_complex_store): Likewise.
283 (dse_classify_store): Renamed from dse_possibly_dead_store_p.
284 Track what bytes live from the original store. Return tri-state
285 for dead, partially dead or live.
286 (dse_dom_walker): Add constructor, destructor and new private members.
287 (delete_dead_call, delete_dead_assignment): New extracted from
289 (dse_optimize_stmt): Make a member of dse_dom_walker.
290 Use initialize_ao_ref_for_dse.
292 PR tree-optimization/33562
293 PR tree-optimization/61912
294 PR tree-optimization/77485
295 * sbitmap.h (bitmap_count_bits): Prototype.
296 (bitmap_clear_range, bitmap_set_range): Likewise.
297 * sbitmap.c (bitmap_clear_range): New function.
298 (bitmap_set_range, sbitmap_popcount, bitmap_count_bits): Likewise.
300 2017-01-13 Martin Liska <mliska@suse.cz>
303 * function.c (set_cfun): Add new argument force.
304 * function.h (set_cfun): Likewise.
305 * ipa-inline-transform.c (inline_call): Use the function when
306 strict alising from is dropped for function we inline to.
308 2017-01-13 Richard Biener <rguenther@suse.de>
310 * tree-pretty-print.c (dump_generic_node): Fix inverted condition
311 for dumping GIMPLE INTEGER_CSTs.
313 2017-01-13 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
315 * config/sol2.h (TARGET_OS_CPP_BUILTINS): Define __STDC_VERSION__
316 to 201112L since C++17.
318 2017-01-13 Maxim Ostapenko <m.ostapenko@samsung.com>
321 * asan.c (asan_needs_odr_indicator_p): Don't emit ODR indicators
322 if -fsanitize=kernel-address is present.
324 2017-01-13 Richard Biener <rguenther@suse.de>
326 * tree-pretty-print.c (dump_generic_node): Dump INTEGER_CSTs
327 as _Literal ( type ) number in case usual suffixes do not
328 preserve all information.
330 2017-01-13 Richard Biener <rguenther@suse.de>
332 PR tree-optimization/77283
333 * gimple-ssa-split-paths.c: Include gimple-ssa.h, tree-phinodes.h
335 (is_feasible_trace): Implement a cost model based on joiner
338 2017-01-12 Michael Meissner <meissner@linux.vnet.ibm.com>
341 * config/rs6000/rs6000.md (FP_ISA3): Do not optimize converting
342 char or short to __float128/_Float128 directly.
344 2017-01-12 Martin Sebor <msebor@redhat.com>
346 to -Wformat-overflow.
347 * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust.
348 (min_bytes_remaining): Same.
349 (get_string_length): Same.
350 (format_string): Same.
351 (format_directive): Same.
353 (pass_sprintf_length::handle_gimple_call): Same.
355 2017-01-12 Jakub Jelinek <jakub@redhat.com>
357 * gimple-ssa-sprintf.c (try_substitute_return_value): Remove
358 info.nowrite calls with no lhs that can't throw. Return bool
359 whether gsi_remove has been called or not.
360 (pass_sprintf_length::handle_gimple_call): Return bool whether
361 try_substitute_return_value called gsi_remove. Formatting fix.
362 (pass_sprintf_length::execute): Don't use gsi_remove if
363 handle_gimple_call returned true.
366 * cfgrtl.c (rtl_tidy_fallthru_edge): For any_uncondjump_p that can't
367 be removed due to side-effects, don't remove following barrier nor
368 turn the successor edge into fallthru edge.
370 2017-01-12 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
373 * config/rs6000/rs6000.c (insn_is_swappable_p): Mark
374 element-reversing loads and stores as not swappable.
376 2017-01-12 Nathan Sidwell <nathan@acm.org>
377 Nicolai Stange <nicstange@gmail.com>
379 * combine.c (try_combine): Don't ignore result of overlap checking
380 loop. Combine overlap & asm check into single loop.
382 2017-01-12 Richard Biener <rguenther@suse.de>
384 * tree-pretty-print.c (dump_generic_node): Provide -gimple
385 variant for MEM_REF. Sanitize INTEGER_CST for -gimple.
387 2017-01-12 Richard Biener <rguenther@suse.de>
389 * tree.c (initialize_tree_contains_struct): Make TS_OPTIMIZATION
390 and TS_TARGET_OPTION directly derive from TS_BASE.
391 * tree-core.h (tree_optimization_option): Derive from tree_base.
392 (tree_target_option): Likewise.
394 2017-01-11 Uros Bizjak <ubizjak@gmail.com>
396 * config/i386/i386.c (memory_address_length): Increase len
397 only when rip_relative_addr_p returns false.
399 2017-01-11 Julia Koval <julia.koval@intel.com>
401 * common/config/i386/i386-common.c (OPTION_MASK_ISA_SGX_UNSET): New.
402 (OPTION_MASK_ISA_SGX_SET): New.
403 (ix86_handle_option): Handle OPT_msgx.
404 * config.gcc: Added sgxintrin.h.
405 * config/i386/driver-i386.c (host_detect_local_cpu): Detect sgx.
406 * config/i386/i386-c.c (ix86_target_macros_internal): Define __SGX__.
407 * config/i386/i386.c (ix86_target_string): Add -msgx.
409 (ix86_option_override_internal): Handle new options.
410 (ix86_valid_target_attribute_inner_p): Add sgx.
411 * config/i386/i386.h (TARGET_SGX, TARGET_SGX_P): New.
412 * config/i386/i386.opt: Add msgx.
413 * config/i386/sgxintrin.h: New file.
414 * config/i386/x86intrin.h: Add sgxintrin.h.
416 2017-01-11 Jakub Jelinek <jakub@redhat.com>
419 * fold-const.c (maybe_nonzero_address): Return 1 for function
421 (tree_single_nonzero_warnv_p): Don't handle function local objects
425 * gcc.c (default_compilers): Don't add -o %g.s for -S -save-temps
428 2017-01-11 David Malcolm <dmalcolm@redhat.com>
431 * opts.c: Include "spellcheck.h"
432 (struct string_fragment): New struct.
433 (struct edit_distance_traits<const string_fragment &>): New
435 (get_closest_sanitizer_option): New function.
436 (parse_sanitizer_options): Offer suggestions for unrecognized arguments.
438 2017-01-11 Jakub Jelinek <jakub@redhat.com>
440 * dwarf2out.c (DWARF_COMPILE_UNIT_HEADER_SIZE): For DWARF5 decrease
442 (DWARF_COMDAT_TYPE_UNIT_HEADER_SIZE): Always
443 DWARF_COMPILE_UNIT_HEADER_SIZE plus 12.
444 (DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE): Define.
445 (calc_base_type_die_sizes): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE
446 for initial die_offset if dwarf_split_debug_info.
447 (output_comp_unit): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE for
448 initial next_die_offset if dwo_id is non-NULL. Don't emit padding
450 (output_skeleton_debug_sections): Formatting fix. Use
451 DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE instead of
452 DWARF_COMPILE_UNIT_HEADER_SIZE. Don't emit padding.
454 2017-01-11 Wilco Dijkstra <wdijkstr@arm.com>
456 * config/arm/cortex-a53.md: Add bypasses for
458 (cortex_a53_r2f): Only use for transfers.
459 (cortex_a53_f2r): Likewise.
460 (cortex_a53_r2f_cvt): Add reservation for conversions.
461 (cortex_a53_f2r_cvt): Likewise.
463 2017-01-11 Tamar Christina <tamar.christina@arm.com>
465 * config/arm/arm_neon.h: Add __artificial__ and gnu_inline
466 to all inlined functions, change static to extern.
468 2017-01-11 Christophe Lyon <christophe.lyon@linaro.org>
471 * config/arm/arm.c (legitimize_pic_address): Handle reference to
473 (arm_assemble_integer): Likewise.
475 2017-01-11 Richard Earnshaw <rearnsha@arm.com>
477 * config.gcc: Use new awk script to check CPU, FPU and architecture
478 parameters for --with-... options.
479 * config/arm/parsecpu.awk: New file
480 * config/arm/arm-cpus.in: New file.
481 * config/arm/arm-opts.h: Include arm-cpu.h instead of processing .def
483 * config/arm/arm.c: Include arm-cpu-data.h instead of processing .def
485 * config/arm/t-arm: Update dependency rules.
486 * common/config/arm/arm-common.c: Include arm-cpu-cdata.h instead
487 of processing .def files.
488 * config/arm/genopt.sh: Deleted.
489 * config/arm/gentune.sh: Deleted.
490 * config/arm/arm-cores.def: Deleted.
491 * config/arm/arm-arches.def: Deleted.
492 * config/arm/arm-fpus.def: Deleted.
493 * config/arm/arm-tune.md: Regenerated.
494 * config/arm/arm-tables.opt: Regenerated.
495 * config/arm/arm-cpu.h: New generated file.
496 * config/arm/arm-cpu-data.h: New generated file.
497 * config/arm/arm-cpu-cdata.h: New generated file.
499 2017-01-11 Maxim Ostapenko <m.ostapenko@samsung.com>
502 * lto-cgraph.c (lto_output_varpool_node): Pack dynamically_initialized
504 (input_varpool_node): Unpack dynamically_initialized bit.
506 2017-01-11 Eric Botcazou <ebotcazou@adacore.com>
508 PR rtl-optimization/79032
509 * lra-constraints.c (simplify_operand_subreg): In the MEM case, test
510 the alignment of the adjusted memory reference against that of MODE,
511 instead of the alignment of the original memory reference.
513 2017-01-11 Martin Jambor <mjambor@suse.cz>
515 * hsa.c (hsa_callable_function_p): Revert addition of DECL_ARTIFICIAL
517 * ipa-hsa.c (process_hsa_functions): Only duplicate non-artificial
520 2017-01-11 Richard Biener <rguenther@suse.de>
522 * tree-vrp.c (evrp_dom_walker::before_dom_children): Also
523 set range/nonnull info for PHI results. Do not set it on
524 stmts marked for removal.
526 2017-01-10 Eric Botcazou <ebotcazou@adacore.com>
528 * expr.c (store_field): In the bitfield case, fetch the return value
529 from the registers before applying a single big-endian adjustment.
530 Always do a final load for a BLKmode value not larger than a word.
532 2017-01-10 David Malcolm <dmalcolm@redhat.com>
535 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
536 that we correctly handle column numbers greater than
537 LINE_MAP_MAX_COLUMN_NUMBER.
539 2017-01-10 Martin Sebor <msebor@redhat.com>
542 * gimple-ssa-sprintf.c (get_destination_size): Call
543 {init,fini}object_sizes.
544 * tree-object-size.c (addr_object_size): Adjust.
545 (pass_through_call): Adjust.
546 (pass_object_sizes::execute): Adjust.
547 * tree-object-size.h (fini_object_sizes): Declare.
549 2017-01-10 Martin Sebor <msebor@redhat.com>
551 PR tree-optimization/78775
552 * builtins.c (get_size_range): Move...
553 * calls.c: ...to here.
554 (alloc_max_size): Accept zero argument.
555 (operand_signed_p): Remove.
556 (maybe_warn_alloc_args_overflow): Call get_size_range.
557 * calls.h (get_size_range): Declare.
559 2017-01-10 Joe Seymour <joe.s@somniumtech.com>
561 * config/msp430/driver-msp430.c (msp430_mcu_data): Sync with data
562 from TI's devices.csv file as of September 2016.
563 * config/msp430/msp430.c (msp430_mcu_data): Likewise.
565 2017-01-10 Sandra Loosemore <sandra@codesourcery.com>
567 * doc/extend.texi: Tweak formatting to fix overfull hbox warnings.
568 * doc/invoke.texi: Likewise.
569 * doc/md.texi: Likewise.
570 * doc/objc.texi: Likewise.
572 2017-01-10 Joshua Conner <joshconner@google.com>
574 * config/arm/fuchsia-elf.h: New file.
575 * config/fuchsia.h: New file.
576 * config.gcc (*-*-fuchsia*): Set native_system_header_dir.
577 (aarch64*-*-fuchsia*, arm*-*-fuchsia*, x86_64-*-fuchsia*): Add to
579 * config.host: (aarch64*-*-fuchsia*, arm*-*-fuchsia*): Add to hosts.
581 2016-01-10 Richard Biener <rguenther@suse.de>
583 PR tree-optimization/79034
584 * tree-call-cdce.c (shrink_wrap_one_built_in_call_with_conds):
585 Propagate out degenerate PHIs in the joiner.
587 2017-01-10 Martin Liska <mliska@suse.cz>
589 * ipa-icf.c (sort_sem_items_by_decl_uid): New function.
590 (sort_congruence_classes_by_decl_uid): Likewise.
591 (sort_congruence_class_groups_by_decl_uid): Likewise.
592 (sem_item_optimizer::merge_classes): Sort class, groups in these
593 classes and members in the groups by DECL_UID of declarations.
594 This would make merge operations stable.
596 2017-01-10 Martin Liska <mliska@suse.cz>
598 * ipa-icf.c (sem_item_optimizer::sem_item_optimizer): Remove
599 usage of m_classes_vec.
600 (sem_item_optimizer::~sem_item_optimizer): Likewise.
601 (sem_item_optimizer::get_group_by_hash): Likewise.
602 (sem_item_optimizer::subdivide_classes_by_equality): Likewise.
603 (sem_item_optimizer::subdivide_classes_by_sensitive_refs): Likewise.
604 (sem_item_optimizer::verify_classes): Likewise.
605 (sem_item_optimizer::process_cong_reduction): Likewise.
606 (sem_item_optimizer::dump_cong_classes): Likewise.
607 (sem_item_optimizer::merge_classes): Likewise.
608 * ipa-icf.h (congruence_class_hash): Rename from
609 congruence_class_group_hash. Remove declaration of m_classes_vec.
611 2017-01-10 Andrew Senkevich <andrew.senkevich@intel.com>
613 * common/config/i386/i386-common.c (OPTION_MASK_ISA_AVX512VPOPCNTDQ_SET,
614 OPTION_MASK_ISA_AVX512VPOPCNTDQ_UNSET): New.
615 * config.gcc: Add avx512vpopcntdqintrin.h.
616 * config/i386/avx512vpopcntdqintrin.h: New.
617 * config/i386/cpuid.h (bit_AVX512VPOPCNTDQ): New.
618 * config/i386/i386-builtin-types.def: Add new types.
619 * config/i386/i386-builtin.def (__builtin_ia32_vpopcountd_v16si,
620 __builtin_ia32_vpopcountd_v16si_mask, __builtin_ia32_vpopcountq_v8di,
621 __builtin_ia32_vpopcountq_v8di_mask): New.
622 * config/i386/i386-c.c (ix86_target_macros_internal): Define
624 * config/i386/i386.c (ix86_target_string): Add -mavx512vpopcntdq.
625 (PTA_AVX512VPOPCNTDQ): Define.
626 * config/i386/i386.h (TARGET_AVX512VPOPCNTDQ,
627 TARGET_AVX512VPOPCNTDQ_P): Define.
628 * config/i386/i386.opt: Add mavx512vpopcntdq.
629 * config/i386/immintrin.h: Include avx512vpopcntdqintrin.h.
630 * config/i386/sse.md (define_insn "vpopcount<mode><mask_name>"): New.
632 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
635 * predict.def (PRED_CALL): Set to 67.
637 2017-01-09 Eric Botcazou <ebotcazou@adacore.com>
639 * expr.c (store_field): In the bitfield case, if the value comes from
640 a function call and is of an aggregate type returned in registers, do
641 not modify the field mode; extract the value in all cases if the mode
642 is BLKmode and the size is not larger than a word.
644 2017-01-09 Dominique d'Humieres <dominiq@lps.ens.fr>
647 * config/i386/cpuid.h: Fix undefined behavior.
649 2017-01-04 Jeff Law <law@redhat.com>
651 PR tree-optimization/79007
652 PR tree-optimization/67955
653 * tree-ssa-alias.c (same_addr_size_stores_p): Only need to be
654 conservative for pt.null when flag_non_call_exceptions is on.
656 2017-01-09 Jakub Jelinek <jakub@redhat.com>
660 * params.def (PARAM_INLINE_MIN_SPEEDUP,
661 PARAM_IPA_CP_SINGLE_CALL_PENALTY,
662 PARAM_USE_AFTER_SCOPE_DIRECT_EMISSION_THRESHOLD): Fix typos
664 * config/avr/avr.opt (maccumulate-args): Likewise.
665 * config/msp430/msp430.opt (mwarn-mcu): Likewise.
666 * common.opt (freport-bug): Likewise.
667 * cif-code.def (CIF_FINAL_ERROR): Likewise.
668 * doc/invoke.texi (ipa-cp-single-call-penalty): Likewise.
669 * config/s390/s390.c (s390_invalid_binary_op): Fix spelling in
671 * config/i386/i386.c (function_value_32): Likewise.
672 * config/nios2/nios2.c (nios2_valid_target_attribute_rec): Likewise.
673 * config/msp430/msp430.c (msp430_option_override, msp430_attr):
675 * config/msp430/driver-msp430.c (msp430_select_hwmult_lib): Likewise.
676 * common/config/msp430/msp430-common.c (msp430_handle_option):
678 * symtab.c (symtab_node::verify_base): Likewise.
679 * opts.c (set_debug_level): Likewise.
680 * tree.c (verify_type_variant): Likewise. Fix typo in comment.
681 * config/rs6000/rs6000-c.c (altivec_resolve_overloaded_builtin): Add
682 missing whitespace to translatable strings.
683 * config/avr/avr.md (bswapsi2): Fix typo in comment.
684 * config/sh/superh.h: Likewise.
685 * config/i386/xopintrin.h: Likewise.
686 * config/i386/znver1.md: Likewise.
687 * config/rs6000/rs6000.c (struct rs6000_opt_mask): Likewise.
688 * ipa-inline-analysis.c (compute_inline_parameters): Likewise.
689 * double-int.h (struct double_int): Likewise.
690 * double-int.c (div_and_round_double): Likewise.
691 * wide-int.cc: Likewise.
692 * tree-ssa.c (non_rewritable_mem_ref_base): Likewise.
693 * tree-ssa-sccvn.c (vn_reference_lookup_3): Likewise.
694 * cfgcleanup.c (crossjumps_occured): Renamed to ...
695 (crossjumps_occurred): ... this.
696 (try_crossjump_bb, try_head_merge_bb, try_optimize_cfg, cleanup_cfg):
699 PR tree-optimization/78899
700 * tree-if-conv.c (version_loop_for_if_conversion): Instead of
701 returning bool return struct loop *, NULL for failure and the new
703 (versionable_outer_loop_p): Don't version outer loop if it has
704 dont_vectorized bit set.
705 (tree_if_conversion): When versioning outer loop, ensure
706 tree_if_conversion is performed also on the inner loop of the
707 non-vectorizable outer loop copy.
708 * tree-vectorizer.c (set_uid_loop_bbs): Formatting fix. Fold
709 LOOP_VECTORIZED in inner loop of the scalar outer loop and
710 prevent vectorization of it.
711 (vectorize_loops): For outer + inner LOOP_VECTORIZED, ensure
712 the outer loop vectorization of the non-scalar version is attempted
713 before vectorization of the inner loop in scalar version. If
714 outer LOOP_VECTORIZED guarded loop is not vectorized, prevent
715 vectorization of its inner loop.
716 * tree-vect-loop-manip.c (rename_variables_in_bb): If outer_loop
717 has 2 inner loops, rename also on edges from bb whose single pred
718 is outer_loop->header. Fix typo in function comment.
720 2017-01-09 Martin Sebor <msebor@redhat.com>
723 * asan.c (asan_emit_stack_protection): Increase local buffer size
724 to avoid snprintf truncation warning.
726 2017-01-09 Andrew Pinski <apinski@cavium.com>
728 * config/aarch64/aarch64-cores.def: Add thunderx2t99. Change vulcan
729 to reference thunderx2t99 for the tuning structure
730 * config/aarch64/aarch64-cost-tables.h (vulcan_extra_costs):
732 (thunderx2t99_extra_costs): This.
733 * config/aarch64/aarch64-tune.md: Regenerate.
734 * config/aarch64/aarch64.c (vulcan_addrcost_table): Rename to ...
735 (vulcan_addrcost_table): This.
736 (vulcan_regmove_cost): Rename to ...
737 (thunderx2t99_regmove_cost): This.
738 (vulcan_vector_cost): Rename to ...
739 (thunderx2t99_vector_cost): this.
740 (vulcan_branch_cost): Rename to ...
741 (thunderx2t99_branch_cost): This.
742 (vulcan_tunings): Rename to ...
743 (thunderx2t99_tunings): This and s/vulcan/thunderx2t99 .
744 * doc/invoke.texi (AARCH64/mtune): Add thunderx2t99.
746 2017-01-09 Martin Jambor <mjambor@suse.cz>
750 * ipa-prop.h (ipa_jump_func): Swap positions of vr_known and m_vr.
751 * ipa-cp.c (ipa_vr_operation_and_type_effects): New function.
752 (propagate_vr_accross_jump_function): Use the above function for all
753 value range computations for pass-through jump functions and type
754 converasion from explicit value range values.
755 (ipcp_propagate_stage): Do not attempt to deduce types of formal
756 parameters from TYPE_ARG_TYPES.
757 * ipa-prop.c (ipa_write_jump_function): Remove trailing whitespace.
758 (ipa_write_node_info): Stream type of the actual argument.
759 (ipa_read_node_info): Likewise. Also remove trailing whitespace.
761 2017-01-09 Martin Liska <mliska@suse.cz>
764 * gcc.c (driver_handle_option): Handle OPT_E and set have_E.
765 (lookup_compiler): Do not show error message with have_E.
767 2017-01-09 Jakub Jelinek <jakub@redhat.com>
769 PR tree-optimization/78938
770 * tree-vect-stmts.c (vectorizable_condition): For non-masked COND_EXPR
771 where comp_vectype is VECTOR_BOOLEAN_TYPE_P, use
772 BIT_{NOT,XOR,AND,IOR}_EXPR on the comparison operands instead of
773 {EQ,NE,GE,GT,LE,LT}_EXPR directly inside of VEC_COND_EXPR. Formatting
776 2017-01-09 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
778 * tree-ssa-address.c (gen_addr_rtx): Don't handle index if it
781 2017-01-09 Richard Biener <rguenther@suse.de>
783 PR tree-optimization/78997
784 * tree-vect-slp.c (vect_mask_constant_operand_p): Handle SSA
785 name condition properly.
787 2017-01-09 Richard Biener <rguenther@suse.de>
790 * dwarf2out.c (is_cxx): New overload with context.
791 (is_naming_typedef_decl): Use it.
793 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
795 * invoke.texi (Option Summary): Correct spacing in option lists
796 and add line breaks to fix over-long lines.
798 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
802 * extend.texi (Common Variable Attributes): Add xref to GCC
803 Internals manual to explain mode attribute keywords.
805 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
808 * doc/invoke.texi (Option Summary): Move -pthread to Linker Options
809 and Preprocessor Options.
810 (Options for Linking): Document -pthread here....
811 (RS/6000 and PowerPC Options): ...not here.
812 (Solaris 2 Options): ...or here.
813 * doc/cppopts.texi: Document -pthread.
815 2017-01-08 Martin Sebor <msebor@redhat.com>
818 * doc/invoke.texi (Warning Options): Document -Wformat-truncation.
819 * gimple-ssa-sprintf.c (call_info::reval_used, call_info::warnopt):
820 New member functions.
821 (format_directive): Used them.
823 (pass_sprintf_length::handle_gimple_call): Same.
824 * graphite-sese-to-poly.c (tree_int_to_gmp): Increase buffer size
825 to avoid truncation for any argument.
826 (extract_affine_mul): Same.
827 * tree.c (get_file_function_name): Same.
829 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
832 * predict.def (PRED_INDIR_CALL): Set to 86.
834 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
836 PR preprocessor/54124
837 * doc/cppopts.texi: Reformat -d subtable to list the full name
838 of the options. Add cross-reference to the docs for the general
840 * doc/invoke.texi (Developer Options): Add cross-reference to the
841 preprocessor-specific -d option documentation.
843 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
845 PR preprocessor/13498
846 * doc/cpp.texi (Search Path): Rewrite to remove obsolete and
847 redudant material, and reflect new command-line options.
848 (System Headers): Likewise.
850 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
852 * doc/cppdiropts.texi: Merge documentation of -I, -iquote,
853 -isystem, and -idirafter. Copy-edit.
854 * doc/cppopts.texi: Copy-edit. Remove contradiction about
855 default for -ftrack-macro-expansion. Delete obsolete and
856 badly-formatted implementation details about -fdebug-cpp output.
857 * doc/cppwarnopts.texi: Copy-edit.
859 2017-01-07 David Malcolm <dmalcolm@redhat.com>
862 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
863 that the transition from a max line width >= 1<<10 to narrower
864 lines works correctly.
866 2017-01-07 Alexandre Oliva <aoliva@redhat.com>
868 * doc/options.texi (PerFunction): New.
869 * opt-functions.awk (switch_flags): Map both Optimization and
870 PerFunction to CL_OPTIMIZATION.
871 * opth-gen.awk: Test for PerFunction flag along with
873 * optc-save-gen.awk: Likewise. Introduce var_opt_hash and set
874 it only when the latter is present. Skip those that don't in
875 the hash function generator.
876 * common.opt (fvar-tracking): Mark as PerFunction instead of
878 (fvar-tracking-assignments): Likewise.
879 (fvar-tracking-assignments-toggle): Likewise.
880 (fvar-tracking-uninit): Likewise.
882 2017-01-07 Jakub Jelinek <jakub@redhat.com>
885 * params.def (PARAM_MAX_STORES_TO_MERGE): Add missing space between
888 2017-01-06 Mikael Pettersson <mikpelinux@gmail.com>
891 * config/m68k/m68k.opt (LONG_JUMP_TABLE_OFFSETS): New option.
892 * config/m68k/linux.h (ASM_RETURN_CASE_JUMP): Handle
893 TARGET_LONG_JUMP_TABLE_OFFSETS.
894 * config/m68k/m68kelf.h (ASM_RETURN_CASE_JUMP): Likewise.
895 * config/m68k/netbsd-elf.h (ASM_RETURN_CASE_JUMP): Likewise.
896 * config/m68k/m68k.h (CASE_VECTOR_MODE): Likewise.
897 (ASM_OUTPUT_ADDR_DIFF_ELF): Likewise.
898 * config/m68k/m68k.md (tablejump expander): Likewise.
899 (*tablejump_pcrel_hi): Renamed from unnamed insn, reject
900 TARGET_LONG_JUMP_TABLE_OFFSETS.
901 (*tablejump_pcrel_si): New insn, handle TARGET_LONG_JUMP_TABLE_OFFSETS.
902 * doc/invoke.texi (M68K options): Add -mlong-jump-table-offsets.
904 2017-01-06 Edgar E. Iglesias <edgar.iglesias@xilinx.com>
905 David Holsgrove <david.holsgrove@xilinx.com>
907 * common/config/microblaze/microblaze-common.c
908 (TARGET_EXCEPT_UNWIND_INFO): Remove.
909 * config/microblaze/microblaze-protos.h (microblaze_eh_return):
911 * config/microblaze/microblaze.c (microblaze_must_save_register)
912 (microblaze_expand_epilogue, microblaze_return_addr): Handle
914 (microblaze_eh_return): New function.
915 * config/microblaze/microblaze.h (RETURN_ADDR_OFFSET)
916 (EH_RETURN_DATA_REGNO, MB_EH_STACKADJ_REGNUM)
917 (EH_RETURN_STACKADJ_RTX, ASM_PREFERRED_EH_DATA_FORMAT): New macros.
918 * config/microblaze/microblaze.md (eh_return): New pattern.
920 2017-01-06 Jakub Jelinek <jakub@redhat.com>
922 * system.h (GCC_DIAGNOSTIC_PUSH_IGNORED, GCC_DIAGNOSTIC_POP,
923 GCC_DIAGNOSTIC_STRINGIFY): Define.
925 * read-rtl.c (rtx_reader::read_rtx_code): Avoid -Wsign-compare warning.
927 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
929 * config/arm/arm.md (<mcrr>): New.
931 * config/arm/arm.c (arm_arch5te): New.
932 (arm_option_override): Set arm_arch5te.
933 (arm_coproc_builtin_available): Add support for mcrr, mcrr2, mrrc
935 * config/arm/arm-builtins.c (MCRR_QUALIFIERS): Define to...
936 (arm_mcrr_qualifiers): ... this. New.
937 (MRRC_QUALIFIERS): Define to...
938 (arm_mrrc_qualifiers): ... this. New.
939 * config/arm/arm_acle.h (__arm_mcrr, __arm_mcrr2, __arm_mrrc,
941 * config/arm/arm_acle_builtins.def (mcrr, mcrr2, mrrc, mrrc2): New.
942 * config/arm/iterators.md (MCRRI, mcrr, MCRR): New.
943 (MRRCI, mrrc, MRRC): New.
944 * config/arm/unspecs.md (VUNSPEC_MCRR, VUNSPEC_MCRR2, VUNSPEC_MRRC,
947 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
949 * config/arm/arm.md (<mcr>): New.
951 * config/arm/arm.c (arm_coproc_builtin_available): Add
952 support for mcr, mrc, mcr2 and mrc2.
953 * config/arm/arm-builtins.c (MCR_QUALIFIERS): Define to...
954 (arm_mcr_qualifiers): ... this. New.
955 (MRC_QUALIFIERS): Define to ...
956 (arm_mrc_qualifiers): ... this. New.
957 (MCR_QUALIFIERS): Define to ...
958 (arm_mcr_qualifiers): ... this. New.
959 * config/arm/arm_acle.h (__arm_mcr, __arm_mrc, __arm_mcr2,
961 * config/arm/arm_acle_builtins.def (mcr, mcr2, mrc, mrc2): New.
962 * config/arm/iterators.md (MCRI, mcr, MCR, MRCI, mrc, MRC): New.
963 * config/arm/unspecs.md (VUNSPEC_MCR, VUNSPEC_MCR2, VUNSPEC_MRC,
966 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
968 * config/arm/arm.md (*ldc): New.
972 * config/arm/arm.c (arm_coproc_builtin_available): Add
973 support for ldc,ldcl,stc,stcl,ldc2,ldc2l,stc2 and stc2l.
974 (arm_coproc_ldc_stc_legitimate_address): New.
975 * config/arm/arm-builtins.c (arm_type_qualifiers): Add
976 'qualifier_const_pointer'.
977 (LDC_QUALIFIERS): Define to...
978 (arm_ldc_qualifiers): ... this. New.
979 (STC_QUALIFIERS): Define to...
980 (arm_stc_qualifiers): ... this. New.
981 * config/arm/arm-protos.h
982 (arm_coproc_ldc_stc_legitimate_address): New.
983 * config/arm/arm_acle.h (__arm_ldc, __arm_ldcl, __arm_stc,
984 __arm_stcl, __arm_ldc2, __arm_ldc2l, __arm_stc2, __arm_stc2l): New.
985 * config/arm/arm_acle_builtins.def (ldc, ldc2, ldcl, ldc2l, stc,
986 stc2, stcl, stc2l): New.
987 * config/arm/constraints.md (Uz): New.
988 * config/arm/iterators.md (LDCI, STCI, ldc, stc, LDC STC): New.
989 * config/arm/unspecs.md (VUNSPEC_LDC, VUNSPEC_LDC2, VUNSPEC_LDCL,
990 VUNSPEC_LDC2L, VUNSPEC_STC, VUNSPEC_STC2, VUNSPEC_STCL,
993 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
995 * config/arm/arm.md (<cdp>): New.
996 * config/arm/arm.c (neon_const_bounds): Rename this ...
997 (arm_const_bounds): ... this.
998 (arm_coproc_builtin_available): New.
999 * config/arm/arm-builtins.c (SIMD_MAX_BUILTIN_ARGS): Increase.
1000 (arm_type_qualifiers): Add 'qualifier_unsigned_immediate'.
1001 (CDP_QUALIFIERS): Define to...
1002 (arm_cdp_qualifiers): ... this. New.
1004 (arm_expand_builtin_args): Add case for 6 arguments.
1005 * config/arm/arm-protos.h (neon_const_bounds): Rename this ...
1006 (arm_const_bounds): ... this.
1007 (arm_coproc_builtin_available): New.
1008 * config/arm/arm_acle.h (__arm_cdp): New.
1010 * config/arm/arm_acle_builtins.def (cdp): New.
1012 * config/arm/iterators.md (CDPI,CDP,cdp): New.
1013 * config/arm/neon.md: Rename all 'neon_const_bounds' to
1015 * config/arm/types.md (coproc): New.
1016 * config/arm/unspecs.md (VUNSPEC_CDP, VUNSPEC_CDP2): New.
1017 * gcc/doc/extend.texi (ACLE): Add a mention of Coprocessor intrinsics.
1018 * gcc/doc/sourcebuild.texi (arm_coproc1_ok, arm_coproc2_ok,
1019 arm_coproc3_ok, arm_coproc4_ok): Document new effective targets.
1021 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
1023 * config/arm/arm-builtins.c (arm_unsigned_binop_qualifiers): New.
1024 (UBINOP_QUALIFIERS): New.
1026 (acle_builtin_data): New. Change comment.
1027 (arm_builtins): Remove ARM_BUILTIN_CRC32B, ARM_BUILTIN_CRC32H,
1028 ARM_BUILTIN_CRC32W, ARM_BUILTIN_CRC32CB, ARM_BUILTIN_CRC32CH,
1029 ARM_BUILTIN_CRC32CW. Add ARM_BUILTIN_ACLE_BASE and include
1030 arm_acle_builtins.def.
1031 (ARM_BUILTIN_ACLE_PATTERN_START): Define.
1032 (arm_init_acle_builtins): New.
1033 (CRC32_BUILTIN): Remove.
1034 (bdesc_2arg): Remove entries for crc32b, crc32h, crc32w,
1035 crc32cb, crc32ch and crc32cw.
1036 (arm_init_crc32_builtins): Remove.
1037 (arm_init_builtins): Use arm_init_acle_builtins rather
1038 than arm_init_crc32_builtins.
1039 (arm_expand_acle_builtin): New.
1040 (arm_expand_builtin): Use 'arm_expand_acle_builtin'.
1041 * config/arm/arm_acle_builtins.def: New.
1043 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
1045 * config/arm/arm-builtins.c (neon_builtin_datum): Rename to ..
1046 (arm_builtin_datum): ... this.
1047 (arm_init_neon_builtin): Rename to ...
1048 (arm_init_builtin): ... this. Add a new parameters PREFIX
1049 and USE_SIG_IN_NAME.
1050 (arm_init_neon_builtins): Replace 'arm_init_neon_builtin' with
1051 'arm_init_builtin'. Replace type 'neon_builtin_datum' with
1052 'arm_builtin_datum'.
1053 (arm_init_vfp_builtins): Likewise.
1054 (builtin_arg): Rename enum's replacing 'NEON_ARG' with
1055 'ARG_BUILTIN' and add a 'ARG_BUILTIN_NEON_MEMORY.
1056 (arm_expand_neon_args): Rename to ...
1057 (arm_expand_builtin_args): ... this. Rename builtin_arg
1058 enum values and differentiate between ARG_BUILTIN_MEMORY
1059 and ARG_BUILTIN_NEON_MEMORY.
1060 (arm_expand_neon_builtin_1): Rename to ...
1061 (arm_expand_builtin_1): ... this. Rename builtin_arg enum
1062 values, arm_expand_builtin_args and add bool parameter NEON.
1063 (arm_expand_neon_builtin): Use arm_expand_builtin_1.
1064 (arm_expand_vfp_builtin): Likewise.
1065 (NEON_MAX_BUILTIN_ARGS): Remove, it was unused.
1067 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
1070 * predict.def (PRED_POLYMORPHIC_CALL): Set to 59.
1071 * predict.c (tree_estimate_probability_bb): Reverse direction of
1072 polymorphic call predictor.
1074 2017-01-06 David Malcolm <dmalcolm@redhat.com>
1076 * passes.c (execute_one_pass): Split out pass-skipping logic into...
1077 (determine_pass_name_match): ...this new function and...
1078 (should_skip_pass_p): ...this new function.
1080 2017-01-06 Nathan Sidwell <nathan@acm.org>
1082 * ipa-visibility.c (function_and_variable_visibility): Reformat
1083 comments and long lines. Remove extrneous if.
1084 * symtab.c (symtab_node::make_decl_local): Fix code format.
1085 (symtab_node::set_section_for_node): Fix comment typo.
1087 2017-01-06 Martin Liska <mliska@suse.cz>
1090 * lra-constraints.c: Rename invariant to lra_invariant.
1091 * predict.c (set_even_probabilities): Initialize e to NULL.
1093 2017-01-05 Martin Sebor <msebor@redhat.com>
1095 PR tree-optimization/78910
1096 * gimple-ssa-sprintf.c (tree_digits): Add an argument.
1097 (format_integer): Correct off-by-one error in the handling
1098 of precision with negative numbers in signed conversions..
1100 2017-01-05 Eric Botcazou <ebotcazou@adacore.com>
1102 * doc/invoke.texi (C Dialect Options): Adjust -fsso-struct entry.
1104 2017-01-05 Jakub Jelinek <jakub@redhat.com>
1106 PR tree-optimization/71016
1107 * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Pass cond_stmt to
1108 factor_out_conditional_conversion. Formatting fix.
1109 (factor_out_conditional_conversion): Add cond_stmt argument.
1110 If arg1 is INTEGER_CST, punt if new_arg0 is not any operand of
1111 cond_stmt and if arg0_def_stmt is not the only stmt in its bb.
1114 2017-01-05 David Malcolm <dmalcolm@redhat.com>
1116 * Makefile.in (OBJS): Add read-md.o, read-rtl.o,
1117 read-rtl-function.o, and selftest-rtl.o.
1118 * config/aarch64/aarch64.c: Include selftest.h and selftest-rtl.h.
1119 (selftest::aarch64_test_loading_full_dump): New function.
1120 (selftest::aarch64_run_selftests): New function.
1121 (TARGET_RUN_TARGET_SELFTESTS): Wire it up to
1122 selftest::aarch64_run_selftests.
1123 * config/i386/i386.c
1124 (selftest::ix86_test_loading_dump_fragment_1): New function.
1125 (selftest::ix86_test_loading_call_insn): New function.
1126 (selftest::ix86_test_loading_full_dump): New function.
1127 (selftest::ix86_test_loading_unspec): New function.
1128 (selftest::ix86_run_selftests): Call the new functions.
1129 * emit-rtl.c (maybe_set_max_label_num): New function.
1130 * emit-rtl.h (maybe_set_max_label_num): New decl.
1131 * function.c (instantiate_decls): Guard call to
1132 instantiate_decls_1 with if (DECL_INITIAL (fndecl)).
1133 * function-tests.c (selftest::verify_three_block_rtl_cfg): Remove
1135 * gensupport.c (gen_reader::gen_reader): Pass "false"
1136 for new "compact" param of rtx_reader.
1137 * print-rtl.c (rtx_writer::print_rtx_operand): Print "(nil)"
1138 rather than an empty string for NULL strings.
1139 * read-md.c: Potentially include config.h rather than bconfig.h.
1140 Wrap include of errors.h with #ifdef GENERATOR_FILE.
1141 (have_error): New global, copied from errors.c.
1142 (md_reader::read_name): Rename to...
1143 (md_reader::read_name_1): ...this, adding "out_loc" param,
1144 and converting "missing name or number" to returning false, rather
1146 (md_reader::read_name): Reimplement in terms of read_name_1.
1147 (md_reader::read_name_or_nil): New function.
1148 (md_reader::read_string): Handle "(nil)" by returning NULL.
1149 (md_reader::md_reader): Add new param "compact".
1150 (md_reader::read_md_files): Wrap with #ifdef GENERATOR_FILE.
1151 (md_reader::read_file): New method.
1152 * read-md.h (md_reader::md_reader): Add new param "compact".
1153 (md_reader::read_file): New method.
1154 (md_reader::is_compact): New accessor.
1155 (md_reader::read_name): Convert return type from void to file_location.
1156 (md_reader::read_name_or_nil): New decl.
1157 (md_reader::read_name_1): New decl.
1158 (md_reader::m_compact): New field.
1159 (noop_reader::noop_reader): Pass "false" for new "compact" param
1161 (rtx_reader::rtx_reader): Add new "compact" param.
1162 (rtx_reader::read_rtx_operand): Make virtual and convert return
1163 type from void to rtx.
1164 (rtx_reader::read_until): New decl.
1165 (rtx_reader::handle_any_trailing_information): New virtual function.
1166 (rtx_reader::postprocess): New virtual function.
1167 (rtx_reader::finalize_string): New virtual function.
1168 (rtx_reader::m_in_call_function_usage): New field.
1169 (rtx_reader::m_reuse_rtx_by_id): New field.
1170 * read-rtl-function.c: New file.
1171 * selftest-rtl.c (selftest::assert_rtx_ptr_eq_at): New function.
1172 * selftest-rtl.h (ASSERT_RTX_PTR_EQ): New macro.
1173 (selftest::verify_three_block_rtl_cfg): New decl.
1174 * read-rtl-function.h: New file.
1175 * read-rtl.c: Potentially include config.h rather than bconfig.h.
1176 For host, include function.h, memmodel.h, and emit-rtl.h.
1177 (one_time_initialization): New function.
1178 (struct compact_insn_name): New struct.
1179 (compact_insn_names): New array.
1180 (find_code): Handle insn codes in compact dumps.
1181 (apply_subst_iterator): Wrap with #ifdef GENERATOR_FILE.
1182 (bind_subst_iter_and_attr): Likewise.
1183 (add_condition_to_string): Likewise.
1184 (add_condition_to_rtx): Likewise.
1185 (apply_attribute_uses): Likewise.
1186 (add_current_iterators): Likewise.
1187 (apply_iterators): Likewise.
1188 (initialize_iterators): Guard usage of apply_subst_iterator with
1189 #ifdef GENERATOR_FILE.
1190 (read_conditions): Wrap with #ifdef GENERATOR_FILE.
1191 (md_reader::read_mapping): Likewise.
1192 (add_define_attr_for_define_subst): Likewise.
1193 (add_define_subst_attr): Likewise.
1194 (read_subst_mapping): Likewise.
1195 (check_code_iterator): Likewise.
1196 (rtx_reader::read_rtx): Likewise. Move one-time initialization
1198 (one_time_initialization): New function.
1199 (rtx_reader::read_until): New method.
1200 (read_flags): New function.
1201 (parse_reg_note_name): New function.
1202 (rtx_reader::read_rtx_code): Initialize "iterator" to NULL.
1203 Handle reuse_rtx ids.
1204 Wrap iterator lookup within #ifdef GENERATOR_FILE.
1205 Add parsing support for RTL dumps, mirroring the special-cases in
1206 print_rtx, by calling read_flags, reading REG_NOTE names, INSN_UID
1207 values, and calling handle_any_trailing_information.
1208 (rtx_reader::read_rtx_operand): Convert return type from void
1209 to rtx, returning return_rtx. Handle case 'e'. Call
1210 finalize_string on XSTR and XTMPL fields.
1211 (rtx_reader::read_nested_rtx): Handle dumps in which trailing
1212 "(nil)" values were omitted. Call the postprocess vfunc on the
1214 (rtx_reader::rtx_reader): Add new "compact" param and pass to base
1215 class ctor. Initialize m_in_call_function_usage. Call
1216 one_time_initialization.
1217 * rtl-tests.c (selftest::test_uncond_jump): Call
1218 set_new_first_and_last_insn.
1219 * rtl.h (read_rtx): Wrap decl with #ifdef GENERATOR_FILE.
1220 * selftest-rtl.c: New file.
1221 * selftest-rtl.h (class selftest::rtl_dump_test): New class.
1222 (selftest::get_insn_by_uid): New decl.
1223 * selftest-run-tests.c (selftest::run_tests): Call
1224 read_rtl_function_c_tests.
1225 * selftest.h (selftest::read_rtl_function_c_tests): New decl.
1226 * tree-dfa.c (ssa_default_def): Return NULL_TREE for rtl function
1229 2017-01-05 Uros Bizjak <ubizjak@gmail.com>
1231 * config/i386/i386.md (*testqi_ext_3): No need to handle memory
1232 operands in a special way. Assert that pos+len <= mode precision.
1234 2017-01-05 Jakub Jelinek <jakub@redhat.com>
1236 * common.opt (fvect-cost-model): Remove RejectNegative flag, use
1237 3 argument Alias with unlimited for the negative form.
1238 (fno-vect-cost-model): Removed.
1240 2017-01-05 Martin Liska <mliska@suse.cz>
1242 * hsa-gen.c (gen_hsa_divmod): New function.
1243 (gen_hsa_insn_for_internal_fn_call): Use the function for IFN_DIVMOD.
1245 2017-01-05 Martin Liska <mliska@suse.cz>
1248 * gcc.c (lookup_compiler): Reject '-' filename for a precompiled
1251 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
1253 * config/s390/s390.c (s390_expand_setmem): Unroll the loop for
1254 small constant length operands.
1256 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
1258 * config/s390/s390.c (s390_expand_setmem): Avoid overlapping bytes
1259 between loop iterations.
1261 2017-01-05 Martin Liska <mliska@suse.cz>
1264 * gimplify.c (gimplify_decl_expr): Compare to
1265 asan_poisoned_variables instread of checking flags.
1266 (gimplify_target_expr): Likewise.
1267 (gimplify_expr): Likewise.
1268 (gimplify_function_tree): Conditionally initialize
1269 asan_poisoned_variables.
1271 2017-01-04 Jeff Law <law@redhat.com>
1273 PR tree-optimizatin/78812
1274 * rtl.h (contains_mem_rtx_p): Prototype.
1275 * ifcvt.c (containts_mem_rtx_p): Move from here to...
1276 * rtlanal.c (contains_mem_rtx_p): Here and remove static linkage.
1277 * gcse.c (prune_expressions): Use contains_mem_rtx_p to discover
1278 and prune MEMs that are not at the toplevel of a SET_SRC rtx. Look
1279 through ZERO_EXTEND and SIGN_EXTEND when trying to avoid pruning MEMs.
1281 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
1283 * input.c (assert_char_at_range): Default-initialize actual_range.
1285 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
1287 * df-scan.c (df_ref_create_structure): Make regno unsigned,
1288 to match the caller.
1290 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
1292 * cfgexpand.c (expand_gimple_basic_block): Disregard debug
1293 insns after final jump in test to emit dummy move.
1295 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
1297 * gimple-iterator.h (gsi_one_nondebug_before_end_p): New.
1298 * tree-eh.c (cleanup_empty_eh): Skip more debug stmts.
1300 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
1302 * multiple_target.c (create_dispatcher_calls): Init e_next.
1303 * tree-ssa-loop-split.c (split_loop): Init border.
1304 * tree-vect-loop.c (vect_determine_vectorization_factor): Init
1307 2017-01-04 Michael Meissner <meissner@linux.vnet.ibm.com>
1312 * config/rs6000/predicates.md (sf_subreg_operand): New predicate.
1313 (altivec_register_operand): Do not return true if the operand
1314 contains a SUBREG mixing SImode and SFmode.
1315 (vsx_register_operand): Likewise.
1316 (vsx_reg_sfsubreg_ok): New predicate.
1317 (vfloat_operand): Do not return true if the operand contains a
1318 SUBREG mixing SImode and SFmode.
1319 (vint_operand): Likewise.
1320 (vlogical_operand): Likewise.
1321 (gpc_reg_operand): Likewise.
1322 (int_reg_operand): Likewise.
1323 * config/rs6000/rs6000-protos.h (valid_sf_si_move): Add declaration.
1324 * config/rs6000/rs6000.c (valid_sf_si_move): New function to
1325 determine if a MOVSI or MOVSF operation contains SUBREGs that mix
1327 (rs6000_emit_move_si_sf_subreg): New helper function.
1328 (rs6000_emit_move): Call rs6000_emit_move_si_sf_subreg to possbily
1329 fixup SUBREGs involving SImode and SFmode.
1330 * config/rs6000/vsx.md (SFBOOL_*): New constants that are operand
1331 numbers for the new peephole2 optimization.
1332 (peephole2 for SFmode unions): New peephole2 to optimize cases in
1333 the GLIBC math library that do AND/IOR/XOR operations on single
1334 precision floating point.
1335 * config/rs6000/rs6000.h (TARGET_NO_SF_SUBREG): New internal
1336 target macros to say whether we need to avoid SUBREGs mixing
1338 (TARGET_ALLOW_SF_SUBREG): Likewise.
1339 * config/rs6000/rs6000.md (UNSPEC_SF_FROM_SI): New unspecs.
1340 (UNSPEC_SI_FROM_SF): Likewise.
1341 (iorxor): Change spacing.
1342 (and_ior_xor): New iterator for AND, IOR, and XOR.
1343 (movsi_from_sf): New insns for SImode/SFmode SUBREG support.
1344 (movdi_from_sf_zero_ext): Likewise.
1345 (mov<mode>_hardfloat, FMOVE32 iterator): Use register_operand
1346 instead of gpc_reg_operand. Add SImode/SFmode SUBREG support.
1347 (movsf_from_si): New insn for SImode/SFmode SUBREG support.
1348 (fma<mode>4): Use gpc_reg_operand instead of register_operand.
1349 (fms<mode>4): Likewise.
1350 (fnma<mode>4): Likewise.
1351 (fnms<mode>4): Likewise.
1352 (nfma<mode>4): Likewise.
1353 (nfms<mode>4): Likewise.
1355 2017-01-04 Marek Polacek <polacek@redhat.com>
1358 * doc/invoke.texi: Document -Wpointer-compare.
1360 2017-01-04 Jakub Jelinek <jakub@redhat.com>
1362 * optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without
1365 * dwarf2out.c (output_loc_list): Don't throw away 64K+ location
1366 descriptions for -gdwarf-5 and emit them as uleb128 instead of
1369 2017-01-04 Kelvin Nilsen <kelvin@gcc.gnu.org>
1372 * doc/sourcebuild.texi (PowerPC-specific attributes): Add
1373 documentation of the powerpc_popcntb_ok attribute.
1374 * config/rs6000/rs6000.c (rs6000_option_override_internal): Add
1375 code to issue warning messages if a requested CPU configuration is
1376 not supported by the binary (assembler and loader) toolchain.
1377 (spe_init_builtins): Add two assertions to prevent ICE if attempt is
1378 made to define a built-in function that has been disabled.
1379 (paired_init_builtins): Add assertion to prevent ICE if attempt is
1380 made to define a built-in function that has been disabled.
1381 (altivec_init_builtins): Add comment explaining why definition
1382 of the DST built-in functions is not preceded by an assertion
1383 check. Add assertions to prevent ICE if attempts are made to
1384 define an altivec predicate or an abs* built-in function that has
1386 (htm_init_builtins): Add comment explaining why definition of the
1387 htm built-in functions is not preceded by an assertion check.
1389 2017-01-04 Jeff Law <law@redhat.com>
1391 PR tree-optimizatin/67955
1392 * tree-ssa-alias.c (same_addr_size_stores_p): Check offsets first.
1393 Allow any SSA_VAR_P as the base objects. Use integer_zerop. Verify
1394 the points-to solution does not include pt_null. Use DECL_PT_UID
1397 2017-01-04 Uros Bizjak <ubizjak@gmail.com>
1399 * config/i386/i386.md (HI/SImode test with imm to QImode splitters):
1400 Use gen_int_mode instead of gen_lopwart for const_int operands.
1402 2017-01-04 Jakub Jelinek <jakub@redhat.com>
1404 PR tree-optimization/71563
1405 * match.pd: Simplify X << Y into X if Y is known to be 0 or
1406 out of range value - has low bits known to be zero.
1408 2017-01-04 Alan Modra <amodra@gmail.com>
1410 * Makefile.in (aclocal_deps): Update and order as per aclocal.m4.
1411 * configure: Regenerate.
1412 * config.in: Regenerate.
1414 2017-01-04 Jakub Jelinek <jakub@redhat.com>
1417 * input.c (ebcdic_execution_charset::on_error): Don't use strstr for
1418 a substring of the message, but strcmp with the whole message. Ifdef
1419 ENABLE_NLS, translate the message first using dgettext.
1421 2017-01-03 Jeff Law <law@redhat.com>
1423 PR tree-optimizatin/78856
1424 * tree-ssa-threadupdate.c: Include tree-vectorizer.h.
1425 (mark_threaded_blocks): Remove code to truncate thread paths that
1426 cross multiple loop headers. Instead invalidate the cached loop
1427 iteration information and handle case of a thread path walking
1428 into an irreducible region.
1430 2017-01-03 Michael Meissner <meissner@linux.vnet.ibm.com>
1433 * config/rs6000/rs6000.c (rs6000_split_signbit): Change some
1434 assertions. Add support for doing the signbit if the IEEE 128-bit
1435 floating point value is in a GPR.
1436 * config/rs6000/rs6000.md (Fsignbit): Delete.
1437 (signbit<mode>2_dm): Delete using <Fsignbit> and just use "wa".
1438 Update the length attribute if the value is in a GPR.
1439 (signbit<mode>2_dm_<su>ext): Add combiner pattern to eliminate
1440 the sign or zero extension instruction, since the value is always 0/1.
1441 (signbit<mode>2_dm2): Delete using <Fsignbit>.
1444 * config/rs6000/vsx.md (vsx_extract_<mode>_store_p9): If we are
1445 extracting SImode to a GPR register so that we can generate a
1446 store, limit the vector to be in a traditional Altivec register
1447 for the vextuwrx instruction.
1449 2017-01-03 Ian Lance Taylor <iant@google.com>
1451 * godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.
1453 2017-01-03 Martin Sebor <msebor@redhat.com>
1455 PR tree-optimization/78696
1456 * gimple-ssa-sprintf.c (format_floating): Correct handling of
1457 precision. Use MPFR for %f for greater fidelity. Correct handling
1459 (pass_sprintf_length::compute_format_length): Set width and precision
1460 specified by asrerisk to void_node for vararg functions.
1461 (try_substitute_return_value): Adjust dump output.
1463 2017-01-03 David Edelsohn <dje.gcc@gmail.com>
1465 * doc/invoke.texi (RS6000 options): LRA is enabled by default.
1467 2017-01-03 Eric Botcazou <ebotcazou@adacore.com>
1469 * doc/invoke.texi (SPARC options): Document -mlra as the default.
1470 * config/sparc/sparc.c (sparc_option_override): Force LRA unless
1471 -mlra/-mno-lra was passed to the compiler.
1473 2017-01-03 James Cowgill <James.Cowgill@imgtec.com>
1475 PR rtl-optimization/65618
1476 * emit-rtl.c (try_split): Move initialization of "before" and
1477 "after" to just before the call to emit_insn_after_setloc.
1479 2017-01-03 Gerald Pfeifer <gerald@pfeifer.com>
1481 * doc/md.texi (Standard Names): Remove reference to Java frontend.
1483 2017-01-03 Pierre-Marie de Rodat <derodat@adacore.com>
1485 * dwarf2out.c (gen_enumeration_type_die): When
1486 -gno-strict-dwarf, add a DW_AT_encoding attribute.
1488 2017-01-03 Jakub Jelinek <jakub@redhat.com>
1490 PR tree-optimization/78965
1491 * gimple-ssa-sprintf.c (pass_sprintf_length::compute_format_length):
1492 Change first argument from const call_info & to call_info &. For %n
1493 set info.nowrite to false.
1496 * gimple-ssa-sprintf.c (try_substitute_return_value): Don't change
1497 possibly throwing calls.
1499 * genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME
1500 and exprs_len || fns_len, emit the code for SSA_NAME next to the exprs
1501 and fns handling, rather than in a separate case SSA_NAME.
1503 2017-01-02 Jeff Law <law@redhat.com>
1505 * config/darwin-driver.c (darwin_driver_init): Const-correctness
1506 fixes for first_period and second_period variables.
1508 2017-01-02 Uros Bizjak <ubizjak@gmail.com>
1511 * config/i386/i386.md (UNSPEC_NOREX_MEM): New unspec.
1512 (*insvqi_1): New insn pattern.
1513 (*insvqi_1_mem_rex64): Ditto.
1515 (*insvqi_3): Rename from *insvqi.
1517 (*extzvqi_mem_rex64): Add UNSPEC_NOREX_MEM tag.
1519 2017-01-02 Gerald Pfeifer <gerald@pfeifer.com>
1521 * doc/cfg.texi (Edges): Remove reference to Java.
1522 (Maintaining the CFG): Ditto.
1524 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
1527 * symtab.c (symtab_node::binds_to_current_def_p): Fix handling of
1528 transparent aliases.
1530 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
1533 * predict.def (PRED_CALL): Update hitrate.
1534 (PRED_INDIR_CALL, PRED_POLYMORPHIC_CALL): New predictors.
1535 * predict.c (tree_estimate_probability_bb): Split CALL predictor
1536 into direct/indirect/polymorphic variants.
1538 2017-01-01 Jakub Jelinek <jakub@redhat.com>
1540 Update copyright years.
1542 * gcc.c (process_command): Update copyright notice dates.
1543 * gcov-dump.c (print_version): Ditto.
1544 * gcov.c (print_version): Ditto.
1545 * gcov-tool.c (print_version): Ditto.
1546 * gengtype.c (create_file): Ditto.
1547 * doc/cpp.texi: Bump @copying's copyright year.
1548 * doc/cppinternals.texi: Ditto.
1549 * doc/gcc.texi: Ditto.
1550 * doc/gccint.texi: Ditto.
1551 * doc/gcov.texi: Ditto.
1552 * doc/install.texi: Ditto.
1553 * doc/invoke.texi: Ditto.
1555 Copyright (C) 2017 Free Software Foundation, Inc.
1557 Copying and distribution of this file, with or without modification,
1558 are permitted in any medium without royalty provided the copyright
1559 notice and this notice are preserved.