1 2017-03-20 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
4 * config/s390/s390.md ("cmp<mode>_ccs_0"): Add a clobber of the
5 target operand. A new splitter adds the clobber statement in case
6 the target operand is dead anyway.
8 2017-03-19 Gerald Pfeifer <gerald@pfeifer.com>
10 * doc/install.texi (Specific) <sparc-*-linux*>: No longer refer
11 to age-old versions of binutils and glibc.
13 2017-03-18 Segher Boessenkool <segher@kernel.crashing.org>
15 * doc/contrib.texi (Contributors): Remove duplicate entry for myself.
17 2017-03-18 Gerald Pfeifer <gerald@pfeifer.com>
19 * doc/contrib.texi (Contributors): Add Segher Boessenkool.
21 2017-03-18 Gerald Pfeifer <gerald@pfeifer.com>
23 * doc/install.texi (Specific) <arm-*-eabi>: Remove old
24 requirement for binutils 2.13.
26 2017-03-17 Jim Wilson <jim.wilson@linaro.org>
28 * combine.c (try_combine): Delete redundant i1 test. Call
29 prev_nonnote_nondebug_insn instead of prev_nonnote_insn.
31 2017-03-17 Palmer Dabbelt <palmer@dabbelt.com
33 * doc/install.texi (Specific) <riscv32-*-elf>: Add riscv32-*-elf,
34 riscv32-*-linux, riscv64-*-elf, riscv64-*-linux to the table of
36 <riscv64-*-elf>: Re-arrange section
37 <riscv32-*-elf>: Add a note about requiring binutils 2.28.
38 <riscv32-*-linux>: Likewise.
39 <riscv64-*-elf>: Likewise
40 <riscv64-*-linux>: Likewise.
42 2017-03-17 Richard Earnshaw <rearnsha@arm.com>
45 * aarch64.opt(verbose-cost-dump): Fix typo.
47 2017-03-17 Pat Haugen <pthaugen@us.ibm.com>
50 * config/rs6000/rs6000.md (copysign<mode>3_fcpsgn): Test
51 for VECTOR_UNIT_VSX_P (<MODE>mode) too.
53 2017-03-17 Bernd Schmidt <bschmidt@redhat.com>
55 * reload.c (find_reloads): When reloading a nonoffsettable address,
56 use RELOAD_OTHER for it and its address reloads.
58 PR rtl-optimization/79910
59 * combine.c (record_used_regs): New static function.
60 (try_combine): Handle situations where there is an additional
61 instruction between I2 and I3 which needs to have a LOG_LINK
64 2017-03-17 Jeff Law <law@redhat.com>
66 PR tree-optimization/71437
67 * tree-vrp.c (simplify_stmt_for_jump_threading): Lookup the
68 conditional in the hash table first.
69 (vrp_dom_walker::before_dom_children): Extract condition from
70 ASSERT_EXPR. Record condition, its inverion and any implied
73 2017-03-17 Marek Polacek <polacek@redhat.com>
74 Markus Trippelsdorf <markus@trippelsdorf.de>
76 PR tree-optimization/80079
77 * gimple-ssa-store-merging.c (class pass_store_merging): Initialize
80 2017-03-17 Richard Biener <rguenther@suse.de>
83 * tree-eh.c (stmt_could_throw_1_p): Only handle gimple assigns.
84 Properly verify the LHS before the RHS possibly claims to be
86 (stmt_could_throw_p): Hande gimple conds fully here. Clobbers
89 2017-03-17 Martin Jambor <mjambor@suse.cz>
91 * doc/invoke.texi (Option Options): Include -fipa-vrp in the list.
92 (List of -O2 options): Likewise.
93 (-fipa-bit-cp): Replace "ipa" with "interprocedural."
96 2017-03-17 Tom de Vries <tom@codesourcery.com>
98 * gcov-dump.c (print_usage): Print bug_report_url.
100 2017-03-17 Richard Biener <rguenther@suse.de>
103 * genmatch.c (parser::next): Remove pointless check for CPP_EOF.
104 (parser::peek): Likewise.
106 2017-03-17 Richard Biener <rguenther@suse.de>
108 PR tree-optimization/80048
109 * sese.c (free_sese_info): Properly release rename_map and
110 copied_bb_map elements.
112 2017-03-16 Alexandre Oliva <aoliva@redhat.com>
114 * gimple-ssa-store-merging.c (struct imm_store_chain_info):
115 Add linked-list forward and backlinks. Insert on
116 construction, remove on destruction.
117 (class pass_store_merging): Add m_stores_head field.
118 (pass_store_merging::terminate_and_process_all_chains):
119 Iterate over m_stores_head list.
120 (pass_store_merging::terminate_all_aliasing_chains):
122 (pass_store_merging::execute): Check for debug stmts first.
123 Push new chains onto the m_stores_head stack.
125 2017-03-16 Michael Meissner <meissner@linux.vnet.ibm.com>
128 * config/rs6000/vsx.md (vsx_splat_<mode>, VSX_D iterator): Allow a
129 SPLAT operation on ISA 2.07 64-bit systems that have direct move,
130 but no MTVSRDD support, by doing MTVSRD and XXPERMDI.
132 2017-03-16 Jeff Law <law@redhat.com>
134 PR tree-optimization/71437
135 * tree-ssa-dom.c (dom_opt_dom_walker): Remove thread_across_edge
136 member function. Implementation moved into after_dom_children
137 member function and into the threader's thread_outgoing_edges
139 (dom_opt_dom_walker::after_dom_children): Simplify by moving
140 some code into new thread_outgoing_edges.
141 * tree-ssa-threadedge.c (thread_across_edge): Make static and simplify
142 definition. Simplify marker handling (do it here). Assume we always
143 have the available expression and the const/copies tables.
144 (thread_outgoing_edges): New function extracted from tree-ssa-dom.c
146 * tree-ssa-threadedge.h (thread_outgoing_edges): Declare.
147 * tree-vrp.c (equiv_stack): No longer file scoped.
148 (vrp_dom_walker): New class.
149 (vrp_dom_walker::before_dom_children): New member function.
150 (vrp_dom_walker::after_dom_children): Likewise.
151 (identify_jump_threads): Setup domwalker. Use it rather than
152 walking edges in a random order by hand. Simplify setup/finalization.
153 (finalize_jump_threads): Remove.
154 (vrp_finalize): Do not call identify_jump_threads here.
155 (execute_vrp): Do it here instead and call thread_through_all_blocks
158 PR tree-optimization/71437
159 * tree-ssa-dom.c (pfn_simplify): Add basic_block argument. All
161 (simplify_stmt_for_jump_threading): Add basic_block argument. All
163 (lhs_of_dominating_assert): Moved from here into tree-vrp.c.
164 (dom_opt_dom_walker::thread_across_edge): Remove
165 handle_dominating_asserts argument. All callers changed.
166 (record_temporary_equivalences_from_stmts_at_dest): Corresponding
167 changes. Remove calls to lhs_of_dominating_assert. Other
168 uses of handle_dominating_asserts turn into unconditional code
169 (simplify_control_stmt_condition_1): Likewise.
170 (simplify_control_stmt_condition): Likewise.
171 (thread_through_normal_block, thread_across_edge): Likewise.
172 * tree-ssa-threadedge.h (thread_across_edge): Corresponding changes.
173 * tree-vrp.c (lhs_of_dominating_assert): Move here. Return original
174 object if it is not an SSA_NAME.
175 (simplify_stmt_for_jump_threading): Call lhs_of_dominating_assert
176 before calling into the VRP specific simplifiers.
177 (identify_jump_threads): Remove handle_dominating_asserts
180 2017-03-16 Jakub Jelinek <jakub@redhat.com>
183 * tree-diagnostic.c (default_tree_printer): No longer static.
184 * tree-diagnostic.h (default_tree_printer): New prototype.
186 2017-03-16 Tamar Christina <tamar.christina@arm.com>
188 * config/aarch64/aarch64-simd.md (*aarch64_simd_mov<mode>)
189 Change ins into fmov.
191 2017-03-16 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
193 * config/aarch64/iterators.md (h_con): Return "x" for V4HF and V8HF.
194 * config/aarch64/aarch64-simd.md (*aarch64_fma4_elt_from_dup<mode>):
195 Use h_con constraint for operand 1.
196 (*aarch64_fnma4_elt_from_dup<mode>): Likewise.
197 (*aarch64_mulx_elt_from_dup<mode>): Likewise for operand 2.
199 2017-03-15 Jeff Law <law@redhat.com>
201 PR tree-optimization/71437
202 * tree-ssa-dom.c (derive_equivalences_from_bit_ior): New function.
203 (record_temporary_equivalences): Use it.
205 PR tree-optimization/71437
206 * tree-ssa-dom.c (struct cond_equivalence): Moved from here into
207 tree-ssa-scopedtables.
208 (lookup_avail_expr, build_and_record_new_cond): Likewise.
209 (record_conditions, record_cond, vuse_eq): Likewise.
210 (record_edge_info): Adjust to API tweak of record_conditions.
211 (simplify_stmt_for_jump_threading): Similarly for lookup_avail_expr.
212 (record_temporary_equivalences, optimize_stmt): Likewise.
213 (eliminate_redundant_computations): Likewise.
214 (record_equivalences_from_stmt): Likewise.
215 * tree-ssa-scopedtables.c: Include options.h and params.h.
216 (vuse_eq): New function, moved from tree-ssa-dom.c
217 (build_and_record_new_cond): Likewise.
218 (record_conditions): Likewise. Accept vector of conditions rather
219 than edge_equivalence structure for first argument.
220 for the first argument.
221 (avail_exprs_stack::lookup_avail_expr): New member function, moved
223 (avail_exprs_stack::record_cond): Likewise.
224 * tree-ssa-scopedtables.h (struct cond_equivalence): Moved here
226 (avail_exprs_stack): Add new member functions lookup_avail_expr
228 (record_conditions): Declare.
230 2017-03-15 Vladimir Makarov <vmakarov@redhat.com>
233 * lra-constraints.c (process_alt_operands): Increase reject for
234 reloading an input/output operand.
236 2017-03-15 Michael Meissner <meissner@linux.vnet.ibm.com>
239 * config/rs6000/rs6000.md (float<QHI:mode><IEEE128:mode>2): Define
240 insns to convert from signed/unsigned char/short to IEEE 128-bit
242 (floatuns<QHI:mode><IEEE128:mode>2): Likewise.
244 2017-03-15 Uros Bizjak <ubizjak@gmail.com>
247 * config/i386/i386.c (ix86_vector_duplicate_value): Create
248 subreg of inner mode for values already in registers.
250 2017-03-15 Bernd Schmidt <bschmidt@redhat.com>
252 * config/c6x/c6x.c (hwloop_optimize): Handle case where the old
253 iteration reg is used after the loop.
255 2017-03-14 Martin Sebor <msebor@redhat.com>
257 PR tree-optimization/79800
258 * gimple-ssa-sprintf.c (format_floating: Add argument. Handle
259 precision in negative-positive range.
260 (format_floating): Call non-const overload with adjusted precision.
262 2017-03-14 Michael Meissner <meissner@linux.vnet.ibm.com>
265 * config/rs6000/rs6000.h (TARGET_FRSQRTES): Add check for
268 2017-03-14 Martin Sebor <msebor@redhat.com>
271 * builtin-attrs.def (ATTR_ALLOC_SIZE_2_NOTHROW_LIST): New macro.
272 * builtins.def (aligned_alloc): Use it.
275 * Makefile.in (GTFILES): Add calls.c.
276 * calls.c: Include "gt-calls.h".
278 2017-03-14 Bernd Schmidt <bschmidt@redhat.com>
280 PR rtl-optimization/79728
281 * regs.h (struct target_regs): New field
282 x_contains_allocatable_regs_of_mode.
283 (contains_allocatable_regs_of_mode): New macro.
284 * reginfo.c (init_reg_sets_1): Initialize it, and change
285 contains_reg_of_mode so it includes global regs as well.
286 * reload.c (push_reload): Use contains_allocatable_regs_of_mode
287 rather than contains_regs_of_mode.
289 2017-03-14 Martin Liska <mliska@suse.cz>
291 * doc/invoke.texi: Document options that can't be combined with
292 -fcheck-pointer-bounds.
294 2017-03-14 Martin Liska <mliska@suse.cz>
297 * doc/invoke.texi (-Wchkp): Document the option.
299 2017-03-14 Martin Liska <mliska@suse.cz>
301 * Makefile.in: Install gcov-dump.
303 2017-03-14 Martin Liska <mliska@suse.cz>
305 * multiple_target.c (expand_target_clones): Bail out for
306 an invalid attribute.
308 2017-03-14 Richard Biener <rguenther@suse.de>
310 * alias.c (struct alias_set_entry): Pack properly.
311 * cfgloop.h (struct loop): Likewise.
312 * cse.c (struct set): Likewise.
313 * ipa-utils.c (struct searchc_env): Likewise.
314 * loop-invariant.c (struct invariant): Likewise.
315 * lra-remat.c (struct cand): Likewise.
316 * recog.c (struct change_t): Likewise.
317 * rtl.h (struct address_info): Likewise.
318 * symbol-summary.h (function_summary): Likewise.
319 * tree-loop-distribution.c (struct partition): Likewise.
320 * tree-object-size.c (struct object_size_info): Likewise.
321 * tree-ssa-loop-ivopts.c (struct cost_pair): Likewise.
322 * tree-ssa-threadupdate.c (struct ssa_local_info_t): Likewise.
323 * tree-vect-data-refs.c (struct _vect_peel_info): Likewise.
324 * tree-vect-slp.c (struct _slp_oprnd_info): Likewise.
325 * tree-vect-stmts.c (struct simd_call_arg_info): Likewise.
326 * tree-vectorizer.h (struct _loop_vec_info): Likewise.
327 (struct _stmt_vec_info): Likewise.
329 2017-03-14 Martin Liska <mliska@suse.cz>
332 * multiple_target.c (create_dispatcher_calls): Check that
333 a target can create a function dispatcher.
335 2017-03-14 Martin Liska <mliska@suse.cz>
338 * multiple_target.c (expand_target_clones): Drop local.local
339 flag for default implementation.
341 2017-03-14 Richard Biener <rguenther@suse.de>
343 PR tree-optimization/80030
344 * tree-vect-stmts.c (vectorizable_store): Plug memleak.
346 2017-03-13 Kito Cheng <kito.cheng@gmail.com>
348 * config/riscv/riscv.c (riscv_emit_float_compare>: Use
349 gcc_fallthrough() instead of __attribute__((fallthrough));
351 2017-03-13 Gerald Pfeifer <gerald@pfeifer.com>
353 * doc/gcc.texi: Remove "up" link to (DIR).
354 * doc/gccint.texi: Ditto.
356 2017-03-13 Gerald Pfeifer <gerald@pfeifer.com>
358 * doc/install.texi (Specific) <avr>: Remove reference to
361 2017-03-13 Jeff Law <law@redhat.com>
363 * config/riscv/riscv.c (riscv_emit_float_compare): Use fallthru
364 attribute rather than comments.
366 * config/pdp11/pdp11.md (movmemhi): Adjust operand numbers to
367 match_scratch operand is highest.
369 2017-03-13 Martin Liska <mliska@suse.cz>
372 * ipa-pure-const.c (warn_function_noreturn): If the declarations
373 is a CHKP clone, use original declaration.
375 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
377 * config/arc/arc.c (arc_init): Use multiplier whenever we have it.
378 (arc_conditional_register_usage): Use a different allocation order
379 when optimizing for size.
380 * common/config/arc/arc-common.c (arc_option_optimization_table):
381 Section anchors default on when optimizing for size.
383 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
385 * config/arc/arc.md (*tst_bitfield_tst): Fix pattern.
387 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
389 * config/arc/arc.c (arc_output_addsi): Emit code density adds.
390 * config/arc/arc.md (cpu_facility): Add cd variant.
391 (*movqi_insn): Add code density variant.
392 (*movhi_insn): Likewise.
393 (*movqi_insn): Likewise.
394 (*addsi3_mixed): Likewise.
395 (subsi3_insn): Likewise.
397 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
399 * config/arc/arc.md (movsi_cond_exec): Update constraint.
401 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
403 * config/arc/arc.c (arc_legitimize_pic_address): Handle PIC
404 expressions with MINUS and UNARY ops.
406 2017-03-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
409 * config/arm/neon.md (vec_sel_widen_ssum_lo<VQI:mode><VW:mode>3):
411 (vec_sel_widen_ssum_lo<mode><V_half>3): ... This. Avoid mismatch
412 between vec_select and vector argument.
413 (vec_sel_widen_ssum_hi<VQI:mode><VW:mode>3): Rename to...
414 (vec_sel_widen_ssum_hi<mode><V_half>3): ... This. Likewise.
415 (vec_sel_widen_usum_lo<VQI:mode><VW:mode>3): Rename to...
416 (vec_sel_widen_usum_lo<mode><V_half>3): ... This.
417 (vec_sel_widen_usum_hi<VQI:mode><VW:mode>3): Rename to...
418 (vec_sel_widen_usum_hi<mode><V_half>3): ... This.
420 2017-03-13 Richard Biener <rguenther@suse.de>
423 * params.def (vect-max-peeling-for-alignment): Fix typo.
425 2017-03-12 Gerald Pfeifer <gerald@pfeifer.com>
427 * doc/install.texi (Specific) <mips-*-*>: Remove description of
428 issue that only occurred with binutils below 2.18.
430 2017-03-12 Gerald Pfeifer <gerald@pfeifer.com>
432 * doc/install.texi (Specific) <cris-axis-elf>: No longer
433 refer to binutils 2.11/2.12 minimum.
435 2017-03-12 Gerald Pfeifer <gerald@pfeifer.com>
437 * doc/install.texi (Specific) <powerpc-*-*>: Remove link to
438 ftp.kernel.org and simplify binutils requirement.
440 2017-03-11 Gerald Pfeifer <gerald@pfeifer.com>
442 * doc/invoke.texi (Warning Options): Fix spelling of link-time
444 (Optimize Options): Ditto. Also remove redundancy.
446 2017-03-10 David Malcolm <dmalcolm@redhat.com>
449 * ipa-devirt.c (warn_types_mismatch): Simplify uses of "%<%s%>" to
451 * ipa-pure-const.c (suggest_attribute): Likewise. Convert _
452 to G_ to avoid double translation.
454 2017-03-10 David Malcolm <dmalcolm@redhat.com>
457 * auto-profile.c (get_combined_location): Convert leading
458 character of diagnostics to lower case and remove trailing period.
459 (read_profile): Likewise for various diagnostics.
460 * config/arm/arm.c (arm_option_override): Remove trailing period
461 from various diagnostics.
462 * config/msp430/msp430.c (msp430_expand_delay_cycles): Likewise.
463 (msp430_expand_delay_cycles): Likewise.
465 2017-03-10 David Malcolm <dmalcolm@redhat.com>
468 * config/aarch64/aarch64.c (aarch64_validate_mcpu): Quote the
469 full command-line argument, rather than just "str".
470 (aarch64_validate_march): Likewise.
471 (aarch64_validate_mtune): Likewise.
473 2017-03-10 Bernd Schmidt <bschmidt@redhat.com>
475 PR rtl-optimization/78911
476 * lra-assigns.c (must_not_spill_p): New function.
479 2017-03-10 Jakub Jelinek <jakub@redhat.com>
481 PR tree-optimization/79981
482 * tree-vrp.c (extract_range_basic): Handle IMAGPART_EXPR of
483 ATOMIC_COMPARE_EXCHANGE ifn result.
484 (stmt_interesting_for_vrp, vrp_visit_stmt): Handle
485 IFN_ATOMIC_COMPARE_EXCHANGE.
487 2017-03-10 David Malcolm <dmalcolm@redhat.com>
490 * opts.c (parse_sanitizer_options): Add missing question mark to
491 "did you mean" message.
493 2017-03-10 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
495 * config/rs6000/rs6000-builtin.def (VMULEUB_UNS): Remove orphaned
497 (VMULEUH_UNS): Likewise.
498 (VMULOUB_UNS): Likewise.
499 (VMULOUH_UNS): Likewise.
500 * config/rs6000/rs6000.c (builtin_function_type): Remove
501 references to ALTIVEC_BUILTIN_VMUL[EO]U[BH]_UNS.
503 2017-03-10 David Malcolm <dmalcolm@redhat.com>
506 * read-rtl-function.c (function_reader::read_rtx_operand): Update
507 x with result of extra_parsing_for_operand_code_0.
508 (function_reader::extra_parsing_for_operand_code_0): Convert
509 return type from void to rtx, returning x. When reading
510 SYMBOL_REF with SYMBOL_FLAG_HAS_BLOCK_INFO, reallocate x to the
511 larger size containing struct block_symbol.
513 2017-03-10 Segher Boessenkool <segher@kernel.crashing.org>
515 * config/rs6000/rs6000.c (rs6000_option_override_internal): Disallow
516 -mfloat128-hardware without -m64.
518 2017-03-10 Will Schmidt <will_schmidt@vnet.ibm.com>
521 * config/rs6000/rs6000.c (builtin_function_type): Add VMUL*U[HB]
522 entries to the case statement that marks unsigned arguments to
523 overloaded functions.
525 2017-03-10 Kelvin Nilsen <kelvin@gcc.gnu.org>
527 * config/rs6000/rs6000.c (rs6000_option_override_internal): Fix
528 two typographic errors in the handling of TARGET_UPPER_REGS_DI.
530 2017-03-10 Pat Haugen <pthaugen@us.ibm.com>
533 * config/rs6000/rs6000.c (rs6000_init_hard_regno_mode_ok): Test
534 TARGET_UPPER_REGS_DI when setting 'wi' constraint regclass.
536 2017-03-10 Martin Liska <mliska@suse.cz>
540 * toplev.c (process_options): Enable MPX with LSAN and UBSAN.
541 * tree-chkp.c (chkp_walk_pointer_assignments): Verify that
544 2017-03-10 Olivier Hainque <hainque@adacore.com>
546 * tree-switch-conversion (array_value_type): Start by resetting
547 candidate type to it's main variant.
549 2017-03-10 Jakub Jelinek <jakub@redhat.com>
551 PR rtl-optimization/79909
552 * combine.c (try_combine): Use simplify_replace_rtx on individual
553 CALL_INSN_FUNCTION_USAGE elements instead of replace_rtx on copy_rtx
554 of the whole CALL_INSN_FUNCTION_USAGE.
556 PR tree-optimization/79972
557 * gimple-ssa-warn-alloca.c (alloca_call_type): Only call
558 get_range_info on SSA_NAMEs. Formatting fixes.
560 2017-03-10 Richard Biener <rguenther@suse.de>
561 Jakub Jelinek <jakub@redhat.com>
563 PR tree-optimization/77975
564 * tree-ssa-loop-niter.c (get_base_for): Allow phi argument from latch
566 (get_val_for): For constant x return it. Formatting fix.
567 (loop_niter_by_eval): Avoid pointless looping if the next iteration
568 would use the same bases as the current one.
570 2017-03-09 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
572 * config/rs6000/rs6000.c (rs6000_gen_le_vsx_permute): Use rotate
573 instead of vec_select for V1TImode.
574 * conifg/rs6000/vsx.md (VSX_LE): Remove mode iterator that is no
576 (VSX_LE_128): Add V1TI to this mode iterator.
577 (*vsx_le_perm_load_<mode>): Change to use VSX_D mode iterator.
578 (*vsx_le_perm_store_<mode>): Likewise.
579 (pre-reload splitter for VSX stores): Likewise.
580 (post-reload splitter for VSX stores): Likewise.
581 (*vsx_xxpermdi2_le_<mode>): Likewise.
582 (*vsx_lxvd2x2_le_<mode>): Likewise.
583 (*vsx_stxvd2x2_le_<mode>): Likewise.
585 2017-03-09 Michael Eager <eager@eagercon.com>
587 Correct failures with --enable-checking=yes,rtl.
589 * config/microblaze/microblaze.c (microblaze_expand_shift):
590 Replace GET_CODE test with CONST_INT_P and INTVAL test with
592 * config/microblaze/microblaze.md (ashlsi3_byone, ashrsi3_byone,
593 lshrsi3_byone): Replace INTVAL with test for const1_rtx.
595 2017-03-09 Richard Biener <rguenther@suse.de>
597 PR tree-optimization/79977
598 * graphite-scop-detection.c (scop_detection::merge_sese):
599 Handle the case of extra exits to blocks dominating the entry.
601 2017-03-09 Toma Tabacu <toma.tabacu@imgtec.com>
603 * doc/sourcebuild.texi (Effective-Target Keywords, Other attributes):
606 2017-03-09 Vladimir Makarov <vmakarov@redhat.com>
608 PR rtl-optimization/79949
609 * lra-constraints.c (process_alt_operands): Check memory when
610 trying to predict a cycle. Print about the overall increase.
612 2017-03-09 Richard Biener <rguenther@suse.de>
615 * gimple-expr.c (useless_type_conversion_p): Preserve
616 TYPE_SATURATING for fixed-point types.
618 2017-03-09 Richard Biener <rguenther@suse.de>
621 * ipa-prop.c (ipa_modify_formal_parameters): Avoid changing
622 alignment of BLKmode params.
624 2017-03-09 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
627 * config/aarch64/iterators.md (VALL_F16_NO_V2Q): New mode iterator.
628 (VALL_NO_V2Q): Likewise.
630 * config/aarch64/aarch64-simd.md
631 (aarch64_dup_lane_<vswap_width_name><mode>): Use VALL_F16_NO_V2Q
633 (*aarch64_simd_vec_copy_lane_<vswap_width_name><mode>): Use
634 VALL_NO_V2Q mode iterator.
635 (*aarch64_vgetfmulx<mode>): Use VDQF iterator.
637 2017-03-09 Martin Liska <mliska@suse.cz>
639 PR tree-optimization/79631
640 * tree-chkp-opt.c (chkp_is_constant_addr): Call
641 tree_int_cst_sign_bit just for INTEGER constants.
643 2017-03-09 Martin Liska <mliska@suse.cz>
647 * toplev.c (process_options): Disable -fcheck-pointer-bounds with
650 2017-03-09 Marek Polacek <polacek@redhat.com>
653 * tree.c (inchash::add_expr): Handle TREE_VEC.
655 2017-03-09 Martin Liska <mliska@suse.cz>
658 (chkp_narrow_size_and_offset): New function.
659 (chkp_parse_array_and_component_ref): Support BIT_FIELD_REF.
660 (void chkp_parse_bit_field_ref): New function.
661 (chkp_make_addressed_object_bounds): Add case for BIT_FIELD_REF.
662 (chkp_process_stmt): Use chkp_parse_bit_field_ref.
664 2017-03-09 Martin Liska <mliska@suse.cz>
667 * tree-chkp.c (chkp_get_bound_for_parm): Get bounds for a param.
668 (chkp_find_bounds_1): Remove gcc_unreachable.
670 2017-03-09 Jakub Jelinek <jakub@redhat.com>
673 * asan.c (get_mem_refs_of_builtin_call): For BUILT_IN_ATOMIC* and
674 BUILT_IN_SYNC*, determine the access type from the size suffix and
675 always build a MEM_REF with that type. Handle forgotten
676 BUILT_IN_SYNC_FETCH_AND_NAND_16 and BUILT_IN_SYNC_NAND_AND_FETCH_16.
679 * config/i386/avx512vlintrin.h (_mm256_cmpge_epi32_mask,
680 _mm256_cmpge_epi64_mask, _mm256_cmpge_epu32_mask,
681 _mm256_cmpge_epu64_mask, _mm256_cmple_epi32_mask,
682 _mm256_cmple_epi64_mask, _mm256_cmple_epu32_mask,
683 _mm256_cmple_epu64_mask, _mm256_cmplt_epi32_mask,
684 _mm256_cmplt_epi64_mask, _mm256_cmplt_epu32_mask,
685 _mm256_cmplt_epu64_mask, _mm256_cmpneq_epi32_mask,
686 _mm256_cmpneq_epi64_mask, _mm256_cmpneq_epu32_mask,
687 _mm256_cmpneq_epu64_mask, _mm256_mask_cmpge_epi32_mask,
688 _mm256_mask_cmpge_epi64_mask, _mm256_mask_cmpge_epu32_mask,
689 _mm256_mask_cmpge_epu64_mask, _mm256_mask_cmple_epi32_mask,
690 _mm256_mask_cmple_epi64_mask, _mm256_mask_cmple_epu32_mask,
691 _mm256_mask_cmple_epu64_mask, _mm256_mask_cmplt_epi32_mask,
692 _mm256_mask_cmplt_epi64_mask, _mm256_mask_cmplt_epu32_mask,
693 _mm256_mask_cmplt_epu64_mask, _mm256_mask_cmpneq_epi32_mask,
694 _mm256_mask_cmpneq_epi64_mask, _mm256_mask_cmpneq_epu32_mask,
695 _mm256_mask_cmpneq_epu64_mask, _mm_cmpge_epi32_mask,
696 _mm_cmpge_epi64_mask, _mm_cmpge_epu32_mask, _mm_cmpge_epu64_mask,
697 _mm_cmple_epi32_mask, _mm_cmple_epi64_mask, _mm_cmple_epu32_mask,
698 _mm_cmple_epu64_mask, _mm_cmplt_epi32_mask, _mm_cmplt_epi64_mask,
699 _mm_cmplt_epu32_mask, _mm_cmplt_epu64_mask, _mm_cmpneq_epi32_mask,
700 _mm_cmpneq_epi64_mask, _mm_cmpneq_epu32_mask, _mm_cmpneq_epu64_mask,
701 _mm_mask_cmpge_epi32_mask, _mm_mask_cmpge_epi64_mask,
702 _mm_mask_cmpge_epu32_mask, _mm_mask_cmpge_epu64_mask,
703 _mm_mask_cmple_epi32_mask, _mm_mask_cmple_epi64_mask,
704 _mm_mask_cmple_epu32_mask, _mm_mask_cmple_epu64_mask,
705 _mm_mask_cmplt_epi32_mask, _mm_mask_cmplt_epi64_mask,
706 _mm_mask_cmplt_epu32_mask, _mm_mask_cmplt_epu64_mask,
707 _mm_mask_cmpneq_epi32_mask, _mm_mask_cmpneq_epi64_mask,
708 _mm_mask_cmpneq_epu32_mask, _mm_mask_cmpneq_epu64_mask): Move
709 definitions outside of __OPTIMIZE__ guarded section.
712 * config/i386/avx512bwintrin.h (_mm512_packs_epi32,
713 _mm512_maskz_packs_epi32, _mm512_mask_packs_epi32,
714 _mm512_packus_epi32, _mm512_maskz_packus_epi32,
715 _mm512_mask_packus_epi32): Move definitions outside of __OPTIMIZE__
718 2017-03-09 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
720 * config/s390/vx-builtins.md ("vfee<mode>", "vfeez<mode>")
721 ("vfenez<mode>"): Add missing constraints.
723 2017-03-08 Martin Sebor <msebor@redhat.com>
726 * config/nds32/nds32.c (nds32_option_override):
728 2017-03-08 Jakub Jelinek <jakub@redhat.com>
731 * gimplify.c (gimplify_omp_for): Replace index var in outer
732 taskloop statement with an artificial variable and add
733 OMP_CLAUSE_PRIVATE clause for it.
735 2017-03-08 Richard Biener <rguenther@suse.de>
737 PR tree-optimization/79955
738 * tree-ssa-uninit.c (warn_uninitialized_vars): Do not warn
739 for accesses that are completely outside of the variable.
741 2017-03-08 Andrew Haley <aph@redhat.com>
743 PR tree-optimization/79943
744 * tree-ssa-loop-split.c (compute_new_first_bound): When
745 calculating the new upper bound, (END-BEG) should be added, not
748 2017-03-08 Jakub Jelinek <jakub@redhat.com>
750 * config/avr/avr.md (setmemhi): Make sure match_dup
751 operand number comes before match_scratch.
753 2017-03-08 Richard Biener <rguenther@suse.de>
755 PR tree-optimization/79920
756 * tree-vect-slp.c (vect_create_mask_and_perm): Remove and inline
757 with ncopies == 1 to ...
758 (vect_transform_slp_perm_load): ... here. Properly compute
759 all element loads by iterating VF times over the group. Do
760 not handle ncopies (computed in a broken way) in
761 vect_create_mask_and_perm.
763 2017-03-08 Jakub Jelinek <jakub@redhat.com>
766 * internal-fn.c (expand_vector_ubsan_overflow): If arg0 or arg1
767 is a uniform vector, use uniform_vector_p return value instead of
768 building ARRAY_REF on folded VIEW_CONVERT_EXPR to array type.
770 2017-03-07 Marek Polacek <polacek@redhat.com>
773 * gimple-ssa-warn-alloca.c (pass_walloca::gate): Use HOST_WIDE_INT.
774 (alloca_call_type): Likewise.
776 2017-03-07 Martin Liska <mliska@suse.cz>
778 * gcov.c (process_args): Put comment to correct location.
780 2017-03-07 Martin Liska <mliska@suse.cz>
783 * tree-chkp.c (chkp_may_narrow_to_field): Add new argument ref.
784 Use array_at_struct_end_p instead of DECL_CHAIN (field).
785 (chkp_narrow_bounds_for_field): Likewise.
786 (chkp_parse_array_and_component_ref): Pass one more argument to
789 2017-03-07 Richard Biener <rguenther@suse.de>
791 * tree-vect-loop-manip.c (slpeel_add_loop_guard): Preserve
794 2017-03-07 Segher Boessenkool <segher@kernel.crashing.org>
796 * config/i386/i386.c (ix86_local_alignment): Align most aggregates
797 of 16 bytes and more to 16 bytes, not those of 16 bits and more.
799 2017-03-07 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
802 * params.def (PARAM_STORE_MERGING_ALLOW_UNALIGNED): Add full stop
803 to end of description.
804 (PARAM_MAX_STORES_TO_MERGE): Likewise.
806 2017-03-07 Jakub Jelinek <jakub@redhat.com>
808 PR rtl-optimization/79901
809 * config/i386/sse.md (*avx512bw_<code><mode>3<mask_name>): Renamed to
811 (*avx512f_<code><mode>3<mask_name>): ... this.
812 (<code><mode>3 with maxmin code iterator): Use VI8_AVX2_AVX512F
813 iterator instead of VI8_AVX2_AVX512BW.
815 PR rtl-optimization/79901
816 * expr.c (expand_expr_real_2): For vector MIN/MAX, if there is no
817 min/max expander, expand it using expand_vec_cond_expr.
820 * ubsan.c (ubsan_encode_value): Call mark_addressable on the
823 2017-03-06 Jakub Jelinek <jakub@redhat.com>
826 * dwarf2out.h (dw_vec_const): Change array type from unsigned char *
827 to void * for PCH reasons.
828 * dwarf2out.c (output_loc_operands, output_die): Cast
829 v.val_vec.array to unsigned char *.
831 2017-03-06 John David Anglin <danglin@gcc.gnu.org>
834 * config/pa/pa-64.h (PAD_VARARGS_DOWN): Don't pad down complex and
837 2017-03-06 Vladimir Makarov <vmakarov@redhat.com>
839 PR rtl-optimization/79571
840 * lra-constraints.c (process_alt_operands): Calculate static
841 reject and subtract it from overall when only addresses will be
844 2017-03-06 Julia Koval <julia.koval@intel.com>
847 * config/i386/i386.c (ix86_minimum_incoming_stack_boundary): Set
848 incoming stack boundary to 128 for 64-bit targets.
850 2017-03-06 Richard Biener <rguenther@suse.de>
852 PR tree-optimization/79894
853 * tree-vectorizer.c (vectorize_loops): Set loop_vectorized_call
854 to NULL after folding it.
856 2017-03-06 Richard Biener <rguenther@suse.de>
858 PR tree-optimization/79824
859 * tree-vect-stmts.c (get_group_load_store_type): Fix alignment
860 check disabling peeling for gaps.
862 2017-03-06 Toma Tabacu <toma.tabacu@imgtec.com>
864 * doc/sourcebuild.texi (Effective-Target Keywords, Environment
865 attributes): Document gettimeofday.
867 2017-03-06 Robin Dapp <rdapp@linux.vnet.ibm.com>
869 * config/s390/s390.c (s390_option_override_internal): Set
870 PARAM_MIN_VECT_LOOP_BOUND
872 2017-03-06 Robin Dapp <rdapp@linux.vnet.ibm.com>
874 * config/s390/s390.c (s390_asm_output_function_label): Use nopr %r0.
875 * config/s390/s390.md: Likewise.
877 2017-03-06 Jakub Jelinek <jakub@redhat.com>
880 * config/i386/sse.md (VI8F_256_512): Remove mode iterator.
881 (<avx2_avx512>_perm<mode>): Rename to ...
882 (avx2_perm<mode>): ... this. Use VI8F_256 iterator instead
884 (<avx512>_perm<mode>_mask): Rename to ...
885 (avx512vl_perm<mode>_mask): ... this. Use VI8F_256 iterator instead
887 (<avx2_avx512>_perm<mode>_1<mask_name>): Rename to ...
888 (avx2_perm<mode>_1<mask_name): ... this. Use VI8F_256 iterator
889 instead of VI8F_256_512.
890 (avx512f_perm<mode>): New define_expand.
891 (avx512f_perm<mode>_mask): Likewise.
892 (avx512f_perm<mode>_1<mask_name>): New define_insn.
893 (<avx512>_vec_dup<mode>_1): Fix up vec_select mode.
895 2017-03-06 Prachi Godbole <prachi.godbole@imgtec.com>
897 * config/mips/mips-msa.md (msa_fmax_a_<msafmt>, msa_fmin_a_<msafmt>,
898 msa_max_a_<msafmt>, msa_min_a_<msafmt>): Introduce mode interator for
900 (smin<mode>3, smax<mode>3): Change operand print code from 'B' to 'E'.
902 2017-03-06 Martin Liska <mliska@suse.cz>
905 * asan.c (asan_expand_poison_ifn): Do not expand ASAN_POISON
906 when having a SSA NAME w/o VAR_DECL assigned to it.
908 2017-03-06 Prachi Godbole <prachi.godbole@imgtec.com>
910 * config/mips/mips-msa.md (msa_dotp_<su>_d, msa_dpadd_<su>_d,
911 msa_dpsub_<su>_d): Fix MODE for vec_select.
913 2017-03-06 Prachi Godbole <prachi.godbole@imgtec.com>
915 * config/mips/mips.c (mips_gen_const_int_vector): Change type of last
917 * config/mips/mips-protos.h (mips_gen_const_int_vector): Likewise.
919 2017-03-06 Richard Biener <rguenther@suse.de>
921 * lto-streamer.c (lto_check_version): Use %qs in diagnostics.
922 * plugin.c (register_plugin_info): Likewise.
923 * tree-chkp.c (chkp_make_static_const_bounds): Likewise.
925 2017-03-05 Jakub Jelinek <jakub@redhat.com>
927 * config/i386/sse.md (sse_storehps, sse_storelps,
928 avx_<castmode><avxsizesuffix>_<castmode>,
929 avx512f_<castmode><avxsizesuffix>_<castmode>,
930 avx512f_<castmode><avxsizesuffix>_256<castmode>): Require
931 in condition that at least one operand is not a MEM.
933 2017-03-03 Jakub Jelinek <jakub@redhat.com>
936 * internal-fn.def (ATOMIC_BIT_TEST_AND_SET, ATOMIC_BIT_TEST_AND_RESET,
937 ATOMIC_BIT_TEST_AND_COMPLEMENT, ATOMIC_COMPARE_EXCHANGE): Remove
939 * gimple-fold.c (fold_builtin_atomic_compare_exchange): Set
940 gimple_call_nothrow_p flag based on whether original builtin can throw.
941 If it can, emit following stmts on the fallthrough edge.
942 * tree-ssa-ccp.c (optimize_atomic_bit_test_and): Similarly, except
943 don't create new bb if inserting just debug stmts on the edge, try to
944 insert them on the fallthru bb or just reset debug stmts.
946 2017-03-03 Segher Boesssenkool <segher@kernel.crashing.org>
949 * config/rs6000/rs6000.c (rs6000_final_prescan_insn): Save and
950 restore recog_data (including the operand rtxes inside it) around
951 the call to get_insn_template.
953 2017-03-03 Martin Sebor <msebor@redhat.com>
955 PR tree-optimization/79699
956 * context.c (context::~context): Free MPFR caches to avoid
957 a memory leak on program exit.
959 2017-03-03 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
961 * config/aarch64/aarch64.c (aarch64_float_const_representable_p):
962 Use wide_int::ulow () instead of .elt (0).
964 2017-03-03 Uros Bizjak <ubizjak@gmail.com>
966 * config/i386/i386.md (*pushtf): Change *roF constraint to *roC.
967 (*pushxf): Limit oF constraint to 32bit targets and add oC
968 constraint for 64bit targets.
969 (pushxf splitter): Use PUSH_ROUNDING to calculate stack adjustment.
970 (*pushdf): Change rmF constraint to rmC.
972 2017-03-03 Martin Liska <mliska@suse.cz>
974 * tree-ssa-loop-prefetch.c (pass_loop_prefetch::execute):
975 Remove unused variable.
977 2017-03-03 Jakub Jelinek <jakub@redhat.com>
980 * config/i386/i386.c (ix86_expand_multi_arg_builtin): If target
981 is a memory operand, increase num_memory.
982 (ix86_expand_args_builtin): Likewise.
984 2017-03-03 Jan Hubicka <jh@suse.cz>
987 * ipa-devirt.c (maybe_record_node): Properly handle
988 __cxa_pure_virtual visibility.
990 2017-03-03 Martin Liska <mliska@suse.cz>
992 PR tree-optimization/79803
993 * tree-ssa-loop-prefetch.c (tree_ssa_prefetch_arrays): Remove
995 (pass_loop_prefetch::execute): Disabled optimization if an
996 assumption about L1 cache size is not met.
998 2017-03-03 Martin Liska <mliska@suse.cz>
1000 PR rtl-optimization/79574
1001 * gcse.c (struct gcse_expr): Use HOST_WIDE_INT instead of int.
1002 (hash_scan_set): Likewise.
1003 (dump_hash_table): Likewise.
1004 (hoist_code): Likewise.
1006 2017-03-03 Richard Biener <rguenther@suse.de>
1008 * fixed-value.c (fixed_from_string): Restore use of elt (1)
1009 in place of uhigh ().
1010 (fixed_convert_from_real): Likewise.
1012 2017-03-03 Uros Bizjak <ubizjak@gmail.com>
1015 * config/i386/i386.md (*pushxf_rounded): Use Pmode instead of DImode.
1017 2017-03-03 Richard Biener <rguenther@suse.de>
1020 * match.pd ( X +- C1 CMP C2 -> X CMP C2 -+ C1): Add missing
1021 TYPE_OVERFLOW_UNDEFINED check.
1023 2017-03-02 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1025 * config/rs6000/vector.md (vector_ne_<mode>_p): Correct operand
1027 (vector_ae_<mode>_p): Likewise.
1028 (vector_nez_<mode>_p): Likewise.
1029 (vector_ne_v2di_p): Likewise.
1030 (vector_ae_v2di_p): Likewise.
1031 (vector_ne_<mode>_p): Likewise.
1032 * config/rs6000/vsx.md (vsx_tsqrt<mode>2_fg): Correct operand
1034 (vsx_tsqrt<mode>2_fe): Likewise.
1036 2017-03-02 Uros Bizjak <ubizjak@gmail.com>
1039 * config/i386/i386.md (*pushxf_rounded): New insn_and_split pattern.
1041 2017-03-02 Jakub Jelinek <jakub@redhat.com>
1043 PR rtl-optimization/79780
1044 * cprop.c (one_cprop_pass): When second and further conditional trap
1045 in a single basic block is turned into an unconditional trap, turn it
1046 into a deleted note to avoid RTL verification failures.
1048 2017-03-02 Richard Biener <rguenther@suse.de>
1050 * fold-const.c (const_binop): Use ulow () instead of elt (0).
1052 2017-03-02 Richard Biener <rguenther@suse.de>
1054 PR tree-optimization/79345
1056 * tree-ssa-alias.c (walk_aliased_vdefs_1): Take a limit
1057 param and abort the walk, returning -1 if it is hit.
1058 (walk_aliased_vdefs): Take a limit param and pass it on.
1059 * tree-ssa-alias.h (walk_aliased_vdefs): Add a limit param,
1060 defaulting to 0 and return a signed int.
1061 * tree-ssa-uninit.c (struct check_defs_data): New struct.
1062 (check_defs): New helper.
1063 (warn_uninitialized_vars): Use walk_aliased_vdefs to warn
1064 about uninitialized memory.
1065 * fixed-value.c (fixed_from_string): Use ulow/uhigh to avoid
1066 bogus uninitialized warning.
1067 (fixed_convert_from_real): Likewise.
1069 2017-03-02 Bin Cheng <bin.cheng@arm.com>
1071 PR tree-optimization/66768
1072 * tree-ssa-loop-ivopts.c (find_interesting_uses_address): Skip addr
1073 iv_use if base object can't be determined.
1075 2017-03-02 Jakub Jelinek <jakub@redhat.com>
1077 PR tree-optimization/79345
1078 * gensupport.h (struct pattern_stats): Add min_scratch_opno field.
1079 * gensupport.c (get_pattern_stats_1) <case MATCH_SCRATCH>: Update it.
1080 (get_pattern_stats): Initialize it.
1081 * genemit.c (gen_expand): Verify match_scratch numbers come after
1082 match_operand/match_dup numbers.
1083 * config/i386/i386.md (<s>mul<mode>3_highpart): Swap match_dup and
1084 match_scratch numbers.
1085 * config/i386/sse.md (avx2_gathersi<mode>, avx2_gatherdi<mode>):
1087 * config/s390/s390.md (trunctdsd2): Likewise.
1089 2017-03-02 Richard Biener <rguenther@suse.de>
1091 * wide-int.h (wide_int_storage::operator=): Implement in terms
1094 2017-03-02 Richard Biener <rguenther@suse.de>
1096 PR tree-optimization/79777
1097 * tree-ssa-pre.c (eliminate_insert): Give up if we simplify
1098 the to insert expression to sth existing.
1100 2017-03-01 Martin Sebor <msebor@redhat.com>
1103 * gimple-ssa-sprintf.c
1104 (directive::known_width_and_precision): New function.
1105 (format_integer): Use it.
1106 (get_mpfr_format_length): Consider the full range of precision
1107 when computing %g output with the # flag. Set the likely byte
1108 count to 3 rather than 1 when precision is indeterminate.
1109 (format_floating): Correct the lower bound of precision.
1111 2017-03-01 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1113 * doc/invoke.texi: Document default code model for 64-bit Linux.
1115 2017-03-01 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
1118 * config/rs6000/rs6000.md (peephole2 for udiv/umod): Should emit
1119 udiv rather than div since input pattern is unsigned.
1121 2017-03-01 Uros Bizjak <ubizjak@gmail.com>
1123 * config/i386/i386.c (print_reg): Warn for values of
1124 unsupported size in integer register.
1126 2017-03-01 Michael Meissner <meissner@linux.vnet.ibm.com>
1129 * config/rs6000/predicates.md (current_file_function_operand): Do
1130 not allow self calls to be local if the function is replaceable.
1132 2017-03-01 Kelvin Nilsen <kelvin@gcc.gnu.org>
1135 * config/rs6000/altivec.h (vec_ctz and others): Change the
1136 preprocessor macro that controls conditional compilation from
1137 _ARCH_PWR9 to __POWER9_VECTOR__.
1138 (vec_all_ne): Change parameterization of __altivec_scalar_pred
1139 macro expansion under preprocessor #ifdef __POWER9_VECTOR__
1140 control (instead of _ARCH_PWR9 control) so that template
1141 definition uses power9-specific function.
1142 (vec_any_eq): Likewise.
1143 (vec_all_ne): Change macro definition to use a power9-specific
1144 expansion under #ifdef __POWER9_VECTOR__ control (instead of
1145 _ARCH_PWR9 control).
1146 (vec_any_eq) Likewise.
1147 * config/rs6000/rs6000-builtin.def (CMPNEF): Remove BU_P9V_AV_2
1148 expansion for CMPNEF to remove support for xvcmpnesp instruction.
1149 (CMPNED): Remove BU_P9V_AV2 expansion for CMPNED to remove
1150 support for xvcmpnedp instruction.
1151 (VCMPNEB_P): Replace BU_P9V_AV_P macro expansion with BU_P9V_AV_2
1152 macro expansion so that Power9 implementation of vec_all_ne does
1153 not use the AltiVec predicate framework.
1154 (VCMPNEH_P): Likewise.
1155 (VCMPNEW_P): Likewise.
1156 (VCMPNED_P): Likewise.
1157 (VCMPNEFP_P): Likewise.
1158 (VCMPNEDP_P): Likewise.
1159 (VCMPAEB_P): Add BU_P9V_AV_2 macro expansion to change
1160 implementation of vec_any_eq to not use AltiVec predicate
1162 (VCMPAEH_P): Likewise.
1163 (VCMPAEW_P): Likewise.
1164 (VCMPAED_P): Likewise.
1165 (VCMPAEFP_P): Likewise.
1166 (VCMPAEDP_P): Likewise.
1167 (VCMPNE_P): Replace BU_P9V_OVERLOAD_P macro expansion with
1168 BU_P9V_OVERLOAD_2 so that Power9 implementation of vec_all_ne does
1169 not use the AltiVec predicate framework.
1170 (VCMPAE_P): Add BU_P9V_OVERLOAD_2 macro to change implementation
1171 of vec_any_eq to not use AltiVec predicate framework.
1172 * config/rs6000/rs6000-c.c (rs6000_target_modify_macros): Add
1173 support for predefined __POWER9_VECTOR__ macro to indicate that
1174 Power9 instruction selection is enabled.
1175 (altivec_overloaded_builtins): Remove extraneous
1176 ALTIVEC_BUILTIN_VEC_CMPNE entry for overloaded
1177 function argument types RS6000_BTI_bool_V16QI and
1178 RS6000_BTI_bool_V16QI. Remove erroneous ALTIVEC_BUILTIN_VEC_CMPNE
1179 entry for overloaded function argument types RS6000_BTI_bool_V4SI
1180 andRS6000_BTI_bool_V4SI, mapping to P9V_BUILTIN_CMPNEB. Remove
1181 two entries mapping to P9V_BUITIN_CMPNED and one entry mapping to
1182 P9V_BUILTIN_CMPNEF to force use of instructions not specific to
1183 Power9 for implementations of vec_cmpne. Change the signature for
1184 all definitions of the overloaded P9V_BUILTIN_VEC_CMPNE_P function
1185 (representing vec_all_ne) to remove the previously described first
1186 argument of type RS6000_BTI_INTSI, as this was an artifact of
1187 reliance on the AltiVec predicate framework, which is no longer
1188 used in the implementation of these functions. Add
1189 P9V_BUILTIN_VEC_VCMPAE_P entries (representing the vec_anyeq
1190 function) to match all of the P9V_BUILTIN_VEC_VCMNE_P entries
1191 since, unlike the AltiVec predicate framework implementation, we
1192 do not share function descriptors between vec_alle and vec_anyeq.
1193 (altivec_resolve_overloaded_builtin): Add SFmode and DFmode to the
1194 set of modes that receive special treatment even when
1195 TARGET_P9_VECTOR is true. The special treatment emits code that
1196 does not depend on Power9 instructions.
1197 * config/rs6000/vector.md (vector_ne_<mode>_p): Change this
1198 define_expand to not rely on AltiVec predicate framework.
1199 (vector_ae_<mode>p): New define_expand to represent vec_any_eq
1201 (vector_ne_v2di_p): Change this define_expand to not rely on
1202 AltiVec predicate framework.
1203 (vector_ae_v2di_p): New define_expand to represent vec_any_eq
1205 (vector_ne_<mode>_p): Change this define_expand to not rely on
1206 AltiVec predicate framework.
1207 (vector_ae_<mode>p): New define_expand to represent vec_any_eq
1209 * config/rs6000/vsx.md (*vsx_ne_<mode>_p): For modes VSX_EXTRACT_I
1210 (V16QI, V8HI, V4SI), correct a typo in the code emitted for this
1211 define_insn pattern.
1212 (*vsx_ne_<mode>_p): For modes VSX_F (V4SF and V2DF), remove this
1213 define_insn pattern because the xvcmpne<VSs>. instruction is not
1215 (vcmpne<VSs>): Remove this define_insn because xvcmpne<VSs>
1216 instruction is not supported.
1218 2017-03-01 Jakub Jelinek <jakub@redhat.com>
1220 * config/nvptx/nvptx.c: Include intl.h.
1222 2017-03-01 Martin Jambor <mjambor@suse.cz>
1225 * ipa-prop.h (ipa_bits): Removed field known.
1226 (ipa_jump_func): Removed field vr_known. Changed fields bits and m_vr
1227 to pointers. Adjusted their comments to warn about their sharing.
1228 (ipcp_transformation_summary): Change bits to a vector of pointers.
1229 (ipa_check_create_edge_args): Moved to ipa-prop.c, declare.
1230 (ipa_get_ipa_bits_for_value): Declare.
1231 * tree-vrp.h (value_range): Mark as GTY((for_user)).
1232 * ipa-prop.c (ipa_bit_ggc_hash_traits): New.
1233 (ipa_bits_hash_table): Likewise.
1234 (ipa_vr_ggc_hash_traits): Likewise.
1235 (ipa_vr_hash_table): Likewise.
1236 (ipa_print_node_jump_functions_for_edge): Adjust for bits and m_vr
1237 being pointers and vr_known being removed.
1238 (ipa_set_jf_unknown): Likewise.
1239 (ipa_get_ipa_bits_for_value): New function.
1240 (ipa_set_jfunc_bits): Likewise.
1241 (ipa_get_value_range): New overloaded functions.
1242 (ipa_set_jfunc_vr): Likewise.
1243 (ipa_compute_jump_functions_for_edge): Use the above functions to
1244 construct bits and vr parts of jump functions.
1245 (ipa_check_create_edge_args): Move here from ipa-prop.h, also allocate
1246 ipa_bits_hash_table and ipa_vr_hash_table if they do not already
1248 (ipcp_grow_transformations_if_necessary): Also allocate
1249 ipa_bits_hash_table and ipa_vr_hash_table if they do not already
1251 (ipa_node_params_t::duplicate): Do not copy bits, just pointers to
1252 them. Fix too long lines.
1253 (ipa_write_jump_function): Adjust for bits and m_vr being pointers and
1254 vr_known being removed.
1255 (ipa_read_jump_function): Use new setter functions to construct bits
1256 and vr parts of jump functions or set them to NULL.
1257 (write_ipcp_transformation_info): Adjust for bits being pointers.
1258 (read_ipcp_transformation_info): Likewise.
1259 (ipcp_update_bits): Likewise. Fix excessively long lines a trailing
1261 Include gt-ipa-prop.h.
1262 * ipa-cp.c (propagate_bits_across_jump_function): Adjust for bits
1264 (ipcp_store_bits_results): Likewise.
1265 (propagate_vr_across_jump_function): Adjust for m_vr being a pointer.
1266 Do not write to existing jump functions but use a temporary instead.
1268 2017-03-01 Jakub Jelinek <jakub@redhat.com>
1271 * fold-const.c (make_bit_field_ref): If orig_inner is COMPONENT_REF,
1272 attempt to use its first operand as BIT_FIELD_REF base.
1274 2017-03-01 Richard Biener <rguenther@suse.de>
1277 * tree-chrec.c (chrec_evaluate): Perform computation of Newtons
1278 interpolating formula in wrapping arithmetic.
1279 (chrec_apply): Convert chrec_evaluate return value to wanted type.
1281 2017-03-01 Jakub Jelinek <jakub@redhat.com>
1283 PR tree-optimization/79734
1284 * tree-vect-generic.c (expand_vector_condition): Optimize
1285 AVX512 vector boolean VEC_COND_EXPRs into bitwise operations.
1286 Handle VEC_COND_EXPR where comparison has different inner width from
1289 2017-02-28 Sandra Loosemore <sandra@codesourcery.com>
1291 * doc/invoke.texi (ARC Options): Copy-edit to fix punctuation,
1292 markup, and similar issues. Remove @opindex entries for things
1293 that aren't options. Add missing -mmpy-option entries.
1295 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1297 PR tree-optimization/79737
1298 * gimple-ssa-store-merging.c (encode_tree_to_bitpos): If bitlen is
1299 a multiple of BITS_PER_UNIT and !BYTES_BIG_ENDIAN, clear
1300 tmpbuf[byte_size - 1]. Call natice_encode_expr with byte_size - 1
1301 instead of byte_size. Formatting fix.
1302 (shift_bytes_in_array_right): Formatting fix.
1304 2017-02-28 Eric Botcazou <ebotcazou@adacore.com>
1307 * config/sparc/sparc.c (sparc_frame_pointer_required): Add missing
1308 condition on optimize for the leaf function test.
1310 2017-02-28 Martin Liska <mliska@suse.cz>
1313 * read-rtl-function.c (function_reader::handle_unknown_directive):
1314 Bail out when one uses -flto.
1316 2017-02-28 Martin Liska <mliska@suse.cz>
1318 * common.opt: Replace space with tabular for options of <number>
1320 * config/i386/i386.opt: Show <number> value for
1321 -mlarge-data-threshold.
1322 * opts.c (print_filtered_help): Do not display number in hexadecimal
1325 2017-02-28 Martin Liska <mliska@suse.cz>
1327 * common.opt: Fix --help=option -Q for options which are of
1330 2017-02-28 Uros Bizjak <ubizjak@gmail.com>
1332 * config/i386/i386.c (print_reg): Error out for values
1333 of 8-bit size in invalid integer register.
1335 2017-02-28 Martin Sebor <msebor@redhat.com>
1337 PR tree-optimization/79691
1338 * passes.def (pass_all_optimizations_g): Enable pass_sprintf_length.
1340 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1343 * config/i386/i386.c (ix86_print_operand) <case 'R'>: Replace
1344 gcc_unreachable with output_operand_lossage.
1346 2017-02-28 Richard Biener <rguenther@suse.de>
1348 PR tree-optimization/79740
1349 * tree-ssa-sccvn.c (vn_nary_op_insert_into): Allow redundant
1351 (visit_nary_op): Insert the nary into the hashtable if we
1352 pattern-matched sth.
1353 * tree-ssa-pre.c (eliminate_insert): Robustify.
1355 2017-02-28 Richard Biener <rguenther@suse.de>
1358 * fold-const.c (decode_field_reference): Reject out-of-bound
1361 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1363 * config/i386/i386.c: Include intl.h.
1364 (ix86_option_override_internal): Use cond ? G_("...") : G_("...")
1365 instead of just cond ? "..." : "...".
1366 * config/nvptx/nvptx.c (nvptx_goacc_validate_dims): Likewise.
1367 * coverage.c (read_counts_file): Likewise.
1368 * omp-offload.c: Include intl.h.
1369 (oacc_loop_fixed_partitions): Use cond ? G_("...") : G_("...") instead
1370 of just cond ? "..." : "...".
1371 * gcov.c (read_count_file): Use cond ? N_("...") : N_("...") instead
1372 of just cond ? "..." : "...".
1374 2017-02-28 Richard Earnshaw <rearnsha@arm.com>
1377 * config/arm/parsecpu.awk (gen_data): Set tuning target to 'tune for'
1379 * config/arm/arm-cpus.in (cortex-m0plus.small-multiply): Correct
1380 'tune for' CPU name.
1381 * config/arm/arm-cpu-data.h: Regenerated.
1383 2017-02-28 Richard Biener <rguenther@suse.de>
1385 PR tree-optimization/79732
1386 * tree-inline.c (expand_call_inline): Do not shadow var.
1388 2017-02-28 Richard Biener <rguenther@suse.de>
1390 PR tree-optimization/79723
1391 * tree-vect-stmts.c (get_vectype_for_scalar_type_and_size): Preserve
1392 address-space properly.
1394 2017-02-28 Thomas Schwinge <thomas@codesourcery.com>
1396 * doc/optinfo.texi (Optimization groups): Fix option used for
1398 * doc/invoke.texi (-fopt-info): Document "omp".
1399 * dumpfile.h: Sort OPTGROUP_OMP before OPTGROUP_VEC.
1400 (OPTGROUP_ALL): Add OPTGROUP_OMP.
1401 * hsa-gen.c (pass_data_gen_hsail): Use OPTGROUP_OMP.
1402 * ipa-hsa.c (pass_data_ipa_hsa): Likewise.
1403 * omp-simd-clone.c (pass_data_omp_simd_clone): Likewise.
1405 * dumpfile.h (OPTGROUP_OPENMP): Rename to OPTGROUP_OMP. Adjust
1407 * dumpfile.c (optgroup_options): Instead of "openmp", associate
1408 OPTGROUP_OMP with "omp".
1410 2017-02-27 Pat Haugen <pthaugen@us.ibm.com>
1413 * config/rs6000/rs6000-c.c (struct altivec_builtin_types): Use VSRAD
1414 for arithmetic shift of unsigned V2DI.
1416 2017-02-27 Claudiu Zissulescu <claziss@synopsys.com>
1418 * config.gcc (arc*-): Clean up, use arc/big.h, arc/elf.h, and
1419 arc/linux.h headers.
1420 * config/arc/arc.h (TARGET_OS_CPP_BUILTINS): Remove.
1421 (LINK_SPEC): Likewise.
1422 (ARC_TLS_EXTRA_START_SPEC): Likewise.
1423 (EXTRA_SPECS): Likewise.
1424 (STARTFILE_SPEC): Likewise.
1425 (ENDFILE_SPEC): Likewise.
1426 (LIB_SPEC): Likewise.
1427 (TARGET_SDATA_DEFAULT): Likewise.
1428 (TARGET_MMEDIUM_CALLS_DEFAULT): Likewise.
1429 (MULTILIB_DEFAULTS): Likewise.
1430 (DWARF2_UNWIND_INFO): Likewise.
1431 * config/arc/big.h: New file.
1432 * config/arc/elf.h: Likewise.
1433 * config/arc/linux.h: Likewise.
1434 * config/arc/t-uClibc: Remove.
1436 2017-02-27 Bin Cheng <bin.cheng@arm.com>
1438 PR tree-optimization/77536
1439 * tree-ssa-loop-manip.c (niter_for_unrolled_loop): New function.
1440 (tree_transform_and_unroll_loop): Use above function to compute the
1441 estimated niter of unrolled loop and use it when scaling profile.
1442 Also use count info rather than frequency if it's non-zero.
1443 * tree-ssa-loop-manip.h niter_for_unrolled_loop(): New declaration.
1444 * tree-vect-loop.c (scale_profile_for_vect_loop): New function.
1445 (vect_transform_loop): Call above function.
1447 2017-02-27 Richard Biener <rguenther@suse.de>
1449 PR tree-optimization/45397
1450 * tree-ssa-pre.c (eliminate_insert): Handle BIT_AND_EXPR.
1451 * tree-ssa-sccvn.c (valueized_wider_op): New helper.
1452 (visit_nary_op): Add pattern matching for CSEing sign-changed
1453 or truncated operations with wider ones.
1455 2017-02-27 Richard Biener <rguenther@suse.de>
1457 PR tree-optimization/79690
1458 * tree-vect-stmts.c (vectorizable_store): Use vector type
1459 built from the DR with address-space.
1461 2017-02-26 Gerald Pfeifer <gerald@pfeifer.com>
1463 * doc/invoke.texi (Optimize Options): Refine the description
1464 of asan-use-after-return.
1466 2017-02-25 Alan Modra <amodra@gmail.com>
1468 PR rtl-optimization/79584
1469 * lra-constraints.c (base_to_reg): Reload ad->base, the entire
1470 base, not ad->base_term, the reg within base. Remove assertion
1471 that ad->base == ad->base_term. Replace gen_int_mode using
1472 bogus mode with const0_rtx.
1474 2017-02-25 Jakub Jelinek <jakub@redhat.com>
1477 * tree-eh.c (operation_could_trap_p, stmt_could_throw_1_p): Handle
1478 FMA_EXPR like tcc_binary or tcc_unary.
1480 * tree-ssa-loop-niter.c (number_of_iterations_exit): Simplify warning.
1483 * dwarf2out.c (struct dw_loc_list_struct): Add noted_variable_value
1485 (size_of_loc_descr): Handle DW_OP_GNU_variable_value.
1486 (output_loc_operands): Handle DW_OP_call_ref and
1487 DW_OP_GNU_variable_value.
1488 (struct variable_value_struct): New type.
1489 (struct variable_value_hasher): Likewise.
1490 (variable_value_hash): New variable.
1491 (string_types): Remove.
1492 (copy_loc_descr): New function.
1493 (add_loc_descr_to_each): Clarify comment. Use copy_loc_descr.
1494 (prepend_loc_descr_to_each): New function.
1495 (add_loc_list): Fix comment typo. Use prepend_loc_descr_to_each
1496 instead of add_loc_descr_to_each if the first argument is single
1497 location list and the second has multiple.
1498 (resolve_args_picking_1): Handle DW_OP_GNU_variable_value.
1499 (loc_list_from_tree_1): For early_dwarf, emit DW_OP_GNU_variable_value
1500 when looking for variable value which doesn't have other location info.
1501 (loc_list_from_tree): Formatting fix.
1502 (gen_array_type_die): Simplify DW_AT_string_length handling.
1503 (adjust_string_types): Remove.
1504 (gen_subprogram_die): Don't call adjust_string_types nor test/set
1505 string_types. Call resolve_variable_values.
1506 (prune_unused_types_walk_loc_descr): Handle DW_OP_GNU_variable_value.
1507 (resolve_addr_in_expr): Likewise. Add A argument.
1508 (copy_deref_exprloc): Remove deref argument. Adjust for the
1509 original expression being DW_OP_GNU_variable_value with optionally
1510 DW_OP_stack_value after it instead of DW_OP_call4 with DW_OP_deref
1511 optionally after it.
1512 (optimize_string_length): Rework for DW_OP_GNU_variable_value.
1513 (resolve_addr): Adjust optimize_string_length and resolve_addr_in_expr
1514 callers. Set remove_AT_byte_size if removing DW_AT_string_length.
1515 (variable_value_hasher::hash, variable_value_hasher::equal): New
1517 (resolve_variable_value_in_expr, resolve_variable_value,
1518 resolve_variable_values, note_variable_value_in_expr,
1519 note_variable_value): New functions.
1520 (dwarf2out_early_finish): Call note_variable_value on all toplevel
1523 2017-02-24 Jakub Jelinek <jakub@redhat.com>
1526 * opts.h (handle_generated_option): Add GENERATED_P argument.
1527 * opts-common.c (handle_option): Adjust function comment.
1528 (handle_generated_option): Add GENERATED_P argument, pass it to
1530 (control_warning_option): Pass false to handle_generated_option
1532 * opts.c (maybe_default_option): Pass true to handle_generated_option
1534 * optc-gen.awk: Likewise.
1536 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1538 * config/sh/sh.md (tstsi_t): If operands[0] is a SUBREG instead of
1539 a REG, look at the REG it is a SUBREG of.
1540 (splitter for cmpeqsi_t): Ditto.
1542 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1544 * config/pa/pa.c (pa_combine_instructions): Do not share RTL. Make
1545 the special USEs with the pattern of the insn, not the insn itself.
1547 2017-02-24 Matthew Fortune <matthew.fortune@imgtec.com>
1550 * doc/invoke.texi: Document -mload-store-pairs.
1552 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1553 Sandra Loosemore <sandra@codesourcery.com>
1555 * config/nios2/nios2.c (nios2_simple_const_p): Returns false if the
1556 argument isn't a CONST_INT.
1557 (nios2_alternate_compare_const): Assert op is a CONST_INT.
1558 (nios2_valid_compare_const_p): Assert op is a CONST_INT.
1559 (nios2_validate_compare): Bypass alternate compare logic if *op2
1561 (ldstwm_operation_p): Return false if first_base is not a REG or
1562 if first_offset is not a CONST_INT.
1564 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1566 * config/cris/cris.md: Use correct operand in a define_peephole2.
1568 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1570 * config/c6x/c6x.c (predicate_insn): Do not incorrectly share RTL.
1572 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1574 * config/arc/arc.c (arc_ccfsm_advance): Only take the PATTERN of
1575 this_insn if it is an INSN or JUMP_INSN.
1576 (force_offsettable): Look at base, not at addr.
1577 * config/arc/predicates.md (brcc_nolimm_operator): Don't call INTVAL
1578 on things that aren't necessarily CONST_INTs.
1580 2017-02-24 Uros Bizjak <ubizjak@gmail.com>
1582 * doc/invoke.texi (x86 Options, -mfpmath=sse): Mention that
1583 -mfpmath=sse is the default also for x86-32 targets with SSE2
1584 instruction set when @option{-ffast-math} is enabled
1586 2017-02-24 Jeff Law <law@redhat.com>
1588 PR rtl-optimizatoin/79286
1589 * ira.c (update_equiv_regs): Drop may_trap_p exception to
1592 2017-02-24 Richard Biener <rguenther@suse.de>
1594 PR tree-optimization/79389
1595 * gimple-ssa-split-paths.c (is_feasible_trace): Properly skip
1598 2017-02-24 Aldy Hernandez <aldyh@redhat.com>
1600 * tree-ssa-loop-niter.c (number_of_iterations_exit): Update
1601 function comment to reflect reality.
1602 (loop_exits_before_overflow): Fix typo in function description.
1604 2017-02-24 Richard Biener <rguenther@suse.de>
1606 PR tree-optimization/79389
1607 * gimple-ssa-split-paths.c (is_feasible_trace): Verify more
1608 properly that a threading opportunity exists. Detect conditional
1609 copy/constant propagation opportunities.
1611 2017-02-23 Eric Botcazou <ebotcazou@adacore.com>
1613 * config/visium/visium.md (type): Add trap.
1614 (b): New mode attribute.
1615 (*btst): Rename into...
1616 (*btst<mode>): ...this and adjust.
1617 (*cbranchsi4_btst_insn): Rename into...
1618 (*cbranch<mode>4_btst_insn): ...this and adjust.
1619 (trap): New define_insn.
1621 2017-02-23 Jakub Jelinek <jakub@redhat.com>
1623 PR tree-optimization/79389
1624 * ifcvt.c (struct noce_if_info): Add rev_cond field.
1625 (noce_reversed_cond_code): New function.
1626 (noce_emit_store_flag): Use rev_cond if non-NULL instead of
1627 reversed_comparison_code. Formatting fix.
1628 (noce_try_store_flag): Test rev_cond != NULL in addition to
1629 reversed_comparison_code.
1630 (noce_try_store_flag_constants): Likewise.
1631 (noce_try_store_flag_mask): Likewise.
1632 (noce_try_addcc): Use rev_cond if non-NULL instead of
1633 reversed_comparison_code.
1634 (noce_try_cmove_arith): Likewise. Formatting fixes.
1635 (noce_try_minmax, noce_try_abs): Clear rev_cond.
1636 (noce_find_if_block): Initialize rev_cond.
1637 (find_cond_trap): Call noce_get_condition with then_bb == trap_bb
1638 instead of false as last argument never attempt to reverse it
1641 2017-02-23 Bin Cheng <bin.cheng@arm.com>
1643 PR tree-optimization/79663
1644 * tree-predcom.c (combine_chains): Process refs in reverse order
1645 only for ZERO length chains, and add explaining comment.
1647 2017-02-23 Jeff Law <law@redhat.com>
1649 PR tree-optimization/79578
1650 * tree-ssa-dse.c (clear_bytes_written_by): Use OEP_ADDRESS_OF
1651 in call to operand_equal_p.
1653 2017-01-23 Dominique d'Humieres <dominiq@lps.ens.fr>
1656 * config/i386/cpuid.h: Fix another undefined behavior.
1658 2017-02-23 Richard Biener <rguenther@suse.de>
1660 PR tree-optimization/79683
1661 * tree-vect-stmts.c (vect_analyze_stmt): Do not overwrite
1662 vector types for data-refs.
1664 2017-02-23 Martin Liska <mliska@suse.cz>
1666 * params.def (PARAM_MIN_NONDEBUG_INSN_UID): Change default to 0.
1668 2017-02-23 Jakub Jelinek <jakub@redhat.com>
1671 * internal-fn.c (get_range_pos_neg): Moved to ...
1672 * tree.c (get_range_pos_neg): ... here. No longer static.
1673 * tree.h (get_range_pos_neg): New prototype.
1674 * expr.c (expand_expr_real_2) <case TRUNC_DIV_EXPR>: If both arguments
1675 are known to be in between 0 and signed maximum inclusive, try to
1676 expand both unsigned and signed divmod and use the cheaper one from
1679 2017-02-22 Jeff Law <law@redhat.com>
1681 PR tree-optimization/79578
1682 * tree-ssa-dse.c (clear_bytes_written_by): Use operand_equal_p
1683 to compare base operands.
1685 2017-02-22 Segher Boessenkool <segher@kernel.crashing.org>
1688 * config/rs6000/rs6000.md (*fsel<SFDF:mode><SFDF2:mode>4): Use
1689 gpc_reg_operand instead of fpr_reg_operand.
1691 2017-02-22 Sameera Deshpande <sameera.deshpande@imgtec.com>
1693 * config/mips/mips.c (mips_return_in_memory): Force FP
1694 vector types to be returned in memory for o32 ABI.
1696 2017-02-22 Jakub Jelinek <jakub@redhat.com>
1698 * dwarf2out.c (gen_variable_die): For -gdwarf-5, use DW_TAG_variable
1699 instead of DW_TAG_member for static data member declarations and don't
1700 set no_linkage_name for static inline data members.
1701 (gen_member_die): For -gdwarf-5 don't change DW_TAG_variable
1704 2017-02-22 Martin Liska <mliska@suse.cz>
1706 * doc/invoke.texi: Replace inequality signs with square brackets
1709 2017-02-22 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1711 PR tree-optimization/68644
1712 * gcc.dg/tree-ssa/ivopts-lt-2.c: Skip for powerpc*-*-*.
1714 2017-02-22 Matthew Fortune <matthew.fortune@imgtec.com>
1717 * lra-constraints.c (simplify_operand_subreg): Handle
1718 WORD_REGISTER_OPERATIONS targets.
1720 2017-02-22 Jakub Jelinek <jakub@redhat.com>
1723 * reg-stack.c (emit_swap_insn): Treat (float_extend:?F (mem:?F))
1724 and (const_double:?F) like (mem:?F) for the purpose of fxch %st(1)
1725 elimination by swapping fld*.
1727 2017-02-22 Richard Biener <rguenther@suse.de>
1729 PR tree-optimization/79673
1730 * tree-ssa-pre.c (compute_avail): Use wide_int_to_tree to
1731 convert the [TARGET_]MEM_REF offset INTEGER_CST, scrapping off
1732 irrelevant address-space qualifiers and avoiding a
1733 ADDR_SPACE_CONVERT_EXPR from fold_convert.
1735 2017-02-22 Richard Biener <rguenther@suse.de>
1737 PR tree-optimization/79666
1738 * tree-vrp.c (extract_range_from_binary_expr_1): Make sure
1739 to not symbolically negate if that may introduce undefined
1742 2017-02-22 Martin Liska <mliska@suse.cz>
1745 * data-streamer-in.c (streamer_read_gcov_count): Remove assert.
1746 * data-streamer-out.c (streamer_write_gcov_count_stream):
1748 * value-prof.c (stream_out_histogram_value): Make assert more
1749 precise based on type of counter.
1751 2017-02-21 Uros Bizjak <ubizjak@gmail.com>
1754 * config/i386/i386.md (standard_x87sse_constant_load splitter):
1755 Use nonimmediate_operand instead of memory_operand for operand 1.
1756 (float-extend standard_x87sse_constant_load splitter): Ditto.
1758 2017-02-21 Jeff Law <law@redhat.com>
1760 PR tree-optimization/79621
1761 * gimple-ssa-isolate-paths.c (find_implicit_erroneous_behavior): Ignore
1762 blocks with edges to themselves.
1764 2017-02-21 Jakub Jelinek <jakub@redhat.com>
1767 * tree-chkp-opt.c (chkp_optimize_string_function_calls): Use
1768 is_gimple_call instead of comparing gimple_code with GIMPLE_CALL.
1769 Use gimple_call_builtin_p.
1772 * sel-sched.c (moveup_expr_cached): Don't call sel_bb_head
1773 on temporarily removed DEBUG_INSNs.
1775 PR tree-optimization/79649
1776 * tree-loop-distribution.c (classify_partition): Give up on
1777 non-generic address space loads/stores.
1779 2017-02-21 Aldy Hernandez <aldyh@redhat.com>
1781 * doc/loop.texi (Loop manipulation): Remove nonexistent
1782 tree_ssa_loop_version from the documentation.
1783 * cfgloopmanip.c (loop_version): Document CONDITION_BB argument.
1785 2017-02-21 Jakub Jelinek <jakub@redhat.com>
1788 * config/i386/i386.c (ix86_expand_split_stack_prologue): Call
1789 make_reg_eh_region_note_nothrow_nononlocal on call_insn.
1790 * config/rs6000/rs6000.c: Include except.h.
1791 (rs6000_expand_split_stack_prologue): Call
1792 make_reg_eh_region_note_nothrow_nononlocal on the call insn.
1794 2017-02-21 Martin Jambor <mjambor@suse.cz>
1797 * ipa-prop.c (ipa_prop_write_jump_functions): Bail out if no edges
1800 2017-02-21 Martin Jambor <mjambor@suse.cz>
1802 * common.opt (-fipa-cp-alignment): Mark as ignored and preserved
1803 for backward compatibility only.
1804 * doc/invoke.texi (Option Summary): Remove all references to
1807 2017-02-21 Matthew Fortune <matthew.fortune@imgtec.com>
1811 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1813 * lra-constraints.c (curr_insn_transform): Handle
1814 WORD_REGISTER_OPERATIONS requirements when reloading SUBREGs.
1816 2017-02-21 Martin Liska <mliska@suse.cz>
1818 * config/i386/i386.opt: Replace -masm-dialect with -masm.
1820 2017-02-21 Thomas Schwinge <thomas@codesourcery.com>
1822 PR translation/79638
1823 * config/nvptx/nvptx.c (ENTRY_TEMPLATE): Single out "%ntid.y".
1825 2017-02-21 Eric Botcazou <ebotcazou@adacore.com>
1828 * config/arm/arm.c (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Define.
1829 (arm_function_ok_for_sibcall): Return false for an indirect call by
1830 descriptor if all the argument registers are used.
1831 (arm_relayout_function): Use FUNCTION_ALIGNMENT macro to adjust the
1832 alignment of the function.
1834 2017-02-21 Jakub Jelinek <jakub@redhat.com>
1836 PR tree-optimization/61441
1837 * simplify-rtx.c (simplify_const_unary_operation): For
1838 -fsignaling-nans and sNaN operand, return NULL_RTX rather than
1839 the sNaN unmodified.
1841 2017-02-20 Bernd Edlinger <bernd.edlinger@hotmail.de>
1843 * Makefile.in (BUILD_SYSTEM_HEADER_DIR): New make variabe.
1844 (LIMITS_H_TEST, if_multiarch, stmp-fixinc): Use BUILD_SYSTEM_HEADER_DIR
1845 instead of SYSTEM_HEADER_DIR.
1847 2017-02-20 Gerald Pfeifer <gerald@pfeifer.com>
1848 Martin Liška <mliska@suse.cz>
1850 * doc/invoke.texi (use-after-scope-direct-emission-threshold):
1851 Fix typos and grammar, use active voice, and clarify.
1853 2017-02-20 Marek Polacek <polacek@redhat.com>
1856 * gimplify.c (gimplify_expr): Handle unused *&&L;.
1859 * ubsan.c (ubsan_type_descriptor): Check if TYPE_MAX_VALUE is null.
1861 2017-02-20 Jakub Jelinek <jakub@redhat.com>
1864 * config/i386/i386.c (ix86_expand_builtin): Handle
1865 OPTION_MASK_ISA_AVX512VL and OPTION_MASK_ISA_64BIT in
1866 ix86_builtins_isa[fcode].isa as a requirement of those
1867 flags and any other flag in the bitmask.
1868 (ix86_init_mmx_sse_builtins): Use 0 instead of
1869 ~OPTION_MASK_ISA_64BIT as mask.
1870 * config/i386/i386-builtin.def (__builtin_ia32_rdtsc,
1871 __builtin_ia32_rdtscp, __builtin_ia32_pause, __builtin_ia32_bsrsi,
1872 __builtin_ia32_rdpmc, __builtin_ia32_rolqi, __builtin_ia32_rolhi,
1873 __builtin_ia32_rorqi, __builtin_ia32_rorhi): Likewise.
1875 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1878 * lra-constraints.c (split_reg): Check requested split mode
1879 is supported by the register.
1881 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1883 * lra-constraints.c (simplify_operand_subreg): Remove early
1886 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1889 * lra-constraints.c (curr_insn_transform): Tighten condition
1890 for converting SUBREG reloads from OP_OUT to OP_INOUT.
1892 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1895 * lra-constraints.c (curr_insn_transform): Handle
1896 WORD_REGISTER_OPERATIONS requirements when reloading SUBREGs.
1898 2017-02-19 Uros Bizjak <ubizjak@gmail.com>
1901 2016-05-30 Uros Bizjak <ubizjak@gmail.com>
1903 * config/i386/sync.md (mfence_nosse): Use "lock orl $0, -4(%esp)".
1905 2017-02-19 Jonathan Wakely <jwakely@redhat.com>
1908 * doc/invoke.texi (C++ Dialect Options) [-Wliteral-suffix]: Update
1911 2017-02-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
1913 * gimple-pretty-print.c (dump_ternary_rhs): Adjust gimple dump format
1916 2017-02-18 Jakub Jelinek <jakub@redhat.com>
1918 * final.c (last_columnnum, override_columnnum): New variables.
1919 (final_start_function): Set last_columnnum, pass it to begin_prologue
1920 hook and pass 0 to dwarf2out_begin_prologue.
1921 (final_scan_insn): Update override_columnnum. Pass last_columnnum
1922 to source_line debug hook.
1923 (notice_source_line): Compute last_columnnum and for debug_column_info
1924 return true on column changes.
1925 * debug.h (struct gcc_debug_hooks): Add column argument to
1926 source_line and begin_prologue hooks.
1927 (debug_nothing_int_charstar_int_bool): Remove prototype.
1928 (debug_nothing_int_int_charstar,
1929 debug_nothing_int_int_charstar_int_bool): New prototypes.
1930 (dwarf2out_begin_prologue): Add column argument.
1931 * debug.c (do_nothing_debug_hooks): Adjust source_line and
1932 begin_prologue hooks.
1933 (debug_nothing_int_charstar_int_bool): Remove.
1934 (debug_nothing_int_int_charstar,
1935 debug_nothing_int_int_charstar_int_bool): New functions.
1936 * dwarf2out.c (dwarf2out_begin_prologue): Add column argument, pass it
1937 through to dwarf2out_source_line.
1938 (dwarf2_lineno_debug_hooks): Adjust begin_prologue hook.
1939 (dwarf2out_source_line): Add column argument, emit it if requested.
1940 * sdbout.c (sdbout_source_line, sdbout_begin_prologue): Add column
1942 * xcoffout.h (xcoffout_begin_prologue, xcoffout_source_line): Likewise.
1943 * xcoffout.c (xcoffout_begin_prologue, xcoffout_source_line): Likewise.
1944 * vmsdbgout.c (vmsdbgout_begin_prologue): Add column argument, pass it
1945 through to dwarf2out_begin_prologue.
1946 (vmsdbgout_source_line): Add column argument, pass it through to
1947 dwarf2out_source_line.
1948 * dbxout.c (dbxout_begin_prologue): Add column argument, adjust
1949 dbxout_source_line caller.
1950 (dbxout_source_line): Add column argument.
1952 * common.opt (gno-column-info, gcolumn-info): New options.
1953 * dwarf2out.c (dwarf2_lineno_debug_hooks): Formatting fix.
1954 (check_die): Also test for multiple DW_AT_decl_column attributes.
1955 (add_src_coords_attributes, dwarf2out_imported_module_or_decl_1): Add
1956 DW_AT_decl_column if requested.
1957 (gen_subprogram_die): Compare and/or add also DW_AT_decl_column
1959 (gen_variable_die): Likewise.
1960 (add_call_src_coords_attributes): Add DW_AT_call_column if requested.
1961 * doc/invoke.texi (-gcolumn-info, -gno-column-info): Document.
1964 * config/i386/i386.opt (m3dnowa): Replace Undocumented with Report.
1965 * common/config/i386/i386-common.c (OPTION_MASK_ISA_3DNOW_A_SET): Define.
1966 (ix86_handle_option): Handle OPT_m3dnowa.
1967 * doc/invoke.texi (-m3dnowa): Document.
1968 * doc/extend.texi (__builtin_ia32_pmulhuw, __builtin_ia32_pf2iw): Use
1969 -m3dnowa instead of -m3dnow -march=athlon.
1972 * config/i386/i386.c (ix86_print_operand): Use output_operand_lossage
1973 instead of gcc_assert for K, r and R code checks. Formatting fixes.
1975 2017-02-17 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1978 * config/rs6000/rs6000.c (rs6000_expand_ternop_builtin): Add
1979 support for CODE_FOR_vsx_xxpermdi_v2d[fi]_be.
1980 * config/rs6000/rs6000.md (reload_gpr_from_vsx<mode>): Call
1981 generator for vsx_xxpermdi_<mode>_be.
1982 * config/rs6000/vsx.md (vsx_xxpermdi_<mode>): Remove logic to
1983 force big-endian semantics.
1984 (vsx_xxpermdi_<mode>_be): New define_expand with same
1985 implementation as previous version of vsx_xxpermdi_<mode>.
1987 2017-02-17 Jakub Jelinek <jakub@redhat.com>
1989 PR tree-optimization/79327
1990 * gimple-ssa-sprintf.c (format_integer): Remove likely_adjust
1991 variable, its initialization and use.
1993 2017-02-17 Julia Koval <julia.koval@intel.com>
1995 * common/config/i386/i386-common.c (OPTION_MASK_ISA_RDPID_SET): New.
1996 (OPTION_MASK_ISA_PKU_UNSET): New.
1997 (ix86_handle_option): Handle -mrdpid.
1998 * config/i386/cpuid.h (bit_RDPID): New.
1999 * config/i386/driver-i386.c (host_detect_local_cpu):
2000 Detect RDPID feature.
2001 * config/i386/i386-builtin.def (__builtin_ia32_rdpid): New.
2002 * config/i386/i386-c.c (ix86_target_macros_internal):
2004 * config/i386/i386.c (ix86_target_string): Add -mrdpid to isa2_opts.
2005 (ix86_valid_target_attribute_inner_p): Add "rdpid".
2006 (ix86_expand_builtin): Handle IX86_BUILTIN_RDPID.
2007 * config/i386/i386.h (TARGET_RDPID, TARGET_RDPID_P): New.
2008 * config/i386/i386.md (define_insn "rdpid"): New.
2009 * config/i386/i386.opt Add -mrdpid.
2010 * config/i386/immintrin.h (_rdpid_u32): New.
2012 2017-02-17 Vladimir Makarov <vmakarov@redhat.com>
2014 PR rtl-optimization/79541
2015 * lra-constraints.c (curr_insn_transform): Remove wrong asm insn
2016 instead of transforming it into USE.
2018 2017-02-17 Segher Boessenkool <segher@kernel.crashing.org>
2020 * config/rs6000/rs6000.md (extendsfdf2): Remove default arguments.
2021 If HONOR_SNANS (SFmode) force the input to a register.
2022 (*extendsfdf2_fpr): Add !HONOR_SNANS (SFmode) condition.
2023 (*extendsfdf2_snan): New pattern, used when using SNaNs; it generates
2024 an frsp or similar insn.
2026 2017-02-17 Martin Liska <mliska@suse.cz>
2028 PR rtl-optimization/79577
2029 * params.def (selsched-max-sched-times): Increase minimum to 1.
2031 2017-02-17 Martin Liska <mliska@suse.cz>
2033 PR rtl-optimization/79574
2034 * gcse.c (want_to_gcse_p): Prevent integer overflow.
2036 2017-02-17 Martin Liska <mliska@suse.cz>
2038 PR tree-optimization/79529
2039 * tree-ssa-loop-unswitch.c (is_maybe_undefined): Use
2040 ssa_defined_default_def_p to handle cases which are implicitly
2042 * tree-ssa.c (ssa_defined_default_def_p): New function.
2043 (ssa_undefined_value_p): Use ssa_defined_default_def_p to handle cases
2044 which are implicitly defined.
2045 * tree-ssa.h (ssa_defined_default_def_p): Declare.
2047 2017-02-17 Richard Biener <rguenther@suse.de>
2050 * params.def (max-ssa-name-query-depth): Limit to 10.
2052 2017-02-17 Richard Biener <rguenther@suse.de>
2054 PR tree-optimization/79552
2055 * tree-ssa-structalias.c (visit_loadstore): Properly verify
2058 2017-02-17 Richard Biener <rguenther@suse.de>
2061 * genmatch.c (output_line_directive): Handle DIR_SEPARATOR_2.
2063 2017-02-17 Marek Polacek <polacek@redhat.com>
2066 * fold-const.c (fold_negate_expr_1): Renamed from fold_negate_expr.
2067 (fold_negate_expr): New wrapper.
2069 2017-02-16 Sandra Loosemore <sandra@codesourcery.com>
2071 * doc/invoke.texi (C++ Dialect Options) [-Wno-non-template-friend]:
2072 Correct terminology and de-emphasize pre-standard behavior.
2074 2017-02-16 Alan Modra <amodra@gmail.com>
2076 PR rtl-optimization/79286
2077 * ira.c (def_dominates_uses): New function.
2078 (update_equiv_regs): Don't create an equivalence for insns that
2079 may trap where the register def does not dominate the use.
2081 2017-02-16 Vladimir Makarov <vmakarov@redhat.com>
2083 PR rtl-optimization/78127
2084 * lra.c (lra): Call lra_eliminate before finish the loop after
2087 2017-02-16 Richard Biener <rguenther@suse.de>
2089 * graphite.h: Do not include isl/isl_val_gmp.h, instead include
2091 * graphite-isl-ast-to-gimple.c (gmp_cst_to_tree): Remove.
2092 (gcc_expression_from_isl_expr_int): Use generic isl_val interface.
2093 * graphite-sese-to-poly.c: Do not include isl/isl_val_gmp.h.
2094 (isl_val_int_from_wi): New function.
2095 (extract_affine_gmp): Rename to ...
2096 (extract_affine_wi): ... this, take a widest_int.
2097 (extract_affine_int): Just wrap extract_affine_wi.
2098 (add_param_constraints): Use isl_val_int_from_wi.
2099 (add_loop_constraints): Likewise, and extract_affine_wi.
2101 2017-02-15 Jeff Law <law@redhat.com>
2104 * ira-costs.c (scan_one_insn): Check have_regs_of_mode before calling
2105 ira_init_register_move_cost_if_necessary.
2107 2017-02-15 Martin Sebor <msebor@redhat.com>
2110 * doc/invoke.texi (-fdump-final-insns): Replace option accidentally
2111 removed in a prior commit.
2113 2017-02-15 Bin Cheng <bin.cheng@arm.com>
2115 PR tree-optimization/79347
2116 * tree-vect-loop-manip.c (vect_do_peeling): Maintain profile
2117 counters during peeling.
2119 2017-02-15 Thomas Schwinge <thomas@codesourcery.com>
2121 * Makefile.in (site.exp): Remove "set ISLVER".
2123 2017-02-15 Jakub Jelinek <jakub@redhat.com>
2126 * real.c (real_from_integer): Call real_convert even for decimal.
2128 2017-02-15 Dominik Vogt <vogt@linux.vnet.ibm.com>
2131 * config/s390/s390.c: define TARGET_CUSTOM_FUNCTION_DESCRIPTORS.
2133 2017-02-14 Andrew Pinski <apinski@cavium.com>
2135 * config/aarch64/aarch64-cores.def (thunderx2t99): Move to under 'C"
2136 cores and change the partno/implementer to be correct.
2137 (thunderx2t99p1): New core which replaces thunderx2t99 and still has
2138 the 'B" as the implementer.
2139 * config/aarch64/aarch64-tune.md: Regenerate.
2141 2017-02-14 Carl Love <cel@us.ibm.com>
2143 * config/rs6000/rs6000.c: Add case statement entry to make the
2144 xvcvuxdsp built-in argument unsigned.
2145 * config/rs6000/vsx.md: Fix the source and return operand types so they
2146 match the instruction definitions from the ISA document. Fix typo
2147 in the instruction generation for the (define_insn "vsx_xvcvuxdsp"
2150 2017-02-14 Vladimir Makarov <vmakarov@redhat.com>
2153 * lra-int.h (struct lra_operand_data, struct lra_insn_reg): Add
2154 member early_clobber_alts.
2155 * lra-lives.c (reg_early_clobber_p): New.
2156 (process_bb_lives): Use it.
2157 * lra.c (new_insn_reg): New arg early_clobber_alts. Use it.
2158 (debug_operand_data): Initialize early_clobber_alts.
2159 (setup_operand_alternative): Set up early_clobber_alts.
2160 (collect_non_operand_hard_regs): Ditto. Pass early clobber
2161 alternatives to new_insn_reg.
2162 (add_regs_to_insn_regno_info): Add arg early_clobber_alts. Use
2164 (lra_update_insn_regno_info): Pass the new arg.
2166 2017-02-14 Jakub Jelinek <jakub@redhat.com>
2169 * omp-offload.c (free_oacc_loop): Release loop->ifns vector.
2170 (new_oacc_loop_raw): Don't clear already cleared fields.
2173 * config/i386/avx512pfintrin.h (_mm512_prefetch_i32gather_pd,
2174 _mm512_prefetch_i32gather_ps, _mm512_prefetch_i64gather_pd,
2175 _mm512_prefetch_i64gather_ps): New inline functions and macros.
2177 2017-02-14 Uros Bizjak <ubizjak@gmail.com>
2180 * config/i386/i386.md (*movxf_internal): Add (o,rC) alternative.
2182 2017-02-14 H.J. Lu <hongjiu.lu@intel.com>
2185 * config/i386/i386.c (timode_scalar_chain::convert_insn): Insert
2186 the extra instruction to the right place to store 128-bit constant
2189 2017-02-14 Martin Sebor <msebor@redhat.com>
2192 * gimple-ssa-sprintf.c (format_directive): Avoid issuing INT_MAX
2193 warning for strings of unknown length.
2195 2017-02-13 Segher Boessenkool <segher@kernel.crashing.org>
2197 * config.gcc (supported_defaults) [powerpc*-*-*]: Update.
2199 2017-02-14 Jeff Law <law@redhat.com>
2202 * ira-costs.c (scan_one_insn): Initialize register move costs
2203 for pseudos seen in USE/CLOBBER insns.
2205 PR tree-optimization/79095
2206 * tree-vrp.c (extract_range_from_binary_expr_1): For EXACT_DIV_EXPR,
2207 if the numerator has the range ~[0,0] make the resultant range ~[0,0].
2208 (extract_range_from_binary_expr): For MINUS_EXPR with no derived range,
2209 if the operands are known to be not equal, then the resulting range
2211 (intersect_ranges): If the new range is ~[0,0] and the old range is
2212 wide, then prefer ~[0,0].
2213 * tree-vrp.c (overflow_comparison_p_1): New function.
2214 (overflow_comparison_p): New function.
2215 * tree-vrp.c (register_edge_assert_for_2): Register additional asserts
2216 if NAME is used in an overflow test.
2217 (vrp_evaluate_conditional_warnv_with_ops): If the ops represent an
2218 overflow check that can be expressed as an equality test, then adjust
2219 ops to be that equality test.
2221 2017-02-14 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
2223 * config/s390/s390-builtin-types.def: Remove flags argument.
2224 * config/s390/s390.c (s390_init_builtins): Likewise.
2226 2017-02-14 Martin Liska <mliska@suse.cz>
2228 * tree-ssa-loop-unswitch.c (hoist_guard): Release get_loop_body
2229 vector. Fix trailing white spaces.
2231 2017-02-14 James Greenhalgh <james.greenhalgh@arm.com>
2233 * config/aarch64/aarch64.c (aarch64_simd_container_mode): Handle
2236 2017-02-14 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2238 PR rtl-optimization/68664
2239 * config/arm/arm.c (arm_sched_can_speculate_insn):
2240 New function. Declare prototype.
2241 (TARGET_SCHED_CAN_SPECULATE_INSN): Define.
2243 2017-02-14 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2245 PR rtl-optimization/68664
2246 * config/aarch64/aarch64.c (aarch64_sched_can_speculate_insn):
2248 (TARGET_SCHED_CAN_SPECULATE_INSN): Define.
2250 2017-02-14 Amit Pawar <amit.pawar@amd.com>
2252 * config/i386/i386.c (znver1_cost): Fix the alignment for function and
2253 max skip bytes for function, loop and jump.
2255 2017-02-14 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
2257 * gimple-pretty-print.c (dump_unary_rhs): Adjust dump format for
2258 ABS_EXPR for gimple dump.
2260 2017-02-14 Jakub Jelinek <jakub@redhat.com>
2263 * config/sh/sh.c (expand_cbranchdi4): Don't clear operands[4].
2265 PR tree-optimization/79408
2266 * tree-vrp.c (simplify_div_or_mod_using_ranges): Handle also the
2267 case when on TRUNC_MOD_EXPR op0 is INTEGER_CST.
2268 (simplify_stmt_using_ranges): Call simplify_div_or_mod_using_ranges
2269 also if rhs1 is INTEGER_CST.
2271 2017-02-14 Richard Biener <rguenther@suse.de>
2274 * tree-into-ssa.c (insert_phi_nodes): When the function can
2275 have abnormal edges rewrite SSA names with broken use-def
2276 dominance out of SSA and register them for PHI insertion.
2278 2017-02-13 Martin Sebor <msebor@redhat.com>
2281 * gimple-ssa-sprintf.c (pass_sprintf_length::handle_gimple_call): Avoid
2282 clearing info.nowrite flag when snprintf size argument is a range.
2284 2017-02-13 Jakub Jelinek <jakub@redhat.com>
2286 * cprop.c (cprop_jump): Add missing space in string literal.
2287 * tree-ssa-structalias.c (rewrite_constraints): Likewise.
2288 (get_constraint_for_component_ref): Likewise.
2289 * df-core.c (df_worklist_dataflow_doublequeue): Likewise.
2290 * tree-outof-ssa.c (insert_partition_copy_on_edge): Likewise.
2291 * lra-constraints.c (process_alt_operands): Likewise.
2292 * ipa-inline.c (inline_small_functions): Likewise.
2293 * tree-ssa-sccvn.c (visit_reference_op_store): Likewise.
2294 * cgraph.c (cgraph_edge::redirect_call_stmt_to_callee): Likewise.
2295 * trans-mem.c (diagnose_tm_1_op): Likewise.
2296 * omp-grid.c (grid_find_single_omp_among_assignments): Likewise.
2297 (grid_parallel_clauses_gridifiable): Likewise.
2299 * config/nvptx/mkoffload.c (process): Add space in between
2302 * config/i386/i386.h (REG_CLASS_NAMES): Add , in between
2303 "MOD4_SSE_REGS" and "ALL_REGS".
2305 * spellcheck.c (test_data): Add , in between "foo" and "food".
2307 2017-02-13 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
2310 * config/rs6000/rs6000.c (expand_block_compare): Make sure runtime
2311 boundary crossing check and subsequent code generation agree.
2313 2017-02-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2315 * config/aarch64/aarch64.c (has_memory_op): Delete.
2316 (aarch64_madd_needs_nop): Use contains_mem_rtx_p instead of
2319 2017-02-13 Jakub Jelinek <jakub@redhat.com>
2321 PR rtl-optimization/79388
2322 PR rtl-optimization/79450
2323 * combine.c (distribute_notes): When removing TEM_INSN for which
2324 corresponding dest has last value recorded, invalidate that last
2327 2017-02-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2329 * config/arm/arm.c (arm_print_tune_info): Use ASM_COMMENT_START instead
2330 of explicit '@'. Add missing assembly comment marker on branch costs
2333 2017-02-13 Nathan Sidwell <nathan@acm.org>
2335 * gengtype-lex.l (<in_struct>): Add '/'.
2337 2017-02-13 Martin Liska <mliska@suse.cz>
2340 * calls.c (expand_call): Replace XALLOCAVEC with XCNEWVEC.
2342 2017-02-13 Richard Biener <rguenther@suse.de>
2344 * configure.ac (HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS):
2346 * configure: Re-generate.
2347 * config.in: Likewise.
2348 * graphite-dependences.c: Simplify as if
2349 HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS was defined.
2350 * graphite-isl-ast-to-gimple.c: Likewise.
2351 * graphite-optimize-isl.c: Likewise.
2352 * graphite-poly.c: Likewise.
2353 * graphite-sese-to-poly.c: Likewise.
2354 * graphite.h: Likewise.
2355 * toplev.c: Include isl/version.h and use isl_version () for
2356 printing the ISL version.
2357 * doc/install.texi: Update ISL requirement.
2359 2017-02-12 Gerald Pfeifer <gerald@pfeifer.com>
2361 * doc/standards.texi (Standards): Update reference to
2364 2017-02-12 Gerald Pfeifer <gerald@pfeifer.com>
2366 * doc/extend.texi (Named Address Spaces): sourceware.org now
2368 * doc/install.texi (Binaries): Ditto.
2371 2017-02-11 Sandra Loosemore <sandra@codesourcery.com>
2373 * doc/cpp.texi: Replace "stringify"/"stringification" with C
2374 standard terminology "stringize"/"stringizing" throughout.
2375 * doc/cppinternals.texi: Likewise.
2377 2017-02-11 Sandra Loosemore <sandra@codesourcery.com>
2379 * doc/extend.texi: Fix some spelling mistakes and typos.
2380 * doc/invoke.texi: Likewise.
2382 2017-02-11 Jan Hubicka <hubicka@ucw.cz>
2385 * params.def (inline-min-speedup) Change from 10 to 8.
2387 2017-02-11 Jakub Jelinek <jakub@redhat.com>
2389 * doc/invoke.texi (fopenmp): Bump OpenMP version from 4.0 to
2392 2017-02-11 Jan Hubicka <hubicka@ucw.cz>
2395 * ipa-inline-analysis.c (get_minimal_bb): New function.
2396 (record_modified): Use it.
2397 (remap_edge_change_prob): Handle also ancestor functions.
2399 2017-02-11 Gerald Pfeifer <gerald@pfeifer.com>
2401 * doc/contrib.texi (Contributors): Remove broken link into
2402 the Mauve CVS repository.
2404 2017-02-11 Jakub Jelinek <jakub@redhat.com>
2407 * internal-fn.c (expand_vector_ubsan_overflow): Use piece-wise
2408 result computation whenever lhs doesn't have vector mode, not
2409 just when it has BLKmode.
2411 2017-02-10 Gerald Pfeifer <gerald@pfeifer.com>
2413 * doc/makefile.texi (profiledbootstrap): Refer to the
2414 installation instructions only in textual form.
2416 2017-02-10 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
2419 * config/rs6000/altivec.md (bcd<bcd_add_sub>): Fix constraints.
2421 2017-02-10 Gerald Pfeifer <gerald@pfeifer.com>
2423 * doc/install.texi (Specific): Use https for blackfin.uclinux.org.
2424 (Specific): Update mingw-w64 reference.
2426 (Specific): Remove broken link to Renesas RX processor.
2428 2017-02-10 Richard Biener <rguenther@suse.de>
2430 * toplev.c (process_options): Do not mention obsolete graphite
2431 options when printing sorry message about missing graphite support.
2432 Mention -floop-nest-optimize.
2434 2017-02-10 Christophe Lyon <christophe.lyon@linaro.org>
2436 * config/aarch64/arm_neon.h (vtst_p8): Rewrite without asm.
2437 (vtst_p16): Likewise.
2438 (vtstq_p8): Likewise.
2439 (vtstq_p16): Likewise.
2441 (vtstq_p64): Likewise.
2442 * config/arm/arm_neon.h (vgetq_lane_p64): New.
2443 (vset_lane_p64): New.
2444 (vsetq_lane_p64): New.
2446 2017-02-10 Jakub Jelinek <jakub@redhat.com>
2448 PR tree-optimization/79411
2449 * tree-ssa-reassoc.c (is_reassociable_op): Return false if
2450 stmt operands are SSA_NAMEs used in abnormal phis.
2451 (can_reassociate_p): Return false if op is SSA_NAME used in abnormal
2454 2017-02-09 Jan Hubicka <hubicka@ucw.cz>
2457 * cgraphunit.c (cgraph_node::add_new_function): Set externally_visible
2460 2017-02-09 Jan Hubicka <hubicka@ucw.cz>
2462 * tree-ssa-loop-unswitch.c (hoist_guard): Update profile.
2464 2017-02-09 Jakub Jelinek <jakub@redhat.com>
2466 * omp-offload.c (oacc_loop_auto_partitions): Use || instead of |
2470 * gimplify.h (is_gimple_sizepos): Only test for INTEGER_CST constants,
2471 not arbitrary TREE_CONSTANT.
2474 * gimplify.c (gimplify_adjust_omp_clauses): Ignore
2475 "omp declare target link" attribute unless is_global_var.
2476 * omp-offload.c (find_link_var_op): Likewise.
2478 2017-02-09 Nathan Sidwell <nathan@codesourcery.com>
2479 Chung-Lin Tang <cltang@codesourcery.com>
2481 * gimplify.c (gimplify_scan_omp_clauses): No special handling for
2483 (gimplify_adjust_omp_clauses): Don't delete TILE.
2484 (gimplify_omp_for): Deal with TILE.
2485 * internal-fn.c (expand_GOACC_TILE): New function.
2486 * internal-fn.def (GOACC_DIM_POS): Comment may be overly conservative.
2488 * omp-expand.c (struct oacc_collapse): Add tile and outer fields.
2489 (expand_oacc_collapse_init): Add LOC paramter. Initialize tile
2491 (expand_oacc_collapse_vars): Add INNER parm, adjust for tiling,
2492 avoid DIV for outermost collapse var.
2493 (expand_oacc_for): Insert tile element loop as needed. Adjust.
2494 Remove out of date comments, fix whitespace.
2495 * omp-general.c (omp_extract_for_data): Deal with tiling.
2496 * omp-general.h (enum oacc_loop_flags): Add OLF_TILE flag,
2497 adjust OLF_DIM_BASE value.
2498 (struct omp_for_data): Add tiling field.
2499 * omp-low.c (scan_sharing_clauses): Allow OMP_CLAUSE_TILE.
2500 (lower_oacc_head_mark): Add OLF_TILE as appropriate. Ensure 2 levels
2501 for auto loops. Remove default auto determining, moved to
2502 oacc_loop_fixed_partitions.
2503 * omp-offload.c (struct oacc_loop): Change 'ifns' to vector of call
2504 stmts, add e_mask field.
2505 (oacc_dim_call): New function, abstracted out from oacc_thread_numbers.
2506 (oacc_thread_numbers): Use oacc_dim_call.
2507 (oacc_xform_tile): New.
2508 (new_oacc_loop_raw): Initialize e_mask, adjust for ifns vector.
2509 (finish_oacc_loop): Adjust for ifns vector.
2510 (oacc_loop_discover_walk): Append loop abstraction sites to list,
2511 add case for GOACC_TILE fns.
2512 (oacc_loop_xform_loop): Delete.
2513 (oacc_loop_process): Iterate over call list directly, and add
2514 handling for GOACC_TILE fns.
2515 (oacc_loop_fixed_partitions): Determine default auto, deal with TILE,
2517 (oacc_loop_auto_partitions): Add outer_assign parm. Assign all but
2518 vector partitioning to outer loops. Assign 2 partitions to loops
2519 when available. Add TILE handling.
2520 (oacc_loop_partition): Adjust oacc_loop_auto_partitions call.
2521 (execite_oacc_device_lower): Process GOACC_TILE fns, ignore unknown specs.
2522 * tree-nested.c (convert_nonlocal_omp_clauses): Allow OMP_CLAUSE_TILE.
2523 * tree.c (omp_clause_num_ops): Adjust TILE ops.
2524 * tree.h (OMP_CLAUSE_TILE_ITERVAR, OMP_CLAUSE_TILE_COUNT): New.
2526 2017-02-09 Gerald Pfeifer <gerald@pfeifer.com>
2528 * configure.ac (ACX_BUGURL): Update.
2529 * configure: Regenerate.
2531 2017-02-09 Richard Biener <rguenther@suse.de>
2533 PR tree-optimization/69823
2534 * graphite-scop-detection.c (scop_detection::harmful_loop_in_region):
2535 Properly enumerate all BBs in the region. Use auto_vec/auto_bitmap.
2537 2017-02-09 Andrew Burgess <andrew.burgess@embecosm.com>
2539 * config/arc/arc-c.def: Add __NPS400__ definition.
2540 * config/arc/arc.h (CPP_SPEC): Don't define __NPS400__ here.
2541 (TARGET_NPS400): Define.
2543 2017-02-09 Andrew Burgess <andrew.burgess@embecosm.com>
2545 * config/arc/arc-arch.h (arc_arch_t): Move unchanged to earlier in
2547 (arc_cpu_t): Change base_architecture field, arch, to a arc_arc_t
2549 (arc_cpu_types): Fill the arch_info field with a pointer into the
2550 arc_arch_types table.
2551 (arc_selected_cpu): Declare.
2552 * config/arc/arc.c (arc_selected_cpu): Make global.
2553 (arc_selected_arch): Delete.
2554 (arc_base_cpu): Delete.
2555 (arc_override_options): Remove references to deleted variables,
2556 update access to arch information.
2557 (ARC_OPT): Update access to arch information.
2558 (ARC_OPTX): Likewise.
2559 * config/arc/arc.h (arc_base_cpu): Remove declaration.
2560 (TARGET_ARC600): Update access to arch information.
2561 (TARGET_ARC601): Likewise.
2562 (TARGET_ARC700): Likewise.
2563 (TARGET_EM): Likewise.
2564 (TARGET_HS): Likewise.
2565 * config/arc/driver-arc.c (arc_cpu_to_as): Update access to arch
2568 2017-02-08 Pat Haugen <pthaugen@us.ibm.com>
2571 * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Invert
2572 condition/operands for integer GE/LE/GEU/LEU operations.
2574 2017-02-08 Segher Boessenkool <segher@kernel.crashing.org>
2576 PR translation/79397
2577 * config/rs6000/rs6000.opt (maltivec=le, maltivec=be): Fix spelling
2580 2017-02-08 Martin Jambor <mjambor@suse.cz>
2583 * ipa-prop.c (ipa_alloc_node_params): Make static, return bool
2584 whether allocation happened.
2585 (ipa_initialize_node_params): Do not call ipa_alloc_node_params if
2586 nothing was allocated.
2588 2017-02-08 Jakub Jelinek <jakub@redhat.com>
2590 PR tree-optimization/79408
2591 * tree-vrp.c (simplify_div_or_mod_using_ranges): If op1 is not
2592 constant, but SSA_NAME with a known integer range, use the minimum
2593 of that range instead of op1 to determine if modulo can be replaced
2594 with its first operand.
2596 2016-02-08 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2598 * config/riscv/riscv.c (riscv_build_integer_1): Avoid use of INT16_MAX.
2600 2017-02-08 Richard Biener <rguenther@suse.de>
2602 PR tree-optimization/71824
2603 * graphite-scop-detection.c (scop_detection::build_scop_breadth):
2604 Check all loops contained in the merged region.
2606 2017-02-07 Andrew Pinski <apinski@cavium.com>
2608 * config/aarch64/aarch64.md (popcount<mode>2): New pattern.
2610 2017-02-07 Andrew Pinski <apinski@cavium.com>
2612 * config/aarch64/aarch64-cores.def (thunderx): Disable LSE.
2613 (thunderxt88): Likewise.
2614 (thunderxt81): Disable LSE and change v8.1 to v8.
2615 (thunderxt83): Likewise.
2617 2017-02-07 Jakub Jelinek <jakub@redhat.com>
2618 Richard Biener <rguenther@suse.de>
2621 * ira-int.h (struct target_ira_int): Change x_max_struct_costs_size
2622 type from int to size_t.
2623 * ira-costs.c (struct_costs_size): Change type from int to size_t.
2625 2017-02-07 Jakub Jelinek <jakub@redhat.com>
2627 PR rtl-optimization/79386
2628 * cprop.c (bypass_conditional_jumps): Initialize
2629 bypass_last_basic_block already before splitting bbs after
2630 unconditional traps...
2631 (bypass_conditional_jumps): ... rather than here.
2634 * config/i386/sse.md (xtg_mode, gatherq_mode): New mode attrs.
2635 (*avx512f_gathersi<mode>, *avx512f_gathersi<mode>_2,
2636 *avx512f_gatherdi<mode>, *avx512f_gatherdi<mode>_2): Use them,
2637 fix -masm=intel patterns.
2639 2017-02-07 Richard Biener <rguenther@suse.de>
2641 PR tree-optimization/79256
2643 * builtins.c (get_object_alignment_2): Use min_align_of_type
2644 to extract alignment for MEM_REFs to honor BIGGEST_FIELD_ALIGNMENT
2645 and ADJUST_FIELD_ALIGN.
2647 * doc/tm.texi.in (ADJUST_FIELD_ALIGN): Adjust to take additional
2649 * doc/tm.texi: Regenerate.
2650 * stor-layout.c (layout_decl): Adjust.
2651 (update_alignment_for_field): Likewise.
2652 (place_field): Likewise.
2653 (min_align_of_type): Likewise.
2654 * config/arc/arc.h (ADJUST_FIELD_ALIGN): Adjust.
2655 * config/epiphany/epiphany.h (ADJUST_FIELD_ALIGN): Likewise.
2656 * config/epiphany/epiphany.c (epiphany_adjust_field_align): Likewise.
2657 * config/frv/frv.h (ADJUST_FIELD_ALIGN): Likewise.
2658 * config/frv/frv.c (frv_adjust_field_align): Likewise.
2659 * config/i386/i386.h (ADJUST_FIELD_ALIGN): Likewise.
2660 * config/i386/i386.c (x86_field_alignment): Likewise.
2661 * config/rs6000/aix.h (ADJUST_FIELD_ALIGN): Likewise.
2662 * config/rs6000/darwin.h (ADJUST_FIELD_ALIGN): Likewise.
2663 * config/rs6000/freebsd64.h (ADJUST_FIELD_ALIGN): Likewise.
2664 * config/rs6000/linux64.h (ADJUST_FIELD_ALIGN): Likewise.
2665 * config/rs6000/sysv4.h (ADJUST_FIELD_ALIGN): Likewise.
2666 * config/rs6000/rs6000.c (rs6000_special_adjust_field_align_p):
2670 2017-01-30 Richard Biener <rguenther@suse.de>
2672 PR tree-optimization/79256
2673 * targhooks.c (default_builtin_vector_alignment_reachable): Honor
2674 BIGGEST_FIELD_ALIGNMENT and ADJUST_FIELD_ALIGN to fix up bogus
2677 2017-02-07 Toma Tabacu <toma.tabacu@imgtec.com>
2679 * config/mips/mips.c (mips_expand_builtin_insn): Convert the QImode
2680 argument of the pshufh, psllh, psllw, psrah, psraw, psrlh, psrlw
2681 builtins to SImode and emit a zero-extend, if necessary.
2683 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
2685 * docs/invoke.texi (RISC-V Options): Alphabetize.
2687 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
2689 * doc/invoke.texi (RISC-V Options): Use two spaces to separate
2692 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
2694 * config/riscv/riscv.c: New file.
2695 * gcc/common/config/riscv/riscv-common.c: Likewise.
2696 * config.gcc: Likewise.
2697 * config/riscv/constraints.md: Likewise.
2698 * config/riscv/elf.h: Likewise.
2699 * config/riscv/generic.md: Likewise.
2700 * config/riscv/linux.h: Likewise.
2701 * config/riscv/multilib-generator: Likewise.
2702 * config/riscv/peephole.md: Likewise.
2703 * config/riscv/pic.md: Likewise.
2704 * config/riscv/predicates.md: Likewise.
2705 * config/riscv/riscv-builtins.c: Likewise.
2706 * config/riscv/riscv-c.c: Likewise.
2707 * config/riscv/riscv-ftypes.def: Likewise.
2708 * config/riscv/riscv-modes.def: Likewise.
2709 * config/riscv/riscv-opts.h: Likewise.
2710 * config/riscv/riscv-protos.h: Likewise.
2711 * config/riscv/riscv.h: Likewise.
2712 * config/riscv/riscv.md: Likewise.
2713 * config/riscv/riscv.opt: Likewise.
2714 * config/riscv/sync.md: Likewise.
2715 * config/riscv/t-elf-multilib: Likewise.
2716 * config/riscv/t-linux: Likewise.
2717 * config/riscv/t-linux-multilib: Likewise.
2718 * config/riscv/t-riscv: Likewise.
2719 * configure.ac: Likewise.
2720 * doc/contrib.texi: Add Kito Cheng, Palmer Dabbelt, and Andrew
2721 Waterman as RISC-V maintainers.
2722 * doc/install.texi: Add RISC-V entries.
2723 * doc/invoke.texi: Add RISC-V options section.
2724 * doc/md.texi: Add RISC-V constraints section.
2725 * configure: Regenerated.
2727 2017-02-06 Michael Meissner <meissner@linux.vnet.ibm.com>
2730 * config/rs6000/vector.md (vcond<mode><mode>): Allow the true and
2731 false values to be constant vectors with all 0 or all 1 bits set.
2732 (vcondu<mode><mode>): Likewise.
2733 * config/rs6000/predicates.md (vector_int_reg_or_same_bit): New
2735 (fpmask_comparison_operator): Update comment.
2736 (vecint_comparison_operator): New predicate.
2737 * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Optimize
2738 vector conditionals when the true and false values are constant
2739 vectors with all 0 bits or all 1 bits set.
2741 2017-02-06 Martin Sebor <msebor@redhat.com>
2743 PR tree-optimization/79376
2744 * gimple-fold.c (get_range_strlen): Set the minimum length to zero.
2746 2017-02-06 Uros Bizjak <ubizjak@gmail.com>
2748 * config/i386/sse.md (vector modes -> vec_extract* splitter): Use
2749 explicit subreg RTX with operand 1. Use VECTOR_MODE_P predicate
2750 to simplify split condition.
2752 2017-02-06 Jakub Jelinek <jakub@redhat.com>
2754 * omp-expand.c (oxpand_omp_atomic_fetch_op,
2755 expand_omp_atomic_pipeline): Return false if can_atomic_load_p is
2758 2017-02-06 Segher Boessenkool <segher@kernel.crashing.org>
2760 PR rtl-optimization/68664
2761 * target.def (can_speculate_insn): New hook.
2762 * doc/tm.texi.in (TARGET_SCHED_CAN_SPECULATE_INSN): New hook.
2763 * doc/tm.texi: Regenerate.
2764 * sched-rgn.c (can_schedule_ready_p): Use the new hook.
2765 * config/rs6000/rs6000.c (TARGET_SCHED_CAN_SPECULATE_INSN): New macro.
2766 (rs6000_sched_can_speculate_insn): New function.
2768 2017-02-06 Jakub Jelinek <jakub@redhat.com>
2770 PR tree-optimization/79284
2771 * tree-vectorizer.h (VECT_SCALAR_BOOLEAN_TYPE_P): Define.
2772 * tree-vect-stmts.c (vect_get_vec_def_for_operand,
2773 vectorizable_mask_load_store, vectorizable_operation,
2774 vect_is_simple_cond, get_same_sized_vectype): Use it instead
2775 of comparing TREE_CODE of a type against BOOLEAN_TYPE.
2776 * tree-vect-patterns.c (check_bool_pattern, search_type_for_mask_1,
2777 vect_recog_bool_pattern, vect_recog_mask_conversion_pattern): Likewise.
2778 * tree-vect-slp.c (vect_get_constant_vectors): Likewise.
2779 * tree-vect-loop.c (vect_determine_vectorization_factor): Likewise.
2780 Remove redundant gimple_code (stmt) == GIMPLE_ASSIGN test after
2781 is_gimple_assign (stmt). Replace another such test with
2782 is_gimple_assign (stmt).
2784 2017-02-06 Georg-Johann Lay <avr@gjlay.de>
2787 * config/avr/avr.c (rtl-iter.h): Include it.
2788 (TARGET_LEGITIMATE_COMBINED_INSN): New hook define...
2789 (avr_legitimate_combined_insn): ...and implementation.
2791 2017-02-06 Dominik Vogt <vogt@linux.vnet.ibm.com>
2793 * config/s390/predicates.md ("larl_operand"): Use macros from hwint.h.
2794 * config/s390/s390.c (s390_const_operand_ok)
2795 (s390_canonicalize_comparison, s390_extract_part)
2796 (s390_single_part, s390_contiguous_bitmask_nowrap_p)
2797 (s390_contiguous_bitmask_p, s390_rtx_costs)
2798 (legitimize_pic_address): Likewise.
2799 * config/s390/s390.md ("clzdi2", "clztidi2"): Likewise.
2800 * config/s390/vx-builtins.md ("vec_genbytemaskv16qi")
2801 ("vec_permi<mode>", "vfae<mode>", "*vfaes<mode>", "vstrc<mode>")
2802 ("*vstrcs<mode>"): Use UINTVAL() to set unsigned HOST_WIDE_INT.
2803 * config/s390/vector.md ("vec_vfenes<mode>"): Likewise.
2805 2017-02-06 Georg-Johann Lay <avr@gjlay.de>
2807 * config/avr/avr.md (*addhi3_zero_extend): Add alternative where
2808 REGNO($0) == REGNO($1).
2810 2017-02-06 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
2812 * config/s390/linux.h(SIZE_TYPE): Add comment.
2814 2017-02-06 Julian Brown <julian@codesourcery.com>
2815 Naveen H.S <Naveen.Hurugalawadi@cavium.com>
2816 Virendra Pathak <virendra.pathak@broadcom.com>
2818 * config/aarch64/aarch64-cores.def: Change the scheduler
2820 * config/aarch64/aarch64.md: Include thunderx2t99.md.
2821 * config/aarch64/thunderx2t99.md: New file.
2823 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2825 * doc/standards.texi (Go Language): Update link to language
2828 2017-02-05 Jan Hubicka <hubicka@ucw.cz>
2830 * tree-eh.c (lower_resx): Sanitize profile.
2831 (cleanup_empty_eh_move_lp): Likewise.
2833 2017-02-05 Jan Hubicka <hubicka@ucw.cz>
2836 * cfgloopmanip.c (lv_adjust_loop_entry_edge, loop_version): Add
2838 * cfgloopmanip.h (loop_version): Update prototype.
2839 * modulo-sched.c (sms_schedule): Update call of loop_version.
2840 * tree-if-conv.c(version_loop_for_if_conversion): Likewise.
2841 * tree-parloops.c (gen_parallel_loop): Likewise.
2842 * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Likewise.
2843 * tree-ssa-loop-split.c (split_loop): Likewise.
2844 * tree-ssa-loop-unswitch.c (tree_unswitch_loop): Likewise.
2845 * tree-vect-loop-manip.c (vect_loop_versioning): Likewise.
2847 2017-02-05 Martin Liska <mliska@suse.cz>
2850 * config/s390/s390.c (s390_gimplify_va_arg): Initialize local
2852 (print_operand_address): Initialize a struct to zero.
2854 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2856 * doc/contrib.texi (Contributors): Refer to Hans Boehm's
2857 garbage collector only in textual form.
2859 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2861 * doc/extend.texi (x86 specific memory model extensions for
2862 transactional memory): Simplify a phrase.
2864 2017-02-05 Eric Botcazou <ebotcazou@adacore.com>
2867 * config/sparc/sync.md (atomic_loaddi_1): Replace 'U' constraint with
2868 'r', 'm' constraint with 'T' and !TARGET_ARCH64 with TARGET_ARCH32.
2869 (atomic_storedi_1): Likewise.
2871 2017-02-04 Jakub Jelinek <jakub@redhat.com>
2873 PR tree-optimization/79338
2874 * tree-parloops.c (gather_scalar_reductions): Don't call
2875 vect_analyze_loop_form for loop->inner before destroying loop's
2878 2017-02-03 Martin Sebor <msebor@redhat.com>
2880 PR tree-optimization/79327
2881 * gimple-ssa-sprintf.c (tree_digits): Avoid adding the base prefix
2882 when precision has resulted in leading zeros.
2883 (format_integer): Adjust the likely counter to assume an unknown
2884 argument that may be zero is non-zero.
2886 2017-02-03 Jason Merrill <jason@redhat.com>
2889 * tree-inline.c (copy_tree_body_r) [COND_EXPR]: Revert change to
2890 avoid copying non-taken branch.
2892 2017-02-03 Jakub Jelinek <jakub@redhat.com>
2894 PR tree-optimization/79340
2895 * tree-vect-loop.c (vectorizable_reduction): Release
2896 vec_defs elements after safe_splicing them into other vectors.
2899 PR tree-optimization/79327
2900 * gimple-ssa-sprintf.c (adjust_range_for_overflow): If returning
2901 true, always set *argmin and *argmax to TYPE_{MIN,MAX}_VALUE of
2903 (format_integer): Use wide_int_to_tree instead of build_int_cst
2904 + to_?hwi. If argmin is NULL, just set argmin and argmax to
2905 TYPE_{MIN,MAX}_VALUE of argtype. Simplify and fix computation
2906 of shortest and longest sequence.
2908 2017-02-03 Uros Bizjak <ubizjak@gmail.com>
2910 * config/i386/i386.c (dimode_scalar_chain::convert_reg):
2911 Use pextrd for TARGET_SSE4_1 when creating scalar copy.
2913 2017-02-03 Walter Lee <walt@tilera.com>
2916 * config/tilegx/tilegx.md (tilegx_expand_prologue): Add blockage
2917 after initial stackframe link reg save.
2918 * config/tilepro/tilepro.md (tilepro_expand_prologue): Likewise.
2920 2017-02-03 Jakub Jelinek <jakub@redhat.com>
2923 * config/rs6000/rs6000.md (movsi_from_sf): Use wb constraint instead of
2924 wu for stxssp alternative.
2926 2017-02-03 Martin Sebor <msebor@redhat.com>
2928 PR tree-optimization/79352
2929 * gimple-fold.c (get_range_strlen): Add argument.
2930 (get_range_strlen): Change return type to bool.
2931 (get_maxval_strlen): Pass in a dummy argument.
2932 * gimple-fold.h (get_range_strlen): Change return type to bool.
2933 * gimple-ssa-sprintf.c (get_string_length): Set unlikely counter.
2934 * tree.h (array_at_struct_end_p): Add argument.
2935 * tree.c (array_at_struct_end_p): Handle it.
2937 2017-02-03 Martin Liska <mliska@suse.cz>
2940 * multiple_target.c (create_dispatcher_calls): Redirect edge
2941 from a caller of a dispatcher.
2942 (expand_target_clones): Make the clones local.
2943 (ipa_target_clone): Do both target clones and resolvers.
2944 (ipa_dispatcher_calls): Remove the pass.
2945 (pass_dispatcher_calls::gate): Likewise.
2946 (make_pass_dispatcher_calls): Likewise.
2947 * passes.def (pass_target_clone): Put as very first IPA early
2950 2017-02-03 Martin Liska <mliska@suse.cz>
2952 * symtab.c (symtab_node::binds_to_current_def_p): Bail out
2953 in case of a function with ifunc attribute.
2955 2017-02-03 Martin Liska <mliska@suse.cz>
2957 * cgraph.c (cgraph_node::dump): Dump function version info.
2958 * symtab.c (symtab_node::dump_base): Add missing new line.
2960 2017-02-02 Jan Hubicka <hubicka@ucw.cz>
2962 * tree-ssa-ifcombine.c (update_profile_after_ifcombine): New function.
2963 (ifcombine_ifandif): Use it.
2965 2017-02-03 Martin Liska <mliska@suse.cz>
2967 * doc/invoke.texi: Document default value for
2968 use-after-scope-direct-emission-threshold.
2970 2017-02-03 Martin Liska <mliska@suse.cz>
2972 PR tree-optimization/79339
2973 * gimple-ssa-sprintf.c (format_floating_max): Call mpfr_clear.
2974 (format_floating): Likewise.
2976 2017-02-03 Martin Liska <mliska@suse.cz>
2979 * ipa-prop.c (ipa_node_params_t::insert): Remove current
2981 (ipa_node_params_t::remove): Likewise.
2982 * ipa-prop.h (ipa_node_params::ipa_node_params): Make default
2983 initialization from removed ipa_node_params_t::insert.
2984 (ipa_node_params::~ipa_node_params): Move from removed
2985 ipa_node_params_t::release.
2986 * symbol-summary.h (symbol_summary::m_released): New member.
2987 Do not release a summary twice. Do not allow to call finalizer
2988 for types of a summary that live in GGC memory.
2990 2017-02-02 Naveen H.S <Naveen.Hurugalawadi@cavium.com>
2992 * config/aarch64/aarch64.c (thunderx2t99_tunings): Enable AES and
2995 2017-02-02 Martin Sebor <msebor@redhat.com>
2998 * gimple-ssa-sprintf.c (get_string_length): Set lower bound to zero.
2999 (format_string): Tighten up the range of output for non-constant
3000 strings and correct the expected range for wide non-constant strings.
3002 2017-02-02 Martin Sebor <msebor@redhat.com>
3004 * doc/invoke.texi (-maccumulate-args): Fix bad grammar.
3007 * doc/invoke.texi (-fdump-tree-): Remove pass-specific options from
3009 (-fdump-tree-@var): Add to index and document how to come up
3010 with pass-specific option and dump file names.
3011 (-fdump-passes): Clarify where to look for output.
3013 2017-02-02 Jan Hubicka <hubicka@ucw.cz>
3016 * tree-ssa-threadbackward.c (profitable_jump_thread_path): Dump
3017 statistics of the analyzed path; allow threading for speed when
3018 any of BBs along the path are optimized for speed.
3020 2017-02-02 Eric Botcazou <ebotcazou@adacore.com>
3023 * emit-rtl.c (init_emit): Add ??? comment for problematic alignment
3024 settings of the virtual registers.
3027 2016-08-23 Dominik Vogt <vogt@linux.vnet.ibm.com>
3029 * explow.c (get_dynamic_stack_size): Take known alignment of stack
3030 pointer + STACK_DYNAMIC_OFFSET into account when calculating the size
3033 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3035 * config/s390/vx-builtins.md ("vec_ceil", "vec_floor")
3036 ("vec_trunc", "vec_roundc", "vec_round"): Remove expanders.
3038 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3040 * config/s390/s390.md: Add missing comments with the expanded
3042 * config/s390/vector.md: Likewise.
3043 * config/s390/vx-builtins.md: Likewise.
3045 2017-02-02 Jakub Jelinek <jakub@redhat.com>
3048 * config/rs6000/rs6000.md (*fixuns_trunc<mode>di2_fctiduz): Rename to ...
3049 (fixuns_trunc<mode>di2): ... this, remove previous expander. Put all
3050 conditions on a single line.
3052 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3054 * config/s390/s390-c.c (s390_cpu_cpp_builtins_internal): Rename
3055 __S390_VX__ to __VX__.
3057 2017-02-01 Andrew Pinski <apinski@cavium.com>
3059 * tree-vect-loop.c (vect_compute_single_scalar_iteration_cost): Pass
3060 stmt_info to record_stmt_cost.
3061 (vect_get_known_peeling_cost): Pass stmt_info if known to
3063 * config/aarch64/aarch64-protos.h (cpu_vector_cost): Split
3064 cpu_vector_cost field into
3065 scalar_int_stmt_cost and scalar_fp_stmt_cost. Split vec_stmt_cost
3066 field into vec_int_stmt_cost and vec_fp_stmt_cost.
3067 * config/aarch64/aarch64.c (generic_vector_cost): Update for the
3068 splitting of scalar_stmt_cost and vec_stmt_cost.
3069 (thunderx_vector_cost): Likewise.
3070 (cortexa57_vector_cost): LIkewise.
3071 (exynosm1_vector_cost): Likewise.
3072 (xgene1_vector_cost): Likewise.
3073 (thunderx2t99_vector_cost): Improve after the splitting of the two
3075 (aarch64_builtin_vectorization_cost): Update for the splitting of
3076 scalar_stmt_cost and vec_stmt_cost.
3078 2017-02-01 Torvald Riegel <triegel@redhat.com>
3079 Richard Henderson <rth@redhat.com>
3081 * builtins.c (fold_builtin_atomic_always_lock_free): Make "lock-free"
3082 conditional on existance of a fast atomic load.
3083 * optabs-query.c (can_atomic_load_p): New function.
3084 * optabs-query.h (can_atomic_load_p): Declare it.
3085 * optabs.c (expand_atomic_exchange): Always delegate to libatomic if
3086 no fast atomic load is available for the particular size of access.
3087 (expand_atomic_compare_and_swap): Likewise.
3088 (expand_atomic_load): Likewise.
3089 (expand_atomic_store): Likewise.
3090 (expand_atomic_fetch_op): Likewise.
3091 * testsuite/lib/target-supports.exp
3092 (check_effective_target_sync_int_128): Remove x86 because it provides
3093 no fast atomic load.
3094 (check_effective_target_sync_int_128_runtime): Likewise.
3096 2017-02-01 Richard Biener <rguenther@suse.de>
3098 * graphite.c: Include tree-vectorizer.h for find_loop_location.
3099 (graphite_transform_loops): Provide opt-info for optimized nests.
3100 * tree-parloop.c (parallelize_loops): Provide opt-info for
3103 2017-02-01 Richard Biener <rguenther@suse.de>
3106 * tree-cfg.c (move_stmt_op): Never set TREE_BLOCK when it
3109 2017-02-01 Richard Biener <rguenther@suse.de>
3111 PR tree-optimization/71824
3112 * graphite-scop-detection.c (scop_detection::build_scop_breadth):
3113 Verify the loops are valid in the merged SESE region.
3114 (scop_detection::can_represent_loop_1): Check analyzing the
3115 evolution of the number of iterations in the region succeeds.
3117 2017-01-31 Ian Lance Taylor <iant@golang.org>
3119 * config/i386/i386.c (ix86_expand_split_stack_prologue): Add
3120 REG_ARGS_SIZE note to 32-bit push insns and call insn.
3122 2017-01-31 David Malcolm <dmalcolm@redhat.com>
3124 PR preprocessor/79210
3125 * input.c (get_substring_ranges_for_loc): Replace line_width
3126 assertion with error-handling.
3128 2017-01-31 Richard Biener <rguenther@suse.de>
3130 PR tree-optimization/77318
3131 * graphite-sese-to-poly.c (extract_affine): Fix assert.
3132 (create_pw_aff_from_tree): Take loop parameter.
3133 (add_condition_to_pbb): Pass loop of the condition to
3134 create_pw_aff_from_tree.
3136 2017-01-31 Jakub Jelinek <jakub@redhat.com>
3138 * config/s390/s390.c (s390_asan_shadow_offset): New function.
3139 (TARGET_ASAN_SHADOW_OFFSET): Redefine.
3141 2017-01-31 Michael Meissner <meissner@linux.vnet.ibm.com>
3145 * config/rs6000/rs6000-protos.h (convert_float128_to_int): Delete,
3147 (convert_int_to_float128): Likewise.
3148 * config/rs6000/rs6000.c (convert_float128_to_int): Likewise.
3149 (convert_int_to_float128): Likewise.
3150 * config/rs6000/rs6000.md (UNSPEC_IEEE128_MOVE): Likewise.
3151 (UNSPEC_IEEE128_CONVERT): Likewise.
3152 (floatsi<mode>2, FLOAT128 iterator): Bypass calling
3153 rs6000_expand_float128_convert if we have IEEE 128-bit hardware.
3154 Use local variables for IBM extended format.
3155 (fix_trunc<mode>si2, FLOAT128 iterator): Likewise.
3156 (fix_trunc<mode>si2_fprs): Likewise.
3157 (fixuns_trunc<IEEE128:mode><SDI:mode>2): Likewise.
3158 (floatuns<IEEE128:mode>2, IEEE128 iterator): Likewise.
3159 (fix<uns>_<mode>si2_hw): Rework the IEEE 128-bt hardware support
3160 to know that we can now have integers of all sizes in vector
3162 (fix<uns>_<mode>di2_hw): Likewise.
3163 (float<uns>_<mode>si2_hw): Likewise.
3164 (fix_<mode>si2_hw): Likewise.
3165 (fixuns_<mode>si2_hw): Likewise.
3166 (float<uns>_<mode>di2_hw): Likewise.
3167 (float_<mode>di2_hw): Likewise.
3168 (float_<mode>si2_hw): Likewise.
3169 (floatuns_<mode>di2_hw): Likewise.
3170 (floatuns_<mode>si2_hw): Likewise.
3171 (xscvqp<su>wz_<mode>): Delete, no longer used.
3172 (xscvqp<su>dz_<mode>): Likewise.
3173 (xscv<su>dqp_<mode>): Likewise.
3174 (ieee128_mfvsrd_64bit): Likewise.
3175 (ieee128_mfvsrd_32bit): Likewise.
3176 (ieee128_mfvsrwz): Likewise.
3177 (ieee128_mtvsrw): Likewise.
3178 (ieee128_mtvsrd_64bit): Likewise.
3179 (ieee128_mtvsrd_32bit): Likewise.
3181 2017-01-31 Martin Liska <mliska@suse.cz>
3184 * ipa-prop.c (ipa_free_all_node_params): Call release method
3185 instead of ~sumbol_summary to not to trigger double times
3188 2017-01-31 Aldy Hernandez <aldyh@redhat.com>
3190 PR tree-optimization/71691
3191 * bitmap.h (class auto_bitmap): New.
3192 * tree-ssa-loop-unswitch.c (tree_may_unswitch_on): Call
3193 is_maybe_undefined instead of ssa_undefined_value_p.
3195 2017-01-31 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3197 * config/s390/s390-c.c (s390_cpu_cpp_builtins_internal): Rename
3198 __S390_ARCH_LEVEL__ to __ARCH__.
3200 2017-01-31 Jakub Jelinek <jakub@redhat.com>
3202 PR tree-optimization/79267
3203 * value-prof.c (gimple_ic): Only drop lhs for noreturn calls
3204 if should_remove_lhs_p is true.
3206 2017-01-30 Alexandre Oliva <aoliva@redhat.com>
3209 * dwarf2out.c (clone_as_declaration): Drop DW_AT_alignment.
3210 (add_alignment_attribute): New.
3211 (base_type_die): Add alignment attribute.
3212 (subrange_type_die): Likewise.
3213 (modified_type_die): Likewise.
3214 (gen_array_type_die): Likewise.
3215 (gen_descr_array_type_die: Likewise.
3216 (gen_enumeration_type_die): Likewise.
3217 (gen_subprogram_die): Likewise.
3218 (gen_variable_die): Likewise.
3219 (gen_field_die): Likewise.
3220 (gen_ptr_to_mbr_type_die): Likewise.
3221 (gen_struct_or_union_type_die): Likewise.
3222 (gen_subroutine_type_die): Likewise.
3223 (gen_typedef_die): Likewise.
3224 (base_type_cmp): Compare alignment attribute.
3226 2017-01-30 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
3229 * config/rs6000/altivec.md (*setb_internal): Rename to setb_signed.
3230 (setb_unsigned) New pattern for setb with CCUNS.
3231 * config/rs6000/rs6000.c (expand_block_compare): Use a different
3232 subfc./subfe sequence to avoid overflow problems. Generate a
3233 shorter sequence with cmpld/setb for power9.
3234 * config/rs6000/rs6000.md (subf<mode>3_carry_dot2): Add a new pattern
3235 for generating subfc. instruction.
3236 (cmpstrsi): Add TARGET_POPCNTD predicate as the generate sequence
3237 now uses this instruction.
3239 2017-01-30 Ian Lance Taylor <iant@google.com>
3242 * dwarf2out.c (gen_type_die_with_usage): When picking a variant
3243 for FUNCTION_TYPE/METHOD_TYPE, use the first matching one.
3245 2017-01-30 Martin Sebor <msebor@redhat.com>
3247 * gimple-ssa-sprintf.c (fmtresult::adjust_for_width_or_precision):
3248 Move constant to the right of a relational operator.
3249 (get_mpfr_format_length, format_character, format_string): Ditto.
3250 (should_warn_p, maybe_warn): Same.
3252 * doc/invoke.texi (-Wformat-truncation=1): Fix typo.
3254 2017-01-30 Maxim Ostapenko <m.ostapenko@samsung.com>
3257 * asan.c (get_translation_unit_decl): Remove function.
3258 (asan_add_global): Force has_dynamic_init to zero in LTO mode.
3260 2017-01-30 Martin Liska <mliska@suse.cz>
3262 PR gcov-profile/79259
3263 * opts.c (common_handle_option): Enable flag_ipa_bit_cp w/
3266 2017-01-30 Martin Liska <mliska@suse.cz>
3269 * config/aarch64/cortex-a57-fma-steering.c (func_fma_steering::analyze):
3270 Initialize variables with NULL value.
3272 2017-01-30 Richard Earnshaw <rearnsh@arm.com>
3275 * config.gcc (arm*-*-*): Add arm/arm-flags.h and arm/arm-isa.h to
3277 * arm/arm-protos.h: Don't directly include arm-flags.h and arm-isa.h.
3279 2017-01-30 Richard Biener <rguenther@suse.de>
3281 PR tree-optimization/79276
3282 * tree-vrp.c (process_assert_insertions): Properly adjust common
3283 when removing a duplicate.
3285 * gcc.dg/torture/pr79276.c: New testcase.
3287 2017-01-30 Richard Biener <rguenther@suse.de>
3289 PR tree-optimization/79256
3290 * targhooks.c (default_builtin_vector_alignment_reachable): Honor
3291 BIGGEST_FIELD_ALIGNMENT and ADJUST_FIELD_ALIGN to fix up bogus
3293 * tree.c (build_aligned_type): Set TYPE_USER_ALIGN.
3295 2017-01-30 Dominik Vogt <vogt@linux.vnet.ibm.com>
3298 * config/s390/s390.md ("*r<noxa>sbg_<mode>_srl_bitmask")
3299 ("*r<noxa>sbg_<mode>_sll_bitmask")
3300 ("*extzv_<mode>_srl<clobbercc_or_nocc>")
3301 ("*extzv_<mode>_sll<clobbercc_or_nocc>"):
3302 Use contiguous_bitmask_nowrap_operand.
3304 2017-01-29 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
3307 * config/rs6000/altivec.h (vec_xl): Revise #define.
3308 (vec_xst): Likewise.
3310 2017-01-27 Uros Bizjak <ubizjak@gmail.com>
3312 * config/i386/i386.c (print_reg): Use REGNO instead of true_regnum.
3314 2017-01-27 Bernd Schmidt <bschmidt@redhat.com>
3316 PR rtl-optimization/79194
3317 * cprop.c (one_cprop_pass): Move deletion of code after unconditional
3318 traps before call to bypass_conditional_jumps.
3320 2017-01-27 Vladimir Makarov <vmakarov@redhat.com>
3322 PR tree-optimization/71374
3323 * lra-constraints.c (check_conflict_input_operands): New.
3324 (match_reload): Use it.
3326 2017-01-27 Vladimir Makarov <vmakarov@redhat.com>
3329 * lra-assigns.c (find_hard_regno_for_1): Take endianess for into
3330 account to calculate conflict_set.
3332 2017-01-27 Bin Cheng <bin.cheng@arm.com>
3334 PR rtl-optimization/78559
3335 * combine.c (try_combine): Discard REG_EQUAL and REG_EQUIV for
3336 other_insn in combine.
3338 2017-01-27 Pekka Jääskeläinen <pekka.jaaskelainen@parmance.com>
3340 * builtin-types.def: Use unsigned_char_type_node for BT_UINT8. Use
3341 uint16_type_node for BT_UINT16.
3343 2017-01-27 David Malcolm <dmalcolm@redhat.com>
3345 * doc/sourcebuild.texi (Testsuites): Add "GIMPLE Tests" and
3346 "RTL Tests" to menu.
3347 (GIMPLE Tests): New node.
3348 (RTL Tests): New node.
3350 2017-01-27 Richard Biener <rguenther@suse.de>
3352 PR tree-optimization/79245
3353 * tree-loop-distribution.c (distribute_loop): Apply cost
3354 modeling also to detected patterns.
3356 2017-01-27 Richard Biener <rguenther@suse.de>
3358 PR tree-optimization/71433
3359 * tree-vrp.c (register_new_assert_for): Revert earlier changes.
3360 (compare_assert_loc): New function.
3361 (process_assert_insertions): Sort and optimize assert locations
3362 to remove duplicates and push down identical assertions on
3363 edges to their destination block.
3365 2017-01-27 Richard Biener <rguenther@suse.de>
3367 PR tree-optimization/79244
3368 * tree-vrp.c (remove_range_assertions): Forcefully propagate
3369 out SSA names even if abnormal.
3371 2017-01-27 Jakub Jelinek <jakub@redhat.com>
3373 * realmpfr.h: Poison MPFR_RND{N,Z,U,D}.
3374 * gimple-ssa-sprintf.c (format_floating_max): Use GMP_RNDN
3375 instead of MPFR_RNDN.
3377 2017-01-27 Richard Earnshaw <rearnsha@arm.com>
3380 * arm.c (arm_option_override): Don't call build_target_option_node
3381 until after doing all option overrides.
3382 (arm_valid_target_attribute_tree): Likewise.
3384 2017-01-27 Martin Liska <mliska@suse.cz>
3386 * doc/invoke.texi (-fprofile-arcs): Document profiling support
3387 for {cd}tors and C++ {cd}tors.
3389 2017-01-27 Dominik Vogt <vogt@linux.vnet.ibm.com>
3391 * config/s390/s390.md ("*setmem_long_and")
3392 ("*setmem_long_and_31z"): Use zero_extend instead of and.
3394 2017-01-26 Martin Sebor <msebor@redhat.com>
3396 * gimple-ssa-sprintf.c (format_floating): Simplify the computation
3399 2017-01-26 Martin Sebor <msebor@redhat.com>
3401 * gimple-ssa-sprintf.c (format_floating): Test HAVE_XFmode and
3402 HAVE_DFmode before using XFmode or DFmode.
3403 (parse_directive): Avoid using the z length modifier to avoid
3404 the ISO C++98 does not support the ‘z’ gnu_printf length modifier.
3407 * gimple-ssa-sprintf.c (adjust_for_width_or_precision): Change
3408 to accept adjustment as an array.
3409 (get_int_range): New function.
3410 (struct directive): Make width and prec arrays.
3411 (directive::set_width, directive::set_precision): Call get_int_range.
3412 (format_integer, format_floating): Handle width and precision ranges.
3413 (format_string, parse_directive): Same.
3415 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3418 * dwarf2out.c (generate_skeleton_bottom_up): For children with
3419 comdat_type_p set, just clone them, but keep the children in the
3423 * dwarf2out.c (prune_unused_types): Mark all functions with DIEs
3424 which have direct callers with -fvar-tracking-assignments enabled
3426 (resolve_addr): Avoid adding skeleton DIEs for DW_AT_call_origin
3427 inside of type units.
3429 2017-01-26 Martin Sebor <msebor@redhat.com>
3432 * gimple-ssa-sprintf.c (struct result_range): Add likely and
3434 (struct format_result): Replace number_chars, number_chars_min,
3435 and number_chars_max with a single member of struct result_range.
3437 (format_result::operator+=): Adjust.
3438 (struct fmtresult): Remove bounded. Handle likely and unlikely
3440 (fmtresult::adjust_for_width_or_precision): New function.
3441 (fmtresult:type_max_digits): New function.
3442 (bytes_remaining): Handle likely and unlikely counters.
3443 (min_bytes_remaining): Remove.
3444 (format_percent): Simplify.
3445 (format_integer, format_floating): Set likely and unlikely counters.
3446 (get_string_length, format_character, format_string): Same.
3447 (format_plain, should_warn_p): New function.
3448 (maybe_warn): Call should_warn_p. Update diagnostic messages
3449 and handle those for all directives, including plain strings.
3450 (format_directive): Handle likely and unlikely counters.
3451 Remove unnecessary quoting from diagnostics. Add an informational
3453 (add_bytes): Remove.
3454 (pass_sprintf_length::compute_format_length): Simplify.
3455 (try_substitute_return_value): Handle likely and unlikely counters.
3457 2017-01-26 Carl Love <cel@us.ibm.com>
3459 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Remove
3460 bogus entries for the P8V_BUILTIN_VEC_VGBBD built-ins
3462 2017-01-26 Vladimir Makarov <vmakarov@redhat.com>
3465 * lra-assigns.c (setup_live_pseudos_and_spill_after_risky): Take
3466 endianess for subregs into account.
3467 * lra-constraints.c (lra_constraints): Do risky transformations
3468 always on the first iteration.
3469 * lra-lives.c (check_pseudos_live_through_calls): Add arg
3470 last_call_used_reg_set.
3471 (process_bb_lives): Define and use last_call_used_reg_set.
3472 * lra.c (lra): Always continue after lra_constraints on the first
3475 2017-01-26 Kirill Yukhin <kirill.yukhin@gmail.com>
3477 * gcc.target/i386/avx512bw-kshiftlq-2.c: Use unsigned long long
3479 * gcc.target/i386/avx512bw-kshiftrq-2.c: Ditto.
3481 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3483 * config/i386/avx512fintrin.h (_ktest_mask16_u8,
3484 _ktestz_mask16_u8, _ktestc_mask16_u8, _kadd_mask16): Move to ...
3485 * config/i386/avx512dqintrin.h (_ktest_mask16_u8,
3486 _ktestz_mask16_u8, _ktestc_mask16_u8, _kadd_mask16): ... here.
3487 * config/i386/i386-builtin.def (__builtin_ia32_ktestchi,
3488 __builtin_ia32_ktestzhi, __builtin_ia32_kaddhi): Use
3489 OPTION_MASK_ISA_AVX512DQ instead of OPTION_MASK_ISA_AVX512F.
3490 * config/i386/sse.md (SWI1248_AVX512BWDQ2): New mode iterator.
3491 (kadd<mode>, ktest<mode>): Use it instead of SWI1248_AVX512BWDQ.
3493 2017-01-26 Marek Polacek <polacek@redhat.com>
3496 * fold-const.c (operand_equal_p) [COND_EXPR]: Use OP_SAME_WITH_NULL
3497 for the third operand.
3499 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3502 * omp-low.c (struct omp_context): Add simt_stmt field.
3503 (scan_omp_for): Return omp_context *.
3504 (scan_omp_simd): Set simt_stmt on the non-_simt_ SIMD
3505 context to the _simt_ SIMD stmt.
3506 (lower_omp_for): For combined SIMD with sibling _simt_
3507 SIMD, make sure to use the same decls in _looptemp_
3508 clauses as in the sibling.
3510 2017-01-26 David Sherwood <david.sherwood@arm.com>
3513 * gimplify.c (omp_notice_variable): Add GOVD_SEEN flag to variables in
3516 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3519 * reg-stack.c (emit_swap_insn): Instead of fld a; fld b; fxchg %st(1);
3520 emit fld b; fld a; if possible.
3522 * brig-builtins.def: Update copyright years.
3523 * config/arm/arm_acle_builtins.def: Update copyright years.
3525 2017-01-25 Michael Meissner <meissner@linux.vnet.ibm.com>
3528 * config/rs6000/vsx.md (vsx_extract_<mode>_store): Use wY
3529 constraint instead of o for the stxsd instruction.
3531 2017-01-25 Carl Love <cel@us.ibm.com>
3533 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Fix order
3534 of entries for ALTIVEC_BUILTIN_VEC_PACKS and P8V_BUILTIN_VEC_VGBBD.
3536 2017-01-25 Jonathan Wakely <jwakely@redhat.com>
3538 * doc/invoke.texi (C++ Dialect Options): Fix typo.
3540 2017-01-25 Richard Biener <rguenther@suse.de>
3542 PR tree-optimization/69264
3543 * target.def (vector_alignment_reachable): Improve documentation.
3544 * doc/tm.texi: Regenerate.
3545 * targhooks.c (default_builtin_vector_alignment_reachable): Simplify
3547 * tree-vect-data-refs.c (vect_supportable_dr_alignment): Revert
3548 earlier changes with respect to TYPE_USER_ALIGN.
3549 (vector_alignment_reachable_p): Likewise. Improve dumping.
3551 2016-01-25 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
3554 * config/arm/arm.md (xordi3): Force constant operand into a register
3557 2016-01-25 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
3559 * doc/invoke.texi (-fstore-merging): Correct default optimization
3560 levels at which it is enabled.
3561 (-O): Move -fstore-merging from list to...
3564 2017-01-25 Richard Biener <rguenther@suse.de>
3567 * omp-expand.c: Include debug.h.
3568 (expand_omp_taskreg): Make sure to generate early debug before
3569 outlining anything from a function.
3570 (expand_omp_target): Likewise.
3571 (grid_expand_target_grid_body): Likewise.
3573 2017-01-25 Maxim Ostapenko <m.ostapenko@samsung.com>
3576 * asan.c (get_translation_unit_decl): New function.
3577 (asan_add_global): Extract modules file name from globals
3578 TRANSLATION_UNIT_DECL name.
3580 2017-01-24 Eric Botcazou <ebotcazou@adacore.com>
3583 * config/arm/arm.c (arm_function_ok_for_sibcall): Add back restriction
3584 for long calls with APCS frame and VFP.
3586 2017-01-24 David Malcolm <dmalcolm@redhat.com>
3588 * cfg.c (original_copy_tables_initialized_p): New function.
3589 * cfg.h (original_copy_tables_initialized_p): New decl.
3590 * cfgrtl.c (relink_block_chain): Guard the call to
3591 free_original_copy_tables with a call to
3592 original_copy_tables_initialized_p.
3593 * cgraph.h (symtab_node::native_rtl_p): New decl.
3594 * cgraphunit.c (symtab_node::native_rtl_p): New function.
3595 (symtab_node::needed_p): Don't assert for early assembly output
3596 for __RTL functions.
3597 (cgraph_node::finalize_function): Set "force_output" for __RTL
3599 (cgraph_node::analyze): Bail out early for __RTL functions.
3600 (analyze_functions): Update assertion to support __RTL functions.
3601 (cgraph_node::expand): Bail out early for __RTL functions.
3602 * final.c (rest_of_clean_state): Don't call delete_tree_ssa for
3604 * function.h (struct function): Update comment for field
3606 * gimple-expr.c: Include "tree-pass.h".
3607 (gimple_has_body_p): Return false for __RTL functions.
3608 * Makefile.in (OBJS): Add run-rtl-passes.o.
3609 * pass_manager.h (gcc::pass_manager::get_rest_of_compilation): New
3611 (gcc::pass_manager::get_clean_slate): New accessor.
3612 * passes.c: Include "insn-addr.h".
3613 (should_skip_pass_p): Add logging. Update logic for running
3614 "expand" to be compatible with both __GIMPLE and __RTL. Guard
3615 property-provider override so it is only done for gimple passes.
3617 (skip_pass): New function.
3618 (execute_one_pass): Call skip_pass when skipping passes.
3619 * read-md.c (md_reader::read_char): Support filtering
3620 the input to a subset of line numbers.
3621 (md_reader::md_reader): Initialize fields
3622 m_first_line and m_last_line.
3623 (md_reader::read_file_fragment): New function.
3624 * read-md.h (md_reader::read_file_fragment): New decl.
3625 (md_reader::m_first_line): New field.
3626 (md_reader::m_last_line): New field.
3627 * read-rtl-function.c (function_reader::create_function): Only
3628 create cfun if it doesn't already exist. Set PROP_rtl on cfun's
3629 curr_properties. Set DECL_INITIAL to a dummy block.
3630 (read_rtl_function_body_from_file_range): New function.
3631 * read-rtl-function.h (read_rtl_function_body_from_file_range):
3633 * run-rtl-passes.c: New file.
3634 * run-rtl-passes.h: New file.
3636 2017-01-24 Jeff Law <law@redhat.com>
3638 * config/microblaze/microblaze.h (ASM_FORMAT_PRIVATE_NAME): Increase
3641 2017-01-24 Bin Cheng <bin.cheng@arm.com>
3643 PR tree-optimization/79159
3644 * tree-ssa-loop-niter.c (get_cst_init_from_scev): New function.
3645 (record_nonwrapping_iv): Improve boundary using above function if no
3646 value range information.
3648 2017-01-24 Pekka Jääskeläinen <pekka@parmance.com>
3649 Martin Jambor <mjambor@suse.cz>
3651 * brig-builtins.def: New file.
3652 * builtins.def (DEF_HSAIL_BUILTIN): New macro.
3653 (DEF_HSAIL_ATOMIC_BUILTIN): Likewise.
3654 (DEF_HSAIL_SAT_BUILTIN): Likewise.
3655 (DEF_HSAIL_INTR_BUILTIN): Likewise.
3656 (DEF_HSAIL_CVT_ZEROI_SAT_BUILTIN): Likewise.
3657 * builtin-types.def (BT_INT8): New.
3658 (BT_INT16): Likewise.
3659 (BT_UINT8): Likewise.
3660 (BT_UINT16): Likewise.
3661 (BT_FN_ULONG): Likewise.
3662 (BT_FN_UINT_INT): Likewise.
3663 (BT_FN_UINT_ULONG): Likewise.
3664 (BT_FN_UINT_LONG): Likewise.
3665 (BT_FN_UINT_PTR): Likewise.
3666 (BT_FN_ULONG_PTR): Likewise.
3667 (BT_FN_INT8_FLOAT): Likewise.
3668 (BT_FN_INT16_FLOAT): Likewise.
3669 (BT_FN_UINT32_FLOAT): Likewise.
3670 (BT_FN_UINT16_FLOAT): Likewise.
3671 (BT_FN_UINT8_FLOAT): Likewise.
3672 (BT_FN_UINT64_FLOAT): Likewise.
3673 (BT_FN_UINT16_UINT32): Likewise.
3674 (BT_FN_UINT32_UINT16): Likewise.
3675 (BT_FN_UINT16_UINT16_UINT16): Likewise.
3676 (BT_FN_INT_PTR_INT): Likewise.
3677 (BT_FN_UINT_PTR_UINT): Likewise.
3678 (BT_FN_LONG_PTR_LONG): Likewise.
3679 (BT_FN_ULONG_PTR_ULONG): Likewise.
3680 (BT_FN_VOID_UINT64_UINT64): Likewise.
3681 (BT_FN_UINT8_UINT8_UINT8): Likewise.
3682 (BT_FN_INT8_INT8_INT8): Likewise.
3683 (BT_FN_INT16_INT16_INT16): Likewise.
3684 (BT_FN_INT_INT_INT): Likewise.
3685 (BT_FN_UINT_FLOAT_UINT): Likewise.
3686 (BT_FN_FLOAT_UINT_UINT): Likewise.
3687 (BT_FN_ULONG_UINT_UINT): Likewise.
3688 (BT_FN_ULONG_UINT_PTR): Likewise.
3689 (BT_FN_ULONG_ULONG_ULONG): Likewise.
3690 (BT_FN_UINT_UINT_UINT): Likewise.
3691 (BT_FN_VOID_UINT_PTR): Likewise.
3692 (BT_FN_UINT_UINT_PTR: Likewise.
3693 (BT_FN_UINT32_UINT64_PTR): Likewise.
3694 (BT_FN_INT_INT_UINT_UINT): Likewise.
3695 (BT_FN_UINT_UINT_UINT_UINT): Likewise.
3696 (BT_FN_UINT_UINT_UINT_PTR): Likewise.
3697 (BT_FN_UINT_ULONG_ULONG_UINT): Likewise.
3698 (BT_FN_ULONG_ULONG_ULONG_ULONG): Likewise.
3699 (BT_FN_LONG_LONG_UINT_UINT): Likewise.
3700 (BT_FN_ULONG_ULONG_UINT_UINT): Likewise.
3701 (BT_FN_VOID_UINT32_UINT64_PTR): Likewise.
3702 (BT_FN_VOID_UINT32_UINT32_PTR): Likewise.
3703 (BT_FN_UINT_UINT_UINT_UINT_UINT): Likewise.
3704 (BT_FN_UINT_FLOAT_FLOAT_FLOAT_FLOAT): Likewise.
3705 (BT_FN_ULONG_ULONG_ULONG_UINT_UINT): Likewise.
3706 * doc/frontends.texi: List BRIG FE.
3707 * doc/install.texi (Testing): Add BRIG tesring requirements.
3708 * doc/invoke.texi (Overall Options): Mention BRIG.
3709 * doc/standards.texi (Standards): Doucment BRIG HSA version.
3711 2017-01-24 Richard Biener <rguenther@suse.de>
3713 PR translation/79208
3714 * ipa-devirt.c (odr_types_equivalent_p): Fix typo in diagnostic.
3716 2017-01-24 Martin Jambor <mjambor@suse.cz>
3719 * ipa-prop.c (ipa_free_all_node_params): Call summary destructor.
3720 * ipa-prop.c (ipa_node_params_t::insert): Initialize fields known_csts
3723 2017-01-24 Aldy Hernandez <aldyh@redhat.com>
3726 * gimple-ssa-warn-alloca.c (alloca_call_type): Make sure
3727 casts from signed to unsigned really don't have a range.
3729 2017-01-24 Markus Trippelsdorf <markus@trippelsdorf.de>
3731 * gimple-ssa-sprintf.c (format_floating): Change MPFR_RNDx to
3732 GMP_RNDx for compatiblity.
3734 2017-01-24 Martin Liska <mliska@suse.cz>
3737 * tree-ssa-reassoc.c (rewrite_expr_tree_parallel): Insert assert
3738 that would prevent us to call alloca with -1 as argument.
3740 2017-01-24 Jakub Jelinek <jakub@redhat.com>
3742 * dwarf2out.c (output_compilation_unit_header, output_file_names):
3743 Avoid -Wformat-security warning.
3745 2017-01-23 Andrew Pinski <apinski@cavium.com>
3747 * config/aarch64/aarch64.c (thunderx2t99_addrcost_table): Improve
3750 2017-01-23 Martin Sebor <msebor@redhat.com>
3753 * gimple-ssa-sprintf.c (warn_level): New global.
3754 (format_integer): Use it here and throughout the rest of the file.
3755 Use the same switch to compute sign as base.
3756 (maybe_warn): New function.
3757 (format_directive): Factor out warnings into maybe_warn.
3758 Add debugging output. Use warn_level.
3759 (add_bytes): Use warn_level.
3760 (pass_sprintf_length::compute_format_length): Add debugging output.
3761 (try_substitute_return_value): Same.
3762 (pass_sprintf_length::handle_gimple_call): Set and use warn_level.
3765 * gimple-ssa-sprintf.c (struct format_result): Remove constant member.
3766 (struct fmtresult, format_integer, format_floating): Adjust.
3767 (fmtresult::fmtresult): Set max correctly in two argument ctor.
3768 (get_string_length, format_string,format_directive): Same.
3769 (pass_sprintf_length::compute_format_length): Same.
3770 (try_substitute_return_value): Simplify slightly.
3773 * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust formatting.
3774 (fmtresult::operator+=): Outlined.
3775 (struct fmtresult): Add ctors.
3776 (struct conversion_spec): Rename...
3777 (struct directive): ...to this. Add and remove data members.
3778 (directive::set_width, directive::set_precision): New functions.
3779 (format_percent): Use fmtresult ctor.
3780 (get_width_and_precision): Remove.
3781 (format_integer): Make naming changes. Avoid computing width and
3783 (format_floating): Same. Adjust indentation.
3784 (format_character, format_none): New functions.
3785 (format_string): Moved character handling to format_character.
3786 (format_directive): Remove arguments, change return type.
3787 (parse_directive): New function.
3788 (pass_sprintf_length::compute_format_length): Move directive
3789 parsing to parse_directive.
3791 2017-01-23 Jakub Jelinek <jakub@redhat.com>
3793 * tree.h (assign_assembler_name_if_neeeded): Rename to ...
3794 (assign_assembler_name_if_needed): ... this.
3795 * tree.c (assign_assembler_name_if_neeeded): Rename to ...
3796 (assign_assembler_name_if_needed): ... this.
3797 (free_lang_data_in_cgraph): Adjust callers.
3798 * cgraphunit.c (cgraph_node::analyze): Likewise.
3799 * omp-expand.c (expand_omp_taskreg, expand_omp_target):
3802 2017-01-23 Richard Biener <rguenther@suse.de>
3804 PR tree-optimization/79088
3805 PR tree-optimization/79188
3806 * tree-ssa-threadupdate.c (mark_threaded_blocks): Move code
3807 resetting loop bounds after last path deletion. Reset loop
3808 bounds of the target loop, make code match the comments.
3809 * tree-ssa-threadbackwards.c (pass_early_thread_jumps::execute):
3810 Make sure loops need no fixups.
3812 2017-01-23 Kelvin Nilsen <kelvin@gcc.gnu.org>
3814 * config/rs6000/rs6000-builtin.def (VSIEDPF): Add scalar insert
3815 exponent support with double type for first argument.
3816 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Changed
3817 type returned by __builtin_vec_extract_sig,
3818 __builtin_vec_extract_sig_sp, and __builtin_vec_extract_sig_dp
3819 functions from "vector int" to "vector unsigned int" or from
3820 "vector long long int" to "vector unsigned long long int".
3821 Changed type returned by __builtin_vec_extract_exp,
3822 __builtin_vec_extract_exp_sp, and __builtin_vec_extract_exp_dp
3823 functions from "vector int" to "vector unsigned int" or from
3824 "vector long long int" to "vector unsigned long long int".
3825 Changed return type of __builtin_vec_test_data_class,
3826 __builtin_vec_test_data_class_sp, and
3827 __builtin_vec_test_data_class_dp from "vector int" to
3828 "vector bool int" or from "vector long long int" to "vector bool
3829 long long int" and changed second argument type from "unsigned
3830 int" to "int". Added new overloaded function forms "vector float
3831 __builtin_vec_insert_exp (vector float, vector unsigned int)" and
3832 "vector float __builtin_vec_insert_exp_sp (vector float, vector
3833 unsigned int)" and "vector double __builtin_vec_insert_exp (vector
3834 double, vector unsigned long long int)" and "vector double
3835 __builtin_vec_insert_exp_dp (vector double, vector unsigned long
3836 long int)". Changed return type of
3837 __builtin_scalar_test_data_class and
3838 __builtin_scalar_test_data_class_sp and
3839 __builtin_scalar_test_data_class_dp from "unsigned int" to "bool
3840 int" and changed second argument from "unsigned int" to "int".
3841 Changed type returned by __builtin_scalar_test_neg,
3842 __builtin_scalar_test_neg_sp, and __builtin_scalar_test_neg_dp
3843 from "int" to "bool int". Added new overloaded function form
3844 "double __builtin_scalar_insert_exp (double, unsigned long long int)".
3845 * config/rs6000/vsx.md (xsiexpdpf): New insn for scalar insert
3846 exponent double-precision with floating point first argument.
3847 * doc/extend.texi (PowerPC AltiVec Built-in Functions): Adjust
3848 documentation of scalar_test_data_class, scalar_test_neg,
3849 scalar_extract_sig, scalar_extract_exp, scalar_insert_exp,
3850 vector_extract_exp, vec_extract_sig, vec_insert_exp, and
3851 vec_test_data_class built-in functions to reflect refinements in
3852 their type signatures.
3854 2017-01-23 Andreas Tobler <andreast@gcc.gnu.org>
3856 * config/aarch64/aarch64.c (aarch64_elf_asm_constructor): Increase
3858 (aarch64_elf_asm_destructor): Likewise.
3860 2017-01-23 Bernd Schmidt <bschmidt@redhat.com>
3862 PR rtl-optimization/78634
3863 * config/i386/i386.c (ix86_max_noce_ifcvt_seq_cost): New function.
3864 (TARGET_MAX_NOCE_IFCVT_SEQ_COST): Define.
3865 * ifcvt.c (noce_try_cmove): Add missing cost check.
3867 PR rtl-optimization/71724
3868 * combine.c (if_then_else_cond): Look for situations where it is
3869 beneficial to undo the work of one of the recursive calls.
3871 2017-01-23 Bin Cheng <bin.cheng@arm.com>
3873 PR tree-optimization/70754
3874 * tree-predcom.c (stmt_combining_refs): New parameter INSERT_BEFORE.
3875 (reassociate_to_the_same_stmt): New parameter INSERT_BEFORE. Insert
3876 combined stmt before it if not NULL.
3877 (combine_chains): Process refs reversely and compute dominance point
3880 2017-01-23 Martin Liska <mliska@suse.cz>
3882 PR tree-optimization/79196
3883 * tree-ssa-strlen.c (fold_strstr_to_memcmp): Rename to ...
3884 (fold_strstr_to_strncmp): ... this. Fold the pattern to strncmp
3886 (strlen_optimize_stmt): Call the renamed function.
3888 2017-01-23 Michael Matz <matz@suse.de>
3890 PR tree-optimization/78384
3891 * tree-ssa-loop-split.c (patch_loop_exit): Use correct edge.
3893 2017-01-23 Richard Biener <rguenther@suse.de>
3895 PR tree-optimization/79186
3896 * tree-vrp.c (register_new_assert_for): Make sure we've seen
3897 both incoming edges before moving an assert.
3899 2017-01-23 Martin Jambor <mjambor@suse.cz>
3901 * ipa-prop.c (load_from_param_1): Removed.
3902 (load_from_unmodified_param): Bits from load_from_param_1 put back
3904 (load_from_param): Removed.
3905 (compute_complex_assign_jump_func): Removed stmt2 and just replaced it
3906 with stmt. Reverted back to use of load_from_unmodified_param.
3908 2017-01-23 Martin Jambor <mjambor@suse.cz>
3911 * ipa-prop.h (ipa_param_descriptor): Anotate with with GTY(()).
3912 (ipa_node_params): Annotate with GTY((for_user)). Make descriptors
3913 field a pointer to garbage collected vector, mark lattices and
3914 ipcp_orig_node with GTY((skip)).
3915 (ipa_get_param_count): Adjust to descriptors being a pointer.
3916 (ipa_get_param): Likewise.
3917 (ipa_get_type): Likewise.
3918 (ipa_get_param_move_cost): Likewise.
3919 (ipa_set_param_used): Likewise.
3920 (ipa_get_controlled_uses): Likewise.
3921 (ipa_set_controlled_uses): Likewise.
3922 (ipa_is_param_used): Likewise.
3923 (ipa_node_params_t): Move into garbage collector. New methods insert
3925 (ipa_node_params_sum): Annotate wth GTY(()).
3926 (ipa_check_create_node_params): Adjust to ipa_node_params_sum being
3928 (ipa_load_from_parm_agg): Adjust declaration.
3929 * ipa-icf.c (param_used_p): Adjust to descriptors being a pointer.
3930 * ipa-profile.c (ipa_profile): Likewise.
3931 * ipa-prop.c (ipa_get_param_decl_index_1): Likewise.
3932 (ipa_populate_param_decls): Make descriptors parameter garbage
3934 (ipa_dump_param): Adjust to descriptors being a pointer.
3935 (ipa_alloc_node_params): Likewise.
3936 (ipa_initialize_node_params): Likewise.
3937 (load_from_param_1): Make descriptors parameter garbage collected.
3938 (load_from_unmodified_param): Likewise.
3939 (load_from_param): Likewise.
3940 (ipa_load_from_parm_agg): Likewise.
3941 (ipa_node_params::~ipa_node_params): Removed.
3942 (ipa_free_all_node_params): Remove call to delete operator.
3943 (ipa_node_params_t::insert): New.
3944 (ipa_node_params_t::remove): Likewise.
3945 (ipa_node_params_t::duplicate): Adjust to descriptors being a pointer,
3946 copy known_csts and known_contexts vectors.
3947 (ipa_read_node_info): Adjust to descriptors being a pointer.
3948 (ipcp_modif_dom_walker): Make m_descriptors field garbage
3950 (ipcp_transform_function): Make descriptors variable garbage
3953 2017-01-23 Andrew Senkevich <andrew.senkevich@intel.com>
3955 * config/i386/avx512bwintrin.h: Add k-mask test, kortest intrinsics.
3956 * config/i386/avx512dqintrin.h: Ditto.
3957 * config/i386/avx512fintrin.h: Ditto.
3958 * gcc/config/i386/i386.c: Handle new builtins.
3959 * config/i386/i386-builtin.def: Add new builtins.
3960 * config/i386/sse.md (ktest<mode>, kortest<mode>): New.
3961 (UNSPEC_KORTEST, UNSPEC_KTEST): New.
3963 2017-01-23 Jakub Jelinek <jakub@redhat.com>
3964 Martin Liska <mliska@suse.cz>
3966 * asan.h: Define ASAN_USE_AFTER_SCOPE_ATTRIBUTE.
3967 * asan.c (asan_expand_poison_ifn): Support stores and use
3968 appropriate ASAN report function.
3969 * internal-fn.c (expand_ASAN_POISON_USE): New function.
3970 * internal-fn.def (ASAN_POISON_USE): Declare.
3971 * tree-into-ssa.c (maybe_add_asan_poison_write): New function.
3972 (maybe_register_def): Create ASAN_POISON_USE when sanitizing.
3973 * tree-ssa-dce.c (eliminate_unnecessary_stmts): Remove
3974 ASAN_POISON calls w/o LHS.
3975 * tree-ssa.c (execute_update_addresses_taken): Create clobber
3976 for ASAN_MARK (UNPOISON, &x, ...) in order to prevent usage of a LHS
3977 from ASAN_MARK (POISON, &x, ...) coming to a PHI node.
3978 * gimplify.c (asan_poison_variables): Add attribute
3979 use_after_scope_memory to variables that really needs to live
3981 * tree-ssa.c (is_asan_mark_p): Do not rewrite into SSA when
3982 having the attribute.
3984 2017-01-23 Martin Liska <mliska@suse.cz>
3986 * asan.c (create_asan_shadow_var): New function.
3987 (asan_expand_poison_ifn): Likewise.
3988 * asan.h (asan_expand_poison_ifn): New declaration.
3989 * internal-fn.c (expand_ASAN_POISON): Likewise.
3990 * internal-fn.def (ASAN_POISON): New builtin.
3991 * sanopt.c (pass_sanopt::execute): Expand
3992 asan_expand_poison_ifn.
3993 * tree-inline.c (copy_decl_for_dup_finish): Make function
3995 * tree-inline.h (copy_decl_for_dup_finish): Likewise.
3996 * tree-ssa.c (is_asan_mark_p): New function.
3997 (execute_update_addresses_taken): Rewrite local variables
3998 (identified just by use-after-scope as addressable) into SSA.
4000 2017-01-22 Gerald Pfeifer <gerald@pfeifer.com>
4002 * doc/install.texi (Specific): opensource.apple.com uses https
4003 now. Remove trailing slash.
4005 2017-01-22 Gerald Pfeifer <gerald@pfeifer.com>
4007 * README.Portability: Remove note on an Irix compatibility issue.
4009 2017-01-22 Dimitry Andric <dim@FreeBSD.org>
4011 * gcov.c (INCLUDE_ALGORITHM): Define.
4012 (INCLUDE_VECTOR): Define.
4013 No longer include <vector> and <algorithm> directly.
4015 2017-01-21 Gerald Pfeifer <gerald@pfeifer.com>
4017 * doc/extend.texi (Thread-Local): Change www.akkadia.org reference
4019 * doc/invoke.texi (Code Gen Options): Ditto.
4021 2017-01-21 Jan Hubicka <hubicka@ucw.cz>
4024 * cfg.c (update_bb_profile_for_threading): Fix updating of probablity.
4026 2017-01-21 Bernd Schmidt <bschmidt@redhat.com>
4028 rtl-optimization/79125
4029 * cprop.c (local_cprop_pass): Handle cases where we make an
4032 2017-01-20 Segher Boessenkool <segher@kernel.crashing.org>
4036 * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Adjust address to
4037 read from, for big endian.
4039 2017-01-20 Jiong Wang <jiong.wang@arm.com>
4041 * config/aarch64/aarch64-builtins.c (aarch64_init_builtins): Register
4042 register pauth builtins for LP64 only.
4044 2017-01-20 Marek Polacek <polacek@redhat.com>
4047 * gimplify.c (should_warn_for_implicit_fallthrough): Handle consecutive
4050 2017-01-20 Alexander Monakov <amonakov@ispras.ru>
4052 * omp-expand.c (expand_omp_simd): Clear PROP_gimple_lomp_dev regardless
4054 * omp-offload.c (pass_omp_device_lower::gate): Use PROP_gimple_lomp_dev.
4055 * passes.c (dump_properties): Handle PROP_gimple_lomp_dev.
4056 * tree-inline.c (expand_call_inline): Propagate PROP_gimple_lomp_dev.
4058 2017-01-20 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
4061 * config/arm/arm.c (neon_valid_immediate): Reject vector constants
4062 in big-endian mode when they are not a single duplicated value.
4064 2017-01-20 Richard Biener <rguenther@suse.de>
4066 * BASE-VER: Bump to 7.0.1.
4068 2017-01-20 Alexander Monakov <amonakov@ispras.ru>
4070 * omp-low.c (omplow_simd_context): New struct. Use it...
4071 (lower_rec_simd_input_clauses): ...here and...
4072 (lower_rec_input_clauses): ...here to hold common data. Adjust all
4073 references to idx, lane, max_vf, is_simt.
4075 2017-01-20 Graham Markall <graham.markall@embecosm.com>
4077 * config/arc/arc.h (LINK_SPEC): Use arclinux_nps emulation when
4080 2017-01-20 Martin Jambor <mjambor@suse.cz>
4082 * hsa.h: Renaed to hsa-common.h. Adjusted a comment.
4083 * hsa.c: Renaed to hsa-common.c. Change include of gt-hsa.h to
4085 * Makefile.in (OBJS): Rename hsa.o to hsa-common.o.
4086 (GTFILES): Rename hsa.c to hsa-common.c.
4087 * hsa-brig.c: Change include of hsa.h to hsa-common.h.
4088 * hsa-dump.c: Likewise.
4089 * hsa-gen.c: Likewise.
4090 * hsa-regalloc.c: Likewise.
4091 * ipa-hsa.c: Likewise.
4092 * omp-expand.c: Likewise.
4093 * omp-low.c: Likewise.
4094 * toplev.c: Likewise.
4096 2017-01-20 Marek Polacek <polacek@redhat.com>
4099 * doc/invoke.texi: Document -Wduplicated-branches.
4100 * fold-const.c (operand_equal_p): Handle MODIFY_EXPR, INIT_EXPR,
4101 COMPOUND_EXPR, PREDECREMENT_EXPR, PREINCREMENT_EXPR,
4102 POSTDECREMENT_EXPR, POSTINCREMENT_EXPR, CLEANUP_POINT_EXPR, EXPR_STMT,
4103 STATEMENT_LIST, and RETURN_EXPR. For non-pure non-const functions
4104 return 0 only when not OEP_LEXICOGRAPHIC.
4105 (fold_build_cleanup_point_expr): Use the expression
4106 location when building CLEANUP_POINT_EXPR.
4107 * tree-core.h (enum operand_equal_flag): Add OEP_LEXICOGRAPHIC.
4108 * tree.c (add_expr): Handle error_mark_node.
4110 2017-01-20 Martin Liska <mliska@suse.cz>
4113 * tree-profile.c (init_ic_make_global_vars): Do not call
4115 (gimple_init_gcov_profiler): Likewise.
4117 2017-01-20 Martin Liska <mliska@suse.cz>
4120 * cgraph.h (maybe_create_reference): Remove argument and
4122 * cgraphclones.c (cgraph_node::create_virtual_clone): Remove one
4124 * ipa-cp.c (create_specialized_node): Likewise.
4125 * symtab.c (symtab_node::maybe_create_reference): Handle
4126 VAR_DECLs and ADDR_EXPRs and select ipa_ref_use type.
4128 2017-01-20 Martin Liska <mliska@suse.cz>
4130 * read-rtl-function.c (function_reader::create_function): Use
4131 build_decl instread of build_decl_stat.
4133 2017-01-20 Andrew Senkevich <andrew.senkevich@intel.com>
4135 * config/i386/avx512bwintrin.h: Add k-mask registers shift intrinsics.
4136 * config/i386/avx512dqintrin.h: Ditto.
4137 * config/i386/avx512fintrin.h: Ditto.
4138 * config/i386/i386-builtin-types.def: Add new types.
4139 * gcc/config/i386/i386.c: Handle new types.
4140 * config/i386/i386-builtin.def (__builtin_ia32_kshiftliqi)
4141 (__builtin_ia32_kshiftlihi, __builtin_ia32_kshiftlisi)
4142 (__builtin_ia32_kshiftlidi, __builtin_ia32_kshiftriqi)
4143 (__builtin_ia32_kshiftrihi, __builtin_ia32_kshiftrisi)
4144 (__builtin_ia32_kshiftridi): New.
4145 * config/i386/sse.md (k<code><mode>): Rename *k<code><mode>.
4147 2017-01-19 Segher Boessenkool <segher@kernel.crashing.org>
4151 * config/rs6000/rs6000.c (TARGET_STACK_PROTECT_GUARD): Unconditionally
4152 define to rs6000_init_stack_protect_guard.
4153 (rs6000_init_stack_protect_guard): New function.
4155 2017-01-19 Matthew Fortune <matthew.fortune@imgtec.com>
4156 Yunqiang Su <yunqiang.su@imgtec.com>
4158 * config.gcc (supported_defaults): Add madd4.
4159 (with_madd4): Add validation.
4160 (all_defaults): Add madd4.
4161 * config/mips/mips.opt (mmadd4): New option.
4162 * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
4164 (TARGET_CPU_CPP_BUILTINS): Add builtin_define for
4166 (ISA_HAS_UNFUSED_MADD4): Gate with mips_madd4.
4167 (ISA_HAS_FUSED_MADD4): Likewise.
4168 * gcc/doc/invoke.texi (-mmadd4): Document the new option.
4169 * gcc/doc/install.texi (--with-madd4): Document the new option.
4171 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4173 * config/aarch64/aarch64-builtins.c (enum aarch64_builtins): New
4174 entries for AARCH64_PAUTH_BUILTIN_XPACLRI,
4175 AARCH64_PAUTH_BUILTIN_PACIA1716, AARCH64_PAUTH_BUILTIN_AUTIA1716.
4176 (aarch64_init_pauth_hint_builtins): New.
4177 (aarch64_init_builtins): Call aarch64_init_pauth_hint_builtins.
4178 (aarch64_expand_builtin): Expand new builtins.
4180 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4182 * reg-notes.def (CFA_TOGGLE_RA_MANGLE): New reg-note.
4183 * combine-stack-adj.c (no_unhandled_cfa): Handle
4184 REG_CFA_TOGGLE_RA_MANGLE.
4185 * dwarf2cfi.c (dwarf2out_frame_debug): Handle REG_CFA_TOGGLE_RA_MANGLE.
4186 * config/aarch64/aarch64.c (aarch64_expand_prologue): Generates DWARF
4187 info for return address signing.
4188 (aarch64_expand_epilogue): Likewise.
4190 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4192 * config/aarch64/aarch64-opts.h (aarch64_function_type): New enum.
4193 * config/aarch64/aarch64-protos.h
4194 (aarch64_return_address_signing_enabled): New declaration.
4195 * config/aarch64/aarch64.c (aarch64_return_address_signing_enabled):
4197 (aarch64_expand_prologue): Sign return address before it's pushed onto
4199 (aarch64_expand_epilogue): Authenticate return address fetched from
4201 (aarch64_override_options): Sanity check for ILP32 and ISA level.
4202 (aarch64_attributes): New function attributes for "sign-return-address".
4203 * config/aarch64/aarch64.md (UNSPEC_AUTI1716, UNSPEC_AUTISP,
4204 UNSPEC_PACI1716, UNSPEC_PACISP, UNSPEC_XPACLRI): New unspecs.
4205 ("*do_return"): Generate combined instructions according to key index.
4206 ("<pauth_mnem_prefix>sp", "<pauth_mnem_prefix1716", "xpaclri"): New.
4207 * config/aarch64/iterators.md (PAUTH_LR_SP, PAUTH_17_16): New integer
4209 (pauth_mnem_prefix, pauth_hint_num_a): New integer attributes.
4210 * config/aarch64/aarch64.opt (msign-return-address=): New.
4211 * doc/extend.texi (AArch64 Function Attributes): Documents
4212 "sign-return-address=".
4213 * doc/invoke.texi (AArch64 Options): Documents "-msign-return-address=".
4215 2017-01-19 Matthew Fortune <matthew.fortune@imgtec.com>
4217 * doc/invoke.texi: Add missing -mlxc1-sxc1 options to
4218 overall option summary.
4220 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4222 * config/aarch64/aarch64-arches.def: New entry for "armv8.3-a".
4223 * config/aarch64/aarch64.h (AARCH64_FL_V8_3, AARCH64_FL_FOR_ARCH8_3,
4224 AARCH64_ISA_V8_3, TARGET_ARMV8_3): New.
4225 * doc/invoke.texi (AArch64 Options): Document "armv8.3-a".
4227 2017-01-19 Michael Meissner <meissner@linux.vnet.ibm.com>
4229 * config/rs6000/rs6000-cpus.def (ISA_3_0_MASKS_SERVER): Enable
4230 -mpower9-minmax by default for -mcpu=power9.
4231 (ISA_3_MASKS_IEEE): Require -mvsx-small-integer to enable IEEE
4232 128-bit floating point.
4234 2017-01-20 Alan Modra <amodra@gmail.com>
4236 * config/rs6000/rs6000.md (cmpstrnsi, cmpstrsi): Fail if
4237 optimizing for size.
4239 2017-01-20 Alan Modra <amodra@gmail.com>
4242 * config/rs6000/rs6000.c (expand_strn_compare): Get the asm name
4243 for strcmp and strncmp from corresponding builtin decl.
4245 2017-01-19 Uros Bizjak <ubizjak@gmail.com>
4247 * config.gcc (x86_64-*-rtems*): Use i386/rtemself.h
4248 instead of i386/rtems-64.h.
4249 * config/i386/rtems-64.h: Remove.
4251 2017-01-19 Uros Bizjak <ubizjak@gmail.com>
4255 2013-11-05 Uros Bizjak <ubizjak@gmail.com>
4257 * config/i386/rtemself.h (LONG_DOUBLE_TYPE_SIZE): New define.
4259 2017-01-19 Tamar Christina <tamar.christina@arm.com>
4261 * config/aarch64/aarch64.c (aarch64_simd_gen_const_vector_dup):
4262 Change int to HOST_WIDE_INT.
4263 * config/aarch64/aarch64-protos.h
4264 (aarch64_simd_gen_const_vector_dup): Likewise.
4265 * config/aarch64/aarch64-simd.md: Add copysign<mode>3.
4267 2017-01-19 David Malcolm <dmalcolm@redhat.com>
4269 * langhooks-def.h (lhd_type_for_size): New decl.
4270 (LANG_HOOKS_TYPE_FOR_SIZE): Define as lhd_type_for_size.
4271 * langhooks.c (lhd_type_for_size): New function, taken from
4274 2017-01-19 Pat Haugen <pthaugen@us.ibm.com>
4276 * config/rs6000/power9.md (power9-alu): Remove 'cmp' type and add
4277 define_bypass for CR latency.
4278 (power9-cracked-alu): Update bypass latency and remove power9-branch.
4279 (power9-alu2): Add define_bypass for CR latency.
4281 (power9-mul): Update insn latency.
4282 (power9-mul-compare): Update insn latency, bypass latency and remove
4285 2016-01-19 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
4287 * config/aarch64/aarch64-protos.h (aarch64_nopcrelative_literal_loads):
4289 * config/aarch64/aarch64.md
4290 (aarch64_reload_movcp<GPF_TF:mode><P:mode>): Delete reference to
4291 aarch64_nopcrelative_literal_loads.
4292 (aarch64_reload_movcp<VALL:mode><P:mode>): Likewise.
4294 2017-01-19 Chenghua Xu <paul.hua.gm@gmail.com>
4296 * config/mips/mips.h (ISA_HAS_FUSED_MADD4): Enable for
4298 (ISA_HAS_UNFUSED_MADD4): Exclude TARGET_LOONGSON_3A.
4300 2017-01-19 Doug Gilmore <doug.gilmore@imgtec.com>
4303 * config.gcc (supported_defaults): Add lxc1-sxc1.
4304 (with_lxc1_sxc1): Add validation.
4305 (all_defaults): Add lxc1-sxc1.
4306 * config/mips/mips.opt (mlxc1-sxc1): New option.
4307 * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
4309 (TARGET_CPU_CPP_BUILTINS): Add builtin_define for
4310 __mips_no_lxc1_sxc1.
4311 (ISA_HAS_LXC1_SXC1): Gate with mips_lxc1_sxc1.
4312 * gcc/doc/invoke.texi (-mlxc1-sxc1): Document the new option.
4313 * doc/install.texi (--with-lxc1-sxc1): Document the new option.
4315 2017-01-19 Richard Biener <rguenther@suse.de>
4317 PR tree-optimization/72488
4318 * tree-ssa-sccvn.c (run_scc_vn): When we abort the VN make
4319 sure to restore SSA info.
4320 * tree-ssa.c (verify_ssa): Verify SSA info is not shared.
4322 2017-01-19 Richard Earnshaw <rearnsha@arm.com>
4324 PR rtl-optimization/79121
4325 * expr.c (expand_expr_real_2, case LSHIFT_EXPR): Look at the signedness
4326 of the inner type when shifting an extended value.
4328 2017-01-17 Jan Hubicka <hubicka@ucw.cz>
4331 * symtab.c (symtab_node::equal_address_to): Fix comparing of
4332 interposable aliases.
4334 2017-01-18 Peter Bergner <bergner@vnet.ibm.com>
4337 * config/rs6000/spe.md (mov_si<mode>_e500_subreg0): Fix constraints.
4338 Use the evmergelohi instruction.
4339 (mov_si<mode>_e500_subreg4_2_le): Likewise.
4340 (mov_sitf_e500_subreg8_2_be): Likewise.
4341 (mov_sitf_e500_subreg12_2_le): Likewise.
4342 (mov_si<mode>_e500_subreg0_2_le): Fix constraints.
4343 (mov_si<mode>_e500_subreg4_2_be): Likewise.
4344 (mov_sitf_e500_subreg8_2_le): Likewise.
4345 (mov_sitf_e500_subreg12_2_be): Likewise.
4347 2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4349 * config/rs6000/altivec.md (altivec_vbpermq): Change "type"
4350 attribute from vecsimple to vecperm.
4351 (altivec_vbpermq2): Likewise.
4353 2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4356 * config/rs6000/altivec.h: Fix typo of vec_cntlz to vec_cnttz.
4358 2017-01-18 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
4359 * config/rs6000/rs6000-protos.h (expand_strn_compare): Add arg.
4360 * config/rs6000/rs6000.c (expand_strn_compare): Add ability to expand
4361 strcmp. Fix bug where comparison didn't stop with zero byte. Fix
4362 case where N arg is SIZE_MAX.
4363 * config/rs6000/rs6000.md (cmpstrnsi): Args to expand_strn_compare.
4364 (cmpstrsi): Add pattern.
4366 2017-01-18 Michael Meissner <meissner@linux.vnet.ibm.com>
4368 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add
4369 __builtin_vec_revb builtins.
4370 * config/rs6000/rs6000-builtins.def (P9V_BUILTIN_XXBRQ_V16QI): Add
4371 built-in functions to support generation of the ISA 3.0 XXBR<x>
4372 vector byte reverse instructions.
4373 (P9V_BUILTIN_XXBRQ_V1TI): Likewise.
4374 (P9V_BUILTIN_XXBRD_V2DI): Likewise.
4375 (P9V_BUILTIN_XXBRD_V2DF): Likewise.
4376 (P9V_BUILTIN_XXBGW_V4SI): Likewise.
4377 (P9V_BUILTIN_XXBGW_V4SF): Likewise.
4378 (P9V_BUILTIN_XXBGH_V8HI): Likewise.
4379 (P9V_BUILTIN_VEC_REVB): Likewise.
4380 * config/rs6000/vsx.md (p9_xxbrq_v1ti): New insns/expanders to
4381 generate the ISA 3.0 XXBR<x> vector byte reverse instructions.
4382 (p9_xxbrq_v16qi): Likewise.
4383 (p9_xxbrd_<mode>, VSX_D iterator): Likewise.
4384 (p9_xxbrw_<mode>, VSX_W iterator): Likewise.
4385 (p9_xxbrh_v8hi): Likewise.
4386 * config/rs6000/altivec.h (vec_revb): Define if ISA 3.0.
4387 * doc/extend.texi (RS/6000 Altivec Built-ins): Document the
4388 vec_revb built-in functions.
4390 2017-01-18 Uros Bizjak <ubizjak@gmail.com>
4392 PR rtl-optimization/78952
4393 * config/i386/i386.md (any_extract): New code iterator.
4394 (*insvqi_2): Use any_extract for source operand.
4395 (*insvqi_3): Use any_shiftrt for source operand.
4397 2017-01-18 Wilco Dijkstra <wdijkstr@arm.com>
4399 * config/aarch64/aarch64.c (aarch64_sched_adjust_priority)
4401 (TARGET_SCHED_ADJUST_PRIORITY): Define target hook.
4403 2017-01-18 Matthias Klose <doko@ubuntu.com>
4405 * doc/install.texi: Allow default for --with-target-bdw-gc-include.
4407 2016-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4409 * config/rs6000/altivec.h (vec_bperm): Change #define.
4410 * config/rs6000/altivec.md (UNSPEC_VBPERMD): New enum constant.
4411 (altivec_vbpermq2): New define_insn.
4412 (altivec_vbpermd): Likewise.
4413 * config/rs6000/rs6000-builtin.def (VBPERMQ2): New monomorphic
4415 (VBPERMD): Likewise.
4416 (VBPERM): New polymorphic function interface.
4417 * config/rs6000/r6000-c.c (altivec_overloaded_builtins_table):
4418 Add entries for P9V_BUILTIN_VEC_VBPERM.
4419 * doc/extend.texi: Add interfaces for vec_bperm.
4421 2017-01-18 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
4423 * config/s390/s390-c.c (s390_expand_overloaded_builtin): Downcase
4424 first letter of error messages.
4425 (s390_resolve_overloaded_builtin): Likewise.
4426 * config/s390/s390.c (s390_expand_builtin): Likewise.
4427 (s390_invalid_arg_for_unprototyped_fn): Likewise.
4428 (s390_valid_target_attribute_inner_p): Likewise.
4429 * config/s390/s390.md ("tabort"): Likewise.
4431 2017-01-18 Toma Tabacu <toma.tabacu@imgtec.com>
4433 * config/mips/mips.h (ISA_HAS_DIV3): Remove unused macro.
4434 (ISA_AVOID_DIV_HILO): New macro.
4435 (ISA_HAS_DIV): Use new ISA_AVOID_DIV_HILO macro.
4436 (ISA_HAS_DDIV): Likewise.
4438 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4440 * doc/invoke.texi (fabi-version): Correct number of occurrences.
4442 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4444 * doc/invoke.texi (fabi-version): Spelling fix.
4446 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4449 * doc/invoke.texi (fabi-version): Mention mangling fix for
4452 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4455 * doc/invoke.texi (fabi-version): Document discriminator mangling.
4457 2017-01-17 Segher Boessenkool <segher@kernel.crashing.org>
4460 * config/rs6000/rs6000-opts.h (stack_protector_guard): New enum.
4461 * config/rs6000/rs6000.c (rs6000_option_override_internal): Handle
4463 * config/rs6000/rs6000.md (stack_protect_set): Handle the new more
4465 (stack_protect_test): Ditto.
4466 * config/rs6000/rs6000.opt (mstack-protector-guard=,
4467 mstack-protector-guard-reg=, mstack-protector-guard-offset=): New
4469 * doc/invoke.texi (Option Summary) [RS/6000 and PowerPC Options]:
4470 Add -mstack-protector-guard=, -mstack-protector-guard-reg=, and
4471 -mstack-protector-guard-offset=.
4472 (RS/6000 and PowerPC Options): Ditto.
4474 2017-01-17 Uros Bizjak <ubizjak@gmail.com>
4476 * config/i386/i386.h (MASK_CLASS_P): New define.
4477 * config/i386/i386.c (inline_secondary_memory_needed): Ensure that
4478 there are no registers from different register sets also when
4479 mask registers are used. Update function comment.
4480 * config/i386/i386.md (*movsi_internal): Split (*k/*krm) alternative
4481 to (*k/*r) and (*k/*km) alternatives.
4483 2017-01-17 Wilco Dijkstra <wdijkstr@arm.com>
4485 * config/aarch64/aarch64.md (eh_return): Remove pattern and splitter.
4486 * config/aarch64/aarch64.h (AARCH64_EH_STACKADJ_REGNUM): Remove.
4487 (EH_RETURN_HANDLER_RTX): New define.
4488 * config/aarch64/aarch64.c (aarch64_frame_pointer_required):
4489 Force frame pointer in EH return functions.
4490 (aarch64_expand_epilogue): Add barrier for eh_return.
4491 (aarch64_final_eh_return_addr): Remove.
4492 (aarch64_eh_return_handler_rtx): New function.
4493 * config/aarch64/aarch64-protos.h (aarch64_final_eh_return_addr):
4495 (aarch64_eh_return_handler_rtx): New prototype.
4497 2017-01-17 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4499 * config/rs6000/altivec.h (vec_rlmi): New #define.
4500 (vec_vrlnm): Likewise.
4501 (vec_rlnm): Likewise.
4502 * config/rs6000/altivec.md (UNSPEC_VRLMI): New UNSPEC enum value.
4503 (UNSPEC_VRLNM): Likewise.
4504 (VIlong): New mode iterator.
4505 (altivec_vrl<VI_char>mi): New define_insn.
4506 (altivec_vrl<VI_char>nm): Likewise.
4507 * config/rs6000/rs6000-builtin.def (VRLWNM): New monomorphic
4510 (RLNM): New polymorphic function entry.
4511 (VRLWMI): New monomorphic function entry.
4513 (RLMI): New polymorphic function entry.
4514 * config/rs6000/r6000-c.c (altivec_overloaded_builtin_table): Add
4515 new entries for P9V_BUILTIN_VEC_RLMI and P9V_BUILTIN_VEC_RLNM.
4516 * doc/extend.texi: Add description of vec_rlmi, vec_rlnm, and
4519 2017-01-17 Jakub Jelinek <jakub@redhat.com>
4522 * dwarf2out.c (field_byte_offset): Restore the
4523 PCC_BITFIELD_TYPE_MATTERS behavior for INTEGER_CST DECL_FIELD_OFFSET
4524 and DECL_FIELD_BIT_OFFSET. Use fold_build2 instead of build2 + fold.
4525 (analyze_variants_discr, gen_variant_part): Use fold_build2 instead
4528 2017-01-17 Eric Botcazou <ebotcazou@adacore.com>
4531 * config/aarch64/aarch64.c (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Define
4533 2017-01-17 Jakub Jelinek <jakub@redhat.com>
4536 * dwarf2out.c (add_data_member_location_attribute): For constant
4537 offset bitfield emit for -gdwarf-5 DW_AT_data_bit_offset attribute
4538 instead of DW_AT_data_member_location, DW_AT_bit_offset and
4539 DW_AT_byte_size attributes.
4541 2017-01-17 Eric Botcazou <ebotcazou@adacore.com>
4543 * config/rs6000/rs6000.c (rs6000_emit_move): Also use a TOC reference
4544 after forcing to constant memory when the code model is medium.
4546 2017-01-17 Julia Koval <julia.koval@intel.com>
4549 * config/i386/avx512fintrin.h
4550 (_mm512_i32gather_ps): Change __addr type to void const*.
4551 (_mm512_mask_i32gather_ps): Ditto.
4552 (_mm512_i32gather_pd): Ditto.
4553 (_mm512_mask_i32gather_pd): Ditto.
4554 (_mm512_i64gather_ps): Ditto.
4555 (_mm512_mask_i64gather_ps): Ditto.
4556 (_mm512_i64gather_pd): Ditto.
4557 (_mm512_mask_i64gather_pd): Ditto.
4558 (_mm512_i32gather_epi32): Ditto.
4559 (_mm512_mask_i32gather_epi32): Ditto.
4560 (_mm512_i32gather_epi64): Ditto.
4561 (_mm512_mask_i32gather_epi64): Ditto.
4562 (_mm512_i64gather_epi32): Ditto.
4563 (_mm512_mask_i64gather_epi32): Ditto.
4564 (_mm512_i64gather_epi64): Ditto.
4565 (_mm512_mask_i64gather_epi64): Ditto.
4566 (_mm512_i32scatter_ps): Change __addr type to void*.
4567 (_mm512_mask_i32scatter_ps): Ditto.
4568 (_mm512_i32scatter_pd): Ditto.
4569 (_mm512_mask_i32scatter_pd): Ditto.
4570 (_mm512_i64scatter_ps): Ditto.
4571 (_mm512_mask_i64scatter_ps): Ditto.
4572 (_mm512_i64scatter_pd): Ditto.
4573 (_mm512_mask_i64scatter_pd): Ditto.
4574 (_mm512_i32scatter_epi32): Ditto.
4575 (_mm512_mask_i32scatter_epi32): Ditto.
4576 (_mm512_i32scatter_epi64): Ditto.
4577 (_mm512_mask_i32scatter_epi64): Ditto.
4578 (_mm512_i64scatter_epi32): Ditto.
4579 (_mm512_mask_i64scatter_epi32): Ditto.
4580 (_mm512_i64scatter_epi64): Ditto.
4581 (_mm512_mask_i64scatter_epi64): Ditto.
4582 * config/i386/avx512pfintrin.h
4583 (_mm512_mask_prefetch_i32gather_pd): Change __addr type to void const*.
4584 (_mm512_mask_prefetch_i32gather_ps): Ditto.
4585 (_mm512_mask_prefetch_i64gather_pd): Ditto.
4586 (_mm512_mask_prefetch_i64gather_ps): Ditto.
4587 (_mm512_prefetch_i32scatter_pd): Change __addr type to void*.
4588 (_mm512_prefetch_i32scatter_ps): Ditto.
4589 (_mm512_mask_prefetch_i32scatter_pd): Ditto.
4590 (_mm512_mask_prefetch_i32scatter_ps): Ditto.
4591 (_mm512_prefetch_i64scatter_pd): Ditto.
4592 (_mm512_prefetch_i64scatter_ps): Ditto.
4593 (_mm512_mask_prefetch_i64scatter_pd): Ditto.
4594 (_mm512_mask_prefetch_i64scatter_ps): Ditto.
4595 * config/i386/avx512vlintrin.h
4596 (_mm256_mmask_i32gather_ps): Change __addr type to void const*.
4597 (_mm_mmask_i32gather_ps): Ditto.
4598 (_mm256_mmask_i32gather_pd): Ditto.
4599 (_mm_mmask_i32gather_pd): Ditto.
4600 (_mm256_mmask_i64gather_ps): Ditto.
4601 (_mm_mmask_i64gather_ps): Ditto.
4602 (_mm256_mmask_i64gather_pd): Ditto.
4603 (_mm_mmask_i64gather_pd): Ditto.
4604 (_mm256_mmask_i32gather_epi32): Ditto.
4605 (_mm_mmask_i32gather_epi32): Ditto.
4606 (_mm256_mmask_i32gather_epi64): Ditto.
4607 (_mm_mmask_i32gather_epi64): Ditto.
4608 (_mm256_mmask_i64gather_epi32): Ditto.
4609 (_mm_mmask_i64gather_epi32): Ditto.
4610 (_mm256_mmask_i64gather_epi64): Ditto.
4611 (_mm_mmask_i64gather_epi64): Ditto.
4612 (_mm256_i32scatter_ps): Change __addr type to void*.
4613 (_mm256_mask_i32scatter_ps): Ditto.
4614 (_mm_i32scatter_ps): Ditto.
4615 (_mm_mask_i32scatter_ps): Ditto.
4616 (_mm256_i32scatter_pd): Ditto.
4617 (_mm256_mask_i32scatter_pd): Ditto.
4618 (_mm_i32scatter_pd): Ditto.
4619 (_mm_mask_i32scatter_pd): Ditto.
4620 (_mm256_i64scatter_ps): Ditto.
4621 (_mm256_mask_i64scatter_ps): Ditto.
4622 (_mm_i64scatter_ps): Ditto.
4623 (_mm_mask_i64scatter_ps): Ditto.
4624 (_mm256_i64scatter_pd): Ditto.
4625 (_mm256_mask_i64scatter_pd): Ditto.
4626 (_mm_i64scatter_pd): Ditto.
4627 (_mm_mask_i64scatter_pd): Ditto.
4628 (_mm256_i32scatter_epi32): Ditto.
4629 (_mm256_mask_i32scatter_epi32): Ditto.
4630 (_mm_i32scatter_epi32): Ditto.
4631 (_mm_mask_i32scatter_epi32): Ditto.
4632 (_mm256_i32scatter_epi64): Ditto.
4633 (_mm256_mask_i32scatter_epi64): Ditto.
4634 (_mm_i32scatter_epi64): Ditto.
4635 (_mm_mask_i32scatter_epi64): Ditto.
4636 (_mm256_i64scatter_epi32): Ditto.
4637 (_mm256_mask_i64scatter_epi32): Ditto.
4638 (_mm_i64scatter_epi32): Ditto.
4639 (_mm_mask_i64scatter_epi32): Ditto.
4640 (_mm256_i64scatter_epi64): Ditto.
4641 (_mm256_mask_i64scatter_epi64): Ditto.
4642 (_mm_i64scatter_epi64): Ditto.
4643 (_mm_mask_i64scatter_epi64): Ditto.
4644 * config/i386/i386-builtin-types.def (V16SF_V16SF_PCFLOAT_V16SI_HI_INT)
4645 (V8DF_V8DF_PCDOUBLE_V8SI_QI_INT, V8SF_V8SF_PCFLOAT_V8DI_QI_INT)
4646 (V8DF_V8DF_PCDOUBLE_V8DI_QI_INT, V16SI_V16SI_PCINT_V16SI_HI_INT)
4647 (V8DI_V8DI_PCINT64_V8SI_QI_INT, V8SI_V8SI_PCINT_V8DI_QI_INT)
4648 (V8DI_V8DI_PCINT64_V8DI_QI_INT, V2DF_V2DF_PCDOUBLE_V4SI_QI_INT)
4649 (V4DF_V4DF_PCDOUBLE_V4SI_QI_INT, V2DF_V2DF_PCDOUBLE_V2DI_QI_INT)
4650 (V4DF_V4DF_PCDOUBLE_V4DI_QI_INT, V4SF_V4SF_PCFLOAT_V4SI_QI_INT)
4651 (V8SF_V8SF_PCFLOAT_V8SI_QI_INT, V4SF_V4SF_PCFLOAT_V2DI_QI_INT)
4652 (V4SF_V4SF_PCFLOAT_V4DI_QI_INT, V2DI_V2DI_PCINT64_V4SI_QI_INT)
4653 (V4DI_V4DI_PCINT64_V4SI_QI_INT, V2DI_V2DI_PCINT64_V2DI_QI_INT)
4654 (V4DI_V4DI_PCINT64_V4DI_QI_INT, V4SI_V4SI_PCINT_V4SI_QI_INT)
4655 (V8SI_V8SI_PCINT_V8SI_QI_INT, V4SI_V4SI_PCINT_V2DI_QI_INT)
4656 (V4SI_V4SI_PCINT_V4DI_QI_INT, VOID_PFLOAT_HI_V16SI_V16SF_INT)
4657 (VOID_PFLOAT_QI_V8SI_V8SF_INT, VOID_PFLOAT_QI_V4SI_V4SF_INT)
4658 (VOID_PDOUBLE_QI_V8SI_V8DF_INT, VOID_PDOUBLE_QI_V4SI_V4DF_INT)
4659 (VOID_PDOUBLE_QI_V4SI_V2DF_INT, VOID_PFLOAT_QI_V8DI_V8SF_INT)
4660 (VOID_PFLOAT_QI_V4DI_V4SF_INT, VOID_PFLOAT_QI_V2DI_V4SF_INT)
4661 (VOID_PDOUBLE_QI_V8DI_V8DF_INT, VOID_PDOUBLE_QI_V4DI_V4DF_INT)
4662 (VOID_PDOUBLE_QI_V2DI_V2DF_INT, VOID_PINT_HI_V16SI_V16SI_INT)
4663 (VOID_PINT_QI_V8SI_V8SI_INT, VOID_PINT_QI_V4SI_V4SI_INT)
4664 (VOID_PLONGLONG_QI_V8SI_V8DI_INT, VOID_PLONGLONG_QI_V4SI_V4DI_INT)
4665 (VOID_PLONGLONG_QI_V4SI_V2DI_INT, VOID_PINT_QI_V8DI_V8SI_INT)
4666 (VOID_PINT_QI_V4DI_V4SI_INT, VOID_PINT_QI_V2DI_V4SI_INT)
4667 (VOID_PLONGLONG_QI_V8DI_V8DI_INT, VOID_QI_V8SI_PCINT64_INT_INT)
4668 (VOID_PLONGLONG_QI_V4DI_V4DI_INT, VOID_PLONGLONG_QI_V2DI_V2DI_INT)
4669 (VOID_HI_V16SI_PCINT_INT_INT, VOID_QI_V8DI_PCINT64_INT_INT)
4670 (VOID_QI_V8DI_PCINT_INT_INT): Remove.
4671 (V16SF_V16SF_PCVOID_V16SI_HI_INT, V8DF_V8DF_PCVOID_V8SI_QI_INT)
4672 (V8SF_V8SF_PCVOID_V8DI_QI_INT, V8DF_V8DF_PCVOID_V8DI_QI_INT)
4673 (V16SI_V16SI_PCVOID_V16SI_HI_INT, V8DI_V8DI_PCVOID_V8SI_QI_INT)
4674 (V8SI_V8SI_PCVOID_V8DI_QI_INT, V8DI_V8DI_PCVOID_V8DI_QI_INT)
4675 (VOID_PVOID_HI_V16SI_V16SF_INT, VOID_PVOID_QI_V8SI_V8DF_INT)
4676 (VOID_PVOID_QI_V8DI_V8SF_INT, VOID_PVOID_QI_V8DI_V8DF_INT)
4677 (VOID_PVOID_HI_V16SI_V16SI_INT, VOID_PVOID_QI_V8SI_V8DI_INT)
4678 (VOID_PVOID_QI_V8DI_V8SI_INT, VOID_PVOID_QI_V8DI_V8DI_INT)
4679 (V2DF_V2DF_PCVOID_V4SI_QI_INT, V4DF_V4DF_PCVOID_V4SI_QI_INT)
4680 (V2DF_V2DF_PCVOID_V2DI_QI_INT, V4DF_V4DF_PCVOID_V4DI_QI_INT
4681 (V4SF_V4SF_PCVOID_V4SI_QI_INT, V8SF_V8SF_PCVOID_V8SI_QI_INT)
4682 (V4SF_V4SF_PCVOID_V2DI_QI_INT, V4SF_V4SF_PCVOID_V4DI_QI_INT)
4683 (V2DI_V2DI_PCVOID_V4SI_QI_INT, V4DI_V4DI_PCVOID_V4SI_QI_INT)
4684 (V2DI_V2DI_PCVOID_V2DI_QI_INT, V4DI_V4DI_PCVOID_V4DI_QI_INT)
4685 (V4SI_V4SI_PCVOID_V4SI_QI_INT, V8SI_V8SI_PCVOID_V8SI_QI_INT)
4686 (V4SI_V4SI_PCVOID_V2DI_QI_INT, V4SI_V4SI_PCVOID_V4DI_QI_INT)
4687 (VOID_PVOID_QI_V8SI_V8SF_INT, VOID_PVOID_QI_V4SI_V4SF_INT)
4688 (VOID_PVOID_QI_V4SI_V4DF_INT, VOID_PVOID_QI_V4SI_V2DF_INT)
4689 (VOID_PVOID_QI_V4DI_V4SF_INT, VOID_PVOID_QI_V2DI_V4SF_INT)
4690 (VOID_PVOID_QI_V4DI_V4DF_INT, VOID_PVOID_QI_V2DI_V2DF_INT)
4691 (VOID_PVOID_QI_V8SI_V8SI_INT, VOID_PVOID_QI_V4SI_V4SI_INT)
4692 (VOID_PVOID_QI_V4SI_V4DI_INT, VOID_PVOID_QI_V4SI_V2DI_INT)
4693 (VOID_PVOID_QI_V4DI_V4SI_INT, VOID_PVOID_QI_V2DI_V4SI_INT)
4694 (VOID_PVOID_QI_V4DI_V4DI_INT, VOID_PVOID_QI_V2DI_V2DI_INT)
4695 (VOID_QI_V8SI_PCVOID_INT_INT, VOID_HI_V16SI_PCVOID_INT_INT)
4696 (VOID_QI_V8DI_PCVOID_INT_INT): Add.
4697 * config/i386/i386.c (ix86_init_mmx_sse_builtins): Adjust builtin
4698 definitions accordingly.
4700 2017-01-17 Kito Cheng <kito.cheng@gmail.com>
4701 Kuan-Lin Chen <kuanlinchentw@gmail.com>
4704 * internal-fn.c (expand_mul_overflow): Use convert_modes instead of
4707 2017-01-17 Vladimir Makarov <vmakarov@redhat.com>
4710 * ira-conflicts.c (ira_build_conflicts): Update total conflict
4711 hard regs for inner regno.
4713 2017-01-17 Martin Liska <mliska@suse.cz>
4716 * ipa-polymorphic-call.c (contains_type_p): Fix wrong
4717 assumption and add comment.
4719 2017-01-17 Nathan Sidwell <nathan@acm.org>
4721 * ipa-visibility.c (localize_node): New function, broken out of ...
4722 (function_and_variable_visibility): ... here. Call it.
4724 2017-01-17 Jan Hubicka <hubicka@ucw.cz>
4727 * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges):
4728 correctly set frequency of oudgoing edge.
4729 (duplicate_thread_path): Fix profile updating.
4731 2017-01-17 Jakub Jelinek <jakub@redhat.com>
4734 * configure.ac: Add GCC_BASE_VER.
4735 * Makefile.in (version): Use @get_gcc_base_ver@ instead of cat to get
4736 version from BASE-VER file.
4737 (CFLAGS-gcc.o): Add -DBASEVER=$(BASEVER_s).
4738 (gcc.o): Depend on $(BASEVER).
4739 * common.opt (dumpfullversion): New option.
4740 * gcc.c (driver_handle_option): Handle OPT_dumpfullversion.
4741 * doc/invoke.texi: Document -dumpfullversion.
4742 * doc/install.texi: Document --with-gcc-major-version-only.
4743 * configure: Regenerated.
4745 2017-01-17 Richard Biener <rguenther@suse.de>
4747 PR tree-optimization/71433
4748 * tree-vrp.c (register_new_assert_for): Merge same asserts
4749 on all incoming edges.
4750 (process_assert_insertions_for): Handle insertions at the
4753 2017-01-17 Gerald Pfeifer <gerald@pfeifer.com>
4755 * config/i386/cygwin.h (LIBGCJ_SONAME): Remove.
4756 * config/i386/mingw32.h (LIBGCJ_SONAME): Remove.
4758 2017-01-17 Kaz Kojima <kkojima@gcc.gnu.org>
4761 * config/sh/sh.md (cmpeqsi_t+1): Call copy_rtx to avoid invalid
4764 2017-01-17 Alan Modra <amodra@gmail.com>
4767 * config/rs6000/rs6000.md (elf_high, elf_low): Disable when pic.
4768 * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Don't allow
4769 symbolic stack limit when pic.
4771 2017-01-16 Martin Sebor <msebor@redhat.com>
4773 PR tree-optimization/78608
4774 * gimple-ssa-sprintf.c (tree_digits): Avoid negating TYPE_MIN.
4776 2017-01-16 Jeff Law <law@redhat.com>
4779 2016-12-02 Tadek Kijkowski <tkijkowski@gmail.com>
4780 * Makefile.in (PREPROCESSOR_DEFINES): Add a level of indirection
4781 for several include directories that may be relative to sysroot.
4782 * config/i386/x-mingw32 (gplus_includedir): Define.
4783 (gplus_tool_includedir, gplus_backward_include_dir): Likewise.
4784 (native_system_includedir): Likewise.
4785 * config/i386/mingw32.h (STANDARD_STARTFILE_PREFIX_1): Do not
4786 override if TARGET_SYSTEM_ROOT is defined.
4787 (NATIVE_SYSTEM_HEADER_DIR): Likewise.
4789 PR tree-optimization/79090
4790 PR tree-optimization/33562
4791 PR tree-optimization/61912
4792 PR tree-optimization/77485
4793 * tree-ssa-dse.c (compute_trims): Accept STMT argument. Dump STMT
4794 and computed trims into the dump file.
4796 2017-01-17 Uros Bizjak <ubizjak@gmail.com>
4798 * config/i386/i386.h (LIMIT_RELOAD_CLASS): Remove.
4800 2017-01-16 Jakub Jelinek <jakub@redhat.com>
4803 * gimplify.c (gimplify_init_constructor): If want_value and
4804 object == lhs, unshare lhs to avoid invalid tree sharing. Formatting
4808 * loop-doloop.c (doloop_modify): Call unshare_all_rtl_in_chain on
4809 sequence. Formatting fixes.
4810 (doloop_optimize): Formatting fixes.
4813 * gcc.c (debug_level_greater_than_spec_func): New function.
4814 (static_spec_functions): Add debug-level-gt spec function.
4815 (ASM_DEBUG_SPEC, cpp_options): Use %:debug-level-gt(0) instead of
4817 * config/darwin.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
4818 * config/darwin9.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
4819 * common.opt (g, gcoff, gdwarf, gdwarf-, ggdb, gno-pubnames,
4820 gpubnames, ggnu-pubnames, gno-record-gcc-switches,
4821 grecord-gcc-switches, gno-strict-dwarf, gstrict-dwarf, gstabs,
4822 gstabs+, gtoggle, gvms, gxcoff, gxcoff+): Add Driver flag.
4824 2017-01-16 Uros Bizjak <ubizjak@gmail.com>
4826 * config/i386/i386.h (HARD_REGNO_CALLER_SAVE_MODE): Apply HImode and
4827 QImode fixups to general and mask registers only.
4829 2017-01-16 Carl Love <cel@us.ibm.com>
4831 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Add support
4832 for built-in functions
4833 vector signed char vec_nabs (vector signed char)
4834 vector signed short vec_nabs (vector signed short)
4835 vector signed int vec_nabs (vector signed int)
4836 vector signed long long vec_nabs (vector signed long long)
4837 vector float vec_nabs (vector float)
4838 vector double vec_nabs (vector double)
4839 * config/rs6000/rs6000-builtin.def: Add definitions for NABS functions
4841 * config/rs6000/altivec.md: New define_expand nabs<mode>2 types
4842 * config/rs6000/altivec.h: New define for vec_nabs built-in function.
4843 * doc/extend.texi: Update the documentation file for the new built-in
4846 2017-01-16 Martin Sebor <msebor@redhat.com>
4848 * gimple-ssa-sprintf.c (format_directive): Correct a typo in a warning
4851 2017-01-16 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4853 * config/rs6000/rs6000.c (rtx_is_swappable_p): Change
4854 UNSPEC_VSX__XXSPLTD to require special splat handling.
4856 2017-01-16 David Malcolm <dmalcolm@redhat.com>
4859 * system.h: Poison strndup.
4861 2017-01-16 Alan Modra <amodra@gmail.com>
4864 * config/rs6000/rs6000.c (rs6000_legitimate_combined_insn): Don't
4867 2017-01-16 Georg-Johann Lay <avr@gjlay.de>
4869 * config/avr/avr.h (BRANCH_COST) [reload_completed]: Increase by 4.
4871 2017-01-15 Uros Bizjak <ubizjak@gmail.com>
4873 * config/i386/i386.c (ix86_legitimate_combined_insn): Do not
4874 call recog here. Assert that INSN_CODE (insn) is non-negative.
4876 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
4879 * cfgrtl.c (rtl_split_edge): Also patch jump insns that jump to the
4881 * haifa-sched.c (dump_insn_stream): Don't crash if there is a label
4882 in the currently scheduled RTL fragment.
4884 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
4886 PR rtl-optimization/78751
4887 * ifcvt.c (find_cond_trap): If we generated a non-existing insn,
4890 2017-01-14 Jeff Law <law@redhat.com>
4892 PR tree-optimization/79090
4893 * tree-ssa-dse.c (valid_ao_ref_for_dse): Reject zero length and
4894 variable length stores.
4895 (compute_trims): Delete dead assignment to *trim_tail.
4896 (dse_dom_walker::dse_optimize_stmt): Optimize mem* calls with
4899 2017-01-14 Bernd Schmidt <bschmidt@redhat.com>
4901 PR rtl-optimization/78626
4902 PR rtl-optimization/78727
4903 * cprop.c (one_cprop_pass): Collect unconditional traps in the middle
4904 of a block, and split such blocks after everything else is finished.
4906 2017-01-14 Alan Modra <amodra@gmail.com>
4909 * combine.c (recog_for_combine_1): Set INSN_CODE before calling
4910 target legitimate_combined_insn.
4911 * config/rs6000/rs6000.c (TARGET_LEGITIMATE_COMBINED_INSN): Define.
4912 (rs6000_legitimate_combined_insn): New function.
4913 * config/rs6000/rs6000.md (UNSPEC_DOLOOP): Delete, and remove
4915 (ctr<mode>_internal3): Rename from *ctr<mode>_internal5.
4916 (ctr<mode>_internal4): Rename from *ctr<mode>_internal6.
4917 (ctr<mode>_internal1, ctr<mode>_internal2): Remove '*' from name.
4919 2017-01-14 Gerald Pfeifer <gerald@pfeifer.com>
4921 * doc/frontends.texi (G++ and GCC): Remove references to Java.
4923 2017-01-13 Jeff Law <law@redhat.com>
4925 PR tree-optimization/33562
4926 PR tree-optimization/61912
4927 PR tree-optimization/77485
4928 * tree-ssa-dse.c (delete_dead_call): Accept gsi rather than
4930 (delete_dead_assignment): Likewise.
4931 (dse_dom_walker::dse_optimize_stmt): Pass in the gsi rather than
4932 statement to delete_dead_call and delete_dead_assignment.
4934 2017-01-13 David Malcolm <dmalcolm@redhat.com>
4937 * substring-locations.c (format_warning_va): Strengthen case 1 so
4938 that both endpoints of the substring must be within the format
4939 range for just the substring to be printed.
4941 2017-01-13 Uros Bizjak <ubizjak@gmail.com>
4943 * config/i386/i386.opt (msgx): Use ix86_isa_flags2 variable.
4944 * config/i386/i386.c (ix86_target_string): Add missing options
4945 to isa_opts and reorder options by implied ISAs. Rename isa_opts2 to
4946 isa2_opts, ix86_flag_opts to flag2_opts, ix86_target_other to
4947 flags_other and ix86_target_other to flags2_other. Display unknown
4949 (ix86_valid_target_attribute_inner_p): Add missing options and
4950 reorder options by implied ISAs, as in ix86_target_string.
4952 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
4954 * hash-table.h (hash_table::too_empty_p): New function.
4955 (hash_table::expand): Use it.
4956 (hash_table::traverse): Likewise.
4957 (hash_table::empty_slot): Use sizeof (value_type) instead of
4958 sizeof (PTR) to convert bytes to elements. Shrink the table
4959 if the current size is excessive for the current number of
4962 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
4964 * ira-costs.c (record_reg_classes): Break from the inner loop
4965 early once alt_fail is known to be true. Update outer loop
4966 handling accordingly.
4968 2017-01-13 Jeff Law <law@redhat.com>
4970 * tree-ssa-dse.c (decrement_count): New function.
4971 (increment_start_addr, maybe_trim_memstar_call): Likewise.
4972 (dse_dom_walker::optimize_stmt): Call maybe_trim_memstar_call directly
4973 when we know the partially dead statement is a mem* function.
4975 PR tree-optimization/61912
4976 PR tree-optimization/77485
4977 * tree-ssa-dse.c: Include expr.h.
4978 (maybe_trim_constructor_store): New function.
4979 (maybe_trim_partially_dead_store): Call maybe_trim_constructor_store.
4981 PR tree-optimization/33562
4982 PR tree-optimization/61912
4983 PR tree-optimization/77485
4984 * doc/invoke.texi: Document new dse-max-object-size param.
4985 * params.def (PARM_DSE_MAX_OBJECT_SIZE): New PARAM.
4986 * tree-ssa-dse.c: Include params.h.
4987 (dse_store_status): New enum.
4988 (initialize_ao_ref_for_dse): New, partially extracted from
4990 (valid_ao_ref_for_dse, normalize_ref): New.
4991 (setup_live_bytes_from_ref, compute_trims): Likewise.
4992 (clear_bytes_written_by, maybe_trim_complex_store): Likewise.
4993 (maybe_trim_partially_dead_store): Likewise.
4994 (maybe_trim_complex_store): Likewise.
4995 (dse_classify_store): Renamed from dse_possibly_dead_store_p.
4996 Track what bytes live from the original store. Return tri-state
4997 for dead, partially dead or live.
4998 (dse_dom_walker): Add constructor, destructor and new private members.
4999 (delete_dead_call, delete_dead_assignment): New extracted from
5001 (dse_optimize_stmt): Make a member of dse_dom_walker.
5002 Use initialize_ao_ref_for_dse.
5004 PR tree-optimization/33562
5005 PR tree-optimization/61912
5006 PR tree-optimization/77485
5007 * sbitmap.h (bitmap_count_bits): Prototype.
5008 (bitmap_clear_range, bitmap_set_range): Likewise.
5009 * sbitmap.c (bitmap_clear_range): New function.
5010 (bitmap_set_range, sbitmap_popcount, bitmap_count_bits): Likewise.
5012 2017-01-13 Martin Liska <mliska@suse.cz>
5015 * function.c (set_cfun): Add new argument force.
5016 * function.h (set_cfun): Likewise.
5017 * ipa-inline-transform.c (inline_call): Use the function when
5018 strict alising from is dropped for function we inline to.
5020 2017-01-13 Richard Biener <rguenther@suse.de>
5022 * tree-pretty-print.c (dump_generic_node): Fix inverted condition
5023 for dumping GIMPLE INTEGER_CSTs.
5025 2017-01-13 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
5027 * config/sol2.h (TARGET_OS_CPP_BUILTINS): Define __STDC_VERSION__
5028 to 201112L since C++17.
5030 2017-01-13 Maxim Ostapenko <m.ostapenko@samsung.com>
5033 * asan.c (asan_needs_odr_indicator_p): Don't emit ODR indicators
5034 if -fsanitize=kernel-address is present.
5036 2017-01-13 Richard Biener <rguenther@suse.de>
5038 * tree-pretty-print.c (dump_generic_node): Dump INTEGER_CSTs
5039 as _Literal ( type ) number in case usual suffixes do not
5040 preserve all information.
5042 2017-01-13 Richard Biener <rguenther@suse.de>
5044 PR tree-optimization/77283
5045 * gimple-ssa-split-paths.c: Include gimple-ssa.h, tree-phinodes.h
5046 and ssa-iterators.h.
5047 (is_feasible_trace): Implement a cost model based on joiner
5050 2017-01-12 Michael Meissner <meissner@linux.vnet.ibm.com>
5053 * config/rs6000/rs6000.md (FP_ISA3): Do not optimize converting
5054 char or short to __float128/_Float128 directly.
5056 2017-01-12 Martin Sebor <msebor@redhat.com>
5058 to -Wformat-overflow.
5059 * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust.
5060 (min_bytes_remaining): Same.
5061 (get_string_length): Same.
5062 (format_string): Same.
5063 (format_directive): Same.
5065 (pass_sprintf_length::handle_gimple_call): Same.
5067 2017-01-12 Jakub Jelinek <jakub@redhat.com>
5069 * gimple-ssa-sprintf.c (try_substitute_return_value): Remove
5070 info.nowrite calls with no lhs that can't throw. Return bool
5071 whether gsi_remove has been called or not.
5072 (pass_sprintf_length::handle_gimple_call): Return bool whether
5073 try_substitute_return_value called gsi_remove. Formatting fix.
5074 (pass_sprintf_length::execute): Don't use gsi_remove if
5075 handle_gimple_call returned true.
5078 * cfgrtl.c (rtl_tidy_fallthru_edge): For any_uncondjump_p that can't
5079 be removed due to side-effects, don't remove following barrier nor
5080 turn the successor edge into fallthru edge.
5082 2017-01-12 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
5085 * config/rs6000/rs6000.c (insn_is_swappable_p): Mark
5086 element-reversing loads and stores as not swappable.
5088 2017-01-12 Nathan Sidwell <nathan@acm.org>
5089 Nicolai Stange <nicstange@gmail.com>
5091 * combine.c (try_combine): Don't ignore result of overlap checking
5092 loop. Combine overlap & asm check into single loop.
5094 2017-01-12 Richard Biener <rguenther@suse.de>
5096 * tree-pretty-print.c (dump_generic_node): Provide -gimple
5097 variant for MEM_REF. Sanitize INTEGER_CST for -gimple.
5099 2017-01-12 Richard Biener <rguenther@suse.de>
5101 * tree.c (initialize_tree_contains_struct): Make TS_OPTIMIZATION
5102 and TS_TARGET_OPTION directly derive from TS_BASE.
5103 * tree-core.h (tree_optimization_option): Derive from tree_base.
5104 (tree_target_option): Likewise.
5106 2017-01-11 Uros Bizjak <ubizjak@gmail.com>
5108 * config/i386/i386.c (memory_address_length): Increase len
5109 only when rip_relative_addr_p returns false.
5111 2017-01-11 Julia Koval <julia.koval@intel.com>
5113 * common/config/i386/i386-common.c (OPTION_MASK_ISA_SGX_UNSET): New.
5114 (OPTION_MASK_ISA_SGX_SET): New.
5115 (ix86_handle_option): Handle OPT_msgx.
5116 * config.gcc: Added sgxintrin.h.
5117 * config/i386/driver-i386.c (host_detect_local_cpu): Detect sgx.
5118 * config/i386/i386-c.c (ix86_target_macros_internal): Define __SGX__.
5119 * config/i386/i386.c (ix86_target_string): Add -msgx.
5121 (ix86_option_override_internal): Handle new options.
5122 (ix86_valid_target_attribute_inner_p): Add sgx.
5123 * config/i386/i386.h (TARGET_SGX, TARGET_SGX_P): New.
5124 * config/i386/i386.opt: Add msgx.
5125 * config/i386/sgxintrin.h: New file.
5126 * config/i386/x86intrin.h: Add sgxintrin.h.
5128 2017-01-11 Jakub Jelinek <jakub@redhat.com>
5131 * fold-const.c (maybe_nonzero_address): Return 1 for function
5133 (tree_single_nonzero_warnv_p): Don't handle function local objects
5137 * gcc.c (default_compilers): Don't add -o %g.s for -S -save-temps
5140 2017-01-11 David Malcolm <dmalcolm@redhat.com>
5143 * opts.c: Include "spellcheck.h"
5144 (struct string_fragment): New struct.
5145 (struct edit_distance_traits<const string_fragment &>): New
5147 (get_closest_sanitizer_option): New function.
5148 (parse_sanitizer_options): Offer suggestions for unrecognized arguments.
5150 2017-01-11 Jakub Jelinek <jakub@redhat.com>
5152 * dwarf2out.c (DWARF_COMPILE_UNIT_HEADER_SIZE): For DWARF5 decrease
5154 (DWARF_COMDAT_TYPE_UNIT_HEADER_SIZE): Always
5155 DWARF_COMPILE_UNIT_HEADER_SIZE plus 12.
5156 (DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE): Define.
5157 (calc_base_type_die_sizes): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE
5158 for initial die_offset if dwarf_split_debug_info.
5159 (output_comp_unit): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE for
5160 initial next_die_offset if dwo_id is non-NULL. Don't emit padding
5162 (output_skeleton_debug_sections): Formatting fix. Use
5163 DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE instead of
5164 DWARF_COMPILE_UNIT_HEADER_SIZE. Don't emit padding.
5166 2017-01-11 Wilco Dijkstra <wdijkstr@arm.com>
5168 * config/arm/cortex-a53.md: Add bypasses for
5170 (cortex_a53_r2f): Only use for transfers.
5171 (cortex_a53_f2r): Likewise.
5172 (cortex_a53_r2f_cvt): Add reservation for conversions.
5173 (cortex_a53_f2r_cvt): Likewise.
5175 2017-01-11 Tamar Christina <tamar.christina@arm.com>
5177 * config/arm/arm_neon.h: Add __artificial__ and gnu_inline
5178 to all inlined functions, change static to extern.
5180 2017-01-11 Christophe Lyon <christophe.lyon@linaro.org>
5183 * config/arm/arm.c (legitimize_pic_address): Handle reference to
5185 (arm_assemble_integer): Likewise.
5187 2017-01-11 Richard Earnshaw <rearnsha@arm.com>
5189 * config.gcc: Use new awk script to check CPU, FPU and architecture
5190 parameters for --with-... options.
5191 * config/arm/parsecpu.awk: New file
5192 * config/arm/arm-cpus.in: New file.
5193 * config/arm/arm-opts.h: Include arm-cpu.h instead of processing .def
5195 * config/arm/arm.c: Include arm-cpu-data.h instead of processing .def
5197 * config/arm/t-arm: Update dependency rules.
5198 * common/config/arm/arm-common.c: Include arm-cpu-cdata.h instead
5199 of processing .def files.
5200 * config/arm/genopt.sh: Deleted.
5201 * config/arm/gentune.sh: Deleted.
5202 * config/arm/arm-cores.def: Deleted.
5203 * config/arm/arm-arches.def: Deleted.
5204 * config/arm/arm-fpus.def: Deleted.
5205 * config/arm/arm-tune.md: Regenerated.
5206 * config/arm/arm-tables.opt: Regenerated.
5207 * config/arm/arm-cpu.h: New generated file.
5208 * config/arm/arm-cpu-data.h: New generated file.
5209 * config/arm/arm-cpu-cdata.h: New generated file.
5211 2017-01-11 Maxim Ostapenko <m.ostapenko@samsung.com>
5214 * lto-cgraph.c (lto_output_varpool_node): Pack dynamically_initialized
5216 (input_varpool_node): Unpack dynamically_initialized bit.
5218 2017-01-11 Eric Botcazou <ebotcazou@adacore.com>
5220 PR rtl-optimization/79032
5221 * lra-constraints.c (simplify_operand_subreg): In the MEM case, test
5222 the alignment of the adjusted memory reference against that of MODE,
5223 instead of the alignment of the original memory reference.
5225 2017-01-11 Martin Jambor <mjambor@suse.cz>
5227 * hsa.c (hsa_callable_function_p): Revert addition of DECL_ARTIFICIAL
5229 * ipa-hsa.c (process_hsa_functions): Only duplicate non-artificial
5230 decorated functions.
5232 2017-01-11 Richard Biener <rguenther@suse.de>
5234 * tree-vrp.c (evrp_dom_walker::before_dom_children): Also
5235 set range/nonnull info for PHI results. Do not set it on
5236 stmts marked for removal.
5238 2017-01-10 Eric Botcazou <ebotcazou@adacore.com>
5240 * expr.c (store_field): In the bitfield case, fetch the return value
5241 from the registers before applying a single big-endian adjustment.
5242 Always do a final load for a BLKmode value not larger than a word.
5244 2017-01-10 David Malcolm <dmalcolm@redhat.com>
5247 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
5248 that we correctly handle column numbers greater than
5249 LINE_MAP_MAX_COLUMN_NUMBER.
5251 2017-01-10 Martin Sebor <msebor@redhat.com>
5254 * gimple-ssa-sprintf.c (get_destination_size): Call
5255 {init,fini}object_sizes.
5256 * tree-object-size.c (addr_object_size): Adjust.
5257 (pass_through_call): Adjust.
5258 (pass_object_sizes::execute): Adjust.
5259 * tree-object-size.h (fini_object_sizes): Declare.
5261 2017-01-10 Martin Sebor <msebor@redhat.com>
5263 PR tree-optimization/78775
5264 * builtins.c (get_size_range): Move...
5265 * calls.c: ...to here.
5266 (alloc_max_size): Accept zero argument.
5267 (operand_signed_p): Remove.
5268 (maybe_warn_alloc_args_overflow): Call get_size_range.
5269 * calls.h (get_size_range): Declare.
5271 2017-01-10 Joe Seymour <joe.s@somniumtech.com>
5273 * config/msp430/driver-msp430.c (msp430_mcu_data): Sync with data
5274 from TI's devices.csv file as of September 2016.
5275 * config/msp430/msp430.c (msp430_mcu_data): Likewise.
5277 2017-01-10 Sandra Loosemore <sandra@codesourcery.com>
5279 * doc/extend.texi: Tweak formatting to fix overfull hbox warnings.
5280 * doc/invoke.texi: Likewise.
5281 * doc/md.texi: Likewise.
5282 * doc/objc.texi: Likewise.
5284 2017-01-10 Joshua Conner <joshconner@google.com>
5286 * config/arm/fuchsia-elf.h: New file.
5287 * config/fuchsia.h: New file.
5288 * config.gcc (*-*-fuchsia*): Set native_system_header_dir.
5289 (aarch64*-*-fuchsia*, arm*-*-fuchsia*, x86_64-*-fuchsia*): Add to
5291 * config.host: (aarch64*-*-fuchsia*, arm*-*-fuchsia*): Add to hosts.
5293 2016-01-10 Richard Biener <rguenther@suse.de>
5295 PR tree-optimization/79034
5296 * tree-call-cdce.c (shrink_wrap_one_built_in_call_with_conds):
5297 Propagate out degenerate PHIs in the joiner.
5299 2017-01-10 Martin Liska <mliska@suse.cz>
5301 * ipa-icf.c (sort_sem_items_by_decl_uid): New function.
5302 (sort_congruence_classes_by_decl_uid): Likewise.
5303 (sort_congruence_class_groups_by_decl_uid): Likewise.
5304 (sem_item_optimizer::merge_classes): Sort class, groups in these
5305 classes and members in the groups by DECL_UID of declarations.
5306 This would make merge operations stable.
5308 2017-01-10 Martin Liska <mliska@suse.cz>
5310 * ipa-icf.c (sem_item_optimizer::sem_item_optimizer): Remove
5311 usage of m_classes_vec.
5312 (sem_item_optimizer::~sem_item_optimizer): Likewise.
5313 (sem_item_optimizer::get_group_by_hash): Likewise.
5314 (sem_item_optimizer::subdivide_classes_by_equality): Likewise.
5315 (sem_item_optimizer::subdivide_classes_by_sensitive_refs): Likewise.
5316 (sem_item_optimizer::verify_classes): Likewise.
5317 (sem_item_optimizer::process_cong_reduction): Likewise.
5318 (sem_item_optimizer::dump_cong_classes): Likewise.
5319 (sem_item_optimizer::merge_classes): Likewise.
5320 * ipa-icf.h (congruence_class_hash): Rename from
5321 congruence_class_group_hash. Remove declaration of m_classes_vec.
5323 2017-01-10 Andrew Senkevich <andrew.senkevich@intel.com>
5325 * common/config/i386/i386-common.c (OPTION_MASK_ISA_AVX512VPOPCNTDQ_SET,
5326 OPTION_MASK_ISA_AVX512VPOPCNTDQ_UNSET): New.
5327 * config.gcc: Add avx512vpopcntdqintrin.h.
5328 * config/i386/avx512vpopcntdqintrin.h: New.
5329 * config/i386/cpuid.h (bit_AVX512VPOPCNTDQ): New.
5330 * config/i386/i386-builtin-types.def: Add new types.
5331 * config/i386/i386-builtin.def (__builtin_ia32_vpopcountd_v16si,
5332 __builtin_ia32_vpopcountd_v16si_mask, __builtin_ia32_vpopcountq_v8di,
5333 __builtin_ia32_vpopcountq_v8di_mask): New.
5334 * config/i386/i386-c.c (ix86_target_macros_internal): Define
5335 __AVX512VPOPCNTDQ__.
5336 * config/i386/i386.c (ix86_target_string): Add -mavx512vpopcntdq.
5337 (PTA_AVX512VPOPCNTDQ): Define.
5338 * config/i386/i386.h (TARGET_AVX512VPOPCNTDQ,
5339 TARGET_AVX512VPOPCNTDQ_P): Define.
5340 * config/i386/i386.opt: Add mavx512vpopcntdq.
5341 * config/i386/immintrin.h: Include avx512vpopcntdqintrin.h.
5342 * config/i386/sse.md (define_insn "vpopcount<mode><mask_name>"): New.
5344 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
5347 * predict.def (PRED_CALL): Set to 67.
5349 2017-01-09 Eric Botcazou <ebotcazou@adacore.com>
5351 * expr.c (store_field): In the bitfield case, if the value comes from
5352 a function call and is of an aggregate type returned in registers, do
5353 not modify the field mode; extract the value in all cases if the mode
5354 is BLKmode and the size is not larger than a word.
5356 2017-01-09 Dominique d'Humieres <dominiq@lps.ens.fr>
5359 * config/i386/cpuid.h: Fix undefined behavior.
5361 2017-01-04 Jeff Law <law@redhat.com>
5363 PR tree-optimization/79007
5364 PR tree-optimization/67955
5365 * tree-ssa-alias.c (same_addr_size_stores_p): Only need to be
5366 conservative for pt.null when flag_non_call_exceptions is on.
5368 2017-01-09 Jakub Jelinek <jakub@redhat.com>
5370 PR translation/79019
5371 PR translation/79020
5372 * params.def (PARAM_INLINE_MIN_SPEEDUP,
5373 PARAM_IPA_CP_SINGLE_CALL_PENALTY,
5374 PARAM_USE_AFTER_SCOPE_DIRECT_EMISSION_THRESHOLD): Fix typos
5376 * config/avr/avr.opt (maccumulate-args): Likewise.
5377 * config/msp430/msp430.opt (mwarn-mcu): Likewise.
5378 * common.opt (freport-bug): Likewise.
5379 * cif-code.def (CIF_FINAL_ERROR): Likewise.
5380 * doc/invoke.texi (ipa-cp-single-call-penalty): Likewise.
5381 * config/s390/s390.c (s390_invalid_binary_op): Fix spelling in
5382 translatable string.
5383 * config/i386/i386.c (function_value_32): Likewise.
5384 * config/nios2/nios2.c (nios2_valid_target_attribute_rec): Likewise.
5385 * config/msp430/msp430.c (msp430_option_override, msp430_attr):
5387 * config/msp430/driver-msp430.c (msp430_select_hwmult_lib): Likewise.
5388 * common/config/msp430/msp430-common.c (msp430_handle_option):
5390 * symtab.c (symtab_node::verify_base): Likewise.
5391 * opts.c (set_debug_level): Likewise.
5392 * tree.c (verify_type_variant): Likewise. Fix typo in comment.
5393 * config/rs6000/rs6000-c.c (altivec_resolve_overloaded_builtin): Add
5394 missing whitespace to translatable strings.
5395 * config/avr/avr.md (bswapsi2): Fix typo in comment.
5396 * config/sh/superh.h: Likewise.
5397 * config/i386/xopintrin.h: Likewise.
5398 * config/i386/znver1.md: Likewise.
5399 * config/rs6000/rs6000.c (struct rs6000_opt_mask): Likewise.
5400 * ipa-inline-analysis.c (compute_inline_parameters): Likewise.
5401 * double-int.h (struct double_int): Likewise.
5402 * double-int.c (div_and_round_double): Likewise.
5403 * wide-int.cc: Likewise.
5404 * tree-ssa.c (non_rewritable_mem_ref_base): Likewise.
5405 * tree-ssa-sccvn.c (vn_reference_lookup_3): Likewise.
5406 * cfgcleanup.c (crossjumps_occured): Renamed to ...
5407 (crossjumps_occurred): ... this.
5408 (try_crossjump_bb, try_head_merge_bb, try_optimize_cfg, cleanup_cfg):
5411 PR tree-optimization/78899
5412 * tree-if-conv.c (version_loop_for_if_conversion): Instead of
5413 returning bool return struct loop *, NULL for failure and the new
5415 (versionable_outer_loop_p): Don't version outer loop if it has
5416 dont_vectorized bit set.
5417 (tree_if_conversion): When versioning outer loop, ensure
5418 tree_if_conversion is performed also on the inner loop of the
5419 non-vectorizable outer loop copy.
5420 * tree-vectorizer.c (set_uid_loop_bbs): Formatting fix. Fold
5421 LOOP_VECTORIZED in inner loop of the scalar outer loop and
5422 prevent vectorization of it.
5423 (vectorize_loops): For outer + inner LOOP_VECTORIZED, ensure
5424 the outer loop vectorization of the non-scalar version is attempted
5425 before vectorization of the inner loop in scalar version. If
5426 outer LOOP_VECTORIZED guarded loop is not vectorized, prevent
5427 vectorization of its inner loop.
5428 * tree-vect-loop-manip.c (rename_variables_in_bb): If outer_loop
5429 has 2 inner loops, rename also on edges from bb whose single pred
5430 is outer_loop->header. Fix typo in function comment.
5432 2017-01-09 Martin Sebor <msebor@redhat.com>
5435 * asan.c (asan_emit_stack_protection): Increase local buffer size
5436 to avoid snprintf truncation warning.
5438 2017-01-09 Andrew Pinski <apinski@cavium.com>
5440 * config/aarch64/aarch64-cores.def: Add thunderx2t99. Change vulcan
5441 to reference thunderx2t99 for the tuning structure
5442 * config/aarch64/aarch64-cost-tables.h (vulcan_extra_costs):
5444 (thunderx2t99_extra_costs): This.
5445 * config/aarch64/aarch64-tune.md: Regenerate.
5446 * config/aarch64/aarch64.c (vulcan_addrcost_table): Rename to ...
5447 (vulcan_addrcost_table): This.
5448 (vulcan_regmove_cost): Rename to ...
5449 (thunderx2t99_regmove_cost): This.
5450 (vulcan_vector_cost): Rename to ...
5451 (thunderx2t99_vector_cost): this.
5452 (vulcan_branch_cost): Rename to ...
5453 (thunderx2t99_branch_cost): This.
5454 (vulcan_tunings): Rename to ...
5455 (thunderx2t99_tunings): This and s/vulcan/thunderx2t99 .
5456 * doc/invoke.texi (AARCH64/mtune): Add thunderx2t99.
5458 2017-01-09 Martin Jambor <mjambor@suse.cz>
5462 * ipa-prop.h (ipa_jump_func): Swap positions of vr_known and m_vr.
5463 * ipa-cp.c (ipa_vr_operation_and_type_effects): New function.
5464 (propagate_vr_accross_jump_function): Use the above function for all
5465 value range computations for pass-through jump functions and type
5466 converasion from explicit value range values.
5467 (ipcp_propagate_stage): Do not attempt to deduce types of formal
5468 parameters from TYPE_ARG_TYPES.
5469 * ipa-prop.c (ipa_write_jump_function): Remove trailing whitespace.
5470 (ipa_write_node_info): Stream type of the actual argument.
5471 (ipa_read_node_info): Likewise. Also remove trailing whitespace.
5473 2017-01-09 Martin Liska <mliska@suse.cz>
5476 * gcc.c (driver_handle_option): Handle OPT_E and set have_E.
5477 (lookup_compiler): Do not show error message with have_E.
5479 2017-01-09 Jakub Jelinek <jakub@redhat.com>
5481 PR tree-optimization/78938
5482 * tree-vect-stmts.c (vectorizable_condition): For non-masked COND_EXPR
5483 where comp_vectype is VECTOR_BOOLEAN_TYPE_P, use
5484 BIT_{NOT,XOR,AND,IOR}_EXPR on the comparison operands instead of
5485 {EQ,NE,GE,GT,LE,LT}_EXPR directly inside of VEC_COND_EXPR. Formatting
5488 2017-01-09 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
5490 * tree-ssa-address.c (gen_addr_rtx): Don't handle index if it
5493 2017-01-09 Richard Biener <rguenther@suse.de>
5495 PR tree-optimization/78997
5496 * tree-vect-slp.c (vect_mask_constant_operand_p): Handle SSA
5497 name condition properly.
5499 2017-01-09 Richard Biener <rguenther@suse.de>
5502 * dwarf2out.c (is_cxx): New overload with context.
5503 (is_naming_typedef_decl): Use it.
5505 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
5507 * invoke.texi (Option Summary): Correct spacing in option lists
5508 and add line breaks to fix over-long lines.
5510 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
5514 * extend.texi (Common Variable Attributes): Add xref to GCC
5515 Internals manual to explain mode attribute keywords.
5517 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
5520 * doc/invoke.texi (Option Summary): Move -pthread to Linker Options
5521 and Preprocessor Options.
5522 (Options for Linking): Document -pthread here....
5523 (RS/6000 and PowerPC Options): ...not here.
5524 (Solaris 2 Options): ...or here.
5525 * doc/cppopts.texi: Document -pthread.
5527 2017-01-08 Martin Sebor <msebor@redhat.com>
5530 * doc/invoke.texi (Warning Options): Document -Wformat-truncation.
5531 * gimple-ssa-sprintf.c (call_info::reval_used, call_info::warnopt):
5532 New member functions.
5533 (format_directive): Used them.
5535 (pass_sprintf_length::handle_gimple_call): Same.
5536 * graphite-sese-to-poly.c (tree_int_to_gmp): Increase buffer size
5537 to avoid truncation for any argument.
5538 (extract_affine_mul): Same.
5539 * tree.c (get_file_function_name): Same.
5541 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
5544 * predict.def (PRED_INDIR_CALL): Set to 86.
5546 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
5548 PR preprocessor/54124
5549 * doc/cppopts.texi: Reformat -d subtable to list the full name
5550 of the options. Add cross-reference to the docs for the general
5551 compiler -d options.
5552 * doc/invoke.texi (Developer Options): Add cross-reference to the
5553 preprocessor-specific -d option documentation.
5555 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
5557 PR preprocessor/13498
5558 * doc/cpp.texi (Search Path): Rewrite to remove obsolete and
5559 redudant material, and reflect new command-line options.
5560 (System Headers): Likewise.
5562 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
5564 * doc/cppdiropts.texi: Merge documentation of -I, -iquote,
5565 -isystem, and -idirafter. Copy-edit.
5566 * doc/cppopts.texi: Copy-edit. Remove contradiction about
5567 default for -ftrack-macro-expansion. Delete obsolete and
5568 badly-formatted implementation details about -fdebug-cpp output.
5569 * doc/cppwarnopts.texi: Copy-edit.
5571 2017-01-07 David Malcolm <dmalcolm@redhat.com>
5574 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
5575 that the transition from a max line width >= 1<<10 to narrower
5576 lines works correctly.
5578 2017-01-07 Alexandre Oliva <aoliva@redhat.com>
5580 * doc/options.texi (PerFunction): New.
5581 * opt-functions.awk (switch_flags): Map both Optimization and
5582 PerFunction to CL_OPTIMIZATION.
5583 * opth-gen.awk: Test for PerFunction flag along with
5585 * optc-save-gen.awk: Likewise. Introduce var_opt_hash and set
5586 it only when the latter is present. Skip those that don't in
5587 the hash function generator.
5588 * common.opt (fvar-tracking): Mark as PerFunction instead of
5590 (fvar-tracking-assignments): Likewise.
5591 (fvar-tracking-assignments-toggle): Likewise.
5592 (fvar-tracking-uninit): Likewise.
5594 2017-01-07 Jakub Jelinek <jakub@redhat.com>
5596 PR translation/79018
5597 * params.def (PARAM_MAX_STORES_TO_MERGE): Add missing space between
5600 2017-01-06 Mikael Pettersson <mikpelinux@gmail.com>
5603 * config/m68k/m68k.opt (LONG_JUMP_TABLE_OFFSETS): New option.
5604 * config/m68k/linux.h (ASM_RETURN_CASE_JUMP): Handle
5605 TARGET_LONG_JUMP_TABLE_OFFSETS.
5606 * config/m68k/m68kelf.h (ASM_RETURN_CASE_JUMP): Likewise.
5607 * config/m68k/netbsd-elf.h (ASM_RETURN_CASE_JUMP): Likewise.
5608 * config/m68k/m68k.h (CASE_VECTOR_MODE): Likewise.
5609 (ASM_OUTPUT_ADDR_DIFF_ELF): Likewise.
5610 * config/m68k/m68k.md (tablejump expander): Likewise.
5611 (*tablejump_pcrel_hi): Renamed from unnamed insn, reject
5612 TARGET_LONG_JUMP_TABLE_OFFSETS.
5613 (*tablejump_pcrel_si): New insn, handle TARGET_LONG_JUMP_TABLE_OFFSETS.
5614 * doc/invoke.texi (M68K options): Add -mlong-jump-table-offsets.
5616 2017-01-06 Edgar E. Iglesias <edgar.iglesias@xilinx.com>
5617 David Holsgrove <david.holsgrove@xilinx.com>
5619 * common/config/microblaze/microblaze-common.c
5620 (TARGET_EXCEPT_UNWIND_INFO): Remove.
5621 * config/microblaze/microblaze-protos.h (microblaze_eh_return):
5623 * config/microblaze/microblaze.c (microblaze_must_save_register)
5624 (microblaze_expand_epilogue, microblaze_return_addr): Handle
5626 (microblaze_eh_return): New function.
5627 * config/microblaze/microblaze.h (RETURN_ADDR_OFFSET)
5628 (EH_RETURN_DATA_REGNO, MB_EH_STACKADJ_REGNUM)
5629 (EH_RETURN_STACKADJ_RTX, ASM_PREFERRED_EH_DATA_FORMAT): New macros.
5630 * config/microblaze/microblaze.md (eh_return): New pattern.
5632 2017-01-06 Jakub Jelinek <jakub@redhat.com>
5634 * system.h (GCC_DIAGNOSTIC_PUSH_IGNORED, GCC_DIAGNOSTIC_POP,
5635 GCC_DIAGNOSTIC_STRINGIFY): Define.
5637 * read-rtl.c (rtx_reader::read_rtx_code): Avoid -Wsign-compare warning.
5639 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5641 * config/arm/arm.md (<mcrr>): New.
5643 * config/arm/arm.c (arm_arch5te): New.
5644 (arm_option_override): Set arm_arch5te.
5645 (arm_coproc_builtin_available): Add support for mcrr, mcrr2, mrrc
5647 * config/arm/arm-builtins.c (MCRR_QUALIFIERS): Define to...
5648 (arm_mcrr_qualifiers): ... this. New.
5649 (MRRC_QUALIFIERS): Define to...
5650 (arm_mrrc_qualifiers): ... this. New.
5651 * config/arm/arm_acle.h (__arm_mcrr, __arm_mcrr2, __arm_mrrc,
5653 * config/arm/arm_acle_builtins.def (mcrr, mcrr2, mrrc, mrrc2): New.
5654 * config/arm/iterators.md (MCRRI, mcrr, MCRR): New.
5655 (MRRCI, mrrc, MRRC): New.
5656 * config/arm/unspecs.md (VUNSPEC_MCRR, VUNSPEC_MCRR2, VUNSPEC_MRRC,
5657 VUNSPEC_MRRC2): New.
5659 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5661 * config/arm/arm.md (<mcr>): New.
5663 * config/arm/arm.c (arm_coproc_builtin_available): Add
5664 support for mcr, mrc, mcr2 and mrc2.
5665 * config/arm/arm-builtins.c (MCR_QUALIFIERS): Define to...
5666 (arm_mcr_qualifiers): ... this. New.
5667 (MRC_QUALIFIERS): Define to ...
5668 (arm_mrc_qualifiers): ... this. New.
5669 (MCR_QUALIFIERS): Define to ...
5670 (arm_mcr_qualifiers): ... this. New.
5671 * config/arm/arm_acle.h (__arm_mcr, __arm_mrc, __arm_mcr2,
5673 * config/arm/arm_acle_builtins.def (mcr, mcr2, mrc, mrc2): New.
5674 * config/arm/iterators.md (MCRI, mcr, MCR, MRCI, mrc, MRC): New.
5675 * config/arm/unspecs.md (VUNSPEC_MCR, VUNSPEC_MCR2, VUNSPEC_MRC,
5678 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5680 * config/arm/arm.md (*ldc): New.
5684 * config/arm/arm.c (arm_coproc_builtin_available): Add
5685 support for ldc,ldcl,stc,stcl,ldc2,ldc2l,stc2 and stc2l.
5686 (arm_coproc_ldc_stc_legitimate_address): New.
5687 * config/arm/arm-builtins.c (arm_type_qualifiers): Add
5688 'qualifier_const_pointer'.
5689 (LDC_QUALIFIERS): Define to...
5690 (arm_ldc_qualifiers): ... this. New.
5691 (STC_QUALIFIERS): Define to...
5692 (arm_stc_qualifiers): ... this. New.
5693 * config/arm/arm-protos.h
5694 (arm_coproc_ldc_stc_legitimate_address): New.
5695 * config/arm/arm_acle.h (__arm_ldc, __arm_ldcl, __arm_stc,
5696 __arm_stcl, __arm_ldc2, __arm_ldc2l, __arm_stc2, __arm_stc2l): New.
5697 * config/arm/arm_acle_builtins.def (ldc, ldc2, ldcl, ldc2l, stc,
5698 stc2, stcl, stc2l): New.
5699 * config/arm/constraints.md (Uz): New.
5700 * config/arm/iterators.md (LDCI, STCI, ldc, stc, LDC STC): New.
5701 * config/arm/unspecs.md (VUNSPEC_LDC, VUNSPEC_LDC2, VUNSPEC_LDCL,
5702 VUNSPEC_LDC2L, VUNSPEC_STC, VUNSPEC_STC2, VUNSPEC_STCL,
5703 VUNSPEC_STC2L): New.
5705 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5707 * config/arm/arm.md (<cdp>): New.
5708 * config/arm/arm.c (neon_const_bounds): Rename this ...
5709 (arm_const_bounds): ... this.
5710 (arm_coproc_builtin_available): New.
5711 * config/arm/arm-builtins.c (SIMD_MAX_BUILTIN_ARGS): Increase.
5712 (arm_type_qualifiers): Add 'qualifier_unsigned_immediate'.
5713 (CDP_QUALIFIERS): Define to...
5714 (arm_cdp_qualifiers): ... this. New.
5716 (arm_expand_builtin_args): Add case for 6 arguments.
5717 * config/arm/arm-protos.h (neon_const_bounds): Rename this ...
5718 (arm_const_bounds): ... this.
5719 (arm_coproc_builtin_available): New.
5720 * config/arm/arm_acle.h (__arm_cdp): New.
5722 * config/arm/arm_acle_builtins.def (cdp): New.
5724 * config/arm/iterators.md (CDPI,CDP,cdp): New.
5725 * config/arm/neon.md: Rename all 'neon_const_bounds' to
5727 * config/arm/types.md (coproc): New.
5728 * config/arm/unspecs.md (VUNSPEC_CDP, VUNSPEC_CDP2): New.
5729 * gcc/doc/extend.texi (ACLE): Add a mention of Coprocessor intrinsics.
5730 * gcc/doc/sourcebuild.texi (arm_coproc1_ok, arm_coproc2_ok,
5731 arm_coproc3_ok, arm_coproc4_ok): Document new effective targets.
5733 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5735 * config/arm/arm-builtins.c (arm_unsigned_binop_qualifiers): New.
5736 (UBINOP_QUALIFIERS): New.
5738 (acle_builtin_data): New. Change comment.
5739 (arm_builtins): Remove ARM_BUILTIN_CRC32B, ARM_BUILTIN_CRC32H,
5740 ARM_BUILTIN_CRC32W, ARM_BUILTIN_CRC32CB, ARM_BUILTIN_CRC32CH,
5741 ARM_BUILTIN_CRC32CW. Add ARM_BUILTIN_ACLE_BASE and include
5742 arm_acle_builtins.def.
5743 (ARM_BUILTIN_ACLE_PATTERN_START): Define.
5744 (arm_init_acle_builtins): New.
5745 (CRC32_BUILTIN): Remove.
5746 (bdesc_2arg): Remove entries for crc32b, crc32h, crc32w,
5747 crc32cb, crc32ch and crc32cw.
5748 (arm_init_crc32_builtins): Remove.
5749 (arm_init_builtins): Use arm_init_acle_builtins rather
5750 than arm_init_crc32_builtins.
5751 (arm_expand_acle_builtin): New.
5752 (arm_expand_builtin): Use 'arm_expand_acle_builtin'.
5753 * config/arm/arm_acle_builtins.def: New.
5755 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5757 * config/arm/arm-builtins.c (neon_builtin_datum): Rename to ..
5758 (arm_builtin_datum): ... this.
5759 (arm_init_neon_builtin): Rename to ...
5760 (arm_init_builtin): ... this. Add a new parameters PREFIX
5761 and USE_SIG_IN_NAME.
5762 (arm_init_neon_builtins): Replace 'arm_init_neon_builtin' with
5763 'arm_init_builtin'. Replace type 'neon_builtin_datum' with
5764 'arm_builtin_datum'.
5765 (arm_init_vfp_builtins): Likewise.
5766 (builtin_arg): Rename enum's replacing 'NEON_ARG' with
5767 'ARG_BUILTIN' and add a 'ARG_BUILTIN_NEON_MEMORY.
5768 (arm_expand_neon_args): Rename to ...
5769 (arm_expand_builtin_args): ... this. Rename builtin_arg
5770 enum values and differentiate between ARG_BUILTIN_MEMORY
5771 and ARG_BUILTIN_NEON_MEMORY.
5772 (arm_expand_neon_builtin_1): Rename to ...
5773 (arm_expand_builtin_1): ... this. Rename builtin_arg enum
5774 values, arm_expand_builtin_args and add bool parameter NEON.
5775 (arm_expand_neon_builtin): Use arm_expand_builtin_1.
5776 (arm_expand_vfp_builtin): Likewise.
5777 (NEON_MAX_BUILTIN_ARGS): Remove, it was unused.
5779 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
5782 * predict.def (PRED_POLYMORPHIC_CALL): Set to 59.
5783 * predict.c (tree_estimate_probability_bb): Reverse direction of
5784 polymorphic call predictor.
5786 2017-01-06 David Malcolm <dmalcolm@redhat.com>
5788 * passes.c (execute_one_pass): Split out pass-skipping logic into...
5789 (determine_pass_name_match): ...this new function and...
5790 (should_skip_pass_p): ...this new function.
5792 2017-01-06 Nathan Sidwell <nathan@acm.org>
5794 * ipa-visibility.c (function_and_variable_visibility): Reformat
5795 comments and long lines. Remove extrneous if.
5796 * symtab.c (symtab_node::make_decl_local): Fix code format.
5797 (symtab_node::set_section_for_node): Fix comment typo.
5799 2017-01-06 Martin Liska <mliska@suse.cz>
5802 * lra-constraints.c: Rename invariant to lra_invariant.
5803 * predict.c (set_even_probabilities): Initialize e to NULL.
5805 2017-01-05 Martin Sebor <msebor@redhat.com>
5807 PR tree-optimization/78910
5808 * gimple-ssa-sprintf.c (tree_digits): Add an argument.
5809 (format_integer): Correct off-by-one error in the handling
5810 of precision with negative numbers in signed conversions..
5812 2017-01-05 Eric Botcazou <ebotcazou@adacore.com>
5814 * doc/invoke.texi (C Dialect Options): Adjust -fsso-struct entry.
5816 2017-01-05 Jakub Jelinek <jakub@redhat.com>
5818 PR tree-optimization/71016
5819 * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Pass cond_stmt to
5820 factor_out_conditional_conversion. Formatting fix.
5821 (factor_out_conditional_conversion): Add cond_stmt argument.
5822 If arg1 is INTEGER_CST, punt if new_arg0 is not any operand of
5823 cond_stmt and if arg0_def_stmt is not the only stmt in its bb.
5826 2017-01-05 David Malcolm <dmalcolm@redhat.com>
5828 * Makefile.in (OBJS): Add read-md.o, read-rtl.o,
5829 read-rtl-function.o, and selftest-rtl.o.
5830 * config/aarch64/aarch64.c: Include selftest.h and selftest-rtl.h.
5831 (selftest::aarch64_test_loading_full_dump): New function.
5832 (selftest::aarch64_run_selftests): New function.
5833 (TARGET_RUN_TARGET_SELFTESTS): Wire it up to
5834 selftest::aarch64_run_selftests.
5835 * config/i386/i386.c
5836 (selftest::ix86_test_loading_dump_fragment_1): New function.
5837 (selftest::ix86_test_loading_call_insn): New function.
5838 (selftest::ix86_test_loading_full_dump): New function.
5839 (selftest::ix86_test_loading_unspec): New function.
5840 (selftest::ix86_run_selftests): Call the new functions.
5841 * emit-rtl.c (maybe_set_max_label_num): New function.
5842 * emit-rtl.h (maybe_set_max_label_num): New decl.
5843 * function.c (instantiate_decls): Guard call to
5844 instantiate_decls_1 with if (DECL_INITIAL (fndecl)).
5845 * function-tests.c (selftest::verify_three_block_rtl_cfg): Remove
5847 * gensupport.c (gen_reader::gen_reader): Pass "false"
5848 for new "compact" param of rtx_reader.
5849 * print-rtl.c (rtx_writer::print_rtx_operand): Print "(nil)"
5850 rather than an empty string for NULL strings.
5851 * read-md.c: Potentially include config.h rather than bconfig.h.
5852 Wrap include of errors.h with #ifdef GENERATOR_FILE.
5853 (have_error): New global, copied from errors.c.
5854 (md_reader::read_name): Rename to...
5855 (md_reader::read_name_1): ...this, adding "out_loc" param,
5856 and converting "missing name or number" to returning false, rather
5858 (md_reader::read_name): Reimplement in terms of read_name_1.
5859 (md_reader::read_name_or_nil): New function.
5860 (md_reader::read_string): Handle "(nil)" by returning NULL.
5861 (md_reader::md_reader): Add new param "compact".
5862 (md_reader::read_md_files): Wrap with #ifdef GENERATOR_FILE.
5863 (md_reader::read_file): New method.
5864 * read-md.h (md_reader::md_reader): Add new param "compact".
5865 (md_reader::read_file): New method.
5866 (md_reader::is_compact): New accessor.
5867 (md_reader::read_name): Convert return type from void to file_location.
5868 (md_reader::read_name_or_nil): New decl.
5869 (md_reader::read_name_1): New decl.
5870 (md_reader::m_compact): New field.
5871 (noop_reader::noop_reader): Pass "false" for new "compact" param
5873 (rtx_reader::rtx_reader): Add new "compact" param.
5874 (rtx_reader::read_rtx_operand): Make virtual and convert return
5875 type from void to rtx.
5876 (rtx_reader::read_until): New decl.
5877 (rtx_reader::handle_any_trailing_information): New virtual function.
5878 (rtx_reader::postprocess): New virtual function.
5879 (rtx_reader::finalize_string): New virtual function.
5880 (rtx_reader::m_in_call_function_usage): New field.
5881 (rtx_reader::m_reuse_rtx_by_id): New field.
5882 * read-rtl-function.c: New file.
5883 * selftest-rtl.c (selftest::assert_rtx_ptr_eq_at): New function.
5884 * selftest-rtl.h (ASSERT_RTX_PTR_EQ): New macro.
5885 (selftest::verify_three_block_rtl_cfg): New decl.
5886 * read-rtl-function.h: New file.
5887 * read-rtl.c: Potentially include config.h rather than bconfig.h.
5888 For host, include function.h, memmodel.h, and emit-rtl.h.
5889 (one_time_initialization): New function.
5890 (struct compact_insn_name): New struct.
5891 (compact_insn_names): New array.
5892 (find_code): Handle insn codes in compact dumps.
5893 (apply_subst_iterator): Wrap with #ifdef GENERATOR_FILE.
5894 (bind_subst_iter_and_attr): Likewise.
5895 (add_condition_to_string): Likewise.
5896 (add_condition_to_rtx): Likewise.
5897 (apply_attribute_uses): Likewise.
5898 (add_current_iterators): Likewise.
5899 (apply_iterators): Likewise.
5900 (initialize_iterators): Guard usage of apply_subst_iterator with
5901 #ifdef GENERATOR_FILE.
5902 (read_conditions): Wrap with #ifdef GENERATOR_FILE.
5903 (md_reader::read_mapping): Likewise.
5904 (add_define_attr_for_define_subst): Likewise.
5905 (add_define_subst_attr): Likewise.
5906 (read_subst_mapping): Likewise.
5907 (check_code_iterator): Likewise.
5908 (rtx_reader::read_rtx): Likewise. Move one-time initialization
5910 (one_time_initialization): New function.
5911 (rtx_reader::read_until): New method.
5912 (read_flags): New function.
5913 (parse_reg_note_name): New function.
5914 (rtx_reader::read_rtx_code): Initialize "iterator" to NULL.
5915 Handle reuse_rtx ids.
5916 Wrap iterator lookup within #ifdef GENERATOR_FILE.
5917 Add parsing support for RTL dumps, mirroring the special-cases in
5918 print_rtx, by calling read_flags, reading REG_NOTE names, INSN_UID
5919 values, and calling handle_any_trailing_information.
5920 (rtx_reader::read_rtx_operand): Convert return type from void
5921 to rtx, returning return_rtx. Handle case 'e'. Call
5922 finalize_string on XSTR and XTMPL fields.
5923 (rtx_reader::read_nested_rtx): Handle dumps in which trailing
5924 "(nil)" values were omitted. Call the postprocess vfunc on the
5926 (rtx_reader::rtx_reader): Add new "compact" param and pass to base
5927 class ctor. Initialize m_in_call_function_usage. Call
5928 one_time_initialization.
5929 * rtl-tests.c (selftest::test_uncond_jump): Call
5930 set_new_first_and_last_insn.
5931 * rtl.h (read_rtx): Wrap decl with #ifdef GENERATOR_FILE.
5932 * selftest-rtl.c: New file.
5933 * selftest-rtl.h (class selftest::rtl_dump_test): New class.
5934 (selftest::get_insn_by_uid): New decl.
5935 * selftest-run-tests.c (selftest::run_tests): Call
5936 read_rtl_function_c_tests.
5937 * selftest.h (selftest::read_rtl_function_c_tests): New decl.
5938 * tree-dfa.c (ssa_default_def): Return NULL_TREE for rtl function
5941 2017-01-05 Uros Bizjak <ubizjak@gmail.com>
5943 * config/i386/i386.md (*testqi_ext_3): No need to handle memory
5944 operands in a special way. Assert that pos+len <= mode precision.
5946 2017-01-05 Jakub Jelinek <jakub@redhat.com>
5948 * common.opt (fvect-cost-model): Remove RejectNegative flag, use
5949 3 argument Alias with unlimited for the negative form.
5950 (fno-vect-cost-model): Removed.
5952 2017-01-05 Martin Liska <mliska@suse.cz>
5954 * hsa-gen.c (gen_hsa_divmod): New function.
5955 (gen_hsa_insn_for_internal_fn_call): Use the function for IFN_DIVMOD.
5957 2017-01-05 Martin Liska <mliska@suse.cz>
5960 * gcc.c (lookup_compiler): Reject '-' filename for a precompiled
5963 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
5965 * config/s390/s390.c (s390_expand_setmem): Unroll the loop for
5966 small constant length operands.
5968 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
5970 * config/s390/s390.c (s390_expand_setmem): Avoid overlapping bytes
5971 between loop iterations.
5973 2017-01-05 Martin Liska <mliska@suse.cz>
5976 * gimplify.c (gimplify_decl_expr): Compare to
5977 asan_poisoned_variables instread of checking flags.
5978 (gimplify_target_expr): Likewise.
5979 (gimplify_expr): Likewise.
5980 (gimplify_function_tree): Conditionally initialize
5981 asan_poisoned_variables.
5983 2017-01-04 Jeff Law <law@redhat.com>
5985 PR tree-optimizatin/78812
5986 * rtl.h (contains_mem_rtx_p): Prototype.
5987 * ifcvt.c (containts_mem_rtx_p): Move from here to...
5988 * rtlanal.c (contains_mem_rtx_p): Here and remove static linkage.
5989 * gcse.c (prune_expressions): Use contains_mem_rtx_p to discover
5990 and prune MEMs that are not at the toplevel of a SET_SRC rtx. Look
5991 through ZERO_EXTEND and SIGN_EXTEND when trying to avoid pruning MEMs.
5993 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5995 * input.c (assert_char_at_range): Default-initialize actual_range.
5997 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5999 * df-scan.c (df_ref_create_structure): Make regno unsigned,
6000 to match the caller.
6002 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
6004 * cfgexpand.c (expand_gimple_basic_block): Disregard debug
6005 insns after final jump in test to emit dummy move.
6007 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
6009 * gimple-iterator.h (gsi_one_nondebug_before_end_p): New.
6010 * tree-eh.c (cleanup_empty_eh): Skip more debug stmts.
6012 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
6014 * multiple_target.c (create_dispatcher_calls): Init e_next.
6015 * tree-ssa-loop-split.c (split_loop): Init border.
6016 * tree-vect-loop.c (vect_determine_vectorization_factor): Init
6019 2017-01-04 Michael Meissner <meissner@linux.vnet.ibm.com>
6024 * config/rs6000/predicates.md (sf_subreg_operand): New predicate.
6025 (altivec_register_operand): Do not return true if the operand
6026 contains a SUBREG mixing SImode and SFmode.
6027 (vsx_register_operand): Likewise.
6028 (vsx_reg_sfsubreg_ok): New predicate.
6029 (vfloat_operand): Do not return true if the operand contains a
6030 SUBREG mixing SImode and SFmode.
6031 (vint_operand): Likewise.
6032 (vlogical_operand): Likewise.
6033 (gpc_reg_operand): Likewise.
6034 (int_reg_operand): Likewise.
6035 * config/rs6000/rs6000-protos.h (valid_sf_si_move): Add declaration.
6036 * config/rs6000/rs6000.c (valid_sf_si_move): New function to
6037 determine if a MOVSI or MOVSF operation contains SUBREGs that mix
6039 (rs6000_emit_move_si_sf_subreg): New helper function.
6040 (rs6000_emit_move): Call rs6000_emit_move_si_sf_subreg to possbily
6041 fixup SUBREGs involving SImode and SFmode.
6042 * config/rs6000/vsx.md (SFBOOL_*): New constants that are operand
6043 numbers for the new peephole2 optimization.
6044 (peephole2 for SFmode unions): New peephole2 to optimize cases in
6045 the GLIBC math library that do AND/IOR/XOR operations on single
6046 precision floating point.
6047 * config/rs6000/rs6000.h (TARGET_NO_SF_SUBREG): New internal
6048 target macros to say whether we need to avoid SUBREGs mixing
6050 (TARGET_ALLOW_SF_SUBREG): Likewise.
6051 * config/rs6000/rs6000.md (UNSPEC_SF_FROM_SI): New unspecs.
6052 (UNSPEC_SI_FROM_SF): Likewise.
6053 (iorxor): Change spacing.
6054 (and_ior_xor): New iterator for AND, IOR, and XOR.
6055 (movsi_from_sf): New insns for SImode/SFmode SUBREG support.
6056 (movdi_from_sf_zero_ext): Likewise.
6057 (mov<mode>_hardfloat, FMOVE32 iterator): Use register_operand
6058 instead of gpc_reg_operand. Add SImode/SFmode SUBREG support.
6059 (movsf_from_si): New insn for SImode/SFmode SUBREG support.
6060 (fma<mode>4): Use gpc_reg_operand instead of register_operand.
6061 (fms<mode>4): Likewise.
6062 (fnma<mode>4): Likewise.
6063 (fnms<mode>4): Likewise.
6064 (nfma<mode>4): Likewise.
6065 (nfms<mode>4): Likewise.
6067 2017-01-04 Marek Polacek <polacek@redhat.com>
6070 * doc/invoke.texi: Document -Wpointer-compare.
6072 2017-01-04 Jakub Jelinek <jakub@redhat.com>
6074 * optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without
6077 * dwarf2out.c (output_loc_list): Don't throw away 64K+ location
6078 descriptions for -gdwarf-5 and emit them as uleb128 instead of
6081 2017-01-04 Kelvin Nilsen <kelvin@gcc.gnu.org>
6084 * doc/sourcebuild.texi (PowerPC-specific attributes): Add
6085 documentation of the powerpc_popcntb_ok attribute.
6086 * config/rs6000/rs6000.c (rs6000_option_override_internal): Add
6087 code to issue warning messages if a requested CPU configuration is
6088 not supported by the binary (assembler and loader) toolchain.
6089 (spe_init_builtins): Add two assertions to prevent ICE if attempt is
6090 made to define a built-in function that has been disabled.
6091 (paired_init_builtins): Add assertion to prevent ICE if attempt is
6092 made to define a built-in function that has been disabled.
6093 (altivec_init_builtins): Add comment explaining why definition
6094 of the DST built-in functions is not preceded by an assertion
6095 check. Add assertions to prevent ICE if attempts are made to
6096 define an altivec predicate or an abs* built-in function that has
6098 (htm_init_builtins): Add comment explaining why definition of the
6099 htm built-in functions is not preceded by an assertion check.
6101 2017-01-04 Jeff Law <law@redhat.com>
6103 PR tree-optimizatin/67955
6104 * tree-ssa-alias.c (same_addr_size_stores_p): Check offsets first.
6105 Allow any SSA_VAR_P as the base objects. Use integer_zerop. Verify
6106 the points-to solution does not include pt_null. Use DECL_PT_UID
6109 2017-01-04 Uros Bizjak <ubizjak@gmail.com>
6111 * config/i386/i386.md (HI/SImode test with imm to QImode splitters):
6112 Use gen_int_mode instead of gen_lopwart for const_int operands.
6114 2017-01-04 Jakub Jelinek <jakub@redhat.com>
6116 PR tree-optimization/71563
6117 * match.pd: Simplify X << Y into X if Y is known to be 0 or
6118 out of range value - has low bits known to be zero.
6120 2017-01-04 Alan Modra <amodra@gmail.com>
6122 * Makefile.in (aclocal_deps): Update and order as per aclocal.m4.
6123 * configure: Regenerate.
6124 * config.in: Regenerate.
6126 2017-01-04 Jakub Jelinek <jakub@redhat.com>
6129 * input.c (ebcdic_execution_charset::on_error): Don't use strstr for
6130 a substring of the message, but strcmp with the whole message. Ifdef
6131 ENABLE_NLS, translate the message first using dgettext.
6133 2017-01-03 Jeff Law <law@redhat.com>
6135 PR tree-optimizatin/78856
6136 * tree-ssa-threadupdate.c: Include tree-vectorizer.h.
6137 (mark_threaded_blocks): Remove code to truncate thread paths that
6138 cross multiple loop headers. Instead invalidate the cached loop
6139 iteration information and handle case of a thread path walking
6140 into an irreducible region.
6142 2017-01-03 Michael Meissner <meissner@linux.vnet.ibm.com>
6145 * config/rs6000/rs6000.c (rs6000_split_signbit): Change some
6146 assertions. Add support for doing the signbit if the IEEE 128-bit
6147 floating point value is in a GPR.
6148 * config/rs6000/rs6000.md (Fsignbit): Delete.
6149 (signbit<mode>2_dm): Delete using <Fsignbit> and just use "wa".
6150 Update the length attribute if the value is in a GPR.
6151 (signbit<mode>2_dm_<su>ext): Add combiner pattern to eliminate
6152 the sign or zero extension instruction, since the value is always 0/1.
6153 (signbit<mode>2_dm2): Delete using <Fsignbit>.
6156 * config/rs6000/vsx.md (vsx_extract_<mode>_store_p9): If we are
6157 extracting SImode to a GPR register so that we can generate a
6158 store, limit the vector to be in a traditional Altivec register
6159 for the vextuwrx instruction.
6161 2017-01-03 Ian Lance Taylor <iant@google.com>
6163 * godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.
6165 2017-01-03 Martin Sebor <msebor@redhat.com>
6167 PR tree-optimization/78696
6168 * gimple-ssa-sprintf.c (format_floating): Correct handling of
6169 precision. Use MPFR for %f for greater fidelity. Correct handling
6171 (pass_sprintf_length::compute_format_length): Set width and precision
6172 specified by asrerisk to void_node for vararg functions.
6173 (try_substitute_return_value): Adjust dump output.
6175 2017-01-03 David Edelsohn <dje.gcc@gmail.com>
6177 * doc/invoke.texi (RS6000 options): LRA is enabled by default.
6179 2017-01-03 Eric Botcazou <ebotcazou@adacore.com>
6181 * doc/invoke.texi (SPARC options): Document -mlra as the default.
6182 * config/sparc/sparc.c (sparc_option_override): Force LRA unless
6183 -mlra/-mno-lra was passed to the compiler.
6185 2017-01-03 James Cowgill <James.Cowgill@imgtec.com>
6187 PR rtl-optimization/65618
6188 * emit-rtl.c (try_split): Move initialization of "before" and
6189 "after" to just before the call to emit_insn_after_setloc.
6191 2017-01-03 Gerald Pfeifer <gerald@pfeifer.com>
6193 * doc/md.texi (Standard Names): Remove reference to Java frontend.
6195 2017-01-03 Pierre-Marie de Rodat <derodat@adacore.com>
6197 * dwarf2out.c (gen_enumeration_type_die): When
6198 -gno-strict-dwarf, add a DW_AT_encoding attribute.
6200 2017-01-03 Jakub Jelinek <jakub@redhat.com>
6202 PR tree-optimization/78965
6203 * gimple-ssa-sprintf.c (pass_sprintf_length::compute_format_length):
6204 Change first argument from const call_info & to call_info &. For %n
6205 set info.nowrite to false.
6208 * gimple-ssa-sprintf.c (try_substitute_return_value): Don't change
6209 possibly throwing calls.
6211 * genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME
6212 and exprs_len || fns_len, emit the code for SSA_NAME next to the exprs
6213 and fns handling, rather than in a separate case SSA_NAME.
6215 2017-01-02 Jeff Law <law@redhat.com>
6217 * config/darwin-driver.c (darwin_driver_init): Const-correctness
6218 fixes for first_period and second_period variables.
6220 2017-01-02 Uros Bizjak <ubizjak@gmail.com>
6223 * config/i386/i386.md (UNSPEC_NOREX_MEM): New unspec.
6224 (*insvqi_1): New insn pattern.
6225 (*insvqi_1_mem_rex64): Ditto.
6227 (*insvqi_3): Rename from *insvqi.
6229 (*extzvqi_mem_rex64): Add UNSPEC_NOREX_MEM tag.
6231 2017-01-02 Gerald Pfeifer <gerald@pfeifer.com>
6233 * doc/cfg.texi (Edges): Remove reference to Java.
6234 (Maintaining the CFG): Ditto.
6236 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
6239 * symtab.c (symtab_node::binds_to_current_def_p): Fix handling of
6240 transparent aliases.
6242 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
6245 * predict.def (PRED_CALL): Update hitrate.
6246 (PRED_INDIR_CALL, PRED_POLYMORPHIC_CALL): New predictors.
6247 * predict.c (tree_estimate_probability_bb): Split CALL predictor
6248 into direct/indirect/polymorphic variants.
6250 2017-01-01 Jakub Jelinek <jakub@redhat.com>
6252 Update copyright years.
6254 * gcc.c (process_command): Update copyright notice dates.
6255 * gcov-dump.c (print_version): Ditto.
6256 * gcov.c (print_version): Ditto.
6257 * gcov-tool.c (print_version): Ditto.
6258 * gengtype.c (create_file): Ditto.
6259 * doc/cpp.texi: Bump @copying's copyright year.
6260 * doc/cppinternals.texi: Ditto.
6261 * doc/gcc.texi: Ditto.
6262 * doc/gccint.texi: Ditto.
6263 * doc/gcov.texi: Ditto.
6264 * doc/install.texi: Ditto.
6265 * doc/invoke.texi: Ditto.
6267 Copyright (C) 2017 Free Software Foundation, Inc.
6269 Copying and distribution of this file, with or without modification,
6270 are permitted in any medium without royalty provided the copyright
6271 notice and this notice are preserved.