1 2017-03-17 Jim Wilson <jim.wilson@linaro.org>
3 * combine.c (try_combine): Delete redundant i1 test. Call
4 prev_nonnote_nondebug_insn instead of prev_nonnote_insn.
6 2017-03-17 Palmer Dabbelt <palmer@dabbelt.com
8 * doc/install.texi (Specific) <riscv32-*-elf>: Add riscv32-*-elf,
9 riscv32-*-linux, riscv64-*-elf, riscv64-*-linux to the table of
11 <riscv64-*-elf>: Re-arrange section
12 <riscv32-*-elf>: Add a note about requiring binutils 2.28.
13 <riscv32-*-linux>: Likewise.
14 <riscv64-*-elf>: Likewise
15 <riscv64-*-linux>: Likewise.
17 2017-03-17 Richard Earnshaw <rearnsha@arm.com>
20 * aarch64.opt(verbose-cost-dump): Fix typo.
22 2017-03-17 Pat Haugen <pthaugen@us.ibm.com>
25 * config/rs6000/rs6000.md (copysign<mode>3_fcpsgn): Test
26 for VECTOR_UNIT_VSX_P (<MODE>mode) too.
28 2017-03-17 Bernd Schmidt <bschmidt@redhat.com>
30 * reload.c (find_reloads): When reloading a nonoffsettable address,
31 use RELOAD_OTHER for it and its address reloads.
33 PR rtl-optimization/79910
34 * combine.c (record_used_regs): New static function.
35 (try_combine): Handle situations where there is an additional
36 instruction between I2 and I3 which needs to have a LOG_LINK
39 2017-03-17 Jeff Law <law@redhat.com>
41 PR tree-optimization/71437
42 * tree-vrp.c (simplify_stmt_for_jump_threading): Lookup the
43 conditional in the hash table first.
44 (vrp_dom_walker::before_dom_children): Extract condition from
45 ASSERT_EXPR. Record condition, its inverion and any implied
48 2017-03-17 Marek Polacek <polacek@redhat.com>
49 Markus Trippelsdorf <markus@trippelsdorf.de>
51 PR tree-optimization/80079
52 * gimple-ssa-store-merging.c (class pass_store_merging): Initialize
55 2017-03-17 Richard Biener <rguenther@suse.de>
58 * tree-eh.c (stmt_could_throw_1_p): Only handle gimple assigns.
59 Properly verify the LHS before the RHS possibly claims to be
61 (stmt_could_throw_p): Hande gimple conds fully here. Clobbers
64 2017-03-17 Martin Jambor <mjambor@suse.cz>
66 * doc/invoke.texi (Option Options): Include -fipa-vrp in the list.
67 (List of -O2 options): Likewise.
68 (-fipa-bit-cp): Replace "ipa" with "interprocedural."
71 2017-03-17 Tom de Vries <tom@codesourcery.com>
73 * gcov-dump.c (print_usage): Print bug_report_url.
75 2017-03-17 Richard Biener <rguenther@suse.de>
78 * genmatch.c (parser::next): Remove pointless check for CPP_EOF.
79 (parser::peek): Likewise.
81 2017-03-17 Richard Biener <rguenther@suse.de>
83 PR tree-optimization/80048
84 * sese.c (free_sese_info): Properly release rename_map and
85 copied_bb_map elements.
87 2017-03-16 Alexandre Oliva <aoliva@redhat.com>
89 * gimple-ssa-store-merging.c (struct imm_store_chain_info):
90 Add linked-list forward and backlinks. Insert on
91 construction, remove on destruction.
92 (class pass_store_merging): Add m_stores_head field.
93 (pass_store_merging::terminate_and_process_all_chains):
94 Iterate over m_stores_head list.
95 (pass_store_merging::terminate_all_aliasing_chains):
97 (pass_store_merging::execute): Check for debug stmts first.
98 Push new chains onto the m_stores_head stack.
100 2017-03-16 Michael Meissner <meissner@linux.vnet.ibm.com>
103 * config/rs6000/vsx.md (vsx_splat_<mode>, VSX_D iterator): Allow a
104 SPLAT operation on ISA 2.07 64-bit systems that have direct move,
105 but no MTVSRDD support, by doing MTVSRD and XXPERMDI.
107 2017-03-16 Jeff Law <law@redhat.com>
109 PR tree-optimization/71437
110 * tree-ssa-dom.c (dom_opt_dom_walker): Remove thread_across_edge
111 member function. Implementation moved into after_dom_children
112 member function and into the threader's thread_outgoing_edges
114 (dom_opt_dom_walker::after_dom_children): Simplify by moving
115 some code into new thread_outgoing_edges.
116 * tree-ssa-threadedge.c (thread_across_edge): Make static and simplify
117 definition. Simplify marker handling (do it here). Assume we always
118 have the available expression and the const/copies tables.
119 (thread_outgoing_edges): New function extracted from tree-ssa-dom.c
121 * tree-ssa-threadedge.h (thread_outgoing_edges): Declare.
122 * tree-vrp.c (equiv_stack): No longer file scoped.
123 (vrp_dom_walker): New class.
124 (vrp_dom_walker::before_dom_children): New member function.
125 (vrp_dom_walker::after_dom_children): Likewise.
126 (identify_jump_threads): Setup domwalker. Use it rather than
127 walking edges in a random order by hand. Simplify setup/finalization.
128 (finalize_jump_threads): Remove.
129 (vrp_finalize): Do not call identify_jump_threads here.
130 (execute_vrp): Do it here instead and call thread_through_all_blocks
133 PR tree-optimization/71437
134 * tree-ssa-dom.c (pfn_simplify): Add basic_block argument. All
136 (simplify_stmt_for_jump_threading): Add basic_block argument. All
138 (lhs_of_dominating_assert): Moved from here into tree-vrp.c.
139 (dom_opt_dom_walker::thread_across_edge): Remove
140 handle_dominating_asserts argument. All callers changed.
141 (record_temporary_equivalences_from_stmts_at_dest): Corresponding
142 changes. Remove calls to lhs_of_dominating_assert. Other
143 uses of handle_dominating_asserts turn into unconditional code
144 (simplify_control_stmt_condition_1): Likewise.
145 (simplify_control_stmt_condition): Likewise.
146 (thread_through_normal_block, thread_across_edge): Likewise.
147 * tree-ssa-threadedge.h (thread_across_edge): Corresponding changes.
148 * tree-vrp.c (lhs_of_dominating_assert): Move here. Return original
149 object if it is not an SSA_NAME.
150 (simplify_stmt_for_jump_threading): Call lhs_of_dominating_assert
151 before calling into the VRP specific simplifiers.
152 (identify_jump_threads): Remove handle_dominating_asserts
155 2017-03-16 Jakub Jelinek <jakub@redhat.com>
158 * tree-diagnostic.c (default_tree_printer): No longer static.
159 * tree-diagnostic.h (default_tree_printer): New prototype.
161 2017-03-16 Tamar Christina <tamar.christina@arm.com>
163 * config/aarch64/aarch64-simd.md (*aarch64_simd_mov<mode>)
164 Change ins into fmov.
166 2017-03-16 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
168 * config/aarch64/iterators.md (h_con): Return "x" for V4HF and V8HF.
169 * config/aarch64/aarch64-simd.md (*aarch64_fma4_elt_from_dup<mode>):
170 Use h_con constraint for operand 1.
171 (*aarch64_fnma4_elt_from_dup<mode>): Likewise.
172 (*aarch64_mulx_elt_from_dup<mode>): Likewise for operand 2.
174 2017-03-15 Jeff Law <law@redhat.com>
176 PR tree-optimization/71437
177 * tree-ssa-dom.c (derive_equivalences_from_bit_ior): New function.
178 (record_temporary_equivalences): Use it.
180 PR tree-optimization/71437
181 * tree-ssa-dom.c (struct cond_equivalence): Moved from here into
182 tree-ssa-scopedtables.
183 (lookup_avail_expr, build_and_record_new_cond): Likewise.
184 (record_conditions, record_cond, vuse_eq): Likewise.
185 (record_edge_info): Adjust to API tweak of record_conditions.
186 (simplify_stmt_for_jump_threading): Similarly for lookup_avail_expr.
187 (record_temporary_equivalences, optimize_stmt): Likewise.
188 (eliminate_redundant_computations): Likewise.
189 (record_equivalences_from_stmt): Likewise.
190 * tree-ssa-scopedtables.c: Include options.h and params.h.
191 (vuse_eq): New function, moved from tree-ssa-dom.c
192 (build_and_record_new_cond): Likewise.
193 (record_conditions): Likewise. Accept vector of conditions rather
194 than edge_equivalence structure for first argument.
195 for the first argument.
196 (avail_exprs_stack::lookup_avail_expr): New member function, moved
198 (avail_exprs_stack::record_cond): Likewise.
199 * tree-ssa-scopedtables.h (struct cond_equivalence): Moved here
201 (avail_exprs_stack): Add new member functions lookup_avail_expr
203 (record_conditions): Declare.
205 2017-03-15 Vladimir Makarov <vmakarov@redhat.com>
208 * lra-constraints.c (process_alt_operands): Increase reject for
209 reloading an input/output operand.
211 2017-03-15 Michael Meissner <meissner@linux.vnet.ibm.com>
214 * config/rs6000/rs6000.md (float<QHI:mode><IEEE128:mode>2): Define
215 insns to convert from signed/unsigned char/short to IEEE 128-bit
217 (floatuns<QHI:mode><IEEE128:mode>2): Likewise.
219 2017-03-15 Uros Bizjak <ubizjak@gmail.com>
222 * config/i386/i386.c (ix86_vector_duplicate_value): Create
223 subreg of inner mode for values already in registers.
225 2017-03-15 Bernd Schmidt <bschmidt@redhat.com>
227 * config/c6x/c6x.c (hwloop_optimize): Handle case where the old
228 iteration reg is used after the loop.
230 2017-03-14 Martin Sebor <msebor@redhat.com>
232 PR tree-optimization/79800
233 * gimple-ssa-sprintf.c (format_floating: Add argument. Handle
234 precision in negative-positive range.
235 (format_floating): Call non-const overload with adjusted precision.
237 2017-03-14 Michael Meissner <meissner@linux.vnet.ibm.com>
240 * config/rs6000/rs6000.h (TARGET_FRSQRTES): Add check for
243 2017-03-14 Martin Sebor <msebor@redhat.com>
246 * builtin-attrs.def (ATTR_ALLOC_SIZE_2_NOTHROW_LIST): New macro.
247 * builtins.def (aligned_alloc): Use it.
250 * Makefile.in (GTFILES): Add calls.c.
251 * calls.c: Include "gt-calls.h".
253 2017-03-14 Bernd Schmidt <bschmidt@redhat.com>
255 PR rtl-optimization/79728
256 * regs.h (struct target_regs): New field
257 x_contains_allocatable_regs_of_mode.
258 (contains_allocatable_regs_of_mode): New macro.
259 * reginfo.c (init_reg_sets_1): Initialize it, and change
260 contains_reg_of_mode so it includes global regs as well.
261 * reload.c (push_reload): Use contains_allocatable_regs_of_mode
262 rather than contains_regs_of_mode.
264 2017-03-14 Martin Liska <mliska@suse.cz>
266 * doc/invoke.texi: Document options that can't be combined with
267 -fcheck-pointer-bounds.
269 2017-03-14 Martin Liska <mliska@suse.cz>
272 * doc/invoke.texi (-Wchkp): Document the option.
274 2017-03-14 Martin Liska <mliska@suse.cz>
276 * Makefile.in: Install gcov-dump.
278 2017-03-14 Martin Liska <mliska@suse.cz>
280 * multiple_target.c (expand_target_clones): Bail out for
281 an invalid attribute.
283 2017-03-14 Richard Biener <rguenther@suse.de>
285 * alias.c (struct alias_set_entry): Pack properly.
286 * cfgloop.h (struct loop): Likewise.
287 * cse.c (struct set): Likewise.
288 * ipa-utils.c (struct searchc_env): Likewise.
289 * loop-invariant.c (struct invariant): Likewise.
290 * lra-remat.c (struct cand): Likewise.
291 * recog.c (struct change_t): Likewise.
292 * rtl.h (struct address_info): Likewise.
293 * symbol-summary.h (function_summary): Likewise.
294 * tree-loop-distribution.c (struct partition): Likewise.
295 * tree-object-size.c (struct object_size_info): Likewise.
296 * tree-ssa-loop-ivopts.c (struct cost_pair): Likewise.
297 * tree-ssa-threadupdate.c (struct ssa_local_info_t): Likewise.
298 * tree-vect-data-refs.c (struct _vect_peel_info): Likewise.
299 * tree-vect-slp.c (struct _slp_oprnd_info): Likewise.
300 * tree-vect-stmts.c (struct simd_call_arg_info): Likewise.
301 * tree-vectorizer.h (struct _loop_vec_info): Likewise.
302 (struct _stmt_vec_info): Likewise.
304 2017-03-14 Martin Liska <mliska@suse.cz>
307 * multiple_target.c (create_dispatcher_calls): Check that
308 a target can create a function dispatcher.
310 2017-03-14 Martin Liska <mliska@suse.cz>
313 * multiple_target.c (expand_target_clones): Drop local.local
314 flag for default implementation.
316 2017-03-14 Richard Biener <rguenther@suse.de>
318 PR tree-optimization/80030
319 * tree-vect-stmts.c (vectorizable_store): Plug memleak.
321 2017-03-13 Kito Cheng <kito.cheng@gmail.com>
323 * config/riscv/riscv.c (riscv_emit_float_compare>: Use
324 gcc_fallthrough() instead of __attribute__((fallthrough));
326 2017-03-13 Gerald Pfeifer <gerald@pfeifer.com>
328 * doc/gcc.texi: Remove "up" link to (DIR).
329 * doc/gccint.texi: Ditto.
331 2017-03-13 Gerald Pfeifer <gerald@pfeifer.com>
333 * doc/install.texi (Specific) <avr>: Remove reference to
336 2017-03-13 Jeff Law <law@redhat.com>
338 * config/riscv/riscv.c (riscv_emit_float_compare): Use fallthru
339 attribute rather than comments.
341 * config/pdp11/pdp11.md (movmemhi): Adjust operand numbers to
342 match_scratch operand is highest.
344 2017-03-13 Martin Liska <mliska@suse.cz>
347 * ipa-pure-const.c (warn_function_noreturn): If the declarations
348 is a CHKP clone, use original declaration.
350 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
352 * config/arc/arc.c (arc_init): Use multiplier whenever we have it.
353 (arc_conditional_register_usage): Use a different allocation order
354 when optimizing for size.
355 * common/config/arc/arc-common.c (arc_option_optimization_table):
356 Section anchors default on when optimizing for size.
358 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
360 * config/arc/arc.md (*tst_bitfield_tst): Fix pattern.
362 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
364 * config/arc/arc.c (arc_output_addsi): Emit code density adds.
365 * config/arc/arc.md (cpu_facility): Add cd variant.
366 (*movqi_insn): Add code density variant.
367 (*movhi_insn): Likewise.
368 (*movqi_insn): Likewise.
369 (*addsi3_mixed): Likewise.
370 (subsi3_insn): Likewise.
372 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
374 * config/arc/arc.md (movsi_cond_exec): Update constraint.
376 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
378 * config/arc/arc.c (arc_legitimize_pic_address): Handle PIC
379 expressions with MINUS and UNARY ops.
381 2017-03-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
384 * config/arm/neon.md (vec_sel_widen_ssum_lo<VQI:mode><VW:mode>3):
386 (vec_sel_widen_ssum_lo<mode><V_half>3): ... This. Avoid mismatch
387 between vec_select and vector argument.
388 (vec_sel_widen_ssum_hi<VQI:mode><VW:mode>3): Rename to...
389 (vec_sel_widen_ssum_hi<mode><V_half>3): ... This. Likewise.
390 (vec_sel_widen_usum_lo<VQI:mode><VW:mode>3): Rename to...
391 (vec_sel_widen_usum_lo<mode><V_half>3): ... This.
392 (vec_sel_widen_usum_hi<VQI:mode><VW:mode>3): Rename to...
393 (vec_sel_widen_usum_hi<mode><V_half>3): ... This.
395 2017-03-13 Richard Biener <rguenther@suse.de>
398 * params.def (vect-max-peeling-for-alignment): Fix typo.
400 2017-03-12 Gerald Pfeifer <gerald@pfeifer.com>
402 * doc/install.texi (Specific) <mips-*-*>: Remove description of
403 issue that only occurred with binutils below 2.18.
405 2017-03-12 Gerald Pfeifer <gerald@pfeifer.com>
407 * doc/install.texi (Specific) <cris-axis-elf>: No longer
408 refer to binutils 2.11/2.12 minimum.
410 2017-03-12 Gerald Pfeifer <gerald@pfeifer.com>
412 * doc/install.texi (Specific) <powerpc-*-*>: Remove link to
413 ftp.kernel.org and simplify binutils requirement.
415 2017-03-11 Gerald Pfeifer <gerald@pfeifer.com>
417 * doc/invoke.texi (Warning Options): Fix spelling of link-time
419 (Optimize Options): Ditto. Also remove redundancy.
421 2017-03-10 David Malcolm <dmalcolm@redhat.com>
424 * ipa-devirt.c (warn_types_mismatch): Simplify uses of "%<%s%>" to
426 * ipa-pure-const.c (suggest_attribute): Likewise. Convert _
427 to G_ to avoid double translation.
429 2017-03-10 David Malcolm <dmalcolm@redhat.com>
432 * auto-profile.c (get_combined_location): Convert leading
433 character of diagnostics to lower case and remove trailing period.
434 (read_profile): Likewise for various diagnostics.
435 * config/arm/arm.c (arm_option_override): Remove trailing period
436 from various diagnostics.
437 * config/msp430/msp430.c (msp430_expand_delay_cycles): Likewise.
438 (msp430_expand_delay_cycles): Likewise.
440 2017-03-10 David Malcolm <dmalcolm@redhat.com>
443 * config/aarch64/aarch64.c (aarch64_validate_mcpu): Quote the
444 full command-line argument, rather than just "str".
445 (aarch64_validate_march): Likewise.
446 (aarch64_validate_mtune): Likewise.
448 2017-03-10 Bernd Schmidt <bschmidt@redhat.com>
450 PR rtl-optimization/78911
451 * lra-assigns.c (must_not_spill_p): New function.
454 2017-03-10 Jakub Jelinek <jakub@redhat.com>
456 PR tree-optimization/79981
457 * tree-vrp.c (extract_range_basic): Handle IMAGPART_EXPR of
458 ATOMIC_COMPARE_EXCHANGE ifn result.
459 (stmt_interesting_for_vrp, vrp_visit_stmt): Handle
460 IFN_ATOMIC_COMPARE_EXCHANGE.
462 2017-03-10 David Malcolm <dmalcolm@redhat.com>
465 * opts.c (parse_sanitizer_options): Add missing question mark to
466 "did you mean" message.
468 2017-03-10 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
470 * config/rs6000/rs6000-builtin.def (VMULEUB_UNS): Remove orphaned
472 (VMULEUH_UNS): Likewise.
473 (VMULOUB_UNS): Likewise.
474 (VMULOUH_UNS): Likewise.
475 * config/rs6000/rs6000.c (builtin_function_type): Remove
476 references to ALTIVEC_BUILTIN_VMUL[EO]U[BH]_UNS.
478 2017-03-10 David Malcolm <dmalcolm@redhat.com>
481 * read-rtl-function.c (function_reader::read_rtx_operand): Update
482 x with result of extra_parsing_for_operand_code_0.
483 (function_reader::extra_parsing_for_operand_code_0): Convert
484 return type from void to rtx, returning x. When reading
485 SYMBOL_REF with SYMBOL_FLAG_HAS_BLOCK_INFO, reallocate x to the
486 larger size containing struct block_symbol.
488 2017-03-10 Segher Boessenkool <segher@kernel.crashing.org>
490 * config/rs6000/rs6000.c (rs6000_option_override_internal): Disallow
491 -mfloat128-hardware without -m64.
493 2017-03-10 Will Schmidt <will_schmidt@vnet.ibm.com>
496 * config/rs6000/rs6000.c (builtin_function_type): Add VMUL*U[HB]
497 entries to the case statement that marks unsigned arguments to
498 overloaded functions.
500 2017-03-10 Kelvin Nilsen <kelvin@gcc.gnu.org>
502 * config/rs6000/rs6000.c (rs6000_option_override_internal): Fix
503 two typographic errors in the handling of TARGET_UPPER_REGS_DI.
505 2017-03-10 Pat Haugen <pthaugen@us.ibm.com>
508 * config/rs6000/rs6000.c (rs6000_init_hard_regno_mode_ok): Test
509 TARGET_UPPER_REGS_DI when setting 'wi' constraint regclass.
511 2017-03-10 Martin Liska <mliska@suse.cz>
515 * toplev.c (process_options): Enable MPX with LSAN and UBSAN.
516 * tree-chkp.c (chkp_walk_pointer_assignments): Verify that
519 2017-03-10 Olivier Hainque <hainque@adacore.com>
521 * tree-switch-conversion (array_value_type): Start by resetting
522 candidate type to it's main variant.
524 2017-03-10 Jakub Jelinek <jakub@redhat.com>
526 PR rtl-optimization/79909
527 * combine.c (try_combine): Use simplify_replace_rtx on individual
528 CALL_INSN_FUNCTION_USAGE elements instead of replace_rtx on copy_rtx
529 of the whole CALL_INSN_FUNCTION_USAGE.
531 PR tree-optimization/79972
532 * gimple-ssa-warn-alloca.c (alloca_call_type): Only call
533 get_range_info on SSA_NAMEs. Formatting fixes.
535 2017-03-10 Richard Biener <rguenther@suse.de>
536 Jakub Jelinek <jakub@redhat.com>
538 PR tree-optimization/77975
539 * tree-ssa-loop-niter.c (get_base_for): Allow phi argument from latch
541 (get_val_for): For constant x return it. Formatting fix.
542 (loop_niter_by_eval): Avoid pointless looping if the next iteration
543 would use the same bases as the current one.
545 2017-03-09 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
547 * config/rs6000/rs6000.c (rs6000_gen_le_vsx_permute): Use rotate
548 instead of vec_select for V1TImode.
549 * conifg/rs6000/vsx.md (VSX_LE): Remove mode iterator that is no
551 (VSX_LE_128): Add V1TI to this mode iterator.
552 (*vsx_le_perm_load_<mode>): Change to use VSX_D mode iterator.
553 (*vsx_le_perm_store_<mode>): Likewise.
554 (pre-reload splitter for VSX stores): Likewise.
555 (post-reload splitter for VSX stores): Likewise.
556 (*vsx_xxpermdi2_le_<mode>): Likewise.
557 (*vsx_lxvd2x2_le_<mode>): Likewise.
558 (*vsx_stxvd2x2_le_<mode>): Likewise.
560 2017-03-09 Michael Eager <eager@eagercon.com>
562 Correct failures with --enable-checking=yes,rtl.
564 * config/microblaze/microblaze.c (microblaze_expand_shift):
565 Replace GET_CODE test with CONST_INT_P and INTVAL test with
567 * config/microblaze/microblaze.md (ashlsi3_byone, ashrsi3_byone,
568 lshrsi3_byone): Replace INTVAL with test for const1_rtx.
570 2017-03-09 Richard Biener <rguenther@suse.de>
572 PR tree-optimization/79977
573 * graphite-scop-detection.c (scop_detection::merge_sese):
574 Handle the case of extra exits to blocks dominating the entry.
576 2017-03-09 Toma Tabacu <toma.tabacu@imgtec.com>
578 * doc/sourcebuild.texi (Effective-Target Keywords, Other attributes):
581 2017-03-09 Vladimir Makarov <vmakarov@redhat.com>
583 PR rtl-optimization/79949
584 * lra-constraints.c (process_alt_operands): Check memory when
585 trying to predict a cycle. Print about the overall increase.
587 2017-03-09 Richard Biener <rguenther@suse.de>
590 * gimple-expr.c (useless_type_conversion_p): Preserve
591 TYPE_SATURATING for fixed-point types.
593 2017-03-09 Richard Biener <rguenther@suse.de>
596 * ipa-prop.c (ipa_modify_formal_parameters): Avoid changing
597 alignment of BLKmode params.
599 2017-03-09 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
602 * config/aarch64/iterators.md (VALL_F16_NO_V2Q): New mode iterator.
603 (VALL_NO_V2Q): Likewise.
605 * config/aarch64/aarch64-simd.md
606 (aarch64_dup_lane_<vswap_width_name><mode>): Use VALL_F16_NO_V2Q
608 (*aarch64_simd_vec_copy_lane_<vswap_width_name><mode>): Use
609 VALL_NO_V2Q mode iterator.
610 (*aarch64_vgetfmulx<mode>): Use VDQF iterator.
612 2017-03-09 Martin Liska <mliska@suse.cz>
614 PR tree-optimization/79631
615 * tree-chkp-opt.c (chkp_is_constant_addr): Call
616 tree_int_cst_sign_bit just for INTEGER constants.
618 2017-03-09 Martin Liska <mliska@suse.cz>
622 * toplev.c (process_options): Disable -fcheck-pointer-bounds with
625 2017-03-09 Marek Polacek <polacek@redhat.com>
628 * tree.c (inchash::add_expr): Handle TREE_VEC.
630 2017-03-09 Martin Liska <mliska@suse.cz>
633 (chkp_narrow_size_and_offset): New function.
634 (chkp_parse_array_and_component_ref): Support BIT_FIELD_REF.
635 (void chkp_parse_bit_field_ref): New function.
636 (chkp_make_addressed_object_bounds): Add case for BIT_FIELD_REF.
637 (chkp_process_stmt): Use chkp_parse_bit_field_ref.
639 2017-03-09 Martin Liska <mliska@suse.cz>
642 * tree-chkp.c (chkp_get_bound_for_parm): Get bounds for a param.
643 (chkp_find_bounds_1): Remove gcc_unreachable.
645 2017-03-09 Jakub Jelinek <jakub@redhat.com>
648 * asan.c (get_mem_refs_of_builtin_call): For BUILT_IN_ATOMIC* and
649 BUILT_IN_SYNC*, determine the access type from the size suffix and
650 always build a MEM_REF with that type. Handle forgotten
651 BUILT_IN_SYNC_FETCH_AND_NAND_16 and BUILT_IN_SYNC_NAND_AND_FETCH_16.
654 * config/i386/avx512vlintrin.h (_mm256_cmpge_epi32_mask,
655 _mm256_cmpge_epi64_mask, _mm256_cmpge_epu32_mask,
656 _mm256_cmpge_epu64_mask, _mm256_cmple_epi32_mask,
657 _mm256_cmple_epi64_mask, _mm256_cmple_epu32_mask,
658 _mm256_cmple_epu64_mask, _mm256_cmplt_epi32_mask,
659 _mm256_cmplt_epi64_mask, _mm256_cmplt_epu32_mask,
660 _mm256_cmplt_epu64_mask, _mm256_cmpneq_epi32_mask,
661 _mm256_cmpneq_epi64_mask, _mm256_cmpneq_epu32_mask,
662 _mm256_cmpneq_epu64_mask, _mm256_mask_cmpge_epi32_mask,
663 _mm256_mask_cmpge_epi64_mask, _mm256_mask_cmpge_epu32_mask,
664 _mm256_mask_cmpge_epu64_mask, _mm256_mask_cmple_epi32_mask,
665 _mm256_mask_cmple_epi64_mask, _mm256_mask_cmple_epu32_mask,
666 _mm256_mask_cmple_epu64_mask, _mm256_mask_cmplt_epi32_mask,
667 _mm256_mask_cmplt_epi64_mask, _mm256_mask_cmplt_epu32_mask,
668 _mm256_mask_cmplt_epu64_mask, _mm256_mask_cmpneq_epi32_mask,
669 _mm256_mask_cmpneq_epi64_mask, _mm256_mask_cmpneq_epu32_mask,
670 _mm256_mask_cmpneq_epu64_mask, _mm_cmpge_epi32_mask,
671 _mm_cmpge_epi64_mask, _mm_cmpge_epu32_mask, _mm_cmpge_epu64_mask,
672 _mm_cmple_epi32_mask, _mm_cmple_epi64_mask, _mm_cmple_epu32_mask,
673 _mm_cmple_epu64_mask, _mm_cmplt_epi32_mask, _mm_cmplt_epi64_mask,
674 _mm_cmplt_epu32_mask, _mm_cmplt_epu64_mask, _mm_cmpneq_epi32_mask,
675 _mm_cmpneq_epi64_mask, _mm_cmpneq_epu32_mask, _mm_cmpneq_epu64_mask,
676 _mm_mask_cmpge_epi32_mask, _mm_mask_cmpge_epi64_mask,
677 _mm_mask_cmpge_epu32_mask, _mm_mask_cmpge_epu64_mask,
678 _mm_mask_cmple_epi32_mask, _mm_mask_cmple_epi64_mask,
679 _mm_mask_cmple_epu32_mask, _mm_mask_cmple_epu64_mask,
680 _mm_mask_cmplt_epi32_mask, _mm_mask_cmplt_epi64_mask,
681 _mm_mask_cmplt_epu32_mask, _mm_mask_cmplt_epu64_mask,
682 _mm_mask_cmpneq_epi32_mask, _mm_mask_cmpneq_epi64_mask,
683 _mm_mask_cmpneq_epu32_mask, _mm_mask_cmpneq_epu64_mask): Move
684 definitions outside of __OPTIMIZE__ guarded section.
687 * config/i386/avx512bwintrin.h (_mm512_packs_epi32,
688 _mm512_maskz_packs_epi32, _mm512_mask_packs_epi32,
689 _mm512_packus_epi32, _mm512_maskz_packus_epi32,
690 _mm512_mask_packus_epi32): Move definitions outside of __OPTIMIZE__
693 2017-03-09 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
695 * config/s390/vx-builtins.md ("vfee<mode>", "vfeez<mode>")
696 ("vfenez<mode>"): Add missing constraints.
698 2017-03-08 Martin Sebor <msebor@redhat.com>
701 * config/nds32/nds32.c (nds32_option_override):
703 2017-03-08 Jakub Jelinek <jakub@redhat.com>
706 * gimplify.c (gimplify_omp_for): Replace index var in outer
707 taskloop statement with an artificial variable and add
708 OMP_CLAUSE_PRIVATE clause for it.
710 2017-03-08 Richard Biener <rguenther@suse.de>
712 PR tree-optimization/79955
713 * tree-ssa-uninit.c (warn_uninitialized_vars): Do not warn
714 for accesses that are completely outside of the variable.
716 2017-03-08 Andrew Haley <aph@redhat.com>
718 PR tree-optimization/79943
719 * tree-ssa-loop-split.c (compute_new_first_bound): When
720 calculating the new upper bound, (END-BEG) should be added, not
723 2017-03-08 Jakub Jelinek <jakub@redhat.com>
725 * config/avr/avr.md (setmemhi): Make sure match_dup
726 operand number comes before match_scratch.
728 2017-03-08 Richard Biener <rguenther@suse.de>
730 PR tree-optimization/79920
731 * tree-vect-slp.c (vect_create_mask_and_perm): Remove and inline
732 with ncopies == 1 to ...
733 (vect_transform_slp_perm_load): ... here. Properly compute
734 all element loads by iterating VF times over the group. Do
735 not handle ncopies (computed in a broken way) in
736 vect_create_mask_and_perm.
738 2017-03-08 Jakub Jelinek <jakub@redhat.com>
741 * internal-fn.c (expand_vector_ubsan_overflow): If arg0 or arg1
742 is a uniform vector, use uniform_vector_p return value instead of
743 building ARRAY_REF on folded VIEW_CONVERT_EXPR to array type.
745 2017-03-07 Marek Polacek <polacek@redhat.com>
748 * gimple-ssa-warn-alloca.c (pass_walloca::gate): Use HOST_WIDE_INT.
749 (alloca_call_type): Likewise.
751 2017-03-07 Martin Liska <mliska@suse.cz>
753 * gcov.c (process_args): Put comment to correct location.
755 2017-03-07 Martin Liska <mliska@suse.cz>
758 * tree-chkp.c (chkp_may_narrow_to_field): Add new argument ref.
759 Use array_at_struct_end_p instead of DECL_CHAIN (field).
760 (chkp_narrow_bounds_for_field): Likewise.
761 (chkp_parse_array_and_component_ref): Pass one more argument to
764 2017-03-07 Richard Biener <rguenther@suse.de>
766 * tree-vect-loop-manip.c (slpeel_add_loop_guard): Preserve
769 2017-03-07 Segher Boessenkool <segher@kernel.crashing.org>
771 * config/i386/i386.c (ix86_local_alignment): Align most aggregates
772 of 16 bytes and more to 16 bytes, not those of 16 bits and more.
774 2017-03-07 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
777 * params.def (PARAM_STORE_MERGING_ALLOW_UNALIGNED): Add full stop
778 to end of description.
779 (PARAM_MAX_STORES_TO_MERGE): Likewise.
781 2017-03-07 Jakub Jelinek <jakub@redhat.com>
783 PR rtl-optimization/79901
784 * config/i386/sse.md (*avx512bw_<code><mode>3<mask_name>): Renamed to
786 (*avx512f_<code><mode>3<mask_name>): ... this.
787 (<code><mode>3 with maxmin code iterator): Use VI8_AVX2_AVX512F
788 iterator instead of VI8_AVX2_AVX512BW.
790 PR rtl-optimization/79901
791 * expr.c (expand_expr_real_2): For vector MIN/MAX, if there is no
792 min/max expander, expand it using expand_vec_cond_expr.
795 * ubsan.c (ubsan_encode_value): Call mark_addressable on the
798 2017-03-06 Jakub Jelinek <jakub@redhat.com>
801 * dwarf2out.h (dw_vec_const): Change array type from unsigned char *
802 to void * for PCH reasons.
803 * dwarf2out.c (output_loc_operands, output_die): Cast
804 v.val_vec.array to unsigned char *.
806 2017-03-06 John David Anglin <danglin@gcc.gnu.org>
809 * config/pa/pa-64.h (PAD_VARARGS_DOWN): Don't pad down complex and
812 2017-03-06 Vladimir Makarov <vmakarov@redhat.com>
814 PR rtl-optimization/79571
815 * lra-constraints.c (process_alt_operands): Calculate static
816 reject and subtract it from overall when only addresses will be
819 2017-03-06 Julia Koval <julia.koval@intel.com>
822 * config/i386/i386.c (ix86_minimum_incoming_stack_boundary): Set
823 incoming stack boundary to 128 for 64-bit targets.
825 2017-03-06 Richard Biener <rguenther@suse.de>
827 PR tree-optimization/79894
828 * tree-vectorizer.c (vectorize_loops): Set loop_vectorized_call
829 to NULL after folding it.
831 2017-03-06 Richard Biener <rguenther@suse.de>
833 PR tree-optimization/79824
834 * tree-vect-stmts.c (get_group_load_store_type): Fix alignment
835 check disabling peeling for gaps.
837 2017-03-06 Toma Tabacu <toma.tabacu@imgtec.com>
839 * doc/sourcebuild.texi (Effective-Target Keywords, Environment
840 attributes): Document gettimeofday.
842 2017-03-06 Robin Dapp <rdapp@linux.vnet.ibm.com>
844 * config/s390/s390.c (s390_option_override_internal): Set
845 PARAM_MIN_VECT_LOOP_BOUND
847 2017-03-06 Robin Dapp <rdapp@linux.vnet.ibm.com>
849 * config/s390/s390.c (s390_asm_output_function_label): Use nopr %r0.
850 * config/s390/s390.md: Likewise.
852 2017-03-06 Jakub Jelinek <jakub@redhat.com>
855 * config/i386/sse.md (VI8F_256_512): Remove mode iterator.
856 (<avx2_avx512>_perm<mode>): Rename to ...
857 (avx2_perm<mode>): ... this. Use VI8F_256 iterator instead
859 (<avx512>_perm<mode>_mask): Rename to ...
860 (avx512vl_perm<mode>_mask): ... this. Use VI8F_256 iterator instead
862 (<avx2_avx512>_perm<mode>_1<mask_name>): Rename to ...
863 (avx2_perm<mode>_1<mask_name): ... this. Use VI8F_256 iterator
864 instead of VI8F_256_512.
865 (avx512f_perm<mode>): New define_expand.
866 (avx512f_perm<mode>_mask): Likewise.
867 (avx512f_perm<mode>_1<mask_name>): New define_insn.
868 (<avx512>_vec_dup<mode>_1): Fix up vec_select mode.
870 2017-03-06 Prachi Godbole <prachi.godbole@imgtec.com>
872 * config/mips/mips-msa.md (msa_fmax_a_<msafmt>, msa_fmin_a_<msafmt>,
873 msa_max_a_<msafmt>, msa_min_a_<msafmt>): Introduce mode interator for
875 (smin<mode>3, smax<mode>3): Change operand print code from 'B' to 'E'.
877 2017-03-06 Martin Liska <mliska@suse.cz>
880 * asan.c (asan_expand_poison_ifn): Do not expand ASAN_POISON
881 when having a SSA NAME w/o VAR_DECL assigned to it.
883 2017-03-06 Prachi Godbole <prachi.godbole@imgtec.com>
885 * config/mips/mips-msa.md (msa_dotp_<su>_d, msa_dpadd_<su>_d,
886 msa_dpsub_<su>_d): Fix MODE for vec_select.
888 2017-03-06 Prachi Godbole <prachi.godbole@imgtec.com>
890 * config/mips/mips.c (mips_gen_const_int_vector): Change type of last
892 * config/mips/mips-protos.h (mips_gen_const_int_vector): Likewise.
894 2017-03-06 Richard Biener <rguenther@suse.de>
896 * lto-streamer.c (lto_check_version): Use %qs in diagnostics.
897 * plugin.c (register_plugin_info): Likewise.
898 * tree-chkp.c (chkp_make_static_const_bounds): Likewise.
900 2017-03-05 Jakub Jelinek <jakub@redhat.com>
902 * config/i386/sse.md (sse_storehps, sse_storelps,
903 avx_<castmode><avxsizesuffix>_<castmode>,
904 avx512f_<castmode><avxsizesuffix>_<castmode>,
905 avx512f_<castmode><avxsizesuffix>_256<castmode>): Require
906 in condition that at least one operand is not a MEM.
908 2017-03-03 Jakub Jelinek <jakub@redhat.com>
911 * internal-fn.def (ATOMIC_BIT_TEST_AND_SET, ATOMIC_BIT_TEST_AND_RESET,
912 ATOMIC_BIT_TEST_AND_COMPLEMENT, ATOMIC_COMPARE_EXCHANGE): Remove
914 * gimple-fold.c (fold_builtin_atomic_compare_exchange): Set
915 gimple_call_nothrow_p flag based on whether original builtin can throw.
916 If it can, emit following stmts on the fallthrough edge.
917 * tree-ssa-ccp.c (optimize_atomic_bit_test_and): Similarly, except
918 don't create new bb if inserting just debug stmts on the edge, try to
919 insert them on the fallthru bb or just reset debug stmts.
921 2017-03-03 Segher Boesssenkool <segher@kernel.crashing.org>
924 * config/rs6000/rs6000.c (rs6000_final_prescan_insn): Save and
925 restore recog_data (including the operand rtxes inside it) around
926 the call to get_insn_template.
928 2017-03-03 Martin Sebor <msebor@redhat.com>
930 PR tree-optimization/79699
931 * context.c (context::~context): Free MPFR caches to avoid
932 a memory leak on program exit.
934 2017-03-03 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
936 * config/aarch64/aarch64.c (aarch64_float_const_representable_p):
937 Use wide_int::ulow () instead of .elt (0).
939 2017-03-03 Uros Bizjak <ubizjak@gmail.com>
941 * config/i386/i386.md (*pushtf): Change *roF constraint to *roC.
942 (*pushxf): Limit oF constraint to 32bit targets and add oC
943 constraint for 64bit targets.
944 (pushxf splitter): Use PUSH_ROUNDING to calculate stack adjustment.
945 (*pushdf): Change rmF constraint to rmC.
947 2017-03-03 Martin Liska <mliska@suse.cz>
949 * tree-ssa-loop-prefetch.c (pass_loop_prefetch::execute):
950 Remove unused variable.
952 2017-03-03 Jakub Jelinek <jakub@redhat.com>
955 * config/i386/i386.c (ix86_expand_multi_arg_builtin): If target
956 is a memory operand, increase num_memory.
957 (ix86_expand_args_builtin): Likewise.
959 2017-03-03 Jan Hubicka <jh@suse.cz>
962 * ipa-devirt.c (maybe_record_node): Properly handle
963 __cxa_pure_virtual visibility.
965 2017-03-03 Martin Liska <mliska@suse.cz>
967 PR tree-optimization/79803
968 * tree-ssa-loop-prefetch.c (tree_ssa_prefetch_arrays): Remove
970 (pass_loop_prefetch::execute): Disabled optimization if an
971 assumption about L1 cache size is not met.
973 2017-03-03 Martin Liska <mliska@suse.cz>
975 PR rtl-optimization/79574
976 * gcse.c (struct gcse_expr): Use HOST_WIDE_INT instead of int.
977 (hash_scan_set): Likewise.
978 (dump_hash_table): Likewise.
979 (hoist_code): Likewise.
981 2017-03-03 Richard Biener <rguenther@suse.de>
983 * fixed-value.c (fixed_from_string): Restore use of elt (1)
984 in place of uhigh ().
985 (fixed_convert_from_real): Likewise.
987 2017-03-03 Uros Bizjak <ubizjak@gmail.com>
990 * config/i386/i386.md (*pushxf_rounded): Use Pmode instead of DImode.
992 2017-03-03 Richard Biener <rguenther@suse.de>
995 * match.pd ( X +- C1 CMP C2 -> X CMP C2 -+ C1): Add missing
996 TYPE_OVERFLOW_UNDEFINED check.
998 2017-03-02 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1000 * config/rs6000/vector.md (vector_ne_<mode>_p): Correct operand
1002 (vector_ae_<mode>_p): Likewise.
1003 (vector_nez_<mode>_p): Likewise.
1004 (vector_ne_v2di_p): Likewise.
1005 (vector_ae_v2di_p): Likewise.
1006 (vector_ne_<mode>_p): Likewise.
1007 * config/rs6000/vsx.md (vsx_tsqrt<mode>2_fg): Correct operand
1009 (vsx_tsqrt<mode>2_fe): Likewise.
1011 2017-03-02 Uros Bizjak <ubizjak@gmail.com>
1014 * config/i386/i386.md (*pushxf_rounded): New insn_and_split pattern.
1016 2017-03-02 Jakub Jelinek <jakub@redhat.com>
1018 PR rtl-optimization/79780
1019 * cprop.c (one_cprop_pass): When second and further conditional trap
1020 in a single basic block is turned into an unconditional trap, turn it
1021 into a deleted note to avoid RTL verification failures.
1023 2017-03-02 Richard Biener <rguenther@suse.de>
1025 * fold-const.c (const_binop): Use ulow () instead of elt (0).
1027 2017-03-02 Richard Biener <rguenther@suse.de>
1029 PR tree-optimization/79345
1031 * tree-ssa-alias.c (walk_aliased_vdefs_1): Take a limit
1032 param and abort the walk, returning -1 if it is hit.
1033 (walk_aliased_vdefs): Take a limit param and pass it on.
1034 * tree-ssa-alias.h (walk_aliased_vdefs): Add a limit param,
1035 defaulting to 0 and return a signed int.
1036 * tree-ssa-uninit.c (struct check_defs_data): New struct.
1037 (check_defs): New helper.
1038 (warn_uninitialized_vars): Use walk_aliased_vdefs to warn
1039 about uninitialized memory.
1040 * fixed-value.c (fixed_from_string): Use ulow/uhigh to avoid
1041 bogus uninitialized warning.
1042 (fixed_convert_from_real): Likewise.
1044 2017-03-02 Bin Cheng <bin.cheng@arm.com>
1046 PR tree-optimization/66768
1047 * tree-ssa-loop-ivopts.c (find_interesting_uses_address): Skip addr
1048 iv_use if base object can't be determined.
1050 2017-03-02 Jakub Jelinek <jakub@redhat.com>
1052 PR tree-optimization/79345
1053 * gensupport.h (struct pattern_stats): Add min_scratch_opno field.
1054 * gensupport.c (get_pattern_stats_1) <case MATCH_SCRATCH>: Update it.
1055 (get_pattern_stats): Initialize it.
1056 * genemit.c (gen_expand): Verify match_scratch numbers come after
1057 match_operand/match_dup numbers.
1058 * config/i386/i386.md (<s>mul<mode>3_highpart): Swap match_dup and
1059 match_scratch numbers.
1060 * config/i386/sse.md (avx2_gathersi<mode>, avx2_gatherdi<mode>):
1062 * config/s390/s390.md (trunctdsd2): Likewise.
1064 2017-03-02 Richard Biener <rguenther@suse.de>
1066 * wide-int.h (wide_int_storage::operator=): Implement in terms
1069 2017-03-02 Richard Biener <rguenther@suse.de>
1071 PR tree-optimization/79777
1072 * tree-ssa-pre.c (eliminate_insert): Give up if we simplify
1073 the to insert expression to sth existing.
1075 2017-03-01 Martin Sebor <msebor@redhat.com>
1078 * gimple-ssa-sprintf.c
1079 (directive::known_width_and_precision): New function.
1080 (format_integer): Use it.
1081 (get_mpfr_format_length): Consider the full range of precision
1082 when computing %g output with the # flag. Set the likely byte
1083 count to 3 rather than 1 when precision is indeterminate.
1084 (format_floating): Correct the lower bound of precision.
1086 2017-03-01 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1088 * doc/invoke.texi: Document default code model for 64-bit Linux.
1090 2017-03-01 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
1093 * config/rs6000/rs6000.md (peephole2 for udiv/umod): Should emit
1094 udiv rather than div since input pattern is unsigned.
1096 2017-03-01 Uros Bizjak <ubizjak@gmail.com>
1098 * config/i386/i386.c (print_reg): Warn for values of
1099 unsupported size in integer register.
1101 2017-03-01 Michael Meissner <meissner@linux.vnet.ibm.com>
1104 * config/rs6000/predicates.md (current_file_function_operand): Do
1105 not allow self calls to be local if the function is replaceable.
1107 2017-03-01 Kelvin Nilsen <kelvin@gcc.gnu.org>
1110 * config/rs6000/altivec.h (vec_ctz and others): Change the
1111 preprocessor macro that controls conditional compilation from
1112 _ARCH_PWR9 to __POWER9_VECTOR__.
1113 (vec_all_ne): Change parameterization of __altivec_scalar_pred
1114 macro expansion under preprocessor #ifdef __POWER9_VECTOR__
1115 control (instead of _ARCH_PWR9 control) so that template
1116 definition uses power9-specific function.
1117 (vec_any_eq): Likewise.
1118 (vec_all_ne): Change macro definition to use a power9-specific
1119 expansion under #ifdef __POWER9_VECTOR__ control (instead of
1120 _ARCH_PWR9 control).
1121 (vec_any_eq) Likewise.
1122 * config/rs6000/rs6000-builtin.def (CMPNEF): Remove BU_P9V_AV_2
1123 expansion for CMPNEF to remove support for xvcmpnesp instruction.
1124 (CMPNED): Remove BU_P9V_AV2 expansion for CMPNED to remove
1125 support for xvcmpnedp instruction.
1126 (VCMPNEB_P): Replace BU_P9V_AV_P macro expansion with BU_P9V_AV_2
1127 macro expansion so that Power9 implementation of vec_all_ne does
1128 not use the AltiVec predicate framework.
1129 (VCMPNEH_P): Likewise.
1130 (VCMPNEW_P): Likewise.
1131 (VCMPNED_P): Likewise.
1132 (VCMPNEFP_P): Likewise.
1133 (VCMPNEDP_P): Likewise.
1134 (VCMPAEB_P): Add BU_P9V_AV_2 macro expansion to change
1135 implementation of vec_any_eq to not use AltiVec predicate
1137 (VCMPAEH_P): Likewise.
1138 (VCMPAEW_P): Likewise.
1139 (VCMPAED_P): Likewise.
1140 (VCMPAEFP_P): Likewise.
1141 (VCMPAEDP_P): Likewise.
1142 (VCMPNE_P): Replace BU_P9V_OVERLOAD_P macro expansion with
1143 BU_P9V_OVERLOAD_2 so that Power9 implementation of vec_all_ne does
1144 not use the AltiVec predicate framework.
1145 (VCMPAE_P): Add BU_P9V_OVERLOAD_2 macro to change implementation
1146 of vec_any_eq to not use AltiVec predicate framework.
1147 * config/rs6000/rs6000-c.c (rs6000_target_modify_macros): Add
1148 support for predefined __POWER9_VECTOR__ macro to indicate that
1149 Power9 instruction selection is enabled.
1150 (altivec_overloaded_builtins): Remove extraneous
1151 ALTIVEC_BUILTIN_VEC_CMPNE entry for overloaded
1152 function argument types RS6000_BTI_bool_V16QI and
1153 RS6000_BTI_bool_V16QI. Remove erroneous ALTIVEC_BUILTIN_VEC_CMPNE
1154 entry for overloaded function argument types RS6000_BTI_bool_V4SI
1155 andRS6000_BTI_bool_V4SI, mapping to P9V_BUILTIN_CMPNEB. Remove
1156 two entries mapping to P9V_BUITIN_CMPNED and one entry mapping to
1157 P9V_BUILTIN_CMPNEF to force use of instructions not specific to
1158 Power9 for implementations of vec_cmpne. Change the signature for
1159 all definitions of the overloaded P9V_BUILTIN_VEC_CMPNE_P function
1160 (representing vec_all_ne) to remove the previously described first
1161 argument of type RS6000_BTI_INTSI, as this was an artifact of
1162 reliance on the AltiVec predicate framework, which is no longer
1163 used in the implementation of these functions. Add
1164 P9V_BUILTIN_VEC_VCMPAE_P entries (representing the vec_anyeq
1165 function) to match all of the P9V_BUILTIN_VEC_VCMNE_P entries
1166 since, unlike the AltiVec predicate framework implementation, we
1167 do not share function descriptors between vec_alle and vec_anyeq.
1168 (altivec_resolve_overloaded_builtin): Add SFmode and DFmode to the
1169 set of modes that receive special treatment even when
1170 TARGET_P9_VECTOR is true. The special treatment emits code that
1171 does not depend on Power9 instructions.
1172 * config/rs6000/vector.md (vector_ne_<mode>_p): Change this
1173 define_expand to not rely on AltiVec predicate framework.
1174 (vector_ae_<mode>p): New define_expand to represent vec_any_eq
1176 (vector_ne_v2di_p): Change this define_expand to not rely on
1177 AltiVec predicate framework.
1178 (vector_ae_v2di_p): New define_expand to represent vec_any_eq
1180 (vector_ne_<mode>_p): Change this define_expand to not rely on
1181 AltiVec predicate framework.
1182 (vector_ae_<mode>p): New define_expand to represent vec_any_eq
1184 * config/rs6000/vsx.md (*vsx_ne_<mode>_p): For modes VSX_EXTRACT_I
1185 (V16QI, V8HI, V4SI), correct a typo in the code emitted for this
1186 define_insn pattern.
1187 (*vsx_ne_<mode>_p): For modes VSX_F (V4SF and V2DF), remove this
1188 define_insn pattern because the xvcmpne<VSs>. instruction is not
1190 (vcmpne<VSs>): Remove this define_insn because xvcmpne<VSs>
1191 instruction is not supported.
1193 2017-03-01 Jakub Jelinek <jakub@redhat.com>
1195 * config/nvptx/nvptx.c: Include intl.h.
1197 2017-03-01 Martin Jambor <mjambor@suse.cz>
1200 * ipa-prop.h (ipa_bits): Removed field known.
1201 (ipa_jump_func): Removed field vr_known. Changed fields bits and m_vr
1202 to pointers. Adjusted their comments to warn about their sharing.
1203 (ipcp_transformation_summary): Change bits to a vector of pointers.
1204 (ipa_check_create_edge_args): Moved to ipa-prop.c, declare.
1205 (ipa_get_ipa_bits_for_value): Declare.
1206 * tree-vrp.h (value_range): Mark as GTY((for_user)).
1207 * ipa-prop.c (ipa_bit_ggc_hash_traits): New.
1208 (ipa_bits_hash_table): Likewise.
1209 (ipa_vr_ggc_hash_traits): Likewise.
1210 (ipa_vr_hash_table): Likewise.
1211 (ipa_print_node_jump_functions_for_edge): Adjust for bits and m_vr
1212 being pointers and vr_known being removed.
1213 (ipa_set_jf_unknown): Likewise.
1214 (ipa_get_ipa_bits_for_value): New function.
1215 (ipa_set_jfunc_bits): Likewise.
1216 (ipa_get_value_range): New overloaded functions.
1217 (ipa_set_jfunc_vr): Likewise.
1218 (ipa_compute_jump_functions_for_edge): Use the above functions to
1219 construct bits and vr parts of jump functions.
1220 (ipa_check_create_edge_args): Move here from ipa-prop.h, also allocate
1221 ipa_bits_hash_table and ipa_vr_hash_table if they do not already
1223 (ipcp_grow_transformations_if_necessary): Also allocate
1224 ipa_bits_hash_table and ipa_vr_hash_table if they do not already
1226 (ipa_node_params_t::duplicate): Do not copy bits, just pointers to
1227 them. Fix too long lines.
1228 (ipa_write_jump_function): Adjust for bits and m_vr being pointers and
1229 vr_known being removed.
1230 (ipa_read_jump_function): Use new setter functions to construct bits
1231 and vr parts of jump functions or set them to NULL.
1232 (write_ipcp_transformation_info): Adjust for bits being pointers.
1233 (read_ipcp_transformation_info): Likewise.
1234 (ipcp_update_bits): Likewise. Fix excessively long lines a trailing
1236 Include gt-ipa-prop.h.
1237 * ipa-cp.c (propagate_bits_across_jump_function): Adjust for bits
1239 (ipcp_store_bits_results): Likewise.
1240 (propagate_vr_across_jump_function): Adjust for m_vr being a pointer.
1241 Do not write to existing jump functions but use a temporary instead.
1243 2017-03-01 Jakub Jelinek <jakub@redhat.com>
1246 * fold-const.c (make_bit_field_ref): If orig_inner is COMPONENT_REF,
1247 attempt to use its first operand as BIT_FIELD_REF base.
1249 2017-03-01 Richard Biener <rguenther@suse.de>
1252 * tree-chrec.c (chrec_evaluate): Perform computation of Newtons
1253 interpolating formula in wrapping arithmetic.
1254 (chrec_apply): Convert chrec_evaluate return value to wanted type.
1256 2017-03-01 Jakub Jelinek <jakub@redhat.com>
1258 PR tree-optimization/79734
1259 * tree-vect-generic.c (expand_vector_condition): Optimize
1260 AVX512 vector boolean VEC_COND_EXPRs into bitwise operations.
1261 Handle VEC_COND_EXPR where comparison has different inner width from
1264 2017-02-28 Sandra Loosemore <sandra@codesourcery.com>
1266 * doc/invoke.texi (ARC Options): Copy-edit to fix punctuation,
1267 markup, and similar issues. Remove @opindex entries for things
1268 that aren't options. Add missing -mmpy-option entries.
1270 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1272 PR tree-optimization/79737
1273 * gimple-ssa-store-merging.c (encode_tree_to_bitpos): If bitlen is
1274 a multiple of BITS_PER_UNIT and !BYTES_BIG_ENDIAN, clear
1275 tmpbuf[byte_size - 1]. Call natice_encode_expr with byte_size - 1
1276 instead of byte_size. Formatting fix.
1277 (shift_bytes_in_array_right): Formatting fix.
1279 2017-02-28 Eric Botcazou <ebotcazou@adacore.com>
1282 * config/sparc/sparc.c (sparc_frame_pointer_required): Add missing
1283 condition on optimize for the leaf function test.
1285 2017-02-28 Martin Liska <mliska@suse.cz>
1288 * read-rtl-function.c (function_reader::handle_unknown_directive):
1289 Bail out when one uses -flto.
1291 2017-02-28 Martin Liska <mliska@suse.cz>
1293 * common.opt: Replace space with tabular for options of <number>
1295 * config/i386/i386.opt: Show <number> value for
1296 -mlarge-data-threshold.
1297 * opts.c (print_filtered_help): Do not display number in hexadecimal
1300 2017-02-28 Martin Liska <mliska@suse.cz>
1302 * common.opt: Fix --help=option -Q for options which are of
1305 2017-02-28 Uros Bizjak <ubizjak@gmail.com>
1307 * config/i386/i386.c (print_reg): Error out for values
1308 of 8-bit size in invalid integer register.
1310 2017-02-28 Martin Sebor <msebor@redhat.com>
1312 PR tree-optimization/79691
1313 * passes.def (pass_all_optimizations_g): Enable pass_sprintf_length.
1315 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1318 * config/i386/i386.c (ix86_print_operand) <case 'R'>: Replace
1319 gcc_unreachable with output_operand_lossage.
1321 2017-02-28 Richard Biener <rguenther@suse.de>
1323 PR tree-optimization/79740
1324 * tree-ssa-sccvn.c (vn_nary_op_insert_into): Allow redundant
1326 (visit_nary_op): Insert the nary into the hashtable if we
1327 pattern-matched sth.
1328 * tree-ssa-pre.c (eliminate_insert): Robustify.
1330 2017-02-28 Richard Biener <rguenther@suse.de>
1333 * fold-const.c (decode_field_reference): Reject out-of-bound
1336 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1338 * config/i386/i386.c: Include intl.h.
1339 (ix86_option_override_internal): Use cond ? G_("...") : G_("...")
1340 instead of just cond ? "..." : "...".
1341 * config/nvptx/nvptx.c (nvptx_goacc_validate_dims): Likewise.
1342 * coverage.c (read_counts_file): Likewise.
1343 * omp-offload.c: Include intl.h.
1344 (oacc_loop_fixed_partitions): Use cond ? G_("...") : G_("...") instead
1345 of just cond ? "..." : "...".
1346 * gcov.c (read_count_file): Use cond ? N_("...") : N_("...") instead
1347 of just cond ? "..." : "...".
1349 2017-02-28 Richard Earnshaw <rearnsha@arm.com>
1352 * config/arm/parsecpu.awk (gen_data): Set tuning target to 'tune for'
1354 * config/arm/arm-cpus.in (cortex-m0plus.small-multiply): Correct
1355 'tune for' CPU name.
1356 * config/arm/arm-cpu-data.h: Regenerated.
1358 2017-02-28 Richard Biener <rguenther@suse.de>
1360 PR tree-optimization/79732
1361 * tree-inline.c (expand_call_inline): Do not shadow var.
1363 2017-02-28 Richard Biener <rguenther@suse.de>
1365 PR tree-optimization/79723
1366 * tree-vect-stmts.c (get_vectype_for_scalar_type_and_size): Preserve
1367 address-space properly.
1369 2017-02-28 Thomas Schwinge <thomas@codesourcery.com>
1371 * doc/optinfo.texi (Optimization groups): Fix option used for
1373 * doc/invoke.texi (-fopt-info): Document "omp".
1374 * dumpfile.h: Sort OPTGROUP_OMP before OPTGROUP_VEC.
1375 (OPTGROUP_ALL): Add OPTGROUP_OMP.
1376 * hsa-gen.c (pass_data_gen_hsail): Use OPTGROUP_OMP.
1377 * ipa-hsa.c (pass_data_ipa_hsa): Likewise.
1378 * omp-simd-clone.c (pass_data_omp_simd_clone): Likewise.
1380 * dumpfile.h (OPTGROUP_OPENMP): Rename to OPTGROUP_OMP. Adjust
1382 * dumpfile.c (optgroup_options): Instead of "openmp", associate
1383 OPTGROUP_OMP with "omp".
1385 2017-02-27 Pat Haugen <pthaugen@us.ibm.com>
1388 * config/rs6000/rs6000-c.c (struct altivec_builtin_types): Use VSRAD
1389 for arithmetic shift of unsigned V2DI.
1391 2017-02-27 Claudiu Zissulescu <claziss@synopsys.com>
1393 * config.gcc (arc*-): Clean up, use arc/big.h, arc/elf.h, and
1394 arc/linux.h headers.
1395 * config/arc/arc.h (TARGET_OS_CPP_BUILTINS): Remove.
1396 (LINK_SPEC): Likewise.
1397 (ARC_TLS_EXTRA_START_SPEC): Likewise.
1398 (EXTRA_SPECS): Likewise.
1399 (STARTFILE_SPEC): Likewise.
1400 (ENDFILE_SPEC): Likewise.
1401 (LIB_SPEC): Likewise.
1402 (TARGET_SDATA_DEFAULT): Likewise.
1403 (TARGET_MMEDIUM_CALLS_DEFAULT): Likewise.
1404 (MULTILIB_DEFAULTS): Likewise.
1405 (DWARF2_UNWIND_INFO): Likewise.
1406 * config/arc/big.h: New file.
1407 * config/arc/elf.h: Likewise.
1408 * config/arc/linux.h: Likewise.
1409 * config/arc/t-uClibc: Remove.
1411 2017-02-27 Bin Cheng <bin.cheng@arm.com>
1413 PR tree-optimization/77536
1414 * tree-ssa-loop-manip.c (niter_for_unrolled_loop): New function.
1415 (tree_transform_and_unroll_loop): Use above function to compute the
1416 estimated niter of unrolled loop and use it when scaling profile.
1417 Also use count info rather than frequency if it's non-zero.
1418 * tree-ssa-loop-manip.h niter_for_unrolled_loop(): New declaration.
1419 * tree-vect-loop.c (scale_profile_for_vect_loop): New function.
1420 (vect_transform_loop): Call above function.
1422 2017-02-27 Richard Biener <rguenther@suse.de>
1424 PR tree-optimization/45397
1425 * tree-ssa-pre.c (eliminate_insert): Handle BIT_AND_EXPR.
1426 * tree-ssa-sccvn.c (valueized_wider_op): New helper.
1427 (visit_nary_op): Add pattern matching for CSEing sign-changed
1428 or truncated operations with wider ones.
1430 2017-02-27 Richard Biener <rguenther@suse.de>
1432 PR tree-optimization/79690
1433 * tree-vect-stmts.c (vectorizable_store): Use vector type
1434 built from the DR with address-space.
1436 2017-02-26 Gerald Pfeifer <gerald@pfeifer.com>
1438 * doc/invoke.texi (Optimize Options): Refine the description
1439 of asan-use-after-return.
1441 2017-02-25 Alan Modra <amodra@gmail.com>
1443 PR rtl-optimization/79584
1444 * lra-constraints.c (base_to_reg): Reload ad->base, the entire
1445 base, not ad->base_term, the reg within base. Remove assertion
1446 that ad->base == ad->base_term. Replace gen_int_mode using
1447 bogus mode with const0_rtx.
1449 2017-02-25 Jakub Jelinek <jakub@redhat.com>
1452 * tree-eh.c (operation_could_trap_p, stmt_could_throw_1_p): Handle
1453 FMA_EXPR like tcc_binary or tcc_unary.
1455 * tree-ssa-loop-niter.c (number_of_iterations_exit): Simplify warning.
1458 * dwarf2out.c (struct dw_loc_list_struct): Add noted_variable_value
1460 (size_of_loc_descr): Handle DW_OP_GNU_variable_value.
1461 (output_loc_operands): Handle DW_OP_call_ref and
1462 DW_OP_GNU_variable_value.
1463 (struct variable_value_struct): New type.
1464 (struct variable_value_hasher): Likewise.
1465 (variable_value_hash): New variable.
1466 (string_types): Remove.
1467 (copy_loc_descr): New function.
1468 (add_loc_descr_to_each): Clarify comment. Use copy_loc_descr.
1469 (prepend_loc_descr_to_each): New function.
1470 (add_loc_list): Fix comment typo. Use prepend_loc_descr_to_each
1471 instead of add_loc_descr_to_each if the first argument is single
1472 location list and the second has multiple.
1473 (resolve_args_picking_1): Handle DW_OP_GNU_variable_value.
1474 (loc_list_from_tree_1): For early_dwarf, emit DW_OP_GNU_variable_value
1475 when looking for variable value which doesn't have other location info.
1476 (loc_list_from_tree): Formatting fix.
1477 (gen_array_type_die): Simplify DW_AT_string_length handling.
1478 (adjust_string_types): Remove.
1479 (gen_subprogram_die): Don't call adjust_string_types nor test/set
1480 string_types. Call resolve_variable_values.
1481 (prune_unused_types_walk_loc_descr): Handle DW_OP_GNU_variable_value.
1482 (resolve_addr_in_expr): Likewise. Add A argument.
1483 (copy_deref_exprloc): Remove deref argument. Adjust for the
1484 original expression being DW_OP_GNU_variable_value with optionally
1485 DW_OP_stack_value after it instead of DW_OP_call4 with DW_OP_deref
1486 optionally after it.
1487 (optimize_string_length): Rework for DW_OP_GNU_variable_value.
1488 (resolve_addr): Adjust optimize_string_length and resolve_addr_in_expr
1489 callers. Set remove_AT_byte_size if removing DW_AT_string_length.
1490 (variable_value_hasher::hash, variable_value_hasher::equal): New
1492 (resolve_variable_value_in_expr, resolve_variable_value,
1493 resolve_variable_values, note_variable_value_in_expr,
1494 note_variable_value): New functions.
1495 (dwarf2out_early_finish): Call note_variable_value on all toplevel
1498 2017-02-24 Jakub Jelinek <jakub@redhat.com>
1501 * opts.h (handle_generated_option): Add GENERATED_P argument.
1502 * opts-common.c (handle_option): Adjust function comment.
1503 (handle_generated_option): Add GENERATED_P argument, pass it to
1505 (control_warning_option): Pass false to handle_generated_option
1507 * opts.c (maybe_default_option): Pass true to handle_generated_option
1509 * optc-gen.awk: Likewise.
1511 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1513 * config/sh/sh.md (tstsi_t): If operands[0] is a SUBREG instead of
1514 a REG, look at the REG it is a SUBREG of.
1515 (splitter for cmpeqsi_t): Ditto.
1517 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1519 * config/pa/pa.c (pa_combine_instructions): Do not share RTL. Make
1520 the special USEs with the pattern of the insn, not the insn itself.
1522 2017-02-24 Matthew Fortune <matthew.fortune@imgtec.com>
1525 * doc/invoke.texi: Document -mload-store-pairs.
1527 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1528 Sandra Loosemore <sandra@codesourcery.com>
1530 * config/nios2/nios2.c (nios2_simple_const_p): Returns false if the
1531 argument isn't a CONST_INT.
1532 (nios2_alternate_compare_const): Assert op is a CONST_INT.
1533 (nios2_valid_compare_const_p): Assert op is a CONST_INT.
1534 (nios2_validate_compare): Bypass alternate compare logic if *op2
1536 (ldstwm_operation_p): Return false if first_base is not a REG or
1537 if first_offset is not a CONST_INT.
1539 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1541 * config/cris/cris.md: Use correct operand in a define_peephole2.
1543 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1545 * config/c6x/c6x.c (predicate_insn): Do not incorrectly share RTL.
1547 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1549 * config/arc/arc.c (arc_ccfsm_advance): Only take the PATTERN of
1550 this_insn if it is an INSN or JUMP_INSN.
1551 (force_offsettable): Look at base, not at addr.
1552 * config/arc/predicates.md (brcc_nolimm_operator): Don't call INTVAL
1553 on things that aren't necessarily CONST_INTs.
1555 2017-02-24 Uros Bizjak <ubizjak@gmail.com>
1557 * doc/invoke.texi (x86 Options, -mfpmath=sse): Mention that
1558 -mfpmath=sse is the default also for x86-32 targets with SSE2
1559 instruction set when @option{-ffast-math} is enabled
1561 2017-02-24 Jeff Law <law@redhat.com>
1563 PR rtl-optimizatoin/79286
1564 * ira.c (update_equiv_regs): Drop may_trap_p exception to
1567 2017-02-24 Richard Biener <rguenther@suse.de>
1569 PR tree-optimization/79389
1570 * gimple-ssa-split-paths.c (is_feasible_trace): Properly skip
1573 2017-02-24 Aldy Hernandez <aldyh@redhat.com>
1575 * tree-ssa-loop-niter.c (number_of_iterations_exit): Update
1576 function comment to reflect reality.
1577 (loop_exits_before_overflow): Fix typo in function description.
1579 2017-02-24 Richard Biener <rguenther@suse.de>
1581 PR tree-optimization/79389
1582 * gimple-ssa-split-paths.c (is_feasible_trace): Verify more
1583 properly that a threading opportunity exists. Detect conditional
1584 copy/constant propagation opportunities.
1586 2017-02-23 Eric Botcazou <ebotcazou@adacore.com>
1588 * config/visium/visium.md (type): Add trap.
1589 (b): New mode attribute.
1590 (*btst): Rename into...
1591 (*btst<mode>): ...this and adjust.
1592 (*cbranchsi4_btst_insn): Rename into...
1593 (*cbranch<mode>4_btst_insn): ...this and adjust.
1594 (trap): New define_insn.
1596 2017-02-23 Jakub Jelinek <jakub@redhat.com>
1598 PR tree-optimization/79389
1599 * ifcvt.c (struct noce_if_info): Add rev_cond field.
1600 (noce_reversed_cond_code): New function.
1601 (noce_emit_store_flag): Use rev_cond if non-NULL instead of
1602 reversed_comparison_code. Formatting fix.
1603 (noce_try_store_flag): Test rev_cond != NULL in addition to
1604 reversed_comparison_code.
1605 (noce_try_store_flag_constants): Likewise.
1606 (noce_try_store_flag_mask): Likewise.
1607 (noce_try_addcc): Use rev_cond if non-NULL instead of
1608 reversed_comparison_code.
1609 (noce_try_cmove_arith): Likewise. Formatting fixes.
1610 (noce_try_minmax, noce_try_abs): Clear rev_cond.
1611 (noce_find_if_block): Initialize rev_cond.
1612 (find_cond_trap): Call noce_get_condition with then_bb == trap_bb
1613 instead of false as last argument never attempt to reverse it
1616 2017-02-23 Bin Cheng <bin.cheng@arm.com>
1618 PR tree-optimization/79663
1619 * tree-predcom.c (combine_chains): Process refs in reverse order
1620 only for ZERO length chains, and add explaining comment.
1622 2017-02-23 Jeff Law <law@redhat.com>
1624 PR tree-optimization/79578
1625 * tree-ssa-dse.c (clear_bytes_written_by): Use OEP_ADDRESS_OF
1626 in call to operand_equal_p.
1628 2017-01-23 Dominique d'Humieres <dominiq@lps.ens.fr>
1631 * config/i386/cpuid.h: Fix another undefined behavior.
1633 2017-02-23 Richard Biener <rguenther@suse.de>
1635 PR tree-optimization/79683
1636 * tree-vect-stmts.c (vect_analyze_stmt): Do not overwrite
1637 vector types for data-refs.
1639 2017-02-23 Martin Liska <mliska@suse.cz>
1641 * params.def (PARAM_MIN_NONDEBUG_INSN_UID): Change default to 0.
1643 2017-02-23 Jakub Jelinek <jakub@redhat.com>
1646 * internal-fn.c (get_range_pos_neg): Moved to ...
1647 * tree.c (get_range_pos_neg): ... here. No longer static.
1648 * tree.h (get_range_pos_neg): New prototype.
1649 * expr.c (expand_expr_real_2) <case TRUNC_DIV_EXPR>: If both arguments
1650 are known to be in between 0 and signed maximum inclusive, try to
1651 expand both unsigned and signed divmod and use the cheaper one from
1654 2017-02-22 Jeff Law <law@redhat.com>
1656 PR tree-optimization/79578
1657 * tree-ssa-dse.c (clear_bytes_written_by): Use operand_equal_p
1658 to compare base operands.
1660 2017-02-22 Segher Boessenkool <segher@kernel.crashing.org>
1663 * config/rs6000/rs6000.md (*fsel<SFDF:mode><SFDF2:mode>4): Use
1664 gpc_reg_operand instead of fpr_reg_operand.
1666 2017-02-22 Sameera Deshpande <sameera.deshpande@imgtec.com>
1668 * config/mips/mips.c (mips_return_in_memory): Force FP
1669 vector types to be returned in memory for o32 ABI.
1671 2017-02-22 Jakub Jelinek <jakub@redhat.com>
1673 * dwarf2out.c (gen_variable_die): For -gdwarf-5, use DW_TAG_variable
1674 instead of DW_TAG_member for static data member declarations and don't
1675 set no_linkage_name for static inline data members.
1676 (gen_member_die): For -gdwarf-5 don't change DW_TAG_variable
1679 2017-02-22 Martin Liska <mliska@suse.cz>
1681 * doc/invoke.texi: Replace inequality signs with square brackets
1684 2017-02-22 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1686 PR tree-optimization/68644
1687 * gcc.dg/tree-ssa/ivopts-lt-2.c: Skip for powerpc*-*-*.
1689 2017-02-22 Matthew Fortune <matthew.fortune@imgtec.com>
1692 * lra-constraints.c (simplify_operand_subreg): Handle
1693 WORD_REGISTER_OPERATIONS targets.
1695 2017-02-22 Jakub Jelinek <jakub@redhat.com>
1698 * reg-stack.c (emit_swap_insn): Treat (float_extend:?F (mem:?F))
1699 and (const_double:?F) like (mem:?F) for the purpose of fxch %st(1)
1700 elimination by swapping fld*.
1702 2017-02-22 Richard Biener <rguenther@suse.de>
1704 PR tree-optimization/79673
1705 * tree-ssa-pre.c (compute_avail): Use wide_int_to_tree to
1706 convert the [TARGET_]MEM_REF offset INTEGER_CST, scrapping off
1707 irrelevant address-space qualifiers and avoiding a
1708 ADDR_SPACE_CONVERT_EXPR from fold_convert.
1710 2017-02-22 Richard Biener <rguenther@suse.de>
1712 PR tree-optimization/79666
1713 * tree-vrp.c (extract_range_from_binary_expr_1): Make sure
1714 to not symbolically negate if that may introduce undefined
1717 2017-02-22 Martin Liska <mliska@suse.cz>
1720 * data-streamer-in.c (streamer_read_gcov_count): Remove assert.
1721 * data-streamer-out.c (streamer_write_gcov_count_stream):
1723 * value-prof.c (stream_out_histogram_value): Make assert more
1724 precise based on type of counter.
1726 2017-02-21 Uros Bizjak <ubizjak@gmail.com>
1729 * config/i386/i386.md (standard_x87sse_constant_load splitter):
1730 Use nonimmediate_operand instead of memory_operand for operand 1.
1731 (float-extend standard_x87sse_constant_load splitter): Ditto.
1733 2017-02-21 Jeff Law <law@redhat.com>
1735 PR tree-optimization/79621
1736 * gimple-ssa-isolate-paths.c (find_implicit_erroneous_behavior): Ignore
1737 blocks with edges to themselves.
1739 2017-02-21 Jakub Jelinek <jakub@redhat.com>
1742 * tree-chkp-opt.c (chkp_optimize_string_function_calls): Use
1743 is_gimple_call instead of comparing gimple_code with GIMPLE_CALL.
1744 Use gimple_call_builtin_p.
1747 * sel-sched.c (moveup_expr_cached): Don't call sel_bb_head
1748 on temporarily removed DEBUG_INSNs.
1750 PR tree-optimization/79649
1751 * tree-loop-distribution.c (classify_partition): Give up on
1752 non-generic address space loads/stores.
1754 2017-02-21 Aldy Hernandez <aldyh@redhat.com>
1756 * doc/loop.texi (Loop manipulation): Remove nonexistent
1757 tree_ssa_loop_version from the documentation.
1758 * cfgloopmanip.c (loop_version): Document CONDITION_BB argument.
1760 2017-02-21 Jakub Jelinek <jakub@redhat.com>
1763 * config/i386/i386.c (ix86_expand_split_stack_prologue): Call
1764 make_reg_eh_region_note_nothrow_nononlocal on call_insn.
1765 * config/rs6000/rs6000.c: Include except.h.
1766 (rs6000_expand_split_stack_prologue): Call
1767 make_reg_eh_region_note_nothrow_nononlocal on the call insn.
1769 2017-02-21 Martin Jambor <mjambor@suse.cz>
1772 * ipa-prop.c (ipa_prop_write_jump_functions): Bail out if no edges
1775 2017-02-21 Martin Jambor <mjambor@suse.cz>
1777 * common.opt (-fipa-cp-alignment): Mark as ignored and preserved
1778 for backward compatibility only.
1779 * doc/invoke.texi (Option Summary): Remove all references to
1782 2017-02-21 Matthew Fortune <matthew.fortune@imgtec.com>
1786 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1788 * lra-constraints.c (curr_insn_transform): Handle
1789 WORD_REGISTER_OPERATIONS requirements when reloading SUBREGs.
1791 2017-02-21 Martin Liska <mliska@suse.cz>
1793 * config/i386/i386.opt: Replace -masm-dialect with -masm.
1795 2017-02-21 Thomas Schwinge <thomas@codesourcery.com>
1797 PR translation/79638
1798 * config/nvptx/nvptx.c (ENTRY_TEMPLATE): Single out "%ntid.y".
1800 2017-02-21 Eric Botcazou <ebotcazou@adacore.com>
1803 * config/arm/arm.c (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Define.
1804 (arm_function_ok_for_sibcall): Return false for an indirect call by
1805 descriptor if all the argument registers are used.
1806 (arm_relayout_function): Use FUNCTION_ALIGNMENT macro to adjust the
1807 alignment of the function.
1809 2017-02-21 Jakub Jelinek <jakub@redhat.com>
1811 PR tree-optimization/61441
1812 * simplify-rtx.c (simplify_const_unary_operation): For
1813 -fsignaling-nans and sNaN operand, return NULL_RTX rather than
1814 the sNaN unmodified.
1816 2017-02-20 Bernd Edlinger <bernd.edlinger@hotmail.de>
1818 * Makefile.in (BUILD_SYSTEM_HEADER_DIR): New make variabe.
1819 (LIMITS_H_TEST, if_multiarch, stmp-fixinc): Use BUILD_SYSTEM_HEADER_DIR
1820 instead of SYSTEM_HEADER_DIR.
1822 2017-02-20 Gerald Pfeifer <gerald@pfeifer.com>
1823 Martin Liška <mliska@suse.cz>
1825 * doc/invoke.texi (use-after-scope-direct-emission-threshold):
1826 Fix typos and grammar, use active voice, and clarify.
1828 2017-02-20 Marek Polacek <polacek@redhat.com>
1831 * gimplify.c (gimplify_expr): Handle unused *&&L;.
1834 * ubsan.c (ubsan_type_descriptor): Check if TYPE_MAX_VALUE is null.
1836 2017-02-20 Jakub Jelinek <jakub@redhat.com>
1839 * config/i386/i386.c (ix86_expand_builtin): Handle
1840 OPTION_MASK_ISA_AVX512VL and OPTION_MASK_ISA_64BIT in
1841 ix86_builtins_isa[fcode].isa as a requirement of those
1842 flags and any other flag in the bitmask.
1843 (ix86_init_mmx_sse_builtins): Use 0 instead of
1844 ~OPTION_MASK_ISA_64BIT as mask.
1845 * config/i386/i386-builtin.def (__builtin_ia32_rdtsc,
1846 __builtin_ia32_rdtscp, __builtin_ia32_pause, __builtin_ia32_bsrsi,
1847 __builtin_ia32_rdpmc, __builtin_ia32_rolqi, __builtin_ia32_rolhi,
1848 __builtin_ia32_rorqi, __builtin_ia32_rorhi): Likewise.
1850 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1853 * lra-constraints.c (split_reg): Check requested split mode
1854 is supported by the register.
1856 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1858 * lra-constraints.c (simplify_operand_subreg): Remove early
1861 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1864 * lra-constraints.c (curr_insn_transform): Tighten condition
1865 for converting SUBREG reloads from OP_OUT to OP_INOUT.
1867 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1870 * lra-constraints.c (curr_insn_transform): Handle
1871 WORD_REGISTER_OPERATIONS requirements when reloading SUBREGs.
1873 2017-02-19 Uros Bizjak <ubizjak@gmail.com>
1876 2016-05-30 Uros Bizjak <ubizjak@gmail.com>
1878 * config/i386/sync.md (mfence_nosse): Use "lock orl $0, -4(%esp)".
1880 2017-02-19 Jonathan Wakely <jwakely@redhat.com>
1883 * doc/invoke.texi (C++ Dialect Options) [-Wliteral-suffix]: Update
1886 2017-02-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
1888 * gimple-pretty-print.c (dump_ternary_rhs): Adjust gimple dump format
1891 2017-02-18 Jakub Jelinek <jakub@redhat.com>
1893 * final.c (last_columnnum, override_columnnum): New variables.
1894 (final_start_function): Set last_columnnum, pass it to begin_prologue
1895 hook and pass 0 to dwarf2out_begin_prologue.
1896 (final_scan_insn): Update override_columnnum. Pass last_columnnum
1897 to source_line debug hook.
1898 (notice_source_line): Compute last_columnnum and for debug_column_info
1899 return true on column changes.
1900 * debug.h (struct gcc_debug_hooks): Add column argument to
1901 source_line and begin_prologue hooks.
1902 (debug_nothing_int_charstar_int_bool): Remove prototype.
1903 (debug_nothing_int_int_charstar,
1904 debug_nothing_int_int_charstar_int_bool): New prototypes.
1905 (dwarf2out_begin_prologue): Add column argument.
1906 * debug.c (do_nothing_debug_hooks): Adjust source_line and
1907 begin_prologue hooks.
1908 (debug_nothing_int_charstar_int_bool): Remove.
1909 (debug_nothing_int_int_charstar,
1910 debug_nothing_int_int_charstar_int_bool): New functions.
1911 * dwarf2out.c (dwarf2out_begin_prologue): Add column argument, pass it
1912 through to dwarf2out_source_line.
1913 (dwarf2_lineno_debug_hooks): Adjust begin_prologue hook.
1914 (dwarf2out_source_line): Add column argument, emit it if requested.
1915 * sdbout.c (sdbout_source_line, sdbout_begin_prologue): Add column
1917 * xcoffout.h (xcoffout_begin_prologue, xcoffout_source_line): Likewise.
1918 * xcoffout.c (xcoffout_begin_prologue, xcoffout_source_line): Likewise.
1919 * vmsdbgout.c (vmsdbgout_begin_prologue): Add column argument, pass it
1920 through to dwarf2out_begin_prologue.
1921 (vmsdbgout_source_line): Add column argument, pass it through to
1922 dwarf2out_source_line.
1923 * dbxout.c (dbxout_begin_prologue): Add column argument, adjust
1924 dbxout_source_line caller.
1925 (dbxout_source_line): Add column argument.
1927 * common.opt (gno-column-info, gcolumn-info): New options.
1928 * dwarf2out.c (dwarf2_lineno_debug_hooks): Formatting fix.
1929 (check_die): Also test for multiple DW_AT_decl_column attributes.
1930 (add_src_coords_attributes, dwarf2out_imported_module_or_decl_1): Add
1931 DW_AT_decl_column if requested.
1932 (gen_subprogram_die): Compare and/or add also DW_AT_decl_column
1934 (gen_variable_die): Likewise.
1935 (add_call_src_coords_attributes): Add DW_AT_call_column if requested.
1936 * doc/invoke.texi (-gcolumn-info, -gno-column-info): Document.
1939 * config/i386/i386.opt (m3dnowa): Replace Undocumented with Report.
1940 * common/config/i386/i386-common.c (OPTION_MASK_ISA_3DNOW_A_SET): Define.
1941 (ix86_handle_option): Handle OPT_m3dnowa.
1942 * doc/invoke.texi (-m3dnowa): Document.
1943 * doc/extend.texi (__builtin_ia32_pmulhuw, __builtin_ia32_pf2iw): Use
1944 -m3dnowa instead of -m3dnow -march=athlon.
1947 * config/i386/i386.c (ix86_print_operand): Use output_operand_lossage
1948 instead of gcc_assert for K, r and R code checks. Formatting fixes.
1950 2017-02-17 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1953 * config/rs6000/rs6000.c (rs6000_expand_ternop_builtin): Add
1954 support for CODE_FOR_vsx_xxpermdi_v2d[fi]_be.
1955 * config/rs6000/rs6000.md (reload_gpr_from_vsx<mode>): Call
1956 generator for vsx_xxpermdi_<mode>_be.
1957 * config/rs6000/vsx.md (vsx_xxpermdi_<mode>): Remove logic to
1958 force big-endian semantics.
1959 (vsx_xxpermdi_<mode>_be): New define_expand with same
1960 implementation as previous version of vsx_xxpermdi_<mode>.
1962 2017-02-17 Jakub Jelinek <jakub@redhat.com>
1964 PR tree-optimization/79327
1965 * gimple-ssa-sprintf.c (format_integer): Remove likely_adjust
1966 variable, its initialization and use.
1968 2017-02-17 Julia Koval <julia.koval@intel.com>
1970 * common/config/i386/i386-common.c (OPTION_MASK_ISA_RDPID_SET): New.
1971 (OPTION_MASK_ISA_PKU_UNSET): New.
1972 (ix86_handle_option): Handle -mrdpid.
1973 * config/i386/cpuid.h (bit_RDPID): New.
1974 * config/i386/driver-i386.c (host_detect_local_cpu):
1975 Detect RDPID feature.
1976 * config/i386/i386-builtin.def (__builtin_ia32_rdpid): New.
1977 * config/i386/i386-c.c (ix86_target_macros_internal):
1979 * config/i386/i386.c (ix86_target_string): Add -mrdpid to isa2_opts.
1980 (ix86_valid_target_attribute_inner_p): Add "rdpid".
1981 (ix86_expand_builtin): Handle IX86_BUILTIN_RDPID.
1982 * config/i386/i386.h (TARGET_RDPID, TARGET_RDPID_P): New.
1983 * config/i386/i386.md (define_insn "rdpid"): New.
1984 * config/i386/i386.opt Add -mrdpid.
1985 * config/i386/immintrin.h (_rdpid_u32): New.
1987 2017-02-17 Vladimir Makarov <vmakarov@redhat.com>
1989 PR rtl-optimization/79541
1990 * lra-constraints.c (curr_insn_transform): Remove wrong asm insn
1991 instead of transforming it into USE.
1993 2017-02-17 Segher Boessenkool <segher@kernel.crashing.org>
1995 * config/rs6000/rs6000.md (extendsfdf2): Remove default arguments.
1996 If HONOR_SNANS (SFmode) force the input to a register.
1997 (*extendsfdf2_fpr): Add !HONOR_SNANS (SFmode) condition.
1998 (*extendsfdf2_snan): New pattern, used when using SNaNs; it generates
1999 an frsp or similar insn.
2001 2017-02-17 Martin Liska <mliska@suse.cz>
2003 PR rtl-optimization/79577
2004 * params.def (selsched-max-sched-times): Increase minimum to 1.
2006 2017-02-17 Martin Liska <mliska@suse.cz>
2008 PR rtl-optimization/79574
2009 * gcse.c (want_to_gcse_p): Prevent integer overflow.
2011 2017-02-17 Martin Liska <mliska@suse.cz>
2013 PR tree-optimization/79529
2014 * tree-ssa-loop-unswitch.c (is_maybe_undefined): Use
2015 ssa_defined_default_def_p to handle cases which are implicitly
2017 * tree-ssa.c (ssa_defined_default_def_p): New function.
2018 (ssa_undefined_value_p): Use ssa_defined_default_def_p to handle cases
2019 which are implicitly defined.
2020 * tree-ssa.h (ssa_defined_default_def_p): Declare.
2022 2017-02-17 Richard Biener <rguenther@suse.de>
2025 * params.def (max-ssa-name-query-depth): Limit to 10.
2027 2017-02-17 Richard Biener <rguenther@suse.de>
2029 PR tree-optimization/79552
2030 * tree-ssa-structalias.c (visit_loadstore): Properly verify
2033 2017-02-17 Richard Biener <rguenther@suse.de>
2036 * genmatch.c (output_line_directive): Handle DIR_SEPARATOR_2.
2038 2017-02-17 Marek Polacek <polacek@redhat.com>
2041 * fold-const.c (fold_negate_expr_1): Renamed from fold_negate_expr.
2042 (fold_negate_expr): New wrapper.
2044 2017-02-16 Sandra Loosemore <sandra@codesourcery.com>
2046 * doc/invoke.texi (C++ Dialect Options) [-Wno-non-template-friend]:
2047 Correct terminology and de-emphasize pre-standard behavior.
2049 2017-02-16 Alan Modra <amodra@gmail.com>
2051 PR rtl-optimization/79286
2052 * ira.c (def_dominates_uses): New function.
2053 (update_equiv_regs): Don't create an equivalence for insns that
2054 may trap where the register def does not dominate the use.
2056 2017-02-16 Vladimir Makarov <vmakarov@redhat.com>
2058 PR rtl-optimization/78127
2059 * lra.c (lra): Call lra_eliminate before finish the loop after
2062 2017-02-16 Richard Biener <rguenther@suse.de>
2064 * graphite.h: Do not include isl/isl_val_gmp.h, instead include
2066 * graphite-isl-ast-to-gimple.c (gmp_cst_to_tree): Remove.
2067 (gcc_expression_from_isl_expr_int): Use generic isl_val interface.
2068 * graphite-sese-to-poly.c: Do not include isl/isl_val_gmp.h.
2069 (isl_val_int_from_wi): New function.
2070 (extract_affine_gmp): Rename to ...
2071 (extract_affine_wi): ... this, take a widest_int.
2072 (extract_affine_int): Just wrap extract_affine_wi.
2073 (add_param_constraints): Use isl_val_int_from_wi.
2074 (add_loop_constraints): Likewise, and extract_affine_wi.
2076 2017-02-15 Jeff Law <law@redhat.com>
2079 * ira-costs.c (scan_one_insn): Check have_regs_of_mode before calling
2080 ira_init_register_move_cost_if_necessary.
2082 2017-02-15 Martin Sebor <msebor@redhat.com>
2085 * doc/invoke.texi (-fdump-final-insns): Replace option accidentally
2086 removed in a prior commit.
2088 2017-02-15 Bin Cheng <bin.cheng@arm.com>
2090 PR tree-optimization/79347
2091 * tree-vect-loop-manip.c (vect_do_peeling): Maintain profile
2092 counters during peeling.
2094 2017-02-15 Thomas Schwinge <thomas@codesourcery.com>
2096 * Makefile.in (site.exp): Remove "set ISLVER".
2098 2017-02-15 Jakub Jelinek <jakub@redhat.com>
2101 * real.c (real_from_integer): Call real_convert even for decimal.
2103 2017-02-15 Dominik Vogt <vogt@linux.vnet.ibm.com>
2106 * config/s390/s390.c: define TARGET_CUSTOM_FUNCTION_DESCRIPTORS.
2108 2017-02-14 Andrew Pinski <apinski@cavium.com>
2110 * config/aarch64/aarch64-cores.def (thunderx2t99): Move to under 'C"
2111 cores and change the partno/implementer to be correct.
2112 (thunderx2t99p1): New core which replaces thunderx2t99 and still has
2113 the 'B" as the implementer.
2114 * config/aarch64/aarch64-tune.md: Regenerate.
2116 2017-02-14 Carl Love <cel@us.ibm.com>
2118 * config/rs6000/rs6000.c: Add case statement entry to make the
2119 xvcvuxdsp built-in argument unsigned.
2120 * config/rs6000/vsx.md: Fix the source and return operand types so they
2121 match the instruction definitions from the ISA document. Fix typo
2122 in the instruction generation for the (define_insn "vsx_xvcvuxdsp"
2125 2017-02-14 Vladimir Makarov <vmakarov@redhat.com>
2128 * lra-int.h (struct lra_operand_data, struct lra_insn_reg): Add
2129 member early_clobber_alts.
2130 * lra-lives.c (reg_early_clobber_p): New.
2131 (process_bb_lives): Use it.
2132 * lra.c (new_insn_reg): New arg early_clobber_alts. Use it.
2133 (debug_operand_data): Initialize early_clobber_alts.
2134 (setup_operand_alternative): Set up early_clobber_alts.
2135 (collect_non_operand_hard_regs): Ditto. Pass early clobber
2136 alternatives to new_insn_reg.
2137 (add_regs_to_insn_regno_info): Add arg early_clobber_alts. Use
2139 (lra_update_insn_regno_info): Pass the new arg.
2141 2017-02-14 Jakub Jelinek <jakub@redhat.com>
2144 * omp-offload.c (free_oacc_loop): Release loop->ifns vector.
2145 (new_oacc_loop_raw): Don't clear already cleared fields.
2148 * config/i386/avx512pfintrin.h (_mm512_prefetch_i32gather_pd,
2149 _mm512_prefetch_i32gather_ps, _mm512_prefetch_i64gather_pd,
2150 _mm512_prefetch_i64gather_ps): New inline functions and macros.
2152 2017-02-14 Uros Bizjak <ubizjak@gmail.com>
2155 * config/i386/i386.md (*movxf_internal): Add (o,rC) alternative.
2157 2017-02-14 H.J. Lu <hongjiu.lu@intel.com>
2160 * config/i386/i386.c (timode_scalar_chain::convert_insn): Insert
2161 the extra instruction to the right place to store 128-bit constant
2164 2017-02-14 Martin Sebor <msebor@redhat.com>
2167 * gimple-ssa-sprintf.c (format_directive): Avoid issuing INT_MAX
2168 warning for strings of unknown length.
2170 2017-02-13 Segher Boessenkool <segher@kernel.crashing.org>
2172 * config.gcc (supported_defaults) [powerpc*-*-*]: Update.
2174 2017-02-14 Jeff Law <law@redhat.com>
2177 * ira-costs.c (scan_one_insn): Initialize register move costs
2178 for pseudos seen in USE/CLOBBER insns.
2180 PR tree-optimization/79095
2181 * tree-vrp.c (extract_range_from_binary_expr_1): For EXACT_DIV_EXPR,
2182 if the numerator has the range ~[0,0] make the resultant range ~[0,0].
2183 (extract_range_from_binary_expr): For MINUS_EXPR with no derived range,
2184 if the operands are known to be not equal, then the resulting range
2186 (intersect_ranges): If the new range is ~[0,0] and the old range is
2187 wide, then prefer ~[0,0].
2188 * tree-vrp.c (overflow_comparison_p_1): New function.
2189 (overflow_comparison_p): New function.
2190 * tree-vrp.c (register_edge_assert_for_2): Register additional asserts
2191 if NAME is used in an overflow test.
2192 (vrp_evaluate_conditional_warnv_with_ops): If the ops represent an
2193 overflow check that can be expressed as an equality test, then adjust
2194 ops to be that equality test.
2196 2017-02-14 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
2198 * config/s390/s390-builtin-types.def: Remove flags argument.
2199 * config/s390/s390.c (s390_init_builtins): Likewise.
2201 2017-02-14 Martin Liska <mliska@suse.cz>
2203 * tree-ssa-loop-unswitch.c (hoist_guard): Release get_loop_body
2204 vector. Fix trailing white spaces.
2206 2017-02-14 James Greenhalgh <james.greenhalgh@arm.com>
2208 * config/aarch64/aarch64.c (aarch64_simd_container_mode): Handle
2211 2017-02-14 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2213 PR rtl-optimization/68664
2214 * config/arm/arm.c (arm_sched_can_speculate_insn):
2215 New function. Declare prototype.
2216 (TARGET_SCHED_CAN_SPECULATE_INSN): Define.
2218 2017-02-14 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2220 PR rtl-optimization/68664
2221 * config/aarch64/aarch64.c (aarch64_sched_can_speculate_insn):
2223 (TARGET_SCHED_CAN_SPECULATE_INSN): Define.
2225 2017-02-14 Amit Pawar <amit.pawar@amd.com>
2227 * config/i386/i386.c (znver1_cost): Fix the alignment for function and
2228 max skip bytes for function, loop and jump.
2230 2017-02-14 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
2232 * gimple-pretty-print.c (dump_unary_rhs): Adjust dump format for
2233 ABS_EXPR for gimple dump.
2235 2017-02-14 Jakub Jelinek <jakub@redhat.com>
2238 * config/sh/sh.c (expand_cbranchdi4): Don't clear operands[4].
2240 PR tree-optimization/79408
2241 * tree-vrp.c (simplify_div_or_mod_using_ranges): Handle also the
2242 case when on TRUNC_MOD_EXPR op0 is INTEGER_CST.
2243 (simplify_stmt_using_ranges): Call simplify_div_or_mod_using_ranges
2244 also if rhs1 is INTEGER_CST.
2246 2017-02-14 Richard Biener <rguenther@suse.de>
2249 * tree-into-ssa.c (insert_phi_nodes): When the function can
2250 have abnormal edges rewrite SSA names with broken use-def
2251 dominance out of SSA and register them for PHI insertion.
2253 2017-02-13 Martin Sebor <msebor@redhat.com>
2256 * gimple-ssa-sprintf.c (pass_sprintf_length::handle_gimple_call): Avoid
2257 clearing info.nowrite flag when snprintf size argument is a range.
2259 2017-02-13 Jakub Jelinek <jakub@redhat.com>
2261 * cprop.c (cprop_jump): Add missing space in string literal.
2262 * tree-ssa-structalias.c (rewrite_constraints): Likewise.
2263 (get_constraint_for_component_ref): Likewise.
2264 * df-core.c (df_worklist_dataflow_doublequeue): Likewise.
2265 * tree-outof-ssa.c (insert_partition_copy_on_edge): Likewise.
2266 * lra-constraints.c (process_alt_operands): Likewise.
2267 * ipa-inline.c (inline_small_functions): Likewise.
2268 * tree-ssa-sccvn.c (visit_reference_op_store): Likewise.
2269 * cgraph.c (cgraph_edge::redirect_call_stmt_to_callee): Likewise.
2270 * trans-mem.c (diagnose_tm_1_op): Likewise.
2271 * omp-grid.c (grid_find_single_omp_among_assignments): Likewise.
2272 (grid_parallel_clauses_gridifiable): Likewise.
2274 * config/nvptx/mkoffload.c (process): Add space in between
2277 * config/i386/i386.h (REG_CLASS_NAMES): Add , in between
2278 "MOD4_SSE_REGS" and "ALL_REGS".
2280 * spellcheck.c (test_data): Add , in between "foo" and "food".
2282 2017-02-13 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
2285 * config/rs6000/rs6000.c (expand_block_compare): Make sure runtime
2286 boundary crossing check and subsequent code generation agree.
2288 2017-02-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2290 * config/aarch64/aarch64.c (has_memory_op): Delete.
2291 (aarch64_madd_needs_nop): Use contains_mem_rtx_p instead of
2294 2017-02-13 Jakub Jelinek <jakub@redhat.com>
2296 PR rtl-optimization/79388
2297 PR rtl-optimization/79450
2298 * combine.c (distribute_notes): When removing TEM_INSN for which
2299 corresponding dest has last value recorded, invalidate that last
2302 2017-02-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2304 * config/arm/arm.c (arm_print_tune_info): Use ASM_COMMENT_START instead
2305 of explicit '@'. Add missing assembly comment marker on branch costs
2308 2017-02-13 Nathan Sidwell <nathan@acm.org>
2310 * gengtype-lex.l (<in_struct>): Add '/'.
2312 2017-02-13 Martin Liska <mliska@suse.cz>
2315 * calls.c (expand_call): Replace XALLOCAVEC with XCNEWVEC.
2317 2017-02-13 Richard Biener <rguenther@suse.de>
2319 * configure.ac (HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS):
2321 * configure: Re-generate.
2322 * config.in: Likewise.
2323 * graphite-dependences.c: Simplify as if
2324 HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS was defined.
2325 * graphite-isl-ast-to-gimple.c: Likewise.
2326 * graphite-optimize-isl.c: Likewise.
2327 * graphite-poly.c: Likewise.
2328 * graphite-sese-to-poly.c: Likewise.
2329 * graphite.h: Likewise.
2330 * toplev.c: Include isl/version.h and use isl_version () for
2331 printing the ISL version.
2332 * doc/install.texi: Update ISL requirement.
2334 2017-02-12 Gerald Pfeifer <gerald@pfeifer.com>
2336 * doc/standards.texi (Standards): Update reference to
2339 2017-02-12 Gerald Pfeifer <gerald@pfeifer.com>
2341 * doc/extend.texi (Named Address Spaces): sourceware.org now
2343 * doc/install.texi (Binaries): Ditto.
2346 2017-02-11 Sandra Loosemore <sandra@codesourcery.com>
2348 * doc/cpp.texi: Replace "stringify"/"stringification" with C
2349 standard terminology "stringize"/"stringizing" throughout.
2350 * doc/cppinternals.texi: Likewise.
2352 2017-02-11 Sandra Loosemore <sandra@codesourcery.com>
2354 * doc/extend.texi: Fix some spelling mistakes and typos.
2355 * doc/invoke.texi: Likewise.
2357 2017-02-11 Jan Hubicka <hubicka@ucw.cz>
2360 * params.def (inline-min-speedup) Change from 10 to 8.
2362 2017-02-11 Jakub Jelinek <jakub@redhat.com>
2364 * doc/invoke.texi (fopenmp): Bump OpenMP version from 4.0 to
2367 2017-02-11 Jan Hubicka <hubicka@ucw.cz>
2370 * ipa-inline-analysis.c (get_minimal_bb): New function.
2371 (record_modified): Use it.
2372 (remap_edge_change_prob): Handle also ancestor functions.
2374 2017-02-11 Gerald Pfeifer <gerald@pfeifer.com>
2376 * doc/contrib.texi (Contributors): Remove broken link into
2377 the Mauve CVS repository.
2379 2017-02-11 Jakub Jelinek <jakub@redhat.com>
2382 * internal-fn.c (expand_vector_ubsan_overflow): Use piece-wise
2383 result computation whenever lhs doesn't have vector mode, not
2384 just when it has BLKmode.
2386 2017-02-10 Gerald Pfeifer <gerald@pfeifer.com>
2388 * doc/makefile.texi (profiledbootstrap): Refer to the
2389 installation instructions only in textual form.
2391 2017-02-10 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
2394 * config/rs6000/altivec.md (bcd<bcd_add_sub>): Fix constraints.
2396 2017-02-10 Gerald Pfeifer <gerald@pfeifer.com>
2398 * doc/install.texi (Specific): Use https for blackfin.uclinux.org.
2399 (Specific): Update mingw-w64 reference.
2401 (Specific): Remove broken link to Renesas RX processor.
2403 2017-02-10 Richard Biener <rguenther@suse.de>
2405 * toplev.c (process_options): Do not mention obsolete graphite
2406 options when printing sorry message about missing graphite support.
2407 Mention -floop-nest-optimize.
2409 2017-02-10 Christophe Lyon <christophe.lyon@linaro.org>
2411 * config/aarch64/arm_neon.h (vtst_p8): Rewrite without asm.
2412 (vtst_p16): Likewise.
2413 (vtstq_p8): Likewise.
2414 (vtstq_p16): Likewise.
2416 (vtstq_p64): Likewise.
2417 * config/arm/arm_neon.h (vgetq_lane_p64): New.
2418 (vset_lane_p64): New.
2419 (vsetq_lane_p64): New.
2421 2017-02-10 Jakub Jelinek <jakub@redhat.com>
2423 PR tree-optimization/79411
2424 * tree-ssa-reassoc.c (is_reassociable_op): Return false if
2425 stmt operands are SSA_NAMEs used in abnormal phis.
2426 (can_reassociate_p): Return false if op is SSA_NAME used in abnormal
2429 2017-02-09 Jan Hubicka <hubicka@ucw.cz>
2432 * cgraphunit.c (cgraph_node::add_new_function): Set externally_visible
2435 2017-02-09 Jan Hubicka <hubicka@ucw.cz>
2437 * tree-ssa-loop-unswitch.c (hoist_guard): Update profile.
2439 2017-02-09 Jakub Jelinek <jakub@redhat.com>
2441 * omp-offload.c (oacc_loop_auto_partitions): Use || instead of |
2445 * gimplify.h (is_gimple_sizepos): Only test for INTEGER_CST constants,
2446 not arbitrary TREE_CONSTANT.
2449 * gimplify.c (gimplify_adjust_omp_clauses): Ignore
2450 "omp declare target link" attribute unless is_global_var.
2451 * omp-offload.c (find_link_var_op): Likewise.
2453 2017-02-09 Nathan Sidwell <nathan@codesourcery.com>
2454 Chung-Lin Tang <cltang@codesourcery.com>
2456 * gimplify.c (gimplify_scan_omp_clauses): No special handling for
2458 (gimplify_adjust_omp_clauses): Don't delete TILE.
2459 (gimplify_omp_for): Deal with TILE.
2460 * internal-fn.c (expand_GOACC_TILE): New function.
2461 * internal-fn.def (GOACC_DIM_POS): Comment may be overly conservative.
2463 * omp-expand.c (struct oacc_collapse): Add tile and outer fields.
2464 (expand_oacc_collapse_init): Add LOC paramter. Initialize tile
2466 (expand_oacc_collapse_vars): Add INNER parm, adjust for tiling,
2467 avoid DIV for outermost collapse var.
2468 (expand_oacc_for): Insert tile element loop as needed. Adjust.
2469 Remove out of date comments, fix whitespace.
2470 * omp-general.c (omp_extract_for_data): Deal with tiling.
2471 * omp-general.h (enum oacc_loop_flags): Add OLF_TILE flag,
2472 adjust OLF_DIM_BASE value.
2473 (struct omp_for_data): Add tiling field.
2474 * omp-low.c (scan_sharing_clauses): Allow OMP_CLAUSE_TILE.
2475 (lower_oacc_head_mark): Add OLF_TILE as appropriate. Ensure 2 levels
2476 for auto loops. Remove default auto determining, moved to
2477 oacc_loop_fixed_partitions.
2478 * omp-offload.c (struct oacc_loop): Change 'ifns' to vector of call
2479 stmts, add e_mask field.
2480 (oacc_dim_call): New function, abstracted out from oacc_thread_numbers.
2481 (oacc_thread_numbers): Use oacc_dim_call.
2482 (oacc_xform_tile): New.
2483 (new_oacc_loop_raw): Initialize e_mask, adjust for ifns vector.
2484 (finish_oacc_loop): Adjust for ifns vector.
2485 (oacc_loop_discover_walk): Append loop abstraction sites to list,
2486 add case for GOACC_TILE fns.
2487 (oacc_loop_xform_loop): Delete.
2488 (oacc_loop_process): Iterate over call list directly, and add
2489 handling for GOACC_TILE fns.
2490 (oacc_loop_fixed_partitions): Determine default auto, deal with TILE,
2492 (oacc_loop_auto_partitions): Add outer_assign parm. Assign all but
2493 vector partitioning to outer loops. Assign 2 partitions to loops
2494 when available. Add TILE handling.
2495 (oacc_loop_partition): Adjust oacc_loop_auto_partitions call.
2496 (execite_oacc_device_lower): Process GOACC_TILE fns, ignore unknown specs.
2497 * tree-nested.c (convert_nonlocal_omp_clauses): Allow OMP_CLAUSE_TILE.
2498 * tree.c (omp_clause_num_ops): Adjust TILE ops.
2499 * tree.h (OMP_CLAUSE_TILE_ITERVAR, OMP_CLAUSE_TILE_COUNT): New.
2501 2017-02-09 Gerald Pfeifer <gerald@pfeifer.com>
2503 * configure.ac (ACX_BUGURL): Update.
2504 * configure: Regenerate.
2506 2017-02-09 Richard Biener <rguenther@suse.de>
2508 PR tree-optimization/69823
2509 * graphite-scop-detection.c (scop_detection::harmful_loop_in_region):
2510 Properly enumerate all BBs in the region. Use auto_vec/auto_bitmap.
2512 2017-02-09 Andrew Burgess <andrew.burgess@embecosm.com>
2514 * config/arc/arc-c.def: Add __NPS400__ definition.
2515 * config/arc/arc.h (CPP_SPEC): Don't define __NPS400__ here.
2516 (TARGET_NPS400): Define.
2518 2017-02-09 Andrew Burgess <andrew.burgess@embecosm.com>
2520 * config/arc/arc-arch.h (arc_arch_t): Move unchanged to earlier in
2522 (arc_cpu_t): Change base_architecture field, arch, to a arc_arc_t
2524 (arc_cpu_types): Fill the arch_info field with a pointer into the
2525 arc_arch_types table.
2526 (arc_selected_cpu): Declare.
2527 * config/arc/arc.c (arc_selected_cpu): Make global.
2528 (arc_selected_arch): Delete.
2529 (arc_base_cpu): Delete.
2530 (arc_override_options): Remove references to deleted variables,
2531 update access to arch information.
2532 (ARC_OPT): Update access to arch information.
2533 (ARC_OPTX): Likewise.
2534 * config/arc/arc.h (arc_base_cpu): Remove declaration.
2535 (TARGET_ARC600): Update access to arch information.
2536 (TARGET_ARC601): Likewise.
2537 (TARGET_ARC700): Likewise.
2538 (TARGET_EM): Likewise.
2539 (TARGET_HS): Likewise.
2540 * config/arc/driver-arc.c (arc_cpu_to_as): Update access to arch
2543 2017-02-08 Pat Haugen <pthaugen@us.ibm.com>
2546 * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Invert
2547 condition/operands for integer GE/LE/GEU/LEU operations.
2549 2017-02-08 Segher Boessenkool <segher@kernel.crashing.org>
2551 PR translation/79397
2552 * config/rs6000/rs6000.opt (maltivec=le, maltivec=be): Fix spelling
2555 2017-02-08 Martin Jambor <mjambor@suse.cz>
2558 * ipa-prop.c (ipa_alloc_node_params): Make static, return bool
2559 whether allocation happened.
2560 (ipa_initialize_node_params): Do not call ipa_alloc_node_params if
2561 nothing was allocated.
2563 2017-02-08 Jakub Jelinek <jakub@redhat.com>
2565 PR tree-optimization/79408
2566 * tree-vrp.c (simplify_div_or_mod_using_ranges): If op1 is not
2567 constant, but SSA_NAME with a known integer range, use the minimum
2568 of that range instead of op1 to determine if modulo can be replaced
2569 with its first operand.
2571 2016-02-08 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2573 * config/riscv/riscv.c (riscv_build_integer_1): Avoid use of INT16_MAX.
2575 2017-02-08 Richard Biener <rguenther@suse.de>
2577 PR tree-optimization/71824
2578 * graphite-scop-detection.c (scop_detection::build_scop_breadth):
2579 Check all loops contained in the merged region.
2581 2017-02-07 Andrew Pinski <apinski@cavium.com>
2583 * config/aarch64/aarch64.md (popcount<mode>2): New pattern.
2585 2017-02-07 Andrew Pinski <apinski@cavium.com>
2587 * config/aarch64/aarch64-cores.def (thunderx): Disable LSE.
2588 (thunderxt88): Likewise.
2589 (thunderxt81): Disable LSE and change v8.1 to v8.
2590 (thunderxt83): Likewise.
2592 2017-02-07 Jakub Jelinek <jakub@redhat.com>
2593 Richard Biener <rguenther@suse.de>
2596 * ira-int.h (struct target_ira_int): Change x_max_struct_costs_size
2597 type from int to size_t.
2598 * ira-costs.c (struct_costs_size): Change type from int to size_t.
2600 2017-02-07 Jakub Jelinek <jakub@redhat.com>
2602 PR rtl-optimization/79386
2603 * cprop.c (bypass_conditional_jumps): Initialize
2604 bypass_last_basic_block already before splitting bbs after
2605 unconditional traps...
2606 (bypass_conditional_jumps): ... rather than here.
2609 * config/i386/sse.md (xtg_mode, gatherq_mode): New mode attrs.
2610 (*avx512f_gathersi<mode>, *avx512f_gathersi<mode>_2,
2611 *avx512f_gatherdi<mode>, *avx512f_gatherdi<mode>_2): Use them,
2612 fix -masm=intel patterns.
2614 2017-02-07 Richard Biener <rguenther@suse.de>
2616 PR tree-optimization/79256
2618 * builtins.c (get_object_alignment_2): Use min_align_of_type
2619 to extract alignment for MEM_REFs to honor BIGGEST_FIELD_ALIGNMENT
2620 and ADJUST_FIELD_ALIGN.
2622 * doc/tm.texi.in (ADJUST_FIELD_ALIGN): Adjust to take additional
2624 * doc/tm.texi: Regenerate.
2625 * stor-layout.c (layout_decl): Adjust.
2626 (update_alignment_for_field): Likewise.
2627 (place_field): Likewise.
2628 (min_align_of_type): Likewise.
2629 * config/arc/arc.h (ADJUST_FIELD_ALIGN): Adjust.
2630 * config/epiphany/epiphany.h (ADJUST_FIELD_ALIGN): Likewise.
2631 * config/epiphany/epiphany.c (epiphany_adjust_field_align): Likewise.
2632 * config/frv/frv.h (ADJUST_FIELD_ALIGN): Likewise.
2633 * config/frv/frv.c (frv_adjust_field_align): Likewise.
2634 * config/i386/i386.h (ADJUST_FIELD_ALIGN): Likewise.
2635 * config/i386/i386.c (x86_field_alignment): Likewise.
2636 * config/rs6000/aix.h (ADJUST_FIELD_ALIGN): Likewise.
2637 * config/rs6000/darwin.h (ADJUST_FIELD_ALIGN): Likewise.
2638 * config/rs6000/freebsd64.h (ADJUST_FIELD_ALIGN): Likewise.
2639 * config/rs6000/linux64.h (ADJUST_FIELD_ALIGN): Likewise.
2640 * config/rs6000/sysv4.h (ADJUST_FIELD_ALIGN): Likewise.
2641 * config/rs6000/rs6000.c (rs6000_special_adjust_field_align_p):
2645 2017-01-30 Richard Biener <rguenther@suse.de>
2647 PR tree-optimization/79256
2648 * targhooks.c (default_builtin_vector_alignment_reachable): Honor
2649 BIGGEST_FIELD_ALIGNMENT and ADJUST_FIELD_ALIGN to fix up bogus
2652 2017-02-07 Toma Tabacu <toma.tabacu@imgtec.com>
2654 * config/mips/mips.c (mips_expand_builtin_insn): Convert the QImode
2655 argument of the pshufh, psllh, psllw, psrah, psraw, psrlh, psrlw
2656 builtins to SImode and emit a zero-extend, if necessary.
2658 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
2660 * docs/invoke.texi (RISC-V Options): Alphabetize.
2662 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
2664 * doc/invoke.texi (RISC-V Options): Use two spaces to separate
2667 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
2669 * config/riscv/riscv.c: New file.
2670 * gcc/common/config/riscv/riscv-common.c: Likewise.
2671 * config.gcc: Likewise.
2672 * config/riscv/constraints.md: Likewise.
2673 * config/riscv/elf.h: Likewise.
2674 * config/riscv/generic.md: Likewise.
2675 * config/riscv/linux.h: Likewise.
2676 * config/riscv/multilib-generator: Likewise.
2677 * config/riscv/peephole.md: Likewise.
2678 * config/riscv/pic.md: Likewise.
2679 * config/riscv/predicates.md: Likewise.
2680 * config/riscv/riscv-builtins.c: Likewise.
2681 * config/riscv/riscv-c.c: Likewise.
2682 * config/riscv/riscv-ftypes.def: Likewise.
2683 * config/riscv/riscv-modes.def: Likewise.
2684 * config/riscv/riscv-opts.h: Likewise.
2685 * config/riscv/riscv-protos.h: Likewise.
2686 * config/riscv/riscv.h: Likewise.
2687 * config/riscv/riscv.md: Likewise.
2688 * config/riscv/riscv.opt: Likewise.
2689 * config/riscv/sync.md: Likewise.
2690 * config/riscv/t-elf-multilib: Likewise.
2691 * config/riscv/t-linux: Likewise.
2692 * config/riscv/t-linux-multilib: Likewise.
2693 * config/riscv/t-riscv: Likewise.
2694 * configure.ac: Likewise.
2695 * doc/contrib.texi: Add Kito Cheng, Palmer Dabbelt, and Andrew
2696 Waterman as RISC-V maintainers.
2697 * doc/install.texi: Add RISC-V entries.
2698 * doc/invoke.texi: Add RISC-V options section.
2699 * doc/md.texi: Add RISC-V constraints section.
2700 * configure: Regenerated.
2702 2017-02-06 Michael Meissner <meissner@linux.vnet.ibm.com>
2705 * config/rs6000/vector.md (vcond<mode><mode>): Allow the true and
2706 false values to be constant vectors with all 0 or all 1 bits set.
2707 (vcondu<mode><mode>): Likewise.
2708 * config/rs6000/predicates.md (vector_int_reg_or_same_bit): New
2710 (fpmask_comparison_operator): Update comment.
2711 (vecint_comparison_operator): New predicate.
2712 * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Optimize
2713 vector conditionals when the true and false values are constant
2714 vectors with all 0 bits or all 1 bits set.
2716 2017-02-06 Martin Sebor <msebor@redhat.com>
2718 PR tree-optimization/79376
2719 * gimple-fold.c (get_range_strlen): Set the minimum length to zero.
2721 2017-02-06 Uros Bizjak <ubizjak@gmail.com>
2723 * config/i386/sse.md (vector modes -> vec_extract* splitter): Use
2724 explicit subreg RTX with operand 1. Use VECTOR_MODE_P predicate
2725 to simplify split condition.
2727 2017-02-06 Jakub Jelinek <jakub@redhat.com>
2729 * omp-expand.c (oxpand_omp_atomic_fetch_op,
2730 expand_omp_atomic_pipeline): Return false if can_atomic_load_p is
2733 2017-02-06 Segher Boessenkool <segher@kernel.crashing.org>
2735 PR rtl-optimization/68664
2736 * target.def (can_speculate_insn): New hook.
2737 * doc/tm.texi.in (TARGET_SCHED_CAN_SPECULATE_INSN): New hook.
2738 * doc/tm.texi: Regenerate.
2739 * sched-rgn.c (can_schedule_ready_p): Use the new hook.
2740 * config/rs6000/rs6000.c (TARGET_SCHED_CAN_SPECULATE_INSN): New macro.
2741 (rs6000_sched_can_speculate_insn): New function.
2743 2017-02-06 Jakub Jelinek <jakub@redhat.com>
2745 PR tree-optimization/79284
2746 * tree-vectorizer.h (VECT_SCALAR_BOOLEAN_TYPE_P): Define.
2747 * tree-vect-stmts.c (vect_get_vec_def_for_operand,
2748 vectorizable_mask_load_store, vectorizable_operation,
2749 vect_is_simple_cond, get_same_sized_vectype): Use it instead
2750 of comparing TREE_CODE of a type against BOOLEAN_TYPE.
2751 * tree-vect-patterns.c (check_bool_pattern, search_type_for_mask_1,
2752 vect_recog_bool_pattern, vect_recog_mask_conversion_pattern): Likewise.
2753 * tree-vect-slp.c (vect_get_constant_vectors): Likewise.
2754 * tree-vect-loop.c (vect_determine_vectorization_factor): Likewise.
2755 Remove redundant gimple_code (stmt) == GIMPLE_ASSIGN test after
2756 is_gimple_assign (stmt). Replace another such test with
2757 is_gimple_assign (stmt).
2759 2017-02-06 Georg-Johann Lay <avr@gjlay.de>
2762 * config/avr/avr.c (rtl-iter.h): Include it.
2763 (TARGET_LEGITIMATE_COMBINED_INSN): New hook define...
2764 (avr_legitimate_combined_insn): ...and implementation.
2766 2017-02-06 Dominik Vogt <vogt@linux.vnet.ibm.com>
2768 * config/s390/predicates.md ("larl_operand"): Use macros from hwint.h.
2769 * config/s390/s390.c (s390_const_operand_ok)
2770 (s390_canonicalize_comparison, s390_extract_part)
2771 (s390_single_part, s390_contiguous_bitmask_nowrap_p)
2772 (s390_contiguous_bitmask_p, s390_rtx_costs)
2773 (legitimize_pic_address): Likewise.
2774 * config/s390/s390.md ("clzdi2", "clztidi2"): Likewise.
2775 * config/s390/vx-builtins.md ("vec_genbytemaskv16qi")
2776 ("vec_permi<mode>", "vfae<mode>", "*vfaes<mode>", "vstrc<mode>")
2777 ("*vstrcs<mode>"): Use UINTVAL() to set unsigned HOST_WIDE_INT.
2778 * config/s390/vector.md ("vec_vfenes<mode>"): Likewise.
2780 2017-02-06 Georg-Johann Lay <avr@gjlay.de>
2782 * config/avr/avr.md (*addhi3_zero_extend): Add alternative where
2783 REGNO($0) == REGNO($1).
2785 2017-02-06 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
2787 * config/s390/linux.h(SIZE_TYPE): Add comment.
2789 2017-02-06 Julian Brown <julian@codesourcery.com>
2790 Naveen H.S <Naveen.Hurugalawadi@cavium.com>
2791 Virendra Pathak <virendra.pathak@broadcom.com>
2793 * config/aarch64/aarch64-cores.def: Change the scheduler
2795 * config/aarch64/aarch64.md: Include thunderx2t99.md.
2796 * config/aarch64/thunderx2t99.md: New file.
2798 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2800 * doc/standards.texi (Go Language): Update link to language
2803 2017-02-05 Jan Hubicka <hubicka@ucw.cz>
2805 * tree-eh.c (lower_resx): Sanitize profile.
2806 (cleanup_empty_eh_move_lp): Likewise.
2808 2017-02-05 Jan Hubicka <hubicka@ucw.cz>
2811 * cfgloopmanip.c (lv_adjust_loop_entry_edge, loop_version): Add
2813 * cfgloopmanip.h (loop_version): Update prototype.
2814 * modulo-sched.c (sms_schedule): Update call of loop_version.
2815 * tree-if-conv.c(version_loop_for_if_conversion): Likewise.
2816 * tree-parloops.c (gen_parallel_loop): Likewise.
2817 * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Likewise.
2818 * tree-ssa-loop-split.c (split_loop): Likewise.
2819 * tree-ssa-loop-unswitch.c (tree_unswitch_loop): Likewise.
2820 * tree-vect-loop-manip.c (vect_loop_versioning): Likewise.
2822 2017-02-05 Martin Liska <mliska@suse.cz>
2825 * config/s390/s390.c (s390_gimplify_va_arg): Initialize local
2827 (print_operand_address): Initialize a struct to zero.
2829 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2831 * doc/contrib.texi (Contributors): Refer to Hans Boehm's
2832 garbage collector only in textual form.
2834 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2836 * doc/extend.texi (x86 specific memory model extensions for
2837 transactional memory): Simplify a phrase.
2839 2017-02-05 Eric Botcazou <ebotcazou@adacore.com>
2842 * config/sparc/sync.md (atomic_loaddi_1): Replace 'U' constraint with
2843 'r', 'm' constraint with 'T' and !TARGET_ARCH64 with TARGET_ARCH32.
2844 (atomic_storedi_1): Likewise.
2846 2017-02-04 Jakub Jelinek <jakub@redhat.com>
2848 PR tree-optimization/79338
2849 * tree-parloops.c (gather_scalar_reductions): Don't call
2850 vect_analyze_loop_form for loop->inner before destroying loop's
2853 2017-02-03 Martin Sebor <msebor@redhat.com>
2855 PR tree-optimization/79327
2856 * gimple-ssa-sprintf.c (tree_digits): Avoid adding the base prefix
2857 when precision has resulted in leading zeros.
2858 (format_integer): Adjust the likely counter to assume an unknown
2859 argument that may be zero is non-zero.
2861 2017-02-03 Jason Merrill <jason@redhat.com>
2864 * tree-inline.c (copy_tree_body_r) [COND_EXPR]: Revert change to
2865 avoid copying non-taken branch.
2867 2017-02-03 Jakub Jelinek <jakub@redhat.com>
2869 PR tree-optimization/79340
2870 * tree-vect-loop.c (vectorizable_reduction): Release
2871 vec_defs elements after safe_splicing them into other vectors.
2874 PR tree-optimization/79327
2875 * gimple-ssa-sprintf.c (adjust_range_for_overflow): If returning
2876 true, always set *argmin and *argmax to TYPE_{MIN,MAX}_VALUE of
2878 (format_integer): Use wide_int_to_tree instead of build_int_cst
2879 + to_?hwi. If argmin is NULL, just set argmin and argmax to
2880 TYPE_{MIN,MAX}_VALUE of argtype. Simplify and fix computation
2881 of shortest and longest sequence.
2883 2017-02-03 Uros Bizjak <ubizjak@gmail.com>
2885 * config/i386/i386.c (dimode_scalar_chain::convert_reg):
2886 Use pextrd for TARGET_SSE4_1 when creating scalar copy.
2888 2017-02-03 Walter Lee <walt@tilera.com>
2891 * config/tilegx/tilegx.md (tilegx_expand_prologue): Add blockage
2892 after initial stackframe link reg save.
2893 * config/tilepro/tilepro.md (tilepro_expand_prologue): Likewise.
2895 2017-02-03 Jakub Jelinek <jakub@redhat.com>
2898 * config/rs6000/rs6000.md (movsi_from_sf): Use wb constraint instead of
2899 wu for stxssp alternative.
2901 2017-02-03 Martin Sebor <msebor@redhat.com>
2903 PR tree-optimization/79352
2904 * gimple-fold.c (get_range_strlen): Add argument.
2905 (get_range_strlen): Change return type to bool.
2906 (get_maxval_strlen): Pass in a dummy argument.
2907 * gimple-fold.h (get_range_strlen): Change return type to bool.
2908 * gimple-ssa-sprintf.c (get_string_length): Set unlikely counter.
2909 * tree.h (array_at_struct_end_p): Add argument.
2910 * tree.c (array_at_struct_end_p): Handle it.
2912 2017-02-03 Martin Liska <mliska@suse.cz>
2915 * multiple_target.c (create_dispatcher_calls): Redirect edge
2916 from a caller of a dispatcher.
2917 (expand_target_clones): Make the clones local.
2918 (ipa_target_clone): Do both target clones and resolvers.
2919 (ipa_dispatcher_calls): Remove the pass.
2920 (pass_dispatcher_calls::gate): Likewise.
2921 (make_pass_dispatcher_calls): Likewise.
2922 * passes.def (pass_target_clone): Put as very first IPA early
2925 2017-02-03 Martin Liska <mliska@suse.cz>
2927 * symtab.c (symtab_node::binds_to_current_def_p): Bail out
2928 in case of a function with ifunc attribute.
2930 2017-02-03 Martin Liska <mliska@suse.cz>
2932 * cgraph.c (cgraph_node::dump): Dump function version info.
2933 * symtab.c (symtab_node::dump_base): Add missing new line.
2935 2017-02-02 Jan Hubicka <hubicka@ucw.cz>
2937 * tree-ssa-ifcombine.c (update_profile_after_ifcombine): New function.
2938 (ifcombine_ifandif): Use it.
2940 2017-02-03 Martin Liska <mliska@suse.cz>
2942 * doc/invoke.texi: Document default value for
2943 use-after-scope-direct-emission-threshold.
2945 2017-02-03 Martin Liska <mliska@suse.cz>
2947 PR tree-optimization/79339
2948 * gimple-ssa-sprintf.c (format_floating_max): Call mpfr_clear.
2949 (format_floating): Likewise.
2951 2017-02-03 Martin Liska <mliska@suse.cz>
2954 * ipa-prop.c (ipa_node_params_t::insert): Remove current
2956 (ipa_node_params_t::remove): Likewise.
2957 * ipa-prop.h (ipa_node_params::ipa_node_params): Make default
2958 initialization from removed ipa_node_params_t::insert.
2959 (ipa_node_params::~ipa_node_params): Move from removed
2960 ipa_node_params_t::release.
2961 * symbol-summary.h (symbol_summary::m_released): New member.
2962 Do not release a summary twice. Do not allow to call finalizer
2963 for types of a summary that live in GGC memory.
2965 2017-02-02 Naveen H.S <Naveen.Hurugalawadi@cavium.com>
2967 * config/aarch64/aarch64.c (thunderx2t99_tunings): Enable AES and
2970 2017-02-02 Martin Sebor <msebor@redhat.com>
2973 * gimple-ssa-sprintf.c (get_string_length): Set lower bound to zero.
2974 (format_string): Tighten up the range of output for non-constant
2975 strings and correct the expected range for wide non-constant strings.
2977 2017-02-02 Martin Sebor <msebor@redhat.com>
2979 * doc/invoke.texi (-maccumulate-args): Fix bad grammar.
2982 * doc/invoke.texi (-fdump-tree-): Remove pass-specific options from
2984 (-fdump-tree-@var): Add to index and document how to come up
2985 with pass-specific option and dump file names.
2986 (-fdump-passes): Clarify where to look for output.
2988 2017-02-02 Jan Hubicka <hubicka@ucw.cz>
2991 * tree-ssa-threadbackward.c (profitable_jump_thread_path): Dump
2992 statistics of the analyzed path; allow threading for speed when
2993 any of BBs along the path are optimized for speed.
2995 2017-02-02 Eric Botcazou <ebotcazou@adacore.com>
2998 * emit-rtl.c (init_emit): Add ??? comment for problematic alignment
2999 settings of the virtual registers.
3002 2016-08-23 Dominik Vogt <vogt@linux.vnet.ibm.com>
3004 * explow.c (get_dynamic_stack_size): Take known alignment of stack
3005 pointer + STACK_DYNAMIC_OFFSET into account when calculating the size
3008 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3010 * config/s390/vx-builtins.md ("vec_ceil", "vec_floor")
3011 ("vec_trunc", "vec_roundc", "vec_round"): Remove expanders.
3013 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3015 * config/s390/s390.md: Add missing comments with the expanded
3017 * config/s390/vector.md: Likewise.
3018 * config/s390/vx-builtins.md: Likewise.
3020 2017-02-02 Jakub Jelinek <jakub@redhat.com>
3023 * config/rs6000/rs6000.md (*fixuns_trunc<mode>di2_fctiduz): Rename to ...
3024 (fixuns_trunc<mode>di2): ... this, remove previous expander. Put all
3025 conditions on a single line.
3027 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3029 * config/s390/s390-c.c (s390_cpu_cpp_builtins_internal): Rename
3030 __S390_VX__ to __VX__.
3032 2017-02-01 Andrew Pinski <apinski@cavium.com>
3034 * tree-vect-loop.c (vect_compute_single_scalar_iteration_cost): Pass
3035 stmt_info to record_stmt_cost.
3036 (vect_get_known_peeling_cost): Pass stmt_info if known to
3038 * config/aarch64/aarch64-protos.h (cpu_vector_cost): Split
3039 cpu_vector_cost field into
3040 scalar_int_stmt_cost and scalar_fp_stmt_cost. Split vec_stmt_cost
3041 field into vec_int_stmt_cost and vec_fp_stmt_cost.
3042 * config/aarch64/aarch64.c (generic_vector_cost): Update for the
3043 splitting of scalar_stmt_cost and vec_stmt_cost.
3044 (thunderx_vector_cost): Likewise.
3045 (cortexa57_vector_cost): LIkewise.
3046 (exynosm1_vector_cost): Likewise.
3047 (xgene1_vector_cost): Likewise.
3048 (thunderx2t99_vector_cost): Improve after the splitting of the two
3050 (aarch64_builtin_vectorization_cost): Update for the splitting of
3051 scalar_stmt_cost and vec_stmt_cost.
3053 2017-02-01 Torvald Riegel <triegel@redhat.com>
3054 Richard Henderson <rth@redhat.com>
3056 * builtins.c (fold_builtin_atomic_always_lock_free): Make "lock-free"
3057 conditional on existance of a fast atomic load.
3058 * optabs-query.c (can_atomic_load_p): New function.
3059 * optabs-query.h (can_atomic_load_p): Declare it.
3060 * optabs.c (expand_atomic_exchange): Always delegate to libatomic if
3061 no fast atomic load is available for the particular size of access.
3062 (expand_atomic_compare_and_swap): Likewise.
3063 (expand_atomic_load): Likewise.
3064 (expand_atomic_store): Likewise.
3065 (expand_atomic_fetch_op): Likewise.
3066 * testsuite/lib/target-supports.exp
3067 (check_effective_target_sync_int_128): Remove x86 because it provides
3068 no fast atomic load.
3069 (check_effective_target_sync_int_128_runtime): Likewise.
3071 2017-02-01 Richard Biener <rguenther@suse.de>
3073 * graphite.c: Include tree-vectorizer.h for find_loop_location.
3074 (graphite_transform_loops): Provide opt-info for optimized nests.
3075 * tree-parloop.c (parallelize_loops): Provide opt-info for
3078 2017-02-01 Richard Biener <rguenther@suse.de>
3081 * tree-cfg.c (move_stmt_op): Never set TREE_BLOCK when it
3084 2017-02-01 Richard Biener <rguenther@suse.de>
3086 PR tree-optimization/71824
3087 * graphite-scop-detection.c (scop_detection::build_scop_breadth):
3088 Verify the loops are valid in the merged SESE region.
3089 (scop_detection::can_represent_loop_1): Check analyzing the
3090 evolution of the number of iterations in the region succeeds.
3092 2017-01-31 Ian Lance Taylor <iant@golang.org>
3094 * config/i386/i386.c (ix86_expand_split_stack_prologue): Add
3095 REG_ARGS_SIZE note to 32-bit push insns and call insn.
3097 2017-01-31 David Malcolm <dmalcolm@redhat.com>
3099 PR preprocessor/79210
3100 * input.c (get_substring_ranges_for_loc): Replace line_width
3101 assertion with error-handling.
3103 2017-01-31 Richard Biener <rguenther@suse.de>
3105 PR tree-optimization/77318
3106 * graphite-sese-to-poly.c (extract_affine): Fix assert.
3107 (create_pw_aff_from_tree): Take loop parameter.
3108 (add_condition_to_pbb): Pass loop of the condition to
3109 create_pw_aff_from_tree.
3111 2017-01-31 Jakub Jelinek <jakub@redhat.com>
3113 * config/s390/s390.c (s390_asan_shadow_offset): New function.
3114 (TARGET_ASAN_SHADOW_OFFSET): Redefine.
3116 2017-01-31 Michael Meissner <meissner@linux.vnet.ibm.com>
3120 * config/rs6000/rs6000-protos.h (convert_float128_to_int): Delete,
3122 (convert_int_to_float128): Likewise.
3123 * config/rs6000/rs6000.c (convert_float128_to_int): Likewise.
3124 (convert_int_to_float128): Likewise.
3125 * config/rs6000/rs6000.md (UNSPEC_IEEE128_MOVE): Likewise.
3126 (UNSPEC_IEEE128_CONVERT): Likewise.
3127 (floatsi<mode>2, FLOAT128 iterator): Bypass calling
3128 rs6000_expand_float128_convert if we have IEEE 128-bit hardware.
3129 Use local variables for IBM extended format.
3130 (fix_trunc<mode>si2, FLOAT128 iterator): Likewise.
3131 (fix_trunc<mode>si2_fprs): Likewise.
3132 (fixuns_trunc<IEEE128:mode><SDI:mode>2): Likewise.
3133 (floatuns<IEEE128:mode>2, IEEE128 iterator): Likewise.
3134 (fix<uns>_<mode>si2_hw): Rework the IEEE 128-bt hardware support
3135 to know that we can now have integers of all sizes in vector
3137 (fix<uns>_<mode>di2_hw): Likewise.
3138 (float<uns>_<mode>si2_hw): Likewise.
3139 (fix_<mode>si2_hw): Likewise.
3140 (fixuns_<mode>si2_hw): Likewise.
3141 (float<uns>_<mode>di2_hw): Likewise.
3142 (float_<mode>di2_hw): Likewise.
3143 (float_<mode>si2_hw): Likewise.
3144 (floatuns_<mode>di2_hw): Likewise.
3145 (floatuns_<mode>si2_hw): Likewise.
3146 (xscvqp<su>wz_<mode>): Delete, no longer used.
3147 (xscvqp<su>dz_<mode>): Likewise.
3148 (xscv<su>dqp_<mode>): Likewise.
3149 (ieee128_mfvsrd_64bit): Likewise.
3150 (ieee128_mfvsrd_32bit): Likewise.
3151 (ieee128_mfvsrwz): Likewise.
3152 (ieee128_mtvsrw): Likewise.
3153 (ieee128_mtvsrd_64bit): Likewise.
3154 (ieee128_mtvsrd_32bit): Likewise.
3156 2017-01-31 Martin Liska <mliska@suse.cz>
3159 * ipa-prop.c (ipa_free_all_node_params): Call release method
3160 instead of ~sumbol_summary to not to trigger double times
3163 2017-01-31 Aldy Hernandez <aldyh@redhat.com>
3165 PR tree-optimization/71691
3166 * bitmap.h (class auto_bitmap): New.
3167 * tree-ssa-loop-unswitch.c (tree_may_unswitch_on): Call
3168 is_maybe_undefined instead of ssa_undefined_value_p.
3170 2017-01-31 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3172 * config/s390/s390-c.c (s390_cpu_cpp_builtins_internal): Rename
3173 __S390_ARCH_LEVEL__ to __ARCH__.
3175 2017-01-31 Jakub Jelinek <jakub@redhat.com>
3177 PR tree-optimization/79267
3178 * value-prof.c (gimple_ic): Only drop lhs for noreturn calls
3179 if should_remove_lhs_p is true.
3181 2017-01-30 Alexandre Oliva <aoliva@redhat.com>
3184 * dwarf2out.c (clone_as_declaration): Drop DW_AT_alignment.
3185 (add_alignment_attribute): New.
3186 (base_type_die): Add alignment attribute.
3187 (subrange_type_die): Likewise.
3188 (modified_type_die): Likewise.
3189 (gen_array_type_die): Likewise.
3190 (gen_descr_array_type_die: Likewise.
3191 (gen_enumeration_type_die): Likewise.
3192 (gen_subprogram_die): Likewise.
3193 (gen_variable_die): Likewise.
3194 (gen_field_die): Likewise.
3195 (gen_ptr_to_mbr_type_die): Likewise.
3196 (gen_struct_or_union_type_die): Likewise.
3197 (gen_subroutine_type_die): Likewise.
3198 (gen_typedef_die): Likewise.
3199 (base_type_cmp): Compare alignment attribute.
3201 2017-01-30 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
3204 * config/rs6000/altivec.md (*setb_internal): Rename to setb_signed.
3205 (setb_unsigned) New pattern for setb with CCUNS.
3206 * config/rs6000/rs6000.c (expand_block_compare): Use a different
3207 subfc./subfe sequence to avoid overflow problems. Generate a
3208 shorter sequence with cmpld/setb for power9.
3209 * config/rs6000/rs6000.md (subf<mode>3_carry_dot2): Add a new pattern
3210 for generating subfc. instruction.
3211 (cmpstrsi): Add TARGET_POPCNTD predicate as the generate sequence
3212 now uses this instruction.
3214 2017-01-30 Ian Lance Taylor <iant@google.com>
3217 * dwarf2out.c (gen_type_die_with_usage): When picking a variant
3218 for FUNCTION_TYPE/METHOD_TYPE, use the first matching one.
3220 2017-01-30 Martin Sebor <msebor@redhat.com>
3222 * gimple-ssa-sprintf.c (fmtresult::adjust_for_width_or_precision):
3223 Move constant to the right of a relational operator.
3224 (get_mpfr_format_length, format_character, format_string): Ditto.
3225 (should_warn_p, maybe_warn): Same.
3227 * doc/invoke.texi (-Wformat-truncation=1): Fix typo.
3229 2017-01-30 Maxim Ostapenko <m.ostapenko@samsung.com>
3232 * asan.c (get_translation_unit_decl): Remove function.
3233 (asan_add_global): Force has_dynamic_init to zero in LTO mode.
3235 2017-01-30 Martin Liska <mliska@suse.cz>
3237 PR gcov-profile/79259
3238 * opts.c (common_handle_option): Enable flag_ipa_bit_cp w/
3241 2017-01-30 Martin Liska <mliska@suse.cz>
3244 * config/aarch64/cortex-a57-fma-steering.c (func_fma_steering::analyze):
3245 Initialize variables with NULL value.
3247 2017-01-30 Richard Earnshaw <rearnsh@arm.com>
3250 * config.gcc (arm*-*-*): Add arm/arm-flags.h and arm/arm-isa.h to
3252 * arm/arm-protos.h: Don't directly include arm-flags.h and arm-isa.h.
3254 2017-01-30 Richard Biener <rguenther@suse.de>
3256 PR tree-optimization/79276
3257 * tree-vrp.c (process_assert_insertions): Properly adjust common
3258 when removing a duplicate.
3260 * gcc.dg/torture/pr79276.c: New testcase.
3262 2017-01-30 Richard Biener <rguenther@suse.de>
3264 PR tree-optimization/79256
3265 * targhooks.c (default_builtin_vector_alignment_reachable): Honor
3266 BIGGEST_FIELD_ALIGNMENT and ADJUST_FIELD_ALIGN to fix up bogus
3268 * tree.c (build_aligned_type): Set TYPE_USER_ALIGN.
3270 2017-01-30 Dominik Vogt <vogt@linux.vnet.ibm.com>
3273 * config/s390/s390.md ("*r<noxa>sbg_<mode>_srl_bitmask")
3274 ("*r<noxa>sbg_<mode>_sll_bitmask")
3275 ("*extzv_<mode>_srl<clobbercc_or_nocc>")
3276 ("*extzv_<mode>_sll<clobbercc_or_nocc>"):
3277 Use contiguous_bitmask_nowrap_operand.
3279 2017-01-29 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
3282 * config/rs6000/altivec.h (vec_xl): Revise #define.
3283 (vec_xst): Likewise.
3285 2017-01-27 Uros Bizjak <ubizjak@gmail.com>
3287 * config/i386/i386.c (print_reg): Use REGNO instead of true_regnum.
3289 2017-01-27 Bernd Schmidt <bschmidt@redhat.com>
3291 PR rtl-optimization/79194
3292 * cprop.c (one_cprop_pass): Move deletion of code after unconditional
3293 traps before call to bypass_conditional_jumps.
3295 2017-01-27 Vladimir Makarov <vmakarov@redhat.com>
3297 PR tree-optimization/71374
3298 * lra-constraints.c (check_conflict_input_operands): New.
3299 (match_reload): Use it.
3301 2017-01-27 Vladimir Makarov <vmakarov@redhat.com>
3304 * lra-assigns.c (find_hard_regno_for_1): Take endianess for into
3305 account to calculate conflict_set.
3307 2017-01-27 Bin Cheng <bin.cheng@arm.com>
3309 PR rtl-optimization/78559
3310 * combine.c (try_combine): Discard REG_EQUAL and REG_EQUIV for
3311 other_insn in combine.
3313 2017-01-27 Pekka Jääskeläinen <pekka.jaaskelainen@parmance.com>
3315 * builtin-types.def: Use unsigned_char_type_node for BT_UINT8. Use
3316 uint16_type_node for BT_UINT16.
3318 2017-01-27 David Malcolm <dmalcolm@redhat.com>
3320 * doc/sourcebuild.texi (Testsuites): Add "GIMPLE Tests" and
3321 "RTL Tests" to menu.
3322 (GIMPLE Tests): New node.
3323 (RTL Tests): New node.
3325 2017-01-27 Richard Biener <rguenther@suse.de>
3327 PR tree-optimization/79245
3328 * tree-loop-distribution.c (distribute_loop): Apply cost
3329 modeling also to detected patterns.
3331 2017-01-27 Richard Biener <rguenther@suse.de>
3333 PR tree-optimization/71433
3334 * tree-vrp.c (register_new_assert_for): Revert earlier changes.
3335 (compare_assert_loc): New function.
3336 (process_assert_insertions): Sort and optimize assert locations
3337 to remove duplicates and push down identical assertions on
3338 edges to their destination block.
3340 2017-01-27 Richard Biener <rguenther@suse.de>
3342 PR tree-optimization/79244
3343 * tree-vrp.c (remove_range_assertions): Forcefully propagate
3344 out SSA names even if abnormal.
3346 2017-01-27 Jakub Jelinek <jakub@redhat.com>
3348 * realmpfr.h: Poison MPFR_RND{N,Z,U,D}.
3349 * gimple-ssa-sprintf.c (format_floating_max): Use GMP_RNDN
3350 instead of MPFR_RNDN.
3352 2017-01-27 Richard Earnshaw <rearnsha@arm.com>
3355 * arm.c (arm_option_override): Don't call build_target_option_node
3356 until after doing all option overrides.
3357 (arm_valid_target_attribute_tree): Likewise.
3359 2017-01-27 Martin Liska <mliska@suse.cz>
3361 * doc/invoke.texi (-fprofile-arcs): Document profiling support
3362 for {cd}tors and C++ {cd}tors.
3364 2017-01-27 Dominik Vogt <vogt@linux.vnet.ibm.com>
3366 * config/s390/s390.md ("*setmem_long_and")
3367 ("*setmem_long_and_31z"): Use zero_extend instead of and.
3369 2017-01-26 Martin Sebor <msebor@redhat.com>
3371 * gimple-ssa-sprintf.c (format_floating): Simplify the computation
3374 2017-01-26 Martin Sebor <msebor@redhat.com>
3376 * gimple-ssa-sprintf.c (format_floating): Test HAVE_XFmode and
3377 HAVE_DFmode before using XFmode or DFmode.
3378 (parse_directive): Avoid using the z length modifier to avoid
3379 the ISO C++98 does not support the ‘z’ gnu_printf length modifier.
3382 * gimple-ssa-sprintf.c (adjust_for_width_or_precision): Change
3383 to accept adjustment as an array.
3384 (get_int_range): New function.
3385 (struct directive): Make width and prec arrays.
3386 (directive::set_width, directive::set_precision): Call get_int_range.
3387 (format_integer, format_floating): Handle width and precision ranges.
3388 (format_string, parse_directive): Same.
3390 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3393 * dwarf2out.c (generate_skeleton_bottom_up): For children with
3394 comdat_type_p set, just clone them, but keep the children in the
3398 * dwarf2out.c (prune_unused_types): Mark all functions with DIEs
3399 which have direct callers with -fvar-tracking-assignments enabled
3401 (resolve_addr): Avoid adding skeleton DIEs for DW_AT_call_origin
3402 inside of type units.
3404 2017-01-26 Martin Sebor <msebor@redhat.com>
3407 * gimple-ssa-sprintf.c (struct result_range): Add likely and
3409 (struct format_result): Replace number_chars, number_chars_min,
3410 and number_chars_max with a single member of struct result_range.
3412 (format_result::operator+=): Adjust.
3413 (struct fmtresult): Remove bounded. Handle likely and unlikely
3415 (fmtresult::adjust_for_width_or_precision): New function.
3416 (fmtresult:type_max_digits): New function.
3417 (bytes_remaining): Handle likely and unlikely counters.
3418 (min_bytes_remaining): Remove.
3419 (format_percent): Simplify.
3420 (format_integer, format_floating): Set likely and unlikely counters.
3421 (get_string_length, format_character, format_string): Same.
3422 (format_plain, should_warn_p): New function.
3423 (maybe_warn): Call should_warn_p. Update diagnostic messages
3424 and handle those for all directives, including plain strings.
3425 (format_directive): Handle likely and unlikely counters.
3426 Remove unnecessary quoting from diagnostics. Add an informational
3428 (add_bytes): Remove.
3429 (pass_sprintf_length::compute_format_length): Simplify.
3430 (try_substitute_return_value): Handle likely and unlikely counters.
3432 2017-01-26 Carl Love <cel@us.ibm.com>
3434 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Remove
3435 bogus entries for the P8V_BUILTIN_VEC_VGBBD built-ins
3437 2017-01-26 Vladimir Makarov <vmakarov@redhat.com>
3440 * lra-assigns.c (setup_live_pseudos_and_spill_after_risky): Take
3441 endianess for subregs into account.
3442 * lra-constraints.c (lra_constraints): Do risky transformations
3443 always on the first iteration.
3444 * lra-lives.c (check_pseudos_live_through_calls): Add arg
3445 last_call_used_reg_set.
3446 (process_bb_lives): Define and use last_call_used_reg_set.
3447 * lra.c (lra): Always continue after lra_constraints on the first
3450 2017-01-26 Kirill Yukhin <kirill.yukhin@gmail.com>
3452 * gcc.target/i386/avx512bw-kshiftlq-2.c: Use unsigned long long
3454 * gcc.target/i386/avx512bw-kshiftrq-2.c: Ditto.
3456 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3458 * config/i386/avx512fintrin.h (_ktest_mask16_u8,
3459 _ktestz_mask16_u8, _ktestc_mask16_u8, _kadd_mask16): Move to ...
3460 * config/i386/avx512dqintrin.h (_ktest_mask16_u8,
3461 _ktestz_mask16_u8, _ktestc_mask16_u8, _kadd_mask16): ... here.
3462 * config/i386/i386-builtin.def (__builtin_ia32_ktestchi,
3463 __builtin_ia32_ktestzhi, __builtin_ia32_kaddhi): Use
3464 OPTION_MASK_ISA_AVX512DQ instead of OPTION_MASK_ISA_AVX512F.
3465 * config/i386/sse.md (SWI1248_AVX512BWDQ2): New mode iterator.
3466 (kadd<mode>, ktest<mode>): Use it instead of SWI1248_AVX512BWDQ.
3468 2017-01-26 Marek Polacek <polacek@redhat.com>
3471 * fold-const.c (operand_equal_p) [COND_EXPR]: Use OP_SAME_WITH_NULL
3472 for the third operand.
3474 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3477 * omp-low.c (struct omp_context): Add simt_stmt field.
3478 (scan_omp_for): Return omp_context *.
3479 (scan_omp_simd): Set simt_stmt on the non-_simt_ SIMD
3480 context to the _simt_ SIMD stmt.
3481 (lower_omp_for): For combined SIMD with sibling _simt_
3482 SIMD, make sure to use the same decls in _looptemp_
3483 clauses as in the sibling.
3485 2017-01-26 David Sherwood <david.sherwood@arm.com>
3488 * gimplify.c (omp_notice_variable): Add GOVD_SEEN flag to variables in
3491 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3494 * reg-stack.c (emit_swap_insn): Instead of fld a; fld b; fxchg %st(1);
3495 emit fld b; fld a; if possible.
3497 * brig-builtins.def: Update copyright years.
3498 * config/arm/arm_acle_builtins.def: Update copyright years.
3500 2017-01-25 Michael Meissner <meissner@linux.vnet.ibm.com>
3503 * config/rs6000/vsx.md (vsx_extract_<mode>_store): Use wY
3504 constraint instead of o for the stxsd instruction.
3506 2017-01-25 Carl Love <cel@us.ibm.com>
3508 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Fix order
3509 of entries for ALTIVEC_BUILTIN_VEC_PACKS and P8V_BUILTIN_VEC_VGBBD.
3511 2017-01-25 Jonathan Wakely <jwakely@redhat.com>
3513 * doc/invoke.texi (C++ Dialect Options): Fix typo.
3515 2017-01-25 Richard Biener <rguenther@suse.de>
3517 PR tree-optimization/69264
3518 * target.def (vector_alignment_reachable): Improve documentation.
3519 * doc/tm.texi: Regenerate.
3520 * targhooks.c (default_builtin_vector_alignment_reachable): Simplify
3522 * tree-vect-data-refs.c (vect_supportable_dr_alignment): Revert
3523 earlier changes with respect to TYPE_USER_ALIGN.
3524 (vector_alignment_reachable_p): Likewise. Improve dumping.
3526 2016-01-25 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
3529 * config/arm/arm.md (xordi3): Force constant operand into a register
3532 2016-01-25 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
3534 * doc/invoke.texi (-fstore-merging): Correct default optimization
3535 levels at which it is enabled.
3536 (-O): Move -fstore-merging from list to...
3539 2017-01-25 Richard Biener <rguenther@suse.de>
3542 * omp-expand.c: Include debug.h.
3543 (expand_omp_taskreg): Make sure to generate early debug before
3544 outlining anything from a function.
3545 (expand_omp_target): Likewise.
3546 (grid_expand_target_grid_body): Likewise.
3548 2017-01-25 Maxim Ostapenko <m.ostapenko@samsung.com>
3551 * asan.c (get_translation_unit_decl): New function.
3552 (asan_add_global): Extract modules file name from globals
3553 TRANSLATION_UNIT_DECL name.
3555 2017-01-24 Eric Botcazou <ebotcazou@adacore.com>
3558 * config/arm/arm.c (arm_function_ok_for_sibcall): Add back restriction
3559 for long calls with APCS frame and VFP.
3561 2017-01-24 David Malcolm <dmalcolm@redhat.com>
3563 * cfg.c (original_copy_tables_initialized_p): New function.
3564 * cfg.h (original_copy_tables_initialized_p): New decl.
3565 * cfgrtl.c (relink_block_chain): Guard the call to
3566 free_original_copy_tables with a call to
3567 original_copy_tables_initialized_p.
3568 * cgraph.h (symtab_node::native_rtl_p): New decl.
3569 * cgraphunit.c (symtab_node::native_rtl_p): New function.
3570 (symtab_node::needed_p): Don't assert for early assembly output
3571 for __RTL functions.
3572 (cgraph_node::finalize_function): Set "force_output" for __RTL
3574 (cgraph_node::analyze): Bail out early for __RTL functions.
3575 (analyze_functions): Update assertion to support __RTL functions.
3576 (cgraph_node::expand): Bail out early for __RTL functions.
3577 * final.c (rest_of_clean_state): Don't call delete_tree_ssa for
3579 * function.h (struct function): Update comment for field
3581 * gimple-expr.c: Include "tree-pass.h".
3582 (gimple_has_body_p): Return false for __RTL functions.
3583 * Makefile.in (OBJS): Add run-rtl-passes.o.
3584 * pass_manager.h (gcc::pass_manager::get_rest_of_compilation): New
3586 (gcc::pass_manager::get_clean_slate): New accessor.
3587 * passes.c: Include "insn-addr.h".
3588 (should_skip_pass_p): Add logging. Update logic for running
3589 "expand" to be compatible with both __GIMPLE and __RTL. Guard
3590 property-provider override so it is only done for gimple passes.
3592 (skip_pass): New function.
3593 (execute_one_pass): Call skip_pass when skipping passes.
3594 * read-md.c (md_reader::read_char): Support filtering
3595 the input to a subset of line numbers.
3596 (md_reader::md_reader): Initialize fields
3597 m_first_line and m_last_line.
3598 (md_reader::read_file_fragment): New function.
3599 * read-md.h (md_reader::read_file_fragment): New decl.
3600 (md_reader::m_first_line): New field.
3601 (md_reader::m_last_line): New field.
3602 * read-rtl-function.c (function_reader::create_function): Only
3603 create cfun if it doesn't already exist. Set PROP_rtl on cfun's
3604 curr_properties. Set DECL_INITIAL to a dummy block.
3605 (read_rtl_function_body_from_file_range): New function.
3606 * read-rtl-function.h (read_rtl_function_body_from_file_range):
3608 * run-rtl-passes.c: New file.
3609 * run-rtl-passes.h: New file.
3611 2017-01-24 Jeff Law <law@redhat.com>
3613 * config/microblaze/microblaze.h (ASM_FORMAT_PRIVATE_NAME): Increase
3616 2017-01-24 Bin Cheng <bin.cheng@arm.com>
3618 PR tree-optimization/79159
3619 * tree-ssa-loop-niter.c (get_cst_init_from_scev): New function.
3620 (record_nonwrapping_iv): Improve boundary using above function if no
3621 value range information.
3623 2017-01-24 Pekka Jääskeläinen <pekka@parmance.com>
3624 Martin Jambor <mjambor@suse.cz>
3626 * brig-builtins.def: New file.
3627 * builtins.def (DEF_HSAIL_BUILTIN): New macro.
3628 (DEF_HSAIL_ATOMIC_BUILTIN): Likewise.
3629 (DEF_HSAIL_SAT_BUILTIN): Likewise.
3630 (DEF_HSAIL_INTR_BUILTIN): Likewise.
3631 (DEF_HSAIL_CVT_ZEROI_SAT_BUILTIN): Likewise.
3632 * builtin-types.def (BT_INT8): New.
3633 (BT_INT16): Likewise.
3634 (BT_UINT8): Likewise.
3635 (BT_UINT16): Likewise.
3636 (BT_FN_ULONG): Likewise.
3637 (BT_FN_UINT_INT): Likewise.
3638 (BT_FN_UINT_ULONG): Likewise.
3639 (BT_FN_UINT_LONG): Likewise.
3640 (BT_FN_UINT_PTR): Likewise.
3641 (BT_FN_ULONG_PTR): Likewise.
3642 (BT_FN_INT8_FLOAT): Likewise.
3643 (BT_FN_INT16_FLOAT): Likewise.
3644 (BT_FN_UINT32_FLOAT): Likewise.
3645 (BT_FN_UINT16_FLOAT): Likewise.
3646 (BT_FN_UINT8_FLOAT): Likewise.
3647 (BT_FN_UINT64_FLOAT): Likewise.
3648 (BT_FN_UINT16_UINT32): Likewise.
3649 (BT_FN_UINT32_UINT16): Likewise.
3650 (BT_FN_UINT16_UINT16_UINT16): Likewise.
3651 (BT_FN_INT_PTR_INT): Likewise.
3652 (BT_FN_UINT_PTR_UINT): Likewise.
3653 (BT_FN_LONG_PTR_LONG): Likewise.
3654 (BT_FN_ULONG_PTR_ULONG): Likewise.
3655 (BT_FN_VOID_UINT64_UINT64): Likewise.
3656 (BT_FN_UINT8_UINT8_UINT8): Likewise.
3657 (BT_FN_INT8_INT8_INT8): Likewise.
3658 (BT_FN_INT16_INT16_INT16): Likewise.
3659 (BT_FN_INT_INT_INT): Likewise.
3660 (BT_FN_UINT_FLOAT_UINT): Likewise.
3661 (BT_FN_FLOAT_UINT_UINT): Likewise.
3662 (BT_FN_ULONG_UINT_UINT): Likewise.
3663 (BT_FN_ULONG_UINT_PTR): Likewise.
3664 (BT_FN_ULONG_ULONG_ULONG): Likewise.
3665 (BT_FN_UINT_UINT_UINT): Likewise.
3666 (BT_FN_VOID_UINT_PTR): Likewise.
3667 (BT_FN_UINT_UINT_PTR: Likewise.
3668 (BT_FN_UINT32_UINT64_PTR): Likewise.
3669 (BT_FN_INT_INT_UINT_UINT): Likewise.
3670 (BT_FN_UINT_UINT_UINT_UINT): Likewise.
3671 (BT_FN_UINT_UINT_UINT_PTR): Likewise.
3672 (BT_FN_UINT_ULONG_ULONG_UINT): Likewise.
3673 (BT_FN_ULONG_ULONG_ULONG_ULONG): Likewise.
3674 (BT_FN_LONG_LONG_UINT_UINT): Likewise.
3675 (BT_FN_ULONG_ULONG_UINT_UINT): Likewise.
3676 (BT_FN_VOID_UINT32_UINT64_PTR): Likewise.
3677 (BT_FN_VOID_UINT32_UINT32_PTR): Likewise.
3678 (BT_FN_UINT_UINT_UINT_UINT_UINT): Likewise.
3679 (BT_FN_UINT_FLOAT_FLOAT_FLOAT_FLOAT): Likewise.
3680 (BT_FN_ULONG_ULONG_ULONG_UINT_UINT): Likewise.
3681 * doc/frontends.texi: List BRIG FE.
3682 * doc/install.texi (Testing): Add BRIG tesring requirements.
3683 * doc/invoke.texi (Overall Options): Mention BRIG.
3684 * doc/standards.texi (Standards): Doucment BRIG HSA version.
3686 2017-01-24 Richard Biener <rguenther@suse.de>
3688 PR translation/79208
3689 * ipa-devirt.c (odr_types_equivalent_p): Fix typo in diagnostic.
3691 2017-01-24 Martin Jambor <mjambor@suse.cz>
3694 * ipa-prop.c (ipa_free_all_node_params): Call summary destructor.
3695 * ipa-prop.c (ipa_node_params_t::insert): Initialize fields known_csts
3698 2017-01-24 Aldy Hernandez <aldyh@redhat.com>
3701 * gimple-ssa-warn-alloca.c (alloca_call_type): Make sure
3702 casts from signed to unsigned really don't have a range.
3704 2017-01-24 Markus Trippelsdorf <markus@trippelsdorf.de>
3706 * gimple-ssa-sprintf.c (format_floating): Change MPFR_RNDx to
3707 GMP_RNDx for compatiblity.
3709 2017-01-24 Martin Liska <mliska@suse.cz>
3712 * tree-ssa-reassoc.c (rewrite_expr_tree_parallel): Insert assert
3713 that would prevent us to call alloca with -1 as argument.
3715 2017-01-24 Jakub Jelinek <jakub@redhat.com>
3717 * dwarf2out.c (output_compilation_unit_header, output_file_names):
3718 Avoid -Wformat-security warning.
3720 2017-01-23 Andrew Pinski <apinski@cavium.com>
3722 * config/aarch64/aarch64.c (thunderx2t99_addrcost_table): Improve
3725 2017-01-23 Martin Sebor <msebor@redhat.com>
3728 * gimple-ssa-sprintf.c (warn_level): New global.
3729 (format_integer): Use it here and throughout the rest of the file.
3730 Use the same switch to compute sign as base.
3731 (maybe_warn): New function.
3732 (format_directive): Factor out warnings into maybe_warn.
3733 Add debugging output. Use warn_level.
3734 (add_bytes): Use warn_level.
3735 (pass_sprintf_length::compute_format_length): Add debugging output.
3736 (try_substitute_return_value): Same.
3737 (pass_sprintf_length::handle_gimple_call): Set and use warn_level.
3740 * gimple-ssa-sprintf.c (struct format_result): Remove constant member.
3741 (struct fmtresult, format_integer, format_floating): Adjust.
3742 (fmtresult::fmtresult): Set max correctly in two argument ctor.
3743 (get_string_length, format_string,format_directive): Same.
3744 (pass_sprintf_length::compute_format_length): Same.
3745 (try_substitute_return_value): Simplify slightly.
3748 * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust formatting.
3749 (fmtresult::operator+=): Outlined.
3750 (struct fmtresult): Add ctors.
3751 (struct conversion_spec): Rename...
3752 (struct directive): ...to this. Add and remove data members.
3753 (directive::set_width, directive::set_precision): New functions.
3754 (format_percent): Use fmtresult ctor.
3755 (get_width_and_precision): Remove.
3756 (format_integer): Make naming changes. Avoid computing width and
3758 (format_floating): Same. Adjust indentation.
3759 (format_character, format_none): New functions.
3760 (format_string): Moved character handling to format_character.
3761 (format_directive): Remove arguments, change return type.
3762 (parse_directive): New function.
3763 (pass_sprintf_length::compute_format_length): Move directive
3764 parsing to parse_directive.
3766 2017-01-23 Jakub Jelinek <jakub@redhat.com>
3768 * tree.h (assign_assembler_name_if_neeeded): Rename to ...
3769 (assign_assembler_name_if_needed): ... this.
3770 * tree.c (assign_assembler_name_if_neeeded): Rename to ...
3771 (assign_assembler_name_if_needed): ... this.
3772 (free_lang_data_in_cgraph): Adjust callers.
3773 * cgraphunit.c (cgraph_node::analyze): Likewise.
3774 * omp-expand.c (expand_omp_taskreg, expand_omp_target):
3777 2017-01-23 Richard Biener <rguenther@suse.de>
3779 PR tree-optimization/79088
3780 PR tree-optimization/79188
3781 * tree-ssa-threadupdate.c (mark_threaded_blocks): Move code
3782 resetting loop bounds after last path deletion. Reset loop
3783 bounds of the target loop, make code match the comments.
3784 * tree-ssa-threadbackwards.c (pass_early_thread_jumps::execute):
3785 Make sure loops need no fixups.
3787 2017-01-23 Kelvin Nilsen <kelvin@gcc.gnu.org>
3789 * config/rs6000/rs6000-builtin.def (VSIEDPF): Add scalar insert
3790 exponent support with double type for first argument.
3791 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Changed
3792 type returned by __builtin_vec_extract_sig,
3793 __builtin_vec_extract_sig_sp, and __builtin_vec_extract_sig_dp
3794 functions from "vector int" to "vector unsigned int" or from
3795 "vector long long int" to "vector unsigned long long int".
3796 Changed type returned by __builtin_vec_extract_exp,
3797 __builtin_vec_extract_exp_sp, and __builtin_vec_extract_exp_dp
3798 functions from "vector int" to "vector unsigned int" or from
3799 "vector long long int" to "vector unsigned long long int".
3800 Changed return type of __builtin_vec_test_data_class,
3801 __builtin_vec_test_data_class_sp, and
3802 __builtin_vec_test_data_class_dp from "vector int" to
3803 "vector bool int" or from "vector long long int" to "vector bool
3804 long long int" and changed second argument type from "unsigned
3805 int" to "int". Added new overloaded function forms "vector float
3806 __builtin_vec_insert_exp (vector float, vector unsigned int)" and
3807 "vector float __builtin_vec_insert_exp_sp (vector float, vector
3808 unsigned int)" and "vector double __builtin_vec_insert_exp (vector
3809 double, vector unsigned long long int)" and "vector double
3810 __builtin_vec_insert_exp_dp (vector double, vector unsigned long
3811 long int)". Changed return type of
3812 __builtin_scalar_test_data_class and
3813 __builtin_scalar_test_data_class_sp and
3814 __builtin_scalar_test_data_class_dp from "unsigned int" to "bool
3815 int" and changed second argument from "unsigned int" to "int".
3816 Changed type returned by __builtin_scalar_test_neg,
3817 __builtin_scalar_test_neg_sp, and __builtin_scalar_test_neg_dp
3818 from "int" to "bool int". Added new overloaded function form
3819 "double __builtin_scalar_insert_exp (double, unsigned long long int)".
3820 * config/rs6000/vsx.md (xsiexpdpf): New insn for scalar insert
3821 exponent double-precision with floating point first argument.
3822 * doc/extend.texi (PowerPC AltiVec Built-in Functions): Adjust
3823 documentation of scalar_test_data_class, scalar_test_neg,
3824 scalar_extract_sig, scalar_extract_exp, scalar_insert_exp,
3825 vector_extract_exp, vec_extract_sig, vec_insert_exp, and
3826 vec_test_data_class built-in functions to reflect refinements in
3827 their type signatures.
3829 2017-01-23 Andreas Tobler <andreast@gcc.gnu.org>
3831 * config/aarch64/aarch64.c (aarch64_elf_asm_constructor): Increase
3833 (aarch64_elf_asm_destructor): Likewise.
3835 2017-01-23 Bernd Schmidt <bschmidt@redhat.com>
3837 PR rtl-optimization/78634
3838 * config/i386/i386.c (ix86_max_noce_ifcvt_seq_cost): New function.
3839 (TARGET_MAX_NOCE_IFCVT_SEQ_COST): Define.
3840 * ifcvt.c (noce_try_cmove): Add missing cost check.
3842 PR rtl-optimization/71724
3843 * combine.c (if_then_else_cond): Look for situations where it is
3844 beneficial to undo the work of one of the recursive calls.
3846 2017-01-23 Bin Cheng <bin.cheng@arm.com>
3848 PR tree-optimization/70754
3849 * tree-predcom.c (stmt_combining_refs): New parameter INSERT_BEFORE.
3850 (reassociate_to_the_same_stmt): New parameter INSERT_BEFORE. Insert
3851 combined stmt before it if not NULL.
3852 (combine_chains): Process refs reversely and compute dominance point
3855 2017-01-23 Martin Liska <mliska@suse.cz>
3857 PR tree-optimization/79196
3858 * tree-ssa-strlen.c (fold_strstr_to_memcmp): Rename to ...
3859 (fold_strstr_to_strncmp): ... this. Fold the pattern to strncmp
3861 (strlen_optimize_stmt): Call the renamed function.
3863 2017-01-23 Michael Matz <matz@suse.de>
3865 PR tree-optimization/78384
3866 * tree-ssa-loop-split.c (patch_loop_exit): Use correct edge.
3868 2017-01-23 Richard Biener <rguenther@suse.de>
3870 PR tree-optimization/79186
3871 * tree-vrp.c (register_new_assert_for): Make sure we've seen
3872 both incoming edges before moving an assert.
3874 2017-01-23 Martin Jambor <mjambor@suse.cz>
3876 * ipa-prop.c (load_from_param_1): Removed.
3877 (load_from_unmodified_param): Bits from load_from_param_1 put back
3879 (load_from_param): Removed.
3880 (compute_complex_assign_jump_func): Removed stmt2 and just replaced it
3881 with stmt. Reverted back to use of load_from_unmodified_param.
3883 2017-01-23 Martin Jambor <mjambor@suse.cz>
3886 * ipa-prop.h (ipa_param_descriptor): Anotate with with GTY(()).
3887 (ipa_node_params): Annotate with GTY((for_user)). Make descriptors
3888 field a pointer to garbage collected vector, mark lattices and
3889 ipcp_orig_node with GTY((skip)).
3890 (ipa_get_param_count): Adjust to descriptors being a pointer.
3891 (ipa_get_param): Likewise.
3892 (ipa_get_type): Likewise.
3893 (ipa_get_param_move_cost): Likewise.
3894 (ipa_set_param_used): Likewise.
3895 (ipa_get_controlled_uses): Likewise.
3896 (ipa_set_controlled_uses): Likewise.
3897 (ipa_is_param_used): Likewise.
3898 (ipa_node_params_t): Move into garbage collector. New methods insert
3900 (ipa_node_params_sum): Annotate wth GTY(()).
3901 (ipa_check_create_node_params): Adjust to ipa_node_params_sum being
3903 (ipa_load_from_parm_agg): Adjust declaration.
3904 * ipa-icf.c (param_used_p): Adjust to descriptors being a pointer.
3905 * ipa-profile.c (ipa_profile): Likewise.
3906 * ipa-prop.c (ipa_get_param_decl_index_1): Likewise.
3907 (ipa_populate_param_decls): Make descriptors parameter garbage
3909 (ipa_dump_param): Adjust to descriptors being a pointer.
3910 (ipa_alloc_node_params): Likewise.
3911 (ipa_initialize_node_params): Likewise.
3912 (load_from_param_1): Make descriptors parameter garbage collected.
3913 (load_from_unmodified_param): Likewise.
3914 (load_from_param): Likewise.
3915 (ipa_load_from_parm_agg): Likewise.
3916 (ipa_node_params::~ipa_node_params): Removed.
3917 (ipa_free_all_node_params): Remove call to delete operator.
3918 (ipa_node_params_t::insert): New.
3919 (ipa_node_params_t::remove): Likewise.
3920 (ipa_node_params_t::duplicate): Adjust to descriptors being a pointer,
3921 copy known_csts and known_contexts vectors.
3922 (ipa_read_node_info): Adjust to descriptors being a pointer.
3923 (ipcp_modif_dom_walker): Make m_descriptors field garbage
3925 (ipcp_transform_function): Make descriptors variable garbage
3928 2017-01-23 Andrew Senkevich <andrew.senkevich@intel.com>
3930 * config/i386/avx512bwintrin.h: Add k-mask test, kortest intrinsics.
3931 * config/i386/avx512dqintrin.h: Ditto.
3932 * config/i386/avx512fintrin.h: Ditto.
3933 * gcc/config/i386/i386.c: Handle new builtins.
3934 * config/i386/i386-builtin.def: Add new builtins.
3935 * config/i386/sse.md (ktest<mode>, kortest<mode>): New.
3936 (UNSPEC_KORTEST, UNSPEC_KTEST): New.
3938 2017-01-23 Jakub Jelinek <jakub@redhat.com>
3939 Martin Liska <mliska@suse.cz>
3941 * asan.h: Define ASAN_USE_AFTER_SCOPE_ATTRIBUTE.
3942 * asan.c (asan_expand_poison_ifn): Support stores and use
3943 appropriate ASAN report function.
3944 * internal-fn.c (expand_ASAN_POISON_USE): New function.
3945 * internal-fn.def (ASAN_POISON_USE): Declare.
3946 * tree-into-ssa.c (maybe_add_asan_poison_write): New function.
3947 (maybe_register_def): Create ASAN_POISON_USE when sanitizing.
3948 * tree-ssa-dce.c (eliminate_unnecessary_stmts): Remove
3949 ASAN_POISON calls w/o LHS.
3950 * tree-ssa.c (execute_update_addresses_taken): Create clobber
3951 for ASAN_MARK (UNPOISON, &x, ...) in order to prevent usage of a LHS
3952 from ASAN_MARK (POISON, &x, ...) coming to a PHI node.
3953 * gimplify.c (asan_poison_variables): Add attribute
3954 use_after_scope_memory to variables that really needs to live
3956 * tree-ssa.c (is_asan_mark_p): Do not rewrite into SSA when
3957 having the attribute.
3959 2017-01-23 Martin Liska <mliska@suse.cz>
3961 * asan.c (create_asan_shadow_var): New function.
3962 (asan_expand_poison_ifn): Likewise.
3963 * asan.h (asan_expand_poison_ifn): New declaration.
3964 * internal-fn.c (expand_ASAN_POISON): Likewise.
3965 * internal-fn.def (ASAN_POISON): New builtin.
3966 * sanopt.c (pass_sanopt::execute): Expand
3967 asan_expand_poison_ifn.
3968 * tree-inline.c (copy_decl_for_dup_finish): Make function
3970 * tree-inline.h (copy_decl_for_dup_finish): Likewise.
3971 * tree-ssa.c (is_asan_mark_p): New function.
3972 (execute_update_addresses_taken): Rewrite local variables
3973 (identified just by use-after-scope as addressable) into SSA.
3975 2017-01-22 Gerald Pfeifer <gerald@pfeifer.com>
3977 * doc/install.texi (Specific): opensource.apple.com uses https
3978 now. Remove trailing slash.
3980 2017-01-22 Gerald Pfeifer <gerald@pfeifer.com>
3982 * README.Portability: Remove note on an Irix compatibility issue.
3984 2017-01-22 Dimitry Andric <dim@FreeBSD.org>
3986 * gcov.c (INCLUDE_ALGORITHM): Define.
3987 (INCLUDE_VECTOR): Define.
3988 No longer include <vector> and <algorithm> directly.
3990 2017-01-21 Gerald Pfeifer <gerald@pfeifer.com>
3992 * doc/extend.texi (Thread-Local): Change www.akkadia.org reference
3994 * doc/invoke.texi (Code Gen Options): Ditto.
3996 2017-01-21 Jan Hubicka <hubicka@ucw.cz>
3999 * cfg.c (update_bb_profile_for_threading): Fix updating of probablity.
4001 2017-01-21 Bernd Schmidt <bschmidt@redhat.com>
4003 rtl-optimization/79125
4004 * cprop.c (local_cprop_pass): Handle cases where we make an
4007 2017-01-20 Segher Boessenkool <segher@kernel.crashing.org>
4011 * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Adjust address to
4012 read from, for big endian.
4014 2017-01-20 Jiong Wang <jiong.wang@arm.com>
4016 * config/aarch64/aarch64-builtins.c (aarch64_init_builtins): Register
4017 register pauth builtins for LP64 only.
4019 2017-01-20 Marek Polacek <polacek@redhat.com>
4022 * gimplify.c (should_warn_for_implicit_fallthrough): Handle consecutive
4025 2017-01-20 Alexander Monakov <amonakov@ispras.ru>
4027 * omp-expand.c (expand_omp_simd): Clear PROP_gimple_lomp_dev regardless
4029 * omp-offload.c (pass_omp_device_lower::gate): Use PROP_gimple_lomp_dev.
4030 * passes.c (dump_properties): Handle PROP_gimple_lomp_dev.
4031 * tree-inline.c (expand_call_inline): Propagate PROP_gimple_lomp_dev.
4033 2017-01-20 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
4036 * config/arm/arm.c (neon_valid_immediate): Reject vector constants
4037 in big-endian mode when they are not a single duplicated value.
4039 2017-01-20 Richard Biener <rguenther@suse.de>
4041 * BASE-VER: Bump to 7.0.1.
4043 2017-01-20 Alexander Monakov <amonakov@ispras.ru>
4045 * omp-low.c (omplow_simd_context): New struct. Use it...
4046 (lower_rec_simd_input_clauses): ...here and...
4047 (lower_rec_input_clauses): ...here to hold common data. Adjust all
4048 references to idx, lane, max_vf, is_simt.
4050 2017-01-20 Graham Markall <graham.markall@embecosm.com>
4052 * config/arc/arc.h (LINK_SPEC): Use arclinux_nps emulation when
4055 2017-01-20 Martin Jambor <mjambor@suse.cz>
4057 * hsa.h: Renaed to hsa-common.h. Adjusted a comment.
4058 * hsa.c: Renaed to hsa-common.c. Change include of gt-hsa.h to
4060 * Makefile.in (OBJS): Rename hsa.o to hsa-common.o.
4061 (GTFILES): Rename hsa.c to hsa-common.c.
4062 * hsa-brig.c: Change include of hsa.h to hsa-common.h.
4063 * hsa-dump.c: Likewise.
4064 * hsa-gen.c: Likewise.
4065 * hsa-regalloc.c: Likewise.
4066 * ipa-hsa.c: Likewise.
4067 * omp-expand.c: Likewise.
4068 * omp-low.c: Likewise.
4069 * toplev.c: Likewise.
4071 2017-01-20 Marek Polacek <polacek@redhat.com>
4074 * doc/invoke.texi: Document -Wduplicated-branches.
4075 * fold-const.c (operand_equal_p): Handle MODIFY_EXPR, INIT_EXPR,
4076 COMPOUND_EXPR, PREDECREMENT_EXPR, PREINCREMENT_EXPR,
4077 POSTDECREMENT_EXPR, POSTINCREMENT_EXPR, CLEANUP_POINT_EXPR, EXPR_STMT,
4078 STATEMENT_LIST, and RETURN_EXPR. For non-pure non-const functions
4079 return 0 only when not OEP_LEXICOGRAPHIC.
4080 (fold_build_cleanup_point_expr): Use the expression
4081 location when building CLEANUP_POINT_EXPR.
4082 * tree-core.h (enum operand_equal_flag): Add OEP_LEXICOGRAPHIC.
4083 * tree.c (add_expr): Handle error_mark_node.
4085 2017-01-20 Martin Liska <mliska@suse.cz>
4088 * tree-profile.c (init_ic_make_global_vars): Do not call
4090 (gimple_init_gcov_profiler): Likewise.
4092 2017-01-20 Martin Liska <mliska@suse.cz>
4095 * cgraph.h (maybe_create_reference): Remove argument and
4097 * cgraphclones.c (cgraph_node::create_virtual_clone): Remove one
4099 * ipa-cp.c (create_specialized_node): Likewise.
4100 * symtab.c (symtab_node::maybe_create_reference): Handle
4101 VAR_DECLs and ADDR_EXPRs and select ipa_ref_use type.
4103 2017-01-20 Martin Liska <mliska@suse.cz>
4105 * read-rtl-function.c (function_reader::create_function): Use
4106 build_decl instread of build_decl_stat.
4108 2017-01-20 Andrew Senkevich <andrew.senkevich@intel.com>
4110 * config/i386/avx512bwintrin.h: Add k-mask registers shift intrinsics.
4111 * config/i386/avx512dqintrin.h: Ditto.
4112 * config/i386/avx512fintrin.h: Ditto.
4113 * config/i386/i386-builtin-types.def: Add new types.
4114 * gcc/config/i386/i386.c: Handle new types.
4115 * config/i386/i386-builtin.def (__builtin_ia32_kshiftliqi)
4116 (__builtin_ia32_kshiftlihi, __builtin_ia32_kshiftlisi)
4117 (__builtin_ia32_kshiftlidi, __builtin_ia32_kshiftriqi)
4118 (__builtin_ia32_kshiftrihi, __builtin_ia32_kshiftrisi)
4119 (__builtin_ia32_kshiftridi): New.
4120 * config/i386/sse.md (k<code><mode>): Rename *k<code><mode>.
4122 2017-01-19 Segher Boessenkool <segher@kernel.crashing.org>
4126 * config/rs6000/rs6000.c (TARGET_STACK_PROTECT_GUARD): Unconditionally
4127 define to rs6000_init_stack_protect_guard.
4128 (rs6000_init_stack_protect_guard): New function.
4130 2017-01-19 Matthew Fortune <matthew.fortune@imgtec.com>
4131 Yunqiang Su <yunqiang.su@imgtec.com>
4133 * config.gcc (supported_defaults): Add madd4.
4134 (with_madd4): Add validation.
4135 (all_defaults): Add madd4.
4136 * config/mips/mips.opt (mmadd4): New option.
4137 * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
4139 (TARGET_CPU_CPP_BUILTINS): Add builtin_define for
4141 (ISA_HAS_UNFUSED_MADD4): Gate with mips_madd4.
4142 (ISA_HAS_FUSED_MADD4): Likewise.
4143 * gcc/doc/invoke.texi (-mmadd4): Document the new option.
4144 * gcc/doc/install.texi (--with-madd4): Document the new option.
4146 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4148 * config/aarch64/aarch64-builtins.c (enum aarch64_builtins): New
4149 entries for AARCH64_PAUTH_BUILTIN_XPACLRI,
4150 AARCH64_PAUTH_BUILTIN_PACIA1716, AARCH64_PAUTH_BUILTIN_AUTIA1716.
4151 (aarch64_init_pauth_hint_builtins): New.
4152 (aarch64_init_builtins): Call aarch64_init_pauth_hint_builtins.
4153 (aarch64_expand_builtin): Expand new builtins.
4155 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4157 * reg-notes.def (CFA_TOGGLE_RA_MANGLE): New reg-note.
4158 * combine-stack-adj.c (no_unhandled_cfa): Handle
4159 REG_CFA_TOGGLE_RA_MANGLE.
4160 * dwarf2cfi.c (dwarf2out_frame_debug): Handle REG_CFA_TOGGLE_RA_MANGLE.
4161 * config/aarch64/aarch64.c (aarch64_expand_prologue): Generates DWARF
4162 info for return address signing.
4163 (aarch64_expand_epilogue): Likewise.
4165 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4167 * config/aarch64/aarch64-opts.h (aarch64_function_type): New enum.
4168 * config/aarch64/aarch64-protos.h
4169 (aarch64_return_address_signing_enabled): New declaration.
4170 * config/aarch64/aarch64.c (aarch64_return_address_signing_enabled):
4172 (aarch64_expand_prologue): Sign return address before it's pushed onto
4174 (aarch64_expand_epilogue): Authenticate return address fetched from
4176 (aarch64_override_options): Sanity check for ILP32 and ISA level.
4177 (aarch64_attributes): New function attributes for "sign-return-address".
4178 * config/aarch64/aarch64.md (UNSPEC_AUTI1716, UNSPEC_AUTISP,
4179 UNSPEC_PACI1716, UNSPEC_PACISP, UNSPEC_XPACLRI): New unspecs.
4180 ("*do_return"): Generate combined instructions according to key index.
4181 ("<pauth_mnem_prefix>sp", "<pauth_mnem_prefix1716", "xpaclri"): New.
4182 * config/aarch64/iterators.md (PAUTH_LR_SP, PAUTH_17_16): New integer
4184 (pauth_mnem_prefix, pauth_hint_num_a): New integer attributes.
4185 * config/aarch64/aarch64.opt (msign-return-address=): New.
4186 * doc/extend.texi (AArch64 Function Attributes): Documents
4187 "sign-return-address=".
4188 * doc/invoke.texi (AArch64 Options): Documents "-msign-return-address=".
4190 2017-01-19 Matthew Fortune <matthew.fortune@imgtec.com>
4192 * doc/invoke.texi: Add missing -mlxc1-sxc1 options to
4193 overall option summary.
4195 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4197 * config/aarch64/aarch64-arches.def: New entry for "armv8.3-a".
4198 * config/aarch64/aarch64.h (AARCH64_FL_V8_3, AARCH64_FL_FOR_ARCH8_3,
4199 AARCH64_ISA_V8_3, TARGET_ARMV8_3): New.
4200 * doc/invoke.texi (AArch64 Options): Document "armv8.3-a".
4202 2017-01-19 Michael Meissner <meissner@linux.vnet.ibm.com>
4204 * config/rs6000/rs6000-cpus.def (ISA_3_0_MASKS_SERVER): Enable
4205 -mpower9-minmax by default for -mcpu=power9.
4206 (ISA_3_MASKS_IEEE): Require -mvsx-small-integer to enable IEEE
4207 128-bit floating point.
4209 2017-01-20 Alan Modra <amodra@gmail.com>
4211 * config/rs6000/rs6000.md (cmpstrnsi, cmpstrsi): Fail if
4212 optimizing for size.
4214 2017-01-20 Alan Modra <amodra@gmail.com>
4217 * config/rs6000/rs6000.c (expand_strn_compare): Get the asm name
4218 for strcmp and strncmp from corresponding builtin decl.
4220 2017-01-19 Uros Bizjak <ubizjak@gmail.com>
4222 * config.gcc (x86_64-*-rtems*): Use i386/rtemself.h
4223 instead of i386/rtems-64.h.
4224 * config/i386/rtems-64.h: Remove.
4226 2017-01-19 Uros Bizjak <ubizjak@gmail.com>
4230 2013-11-05 Uros Bizjak <ubizjak@gmail.com>
4232 * config/i386/rtemself.h (LONG_DOUBLE_TYPE_SIZE): New define.
4234 2017-01-19 Tamar Christina <tamar.christina@arm.com>
4236 * config/aarch64/aarch64.c (aarch64_simd_gen_const_vector_dup):
4237 Change int to HOST_WIDE_INT.
4238 * config/aarch64/aarch64-protos.h
4239 (aarch64_simd_gen_const_vector_dup): Likewise.
4240 * config/aarch64/aarch64-simd.md: Add copysign<mode>3.
4242 2017-01-19 David Malcolm <dmalcolm@redhat.com>
4244 * langhooks-def.h (lhd_type_for_size): New decl.
4245 (LANG_HOOKS_TYPE_FOR_SIZE): Define as lhd_type_for_size.
4246 * langhooks.c (lhd_type_for_size): New function, taken from
4249 2017-01-19 Pat Haugen <pthaugen@us.ibm.com>
4251 * config/rs6000/power9.md (power9-alu): Remove 'cmp' type and add
4252 define_bypass for CR latency.
4253 (power9-cracked-alu): Update bypass latency and remove power9-branch.
4254 (power9-alu2): Add define_bypass for CR latency.
4256 (power9-mul): Update insn latency.
4257 (power9-mul-compare): Update insn latency, bypass latency and remove
4260 2016-01-19 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
4262 * config/aarch64/aarch64-protos.h (aarch64_nopcrelative_literal_loads):
4264 * config/aarch64/aarch64.md
4265 (aarch64_reload_movcp<GPF_TF:mode><P:mode>): Delete reference to
4266 aarch64_nopcrelative_literal_loads.
4267 (aarch64_reload_movcp<VALL:mode><P:mode>): Likewise.
4269 2017-01-19 Chenghua Xu <paul.hua.gm@gmail.com>
4271 * config/mips/mips.h (ISA_HAS_FUSED_MADD4): Enable for
4273 (ISA_HAS_UNFUSED_MADD4): Exclude TARGET_LOONGSON_3A.
4275 2017-01-19 Doug Gilmore <doug.gilmore@imgtec.com>
4278 * config.gcc (supported_defaults): Add lxc1-sxc1.
4279 (with_lxc1_sxc1): Add validation.
4280 (all_defaults): Add lxc1-sxc1.
4281 * config/mips/mips.opt (mlxc1-sxc1): New option.
4282 * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
4284 (TARGET_CPU_CPP_BUILTINS): Add builtin_define for
4285 __mips_no_lxc1_sxc1.
4286 (ISA_HAS_LXC1_SXC1): Gate with mips_lxc1_sxc1.
4287 * gcc/doc/invoke.texi (-mlxc1-sxc1): Document the new option.
4288 * doc/install.texi (--with-lxc1-sxc1): Document the new option.
4290 2017-01-19 Richard Biener <rguenther@suse.de>
4292 PR tree-optimization/72488
4293 * tree-ssa-sccvn.c (run_scc_vn): When we abort the VN make
4294 sure to restore SSA info.
4295 * tree-ssa.c (verify_ssa): Verify SSA info is not shared.
4297 2017-01-19 Richard Earnshaw <rearnsha@arm.com>
4299 PR rtl-optimization/79121
4300 * expr.c (expand_expr_real_2, case LSHIFT_EXPR): Look at the signedness
4301 of the inner type when shifting an extended value.
4303 2017-01-17 Jan Hubicka <hubicka@ucw.cz>
4306 * symtab.c (symtab_node::equal_address_to): Fix comparing of
4307 interposable aliases.
4309 2017-01-18 Peter Bergner <bergner@vnet.ibm.com>
4312 * config/rs6000/spe.md (mov_si<mode>_e500_subreg0): Fix constraints.
4313 Use the evmergelohi instruction.
4314 (mov_si<mode>_e500_subreg4_2_le): Likewise.
4315 (mov_sitf_e500_subreg8_2_be): Likewise.
4316 (mov_sitf_e500_subreg12_2_le): Likewise.
4317 (mov_si<mode>_e500_subreg0_2_le): Fix constraints.
4318 (mov_si<mode>_e500_subreg4_2_be): Likewise.
4319 (mov_sitf_e500_subreg8_2_le): Likewise.
4320 (mov_sitf_e500_subreg12_2_be): Likewise.
4322 2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4324 * config/rs6000/altivec.md (altivec_vbpermq): Change "type"
4325 attribute from vecsimple to vecperm.
4326 (altivec_vbpermq2): Likewise.
4328 2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4331 * config/rs6000/altivec.h: Fix typo of vec_cntlz to vec_cnttz.
4333 2017-01-18 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
4334 * config/rs6000/rs6000-protos.h (expand_strn_compare): Add arg.
4335 * config/rs6000/rs6000.c (expand_strn_compare): Add ability to expand
4336 strcmp. Fix bug where comparison didn't stop with zero byte. Fix
4337 case where N arg is SIZE_MAX.
4338 * config/rs6000/rs6000.md (cmpstrnsi): Args to expand_strn_compare.
4339 (cmpstrsi): Add pattern.
4341 2017-01-18 Michael Meissner <meissner@linux.vnet.ibm.com>
4343 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add
4344 __builtin_vec_revb builtins.
4345 * config/rs6000/rs6000-builtins.def (P9V_BUILTIN_XXBRQ_V16QI): Add
4346 built-in functions to support generation of the ISA 3.0 XXBR<x>
4347 vector byte reverse instructions.
4348 (P9V_BUILTIN_XXBRQ_V1TI): Likewise.
4349 (P9V_BUILTIN_XXBRD_V2DI): Likewise.
4350 (P9V_BUILTIN_XXBRD_V2DF): Likewise.
4351 (P9V_BUILTIN_XXBGW_V4SI): Likewise.
4352 (P9V_BUILTIN_XXBGW_V4SF): Likewise.
4353 (P9V_BUILTIN_XXBGH_V8HI): Likewise.
4354 (P9V_BUILTIN_VEC_REVB): Likewise.
4355 * config/rs6000/vsx.md (p9_xxbrq_v1ti): New insns/expanders to
4356 generate the ISA 3.0 XXBR<x> vector byte reverse instructions.
4357 (p9_xxbrq_v16qi): Likewise.
4358 (p9_xxbrd_<mode>, VSX_D iterator): Likewise.
4359 (p9_xxbrw_<mode>, VSX_W iterator): Likewise.
4360 (p9_xxbrh_v8hi): Likewise.
4361 * config/rs6000/altivec.h (vec_revb): Define if ISA 3.0.
4362 * doc/extend.texi (RS/6000 Altivec Built-ins): Document the
4363 vec_revb built-in functions.
4365 2017-01-18 Uros Bizjak <ubizjak@gmail.com>
4367 PR rtl-optimization/78952
4368 * config/i386/i386.md (any_extract): New code iterator.
4369 (*insvqi_2): Use any_extract for source operand.
4370 (*insvqi_3): Use any_shiftrt for source operand.
4372 2017-01-18 Wilco Dijkstra <wdijkstr@arm.com>
4374 * config/aarch64/aarch64.c (aarch64_sched_adjust_priority)
4376 (TARGET_SCHED_ADJUST_PRIORITY): Define target hook.
4378 2017-01-18 Matthias Klose <doko@ubuntu.com>
4380 * doc/install.texi: Allow default for --with-target-bdw-gc-include.
4382 2016-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4384 * config/rs6000/altivec.h (vec_bperm): Change #define.
4385 * config/rs6000/altivec.md (UNSPEC_VBPERMD): New enum constant.
4386 (altivec_vbpermq2): New define_insn.
4387 (altivec_vbpermd): Likewise.
4388 * config/rs6000/rs6000-builtin.def (VBPERMQ2): New monomorphic
4390 (VBPERMD): Likewise.
4391 (VBPERM): New polymorphic function interface.
4392 * config/rs6000/r6000-c.c (altivec_overloaded_builtins_table):
4393 Add entries for P9V_BUILTIN_VEC_VBPERM.
4394 * doc/extend.texi: Add interfaces for vec_bperm.
4396 2017-01-18 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
4398 * config/s390/s390-c.c (s390_expand_overloaded_builtin): Downcase
4399 first letter of error messages.
4400 (s390_resolve_overloaded_builtin): Likewise.
4401 * config/s390/s390.c (s390_expand_builtin): Likewise.
4402 (s390_invalid_arg_for_unprototyped_fn): Likewise.
4403 (s390_valid_target_attribute_inner_p): Likewise.
4404 * config/s390/s390.md ("tabort"): Likewise.
4406 2017-01-18 Toma Tabacu <toma.tabacu@imgtec.com>
4408 * config/mips/mips.h (ISA_HAS_DIV3): Remove unused macro.
4409 (ISA_AVOID_DIV_HILO): New macro.
4410 (ISA_HAS_DIV): Use new ISA_AVOID_DIV_HILO macro.
4411 (ISA_HAS_DDIV): Likewise.
4413 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4415 * doc/invoke.texi (fabi-version): Correct number of occurrences.
4417 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4419 * doc/invoke.texi (fabi-version): Spelling fix.
4421 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4424 * doc/invoke.texi (fabi-version): Mention mangling fix for
4427 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4430 * doc/invoke.texi (fabi-version): Document discriminator mangling.
4432 2017-01-17 Segher Boessenkool <segher@kernel.crashing.org>
4435 * config/rs6000/rs6000-opts.h (stack_protector_guard): New enum.
4436 * config/rs6000/rs6000.c (rs6000_option_override_internal): Handle
4438 * config/rs6000/rs6000.md (stack_protect_set): Handle the new more
4440 (stack_protect_test): Ditto.
4441 * config/rs6000/rs6000.opt (mstack-protector-guard=,
4442 mstack-protector-guard-reg=, mstack-protector-guard-offset=): New
4444 * doc/invoke.texi (Option Summary) [RS/6000 and PowerPC Options]:
4445 Add -mstack-protector-guard=, -mstack-protector-guard-reg=, and
4446 -mstack-protector-guard-offset=.
4447 (RS/6000 and PowerPC Options): Ditto.
4449 2017-01-17 Uros Bizjak <ubizjak@gmail.com>
4451 * config/i386/i386.h (MASK_CLASS_P): New define.
4452 * config/i386/i386.c (inline_secondary_memory_needed): Ensure that
4453 there are no registers from different register sets also when
4454 mask registers are used. Update function comment.
4455 * config/i386/i386.md (*movsi_internal): Split (*k/*krm) alternative
4456 to (*k/*r) and (*k/*km) alternatives.
4458 2017-01-17 Wilco Dijkstra <wdijkstr@arm.com>
4460 * config/aarch64/aarch64.md (eh_return): Remove pattern and splitter.
4461 * config/aarch64/aarch64.h (AARCH64_EH_STACKADJ_REGNUM): Remove.
4462 (EH_RETURN_HANDLER_RTX): New define.
4463 * config/aarch64/aarch64.c (aarch64_frame_pointer_required):
4464 Force frame pointer in EH return functions.
4465 (aarch64_expand_epilogue): Add barrier for eh_return.
4466 (aarch64_final_eh_return_addr): Remove.
4467 (aarch64_eh_return_handler_rtx): New function.
4468 * config/aarch64/aarch64-protos.h (aarch64_final_eh_return_addr):
4470 (aarch64_eh_return_handler_rtx): New prototype.
4472 2017-01-17 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4474 * config/rs6000/altivec.h (vec_rlmi): New #define.
4475 (vec_vrlnm): Likewise.
4476 (vec_rlnm): Likewise.
4477 * config/rs6000/altivec.md (UNSPEC_VRLMI): New UNSPEC enum value.
4478 (UNSPEC_VRLNM): Likewise.
4479 (VIlong): New mode iterator.
4480 (altivec_vrl<VI_char>mi): New define_insn.
4481 (altivec_vrl<VI_char>nm): Likewise.
4482 * config/rs6000/rs6000-builtin.def (VRLWNM): New monomorphic
4485 (RLNM): New polymorphic function entry.
4486 (VRLWMI): New monomorphic function entry.
4488 (RLMI): New polymorphic function entry.
4489 * config/rs6000/r6000-c.c (altivec_overloaded_builtin_table): Add
4490 new entries for P9V_BUILTIN_VEC_RLMI and P9V_BUILTIN_VEC_RLNM.
4491 * doc/extend.texi: Add description of vec_rlmi, vec_rlnm, and
4494 2017-01-17 Jakub Jelinek <jakub@redhat.com>
4497 * dwarf2out.c (field_byte_offset): Restore the
4498 PCC_BITFIELD_TYPE_MATTERS behavior for INTEGER_CST DECL_FIELD_OFFSET
4499 and DECL_FIELD_BIT_OFFSET. Use fold_build2 instead of build2 + fold.
4500 (analyze_variants_discr, gen_variant_part): Use fold_build2 instead
4503 2017-01-17 Eric Botcazou <ebotcazou@adacore.com>
4506 * config/aarch64/aarch64.c (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Define
4508 2017-01-17 Jakub Jelinek <jakub@redhat.com>
4511 * dwarf2out.c (add_data_member_location_attribute): For constant
4512 offset bitfield emit for -gdwarf-5 DW_AT_data_bit_offset attribute
4513 instead of DW_AT_data_member_location, DW_AT_bit_offset and
4514 DW_AT_byte_size attributes.
4516 2017-01-17 Eric Botcazou <ebotcazou@adacore.com>
4518 * config/rs6000/rs6000.c (rs6000_emit_move): Also use a TOC reference
4519 after forcing to constant memory when the code model is medium.
4521 2017-01-17 Julia Koval <julia.koval@intel.com>
4524 * config/i386/avx512fintrin.h
4525 (_mm512_i32gather_ps): Change __addr type to void const*.
4526 (_mm512_mask_i32gather_ps): Ditto.
4527 (_mm512_i32gather_pd): Ditto.
4528 (_mm512_mask_i32gather_pd): Ditto.
4529 (_mm512_i64gather_ps): Ditto.
4530 (_mm512_mask_i64gather_ps): Ditto.
4531 (_mm512_i64gather_pd): Ditto.
4532 (_mm512_mask_i64gather_pd): Ditto.
4533 (_mm512_i32gather_epi32): Ditto.
4534 (_mm512_mask_i32gather_epi32): Ditto.
4535 (_mm512_i32gather_epi64): Ditto.
4536 (_mm512_mask_i32gather_epi64): Ditto.
4537 (_mm512_i64gather_epi32): Ditto.
4538 (_mm512_mask_i64gather_epi32): Ditto.
4539 (_mm512_i64gather_epi64): Ditto.
4540 (_mm512_mask_i64gather_epi64): Ditto.
4541 (_mm512_i32scatter_ps): Change __addr type to void*.
4542 (_mm512_mask_i32scatter_ps): Ditto.
4543 (_mm512_i32scatter_pd): Ditto.
4544 (_mm512_mask_i32scatter_pd): Ditto.
4545 (_mm512_i64scatter_ps): Ditto.
4546 (_mm512_mask_i64scatter_ps): Ditto.
4547 (_mm512_i64scatter_pd): Ditto.
4548 (_mm512_mask_i64scatter_pd): Ditto.
4549 (_mm512_i32scatter_epi32): Ditto.
4550 (_mm512_mask_i32scatter_epi32): Ditto.
4551 (_mm512_i32scatter_epi64): Ditto.
4552 (_mm512_mask_i32scatter_epi64): Ditto.
4553 (_mm512_i64scatter_epi32): Ditto.
4554 (_mm512_mask_i64scatter_epi32): Ditto.
4555 (_mm512_i64scatter_epi64): Ditto.
4556 (_mm512_mask_i64scatter_epi64): Ditto.
4557 * config/i386/avx512pfintrin.h
4558 (_mm512_mask_prefetch_i32gather_pd): Change __addr type to void const*.
4559 (_mm512_mask_prefetch_i32gather_ps): Ditto.
4560 (_mm512_mask_prefetch_i64gather_pd): Ditto.
4561 (_mm512_mask_prefetch_i64gather_ps): Ditto.
4562 (_mm512_prefetch_i32scatter_pd): Change __addr type to void*.
4563 (_mm512_prefetch_i32scatter_ps): Ditto.
4564 (_mm512_mask_prefetch_i32scatter_pd): Ditto.
4565 (_mm512_mask_prefetch_i32scatter_ps): Ditto.
4566 (_mm512_prefetch_i64scatter_pd): Ditto.
4567 (_mm512_prefetch_i64scatter_ps): Ditto.
4568 (_mm512_mask_prefetch_i64scatter_pd): Ditto.
4569 (_mm512_mask_prefetch_i64scatter_ps): Ditto.
4570 * config/i386/avx512vlintrin.h
4571 (_mm256_mmask_i32gather_ps): Change __addr type to void const*.
4572 (_mm_mmask_i32gather_ps): Ditto.
4573 (_mm256_mmask_i32gather_pd): Ditto.
4574 (_mm_mmask_i32gather_pd): Ditto.
4575 (_mm256_mmask_i64gather_ps): Ditto.
4576 (_mm_mmask_i64gather_ps): Ditto.
4577 (_mm256_mmask_i64gather_pd): Ditto.
4578 (_mm_mmask_i64gather_pd): Ditto.
4579 (_mm256_mmask_i32gather_epi32): Ditto.
4580 (_mm_mmask_i32gather_epi32): Ditto.
4581 (_mm256_mmask_i32gather_epi64): Ditto.
4582 (_mm_mmask_i32gather_epi64): Ditto.
4583 (_mm256_mmask_i64gather_epi32): Ditto.
4584 (_mm_mmask_i64gather_epi32): Ditto.
4585 (_mm256_mmask_i64gather_epi64): Ditto.
4586 (_mm_mmask_i64gather_epi64): Ditto.
4587 (_mm256_i32scatter_ps): Change __addr type to void*.
4588 (_mm256_mask_i32scatter_ps): Ditto.
4589 (_mm_i32scatter_ps): Ditto.
4590 (_mm_mask_i32scatter_ps): Ditto.
4591 (_mm256_i32scatter_pd): Ditto.
4592 (_mm256_mask_i32scatter_pd): Ditto.
4593 (_mm_i32scatter_pd): Ditto.
4594 (_mm_mask_i32scatter_pd): Ditto.
4595 (_mm256_i64scatter_ps): Ditto.
4596 (_mm256_mask_i64scatter_ps): Ditto.
4597 (_mm_i64scatter_ps): Ditto.
4598 (_mm_mask_i64scatter_ps): Ditto.
4599 (_mm256_i64scatter_pd): Ditto.
4600 (_mm256_mask_i64scatter_pd): Ditto.
4601 (_mm_i64scatter_pd): Ditto.
4602 (_mm_mask_i64scatter_pd): Ditto.
4603 (_mm256_i32scatter_epi32): Ditto.
4604 (_mm256_mask_i32scatter_epi32): Ditto.
4605 (_mm_i32scatter_epi32): Ditto.
4606 (_mm_mask_i32scatter_epi32): Ditto.
4607 (_mm256_i32scatter_epi64): Ditto.
4608 (_mm256_mask_i32scatter_epi64): Ditto.
4609 (_mm_i32scatter_epi64): Ditto.
4610 (_mm_mask_i32scatter_epi64): Ditto.
4611 (_mm256_i64scatter_epi32): Ditto.
4612 (_mm256_mask_i64scatter_epi32): Ditto.
4613 (_mm_i64scatter_epi32): Ditto.
4614 (_mm_mask_i64scatter_epi32): Ditto.
4615 (_mm256_i64scatter_epi64): Ditto.
4616 (_mm256_mask_i64scatter_epi64): Ditto.
4617 (_mm_i64scatter_epi64): Ditto.
4618 (_mm_mask_i64scatter_epi64): Ditto.
4619 * config/i386/i386-builtin-types.def (V16SF_V16SF_PCFLOAT_V16SI_HI_INT)
4620 (V8DF_V8DF_PCDOUBLE_V8SI_QI_INT, V8SF_V8SF_PCFLOAT_V8DI_QI_INT)
4621 (V8DF_V8DF_PCDOUBLE_V8DI_QI_INT, V16SI_V16SI_PCINT_V16SI_HI_INT)
4622 (V8DI_V8DI_PCINT64_V8SI_QI_INT, V8SI_V8SI_PCINT_V8DI_QI_INT)
4623 (V8DI_V8DI_PCINT64_V8DI_QI_INT, V2DF_V2DF_PCDOUBLE_V4SI_QI_INT)
4624 (V4DF_V4DF_PCDOUBLE_V4SI_QI_INT, V2DF_V2DF_PCDOUBLE_V2DI_QI_INT)
4625 (V4DF_V4DF_PCDOUBLE_V4DI_QI_INT, V4SF_V4SF_PCFLOAT_V4SI_QI_INT)
4626 (V8SF_V8SF_PCFLOAT_V8SI_QI_INT, V4SF_V4SF_PCFLOAT_V2DI_QI_INT)
4627 (V4SF_V4SF_PCFLOAT_V4DI_QI_INT, V2DI_V2DI_PCINT64_V4SI_QI_INT)
4628 (V4DI_V4DI_PCINT64_V4SI_QI_INT, V2DI_V2DI_PCINT64_V2DI_QI_INT)
4629 (V4DI_V4DI_PCINT64_V4DI_QI_INT, V4SI_V4SI_PCINT_V4SI_QI_INT)
4630 (V8SI_V8SI_PCINT_V8SI_QI_INT, V4SI_V4SI_PCINT_V2DI_QI_INT)
4631 (V4SI_V4SI_PCINT_V4DI_QI_INT, VOID_PFLOAT_HI_V16SI_V16SF_INT)
4632 (VOID_PFLOAT_QI_V8SI_V8SF_INT, VOID_PFLOAT_QI_V4SI_V4SF_INT)
4633 (VOID_PDOUBLE_QI_V8SI_V8DF_INT, VOID_PDOUBLE_QI_V4SI_V4DF_INT)
4634 (VOID_PDOUBLE_QI_V4SI_V2DF_INT, VOID_PFLOAT_QI_V8DI_V8SF_INT)
4635 (VOID_PFLOAT_QI_V4DI_V4SF_INT, VOID_PFLOAT_QI_V2DI_V4SF_INT)
4636 (VOID_PDOUBLE_QI_V8DI_V8DF_INT, VOID_PDOUBLE_QI_V4DI_V4DF_INT)
4637 (VOID_PDOUBLE_QI_V2DI_V2DF_INT, VOID_PINT_HI_V16SI_V16SI_INT)
4638 (VOID_PINT_QI_V8SI_V8SI_INT, VOID_PINT_QI_V4SI_V4SI_INT)
4639 (VOID_PLONGLONG_QI_V8SI_V8DI_INT, VOID_PLONGLONG_QI_V4SI_V4DI_INT)
4640 (VOID_PLONGLONG_QI_V4SI_V2DI_INT, VOID_PINT_QI_V8DI_V8SI_INT)
4641 (VOID_PINT_QI_V4DI_V4SI_INT, VOID_PINT_QI_V2DI_V4SI_INT)
4642 (VOID_PLONGLONG_QI_V8DI_V8DI_INT, VOID_QI_V8SI_PCINT64_INT_INT)
4643 (VOID_PLONGLONG_QI_V4DI_V4DI_INT, VOID_PLONGLONG_QI_V2DI_V2DI_INT)
4644 (VOID_HI_V16SI_PCINT_INT_INT, VOID_QI_V8DI_PCINT64_INT_INT)
4645 (VOID_QI_V8DI_PCINT_INT_INT): Remove.
4646 (V16SF_V16SF_PCVOID_V16SI_HI_INT, V8DF_V8DF_PCVOID_V8SI_QI_INT)
4647 (V8SF_V8SF_PCVOID_V8DI_QI_INT, V8DF_V8DF_PCVOID_V8DI_QI_INT)
4648 (V16SI_V16SI_PCVOID_V16SI_HI_INT, V8DI_V8DI_PCVOID_V8SI_QI_INT)
4649 (V8SI_V8SI_PCVOID_V8DI_QI_INT, V8DI_V8DI_PCVOID_V8DI_QI_INT)
4650 (VOID_PVOID_HI_V16SI_V16SF_INT, VOID_PVOID_QI_V8SI_V8DF_INT)
4651 (VOID_PVOID_QI_V8DI_V8SF_INT, VOID_PVOID_QI_V8DI_V8DF_INT)
4652 (VOID_PVOID_HI_V16SI_V16SI_INT, VOID_PVOID_QI_V8SI_V8DI_INT)
4653 (VOID_PVOID_QI_V8DI_V8SI_INT, VOID_PVOID_QI_V8DI_V8DI_INT)
4654 (V2DF_V2DF_PCVOID_V4SI_QI_INT, V4DF_V4DF_PCVOID_V4SI_QI_INT)
4655 (V2DF_V2DF_PCVOID_V2DI_QI_INT, V4DF_V4DF_PCVOID_V4DI_QI_INT
4656 (V4SF_V4SF_PCVOID_V4SI_QI_INT, V8SF_V8SF_PCVOID_V8SI_QI_INT)
4657 (V4SF_V4SF_PCVOID_V2DI_QI_INT, V4SF_V4SF_PCVOID_V4DI_QI_INT)
4658 (V2DI_V2DI_PCVOID_V4SI_QI_INT, V4DI_V4DI_PCVOID_V4SI_QI_INT)
4659 (V2DI_V2DI_PCVOID_V2DI_QI_INT, V4DI_V4DI_PCVOID_V4DI_QI_INT)
4660 (V4SI_V4SI_PCVOID_V4SI_QI_INT, V8SI_V8SI_PCVOID_V8SI_QI_INT)
4661 (V4SI_V4SI_PCVOID_V2DI_QI_INT, V4SI_V4SI_PCVOID_V4DI_QI_INT)
4662 (VOID_PVOID_QI_V8SI_V8SF_INT, VOID_PVOID_QI_V4SI_V4SF_INT)
4663 (VOID_PVOID_QI_V4SI_V4DF_INT, VOID_PVOID_QI_V4SI_V2DF_INT)
4664 (VOID_PVOID_QI_V4DI_V4SF_INT, VOID_PVOID_QI_V2DI_V4SF_INT)
4665 (VOID_PVOID_QI_V4DI_V4DF_INT, VOID_PVOID_QI_V2DI_V2DF_INT)
4666 (VOID_PVOID_QI_V8SI_V8SI_INT, VOID_PVOID_QI_V4SI_V4SI_INT)
4667 (VOID_PVOID_QI_V4SI_V4DI_INT, VOID_PVOID_QI_V4SI_V2DI_INT)
4668 (VOID_PVOID_QI_V4DI_V4SI_INT, VOID_PVOID_QI_V2DI_V4SI_INT)
4669 (VOID_PVOID_QI_V4DI_V4DI_INT, VOID_PVOID_QI_V2DI_V2DI_INT)
4670 (VOID_QI_V8SI_PCVOID_INT_INT, VOID_HI_V16SI_PCVOID_INT_INT)
4671 (VOID_QI_V8DI_PCVOID_INT_INT): Add.
4672 * config/i386/i386.c (ix86_init_mmx_sse_builtins): Adjust builtin
4673 definitions accordingly.
4675 2017-01-17 Kito Cheng <kito.cheng@gmail.com>
4676 Kuan-Lin Chen <kuanlinchentw@gmail.com>
4679 * internal-fn.c (expand_mul_overflow): Use convert_modes instead of
4682 2017-01-17 Vladimir Makarov <vmakarov@redhat.com>
4685 * ira-conflicts.c (ira_build_conflicts): Update total conflict
4686 hard regs for inner regno.
4688 2017-01-17 Martin Liska <mliska@suse.cz>
4691 * ipa-polymorphic-call.c (contains_type_p): Fix wrong
4692 assumption and add comment.
4694 2017-01-17 Nathan Sidwell <nathan@acm.org>
4696 * ipa-visibility.c (localize_node): New function, broken out of ...
4697 (function_and_variable_visibility): ... here. Call it.
4699 2017-01-17 Jan Hubicka <hubicka@ucw.cz>
4702 * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges):
4703 correctly set frequency of oudgoing edge.
4704 (duplicate_thread_path): Fix profile updating.
4706 2017-01-17 Jakub Jelinek <jakub@redhat.com>
4709 * configure.ac: Add GCC_BASE_VER.
4710 * Makefile.in (version): Use @get_gcc_base_ver@ instead of cat to get
4711 version from BASE-VER file.
4712 (CFLAGS-gcc.o): Add -DBASEVER=$(BASEVER_s).
4713 (gcc.o): Depend on $(BASEVER).
4714 * common.opt (dumpfullversion): New option.
4715 * gcc.c (driver_handle_option): Handle OPT_dumpfullversion.
4716 * doc/invoke.texi: Document -dumpfullversion.
4717 * doc/install.texi: Document --with-gcc-major-version-only.
4718 * configure: Regenerated.
4720 2017-01-17 Richard Biener <rguenther@suse.de>
4722 PR tree-optimization/71433
4723 * tree-vrp.c (register_new_assert_for): Merge same asserts
4724 on all incoming edges.
4725 (process_assert_insertions_for): Handle insertions at the
4728 2017-01-17 Gerald Pfeifer <gerald@pfeifer.com>
4730 * config/i386/cygwin.h (LIBGCJ_SONAME): Remove.
4731 * config/i386/mingw32.h (LIBGCJ_SONAME): Remove.
4733 2017-01-17 Kaz Kojima <kkojima@gcc.gnu.org>
4736 * config/sh/sh.md (cmpeqsi_t+1): Call copy_rtx to avoid invalid
4739 2017-01-17 Alan Modra <amodra@gmail.com>
4742 * config/rs6000/rs6000.md (elf_high, elf_low): Disable when pic.
4743 * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Don't allow
4744 symbolic stack limit when pic.
4746 2017-01-16 Martin Sebor <msebor@redhat.com>
4748 PR tree-optimization/78608
4749 * gimple-ssa-sprintf.c (tree_digits): Avoid negating TYPE_MIN.
4751 2017-01-16 Jeff Law <law@redhat.com>
4754 2016-12-02 Tadek Kijkowski <tkijkowski@gmail.com>
4755 * Makefile.in (PREPROCESSOR_DEFINES): Add a level of indirection
4756 for several include directories that may be relative to sysroot.
4757 * config/i386/x-mingw32 (gplus_includedir): Define.
4758 (gplus_tool_includedir, gplus_backward_include_dir): Likewise.
4759 (native_system_includedir): Likewise.
4760 * config/i386/mingw32.h (STANDARD_STARTFILE_PREFIX_1): Do not
4761 override if TARGET_SYSTEM_ROOT is defined.
4762 (NATIVE_SYSTEM_HEADER_DIR): Likewise.
4764 PR tree-optimization/79090
4765 PR tree-optimization/33562
4766 PR tree-optimization/61912
4767 PR tree-optimization/77485
4768 * tree-ssa-dse.c (compute_trims): Accept STMT argument. Dump STMT
4769 and computed trims into the dump file.
4771 2017-01-17 Uros Bizjak <ubizjak@gmail.com>
4773 * config/i386/i386.h (LIMIT_RELOAD_CLASS): Remove.
4775 2017-01-16 Jakub Jelinek <jakub@redhat.com>
4778 * gimplify.c (gimplify_init_constructor): If want_value and
4779 object == lhs, unshare lhs to avoid invalid tree sharing. Formatting
4783 * loop-doloop.c (doloop_modify): Call unshare_all_rtl_in_chain on
4784 sequence. Formatting fixes.
4785 (doloop_optimize): Formatting fixes.
4788 * gcc.c (debug_level_greater_than_spec_func): New function.
4789 (static_spec_functions): Add debug-level-gt spec function.
4790 (ASM_DEBUG_SPEC, cpp_options): Use %:debug-level-gt(0) instead of
4792 * config/darwin.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
4793 * config/darwin9.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
4794 * common.opt (g, gcoff, gdwarf, gdwarf-, ggdb, gno-pubnames,
4795 gpubnames, ggnu-pubnames, gno-record-gcc-switches,
4796 grecord-gcc-switches, gno-strict-dwarf, gstrict-dwarf, gstabs,
4797 gstabs+, gtoggle, gvms, gxcoff, gxcoff+): Add Driver flag.
4799 2017-01-16 Uros Bizjak <ubizjak@gmail.com>
4801 * config/i386/i386.h (HARD_REGNO_CALLER_SAVE_MODE): Apply HImode and
4802 QImode fixups to general and mask registers only.
4804 2017-01-16 Carl Love <cel@us.ibm.com>
4806 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Add support
4807 for built-in functions
4808 vector signed char vec_nabs (vector signed char)
4809 vector signed short vec_nabs (vector signed short)
4810 vector signed int vec_nabs (vector signed int)
4811 vector signed long long vec_nabs (vector signed long long)
4812 vector float vec_nabs (vector float)
4813 vector double vec_nabs (vector double)
4814 * config/rs6000/rs6000-builtin.def: Add definitions for NABS functions
4816 * config/rs6000/altivec.md: New define_expand nabs<mode>2 types
4817 * config/rs6000/altivec.h: New define for vec_nabs built-in function.
4818 * doc/extend.texi: Update the documentation file for the new built-in
4821 2017-01-16 Martin Sebor <msebor@redhat.com>
4823 * gimple-ssa-sprintf.c (format_directive): Correct a typo in a warning
4826 2017-01-16 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4828 * config/rs6000/rs6000.c (rtx_is_swappable_p): Change
4829 UNSPEC_VSX__XXSPLTD to require special splat handling.
4831 2017-01-16 David Malcolm <dmalcolm@redhat.com>
4834 * system.h: Poison strndup.
4836 2017-01-16 Alan Modra <amodra@gmail.com>
4839 * config/rs6000/rs6000.c (rs6000_legitimate_combined_insn): Don't
4842 2017-01-16 Georg-Johann Lay <avr@gjlay.de>
4844 * config/avr/avr.h (BRANCH_COST) [reload_completed]: Increase by 4.
4846 2017-01-15 Uros Bizjak <ubizjak@gmail.com>
4848 * config/i386/i386.c (ix86_legitimate_combined_insn): Do not
4849 call recog here. Assert that INSN_CODE (insn) is non-negative.
4851 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
4854 * cfgrtl.c (rtl_split_edge): Also patch jump insns that jump to the
4856 * haifa-sched.c (dump_insn_stream): Don't crash if there is a label
4857 in the currently scheduled RTL fragment.
4859 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
4861 PR rtl-optimization/78751
4862 * ifcvt.c (find_cond_trap): If we generated a non-existing insn,
4865 2017-01-14 Jeff Law <law@redhat.com>
4867 PR tree-optimization/79090
4868 * tree-ssa-dse.c (valid_ao_ref_for_dse): Reject zero length and
4869 variable length stores.
4870 (compute_trims): Delete dead assignment to *trim_tail.
4871 (dse_dom_walker::dse_optimize_stmt): Optimize mem* calls with
4874 2017-01-14 Bernd Schmidt <bschmidt@redhat.com>
4876 PR rtl-optimization/78626
4877 PR rtl-optimization/78727
4878 * cprop.c (one_cprop_pass): Collect unconditional traps in the middle
4879 of a block, and split such blocks after everything else is finished.
4881 2017-01-14 Alan Modra <amodra@gmail.com>
4884 * combine.c (recog_for_combine_1): Set INSN_CODE before calling
4885 target legitimate_combined_insn.
4886 * config/rs6000/rs6000.c (TARGET_LEGITIMATE_COMBINED_INSN): Define.
4887 (rs6000_legitimate_combined_insn): New function.
4888 * config/rs6000/rs6000.md (UNSPEC_DOLOOP): Delete, and remove
4890 (ctr<mode>_internal3): Rename from *ctr<mode>_internal5.
4891 (ctr<mode>_internal4): Rename from *ctr<mode>_internal6.
4892 (ctr<mode>_internal1, ctr<mode>_internal2): Remove '*' from name.
4894 2017-01-14 Gerald Pfeifer <gerald@pfeifer.com>
4896 * doc/frontends.texi (G++ and GCC): Remove references to Java.
4898 2017-01-13 Jeff Law <law@redhat.com>
4900 PR tree-optimization/33562
4901 PR tree-optimization/61912
4902 PR tree-optimization/77485
4903 * tree-ssa-dse.c (delete_dead_call): Accept gsi rather than
4905 (delete_dead_assignment): Likewise.
4906 (dse_dom_walker::dse_optimize_stmt): Pass in the gsi rather than
4907 statement to delete_dead_call and delete_dead_assignment.
4909 2017-01-13 David Malcolm <dmalcolm@redhat.com>
4912 * substring-locations.c (format_warning_va): Strengthen case 1 so
4913 that both endpoints of the substring must be within the format
4914 range for just the substring to be printed.
4916 2017-01-13 Uros Bizjak <ubizjak@gmail.com>
4918 * config/i386/i386.opt (msgx): Use ix86_isa_flags2 variable.
4919 * config/i386/i386.c (ix86_target_string): Add missing options
4920 to isa_opts and reorder options by implied ISAs. Rename isa_opts2 to
4921 isa2_opts, ix86_flag_opts to flag2_opts, ix86_target_other to
4922 flags_other and ix86_target_other to flags2_other. Display unknown
4924 (ix86_valid_target_attribute_inner_p): Add missing options and
4925 reorder options by implied ISAs, as in ix86_target_string.
4927 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
4929 * hash-table.h (hash_table::too_empty_p): New function.
4930 (hash_table::expand): Use it.
4931 (hash_table::traverse): Likewise.
4932 (hash_table::empty_slot): Use sizeof (value_type) instead of
4933 sizeof (PTR) to convert bytes to elements. Shrink the table
4934 if the current size is excessive for the current number of
4937 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
4939 * ira-costs.c (record_reg_classes): Break from the inner loop
4940 early once alt_fail is known to be true. Update outer loop
4941 handling accordingly.
4943 2017-01-13 Jeff Law <law@redhat.com>
4945 * tree-ssa-dse.c (decrement_count): New function.
4946 (increment_start_addr, maybe_trim_memstar_call): Likewise.
4947 (dse_dom_walker::optimize_stmt): Call maybe_trim_memstar_call directly
4948 when we know the partially dead statement is a mem* function.
4950 PR tree-optimization/61912
4951 PR tree-optimization/77485
4952 * tree-ssa-dse.c: Include expr.h.
4953 (maybe_trim_constructor_store): New function.
4954 (maybe_trim_partially_dead_store): Call maybe_trim_constructor_store.
4956 PR tree-optimization/33562
4957 PR tree-optimization/61912
4958 PR tree-optimization/77485
4959 * doc/invoke.texi: Document new dse-max-object-size param.
4960 * params.def (PARM_DSE_MAX_OBJECT_SIZE): New PARAM.
4961 * tree-ssa-dse.c: Include params.h.
4962 (dse_store_status): New enum.
4963 (initialize_ao_ref_for_dse): New, partially extracted from
4965 (valid_ao_ref_for_dse, normalize_ref): New.
4966 (setup_live_bytes_from_ref, compute_trims): Likewise.
4967 (clear_bytes_written_by, maybe_trim_complex_store): Likewise.
4968 (maybe_trim_partially_dead_store): Likewise.
4969 (maybe_trim_complex_store): Likewise.
4970 (dse_classify_store): Renamed from dse_possibly_dead_store_p.
4971 Track what bytes live from the original store. Return tri-state
4972 for dead, partially dead or live.
4973 (dse_dom_walker): Add constructor, destructor and new private members.
4974 (delete_dead_call, delete_dead_assignment): New extracted from
4976 (dse_optimize_stmt): Make a member of dse_dom_walker.
4977 Use initialize_ao_ref_for_dse.
4979 PR tree-optimization/33562
4980 PR tree-optimization/61912
4981 PR tree-optimization/77485
4982 * sbitmap.h (bitmap_count_bits): Prototype.
4983 (bitmap_clear_range, bitmap_set_range): Likewise.
4984 * sbitmap.c (bitmap_clear_range): New function.
4985 (bitmap_set_range, sbitmap_popcount, bitmap_count_bits): Likewise.
4987 2017-01-13 Martin Liska <mliska@suse.cz>
4990 * function.c (set_cfun): Add new argument force.
4991 * function.h (set_cfun): Likewise.
4992 * ipa-inline-transform.c (inline_call): Use the function when
4993 strict alising from is dropped for function we inline to.
4995 2017-01-13 Richard Biener <rguenther@suse.de>
4997 * tree-pretty-print.c (dump_generic_node): Fix inverted condition
4998 for dumping GIMPLE INTEGER_CSTs.
5000 2017-01-13 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
5002 * config/sol2.h (TARGET_OS_CPP_BUILTINS): Define __STDC_VERSION__
5003 to 201112L since C++17.
5005 2017-01-13 Maxim Ostapenko <m.ostapenko@samsung.com>
5008 * asan.c (asan_needs_odr_indicator_p): Don't emit ODR indicators
5009 if -fsanitize=kernel-address is present.
5011 2017-01-13 Richard Biener <rguenther@suse.de>
5013 * tree-pretty-print.c (dump_generic_node): Dump INTEGER_CSTs
5014 as _Literal ( type ) number in case usual suffixes do not
5015 preserve all information.
5017 2017-01-13 Richard Biener <rguenther@suse.de>
5019 PR tree-optimization/77283
5020 * gimple-ssa-split-paths.c: Include gimple-ssa.h, tree-phinodes.h
5021 and ssa-iterators.h.
5022 (is_feasible_trace): Implement a cost model based on joiner
5025 2017-01-12 Michael Meissner <meissner@linux.vnet.ibm.com>
5028 * config/rs6000/rs6000.md (FP_ISA3): Do not optimize converting
5029 char or short to __float128/_Float128 directly.
5031 2017-01-12 Martin Sebor <msebor@redhat.com>
5033 to -Wformat-overflow.
5034 * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust.
5035 (min_bytes_remaining): Same.
5036 (get_string_length): Same.
5037 (format_string): Same.
5038 (format_directive): Same.
5040 (pass_sprintf_length::handle_gimple_call): Same.
5042 2017-01-12 Jakub Jelinek <jakub@redhat.com>
5044 * gimple-ssa-sprintf.c (try_substitute_return_value): Remove
5045 info.nowrite calls with no lhs that can't throw. Return bool
5046 whether gsi_remove has been called or not.
5047 (pass_sprintf_length::handle_gimple_call): Return bool whether
5048 try_substitute_return_value called gsi_remove. Formatting fix.
5049 (pass_sprintf_length::execute): Don't use gsi_remove if
5050 handle_gimple_call returned true.
5053 * cfgrtl.c (rtl_tidy_fallthru_edge): For any_uncondjump_p that can't
5054 be removed due to side-effects, don't remove following barrier nor
5055 turn the successor edge into fallthru edge.
5057 2017-01-12 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
5060 * config/rs6000/rs6000.c (insn_is_swappable_p): Mark
5061 element-reversing loads and stores as not swappable.
5063 2017-01-12 Nathan Sidwell <nathan@acm.org>
5064 Nicolai Stange <nicstange@gmail.com>
5066 * combine.c (try_combine): Don't ignore result of overlap checking
5067 loop. Combine overlap & asm check into single loop.
5069 2017-01-12 Richard Biener <rguenther@suse.de>
5071 * tree-pretty-print.c (dump_generic_node): Provide -gimple
5072 variant for MEM_REF. Sanitize INTEGER_CST for -gimple.
5074 2017-01-12 Richard Biener <rguenther@suse.de>
5076 * tree.c (initialize_tree_contains_struct): Make TS_OPTIMIZATION
5077 and TS_TARGET_OPTION directly derive from TS_BASE.
5078 * tree-core.h (tree_optimization_option): Derive from tree_base.
5079 (tree_target_option): Likewise.
5081 2017-01-11 Uros Bizjak <ubizjak@gmail.com>
5083 * config/i386/i386.c (memory_address_length): Increase len
5084 only when rip_relative_addr_p returns false.
5086 2017-01-11 Julia Koval <julia.koval@intel.com>
5088 * common/config/i386/i386-common.c (OPTION_MASK_ISA_SGX_UNSET): New.
5089 (OPTION_MASK_ISA_SGX_SET): New.
5090 (ix86_handle_option): Handle OPT_msgx.
5091 * config.gcc: Added sgxintrin.h.
5092 * config/i386/driver-i386.c (host_detect_local_cpu): Detect sgx.
5093 * config/i386/i386-c.c (ix86_target_macros_internal): Define __SGX__.
5094 * config/i386/i386.c (ix86_target_string): Add -msgx.
5096 (ix86_option_override_internal): Handle new options.
5097 (ix86_valid_target_attribute_inner_p): Add sgx.
5098 * config/i386/i386.h (TARGET_SGX, TARGET_SGX_P): New.
5099 * config/i386/i386.opt: Add msgx.
5100 * config/i386/sgxintrin.h: New file.
5101 * config/i386/x86intrin.h: Add sgxintrin.h.
5103 2017-01-11 Jakub Jelinek <jakub@redhat.com>
5106 * fold-const.c (maybe_nonzero_address): Return 1 for function
5108 (tree_single_nonzero_warnv_p): Don't handle function local objects
5112 * gcc.c (default_compilers): Don't add -o %g.s for -S -save-temps
5115 2017-01-11 David Malcolm <dmalcolm@redhat.com>
5118 * opts.c: Include "spellcheck.h"
5119 (struct string_fragment): New struct.
5120 (struct edit_distance_traits<const string_fragment &>): New
5122 (get_closest_sanitizer_option): New function.
5123 (parse_sanitizer_options): Offer suggestions for unrecognized arguments.
5125 2017-01-11 Jakub Jelinek <jakub@redhat.com>
5127 * dwarf2out.c (DWARF_COMPILE_UNIT_HEADER_SIZE): For DWARF5 decrease
5129 (DWARF_COMDAT_TYPE_UNIT_HEADER_SIZE): Always
5130 DWARF_COMPILE_UNIT_HEADER_SIZE plus 12.
5131 (DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE): Define.
5132 (calc_base_type_die_sizes): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE
5133 for initial die_offset if dwarf_split_debug_info.
5134 (output_comp_unit): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE for
5135 initial next_die_offset if dwo_id is non-NULL. Don't emit padding
5137 (output_skeleton_debug_sections): Formatting fix. Use
5138 DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE instead of
5139 DWARF_COMPILE_UNIT_HEADER_SIZE. Don't emit padding.
5141 2017-01-11 Wilco Dijkstra <wdijkstr@arm.com>
5143 * config/arm/cortex-a53.md: Add bypasses for
5145 (cortex_a53_r2f): Only use for transfers.
5146 (cortex_a53_f2r): Likewise.
5147 (cortex_a53_r2f_cvt): Add reservation for conversions.
5148 (cortex_a53_f2r_cvt): Likewise.
5150 2017-01-11 Tamar Christina <tamar.christina@arm.com>
5152 * config/arm/arm_neon.h: Add __artificial__ and gnu_inline
5153 to all inlined functions, change static to extern.
5155 2017-01-11 Christophe Lyon <christophe.lyon@linaro.org>
5158 * config/arm/arm.c (legitimize_pic_address): Handle reference to
5160 (arm_assemble_integer): Likewise.
5162 2017-01-11 Richard Earnshaw <rearnsha@arm.com>
5164 * config.gcc: Use new awk script to check CPU, FPU and architecture
5165 parameters for --with-... options.
5166 * config/arm/parsecpu.awk: New file
5167 * config/arm/arm-cpus.in: New file.
5168 * config/arm/arm-opts.h: Include arm-cpu.h instead of processing .def
5170 * config/arm/arm.c: Include arm-cpu-data.h instead of processing .def
5172 * config/arm/t-arm: Update dependency rules.
5173 * common/config/arm/arm-common.c: Include arm-cpu-cdata.h instead
5174 of processing .def files.
5175 * config/arm/genopt.sh: Deleted.
5176 * config/arm/gentune.sh: Deleted.
5177 * config/arm/arm-cores.def: Deleted.
5178 * config/arm/arm-arches.def: Deleted.
5179 * config/arm/arm-fpus.def: Deleted.
5180 * config/arm/arm-tune.md: Regenerated.
5181 * config/arm/arm-tables.opt: Regenerated.
5182 * config/arm/arm-cpu.h: New generated file.
5183 * config/arm/arm-cpu-data.h: New generated file.
5184 * config/arm/arm-cpu-cdata.h: New generated file.
5186 2017-01-11 Maxim Ostapenko <m.ostapenko@samsung.com>
5189 * lto-cgraph.c (lto_output_varpool_node): Pack dynamically_initialized
5191 (input_varpool_node): Unpack dynamically_initialized bit.
5193 2017-01-11 Eric Botcazou <ebotcazou@adacore.com>
5195 PR rtl-optimization/79032
5196 * lra-constraints.c (simplify_operand_subreg): In the MEM case, test
5197 the alignment of the adjusted memory reference against that of MODE,
5198 instead of the alignment of the original memory reference.
5200 2017-01-11 Martin Jambor <mjambor@suse.cz>
5202 * hsa.c (hsa_callable_function_p): Revert addition of DECL_ARTIFICIAL
5204 * ipa-hsa.c (process_hsa_functions): Only duplicate non-artificial
5205 decorated functions.
5207 2017-01-11 Richard Biener <rguenther@suse.de>
5209 * tree-vrp.c (evrp_dom_walker::before_dom_children): Also
5210 set range/nonnull info for PHI results. Do not set it on
5211 stmts marked for removal.
5213 2017-01-10 Eric Botcazou <ebotcazou@adacore.com>
5215 * expr.c (store_field): In the bitfield case, fetch the return value
5216 from the registers before applying a single big-endian adjustment.
5217 Always do a final load for a BLKmode value not larger than a word.
5219 2017-01-10 David Malcolm <dmalcolm@redhat.com>
5222 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
5223 that we correctly handle column numbers greater than
5224 LINE_MAP_MAX_COLUMN_NUMBER.
5226 2017-01-10 Martin Sebor <msebor@redhat.com>
5229 * gimple-ssa-sprintf.c (get_destination_size): Call
5230 {init,fini}object_sizes.
5231 * tree-object-size.c (addr_object_size): Adjust.
5232 (pass_through_call): Adjust.
5233 (pass_object_sizes::execute): Adjust.
5234 * tree-object-size.h (fini_object_sizes): Declare.
5236 2017-01-10 Martin Sebor <msebor@redhat.com>
5238 PR tree-optimization/78775
5239 * builtins.c (get_size_range): Move...
5240 * calls.c: ...to here.
5241 (alloc_max_size): Accept zero argument.
5242 (operand_signed_p): Remove.
5243 (maybe_warn_alloc_args_overflow): Call get_size_range.
5244 * calls.h (get_size_range): Declare.
5246 2017-01-10 Joe Seymour <joe.s@somniumtech.com>
5248 * config/msp430/driver-msp430.c (msp430_mcu_data): Sync with data
5249 from TI's devices.csv file as of September 2016.
5250 * config/msp430/msp430.c (msp430_mcu_data): Likewise.
5252 2017-01-10 Sandra Loosemore <sandra@codesourcery.com>
5254 * doc/extend.texi: Tweak formatting to fix overfull hbox warnings.
5255 * doc/invoke.texi: Likewise.
5256 * doc/md.texi: Likewise.
5257 * doc/objc.texi: Likewise.
5259 2017-01-10 Joshua Conner <joshconner@google.com>
5261 * config/arm/fuchsia-elf.h: New file.
5262 * config/fuchsia.h: New file.
5263 * config.gcc (*-*-fuchsia*): Set native_system_header_dir.
5264 (aarch64*-*-fuchsia*, arm*-*-fuchsia*, x86_64-*-fuchsia*): Add to
5266 * config.host: (aarch64*-*-fuchsia*, arm*-*-fuchsia*): Add to hosts.
5268 2016-01-10 Richard Biener <rguenther@suse.de>
5270 PR tree-optimization/79034
5271 * tree-call-cdce.c (shrink_wrap_one_built_in_call_with_conds):
5272 Propagate out degenerate PHIs in the joiner.
5274 2017-01-10 Martin Liska <mliska@suse.cz>
5276 * ipa-icf.c (sort_sem_items_by_decl_uid): New function.
5277 (sort_congruence_classes_by_decl_uid): Likewise.
5278 (sort_congruence_class_groups_by_decl_uid): Likewise.
5279 (sem_item_optimizer::merge_classes): Sort class, groups in these
5280 classes and members in the groups by DECL_UID of declarations.
5281 This would make merge operations stable.
5283 2017-01-10 Martin Liska <mliska@suse.cz>
5285 * ipa-icf.c (sem_item_optimizer::sem_item_optimizer): Remove
5286 usage of m_classes_vec.
5287 (sem_item_optimizer::~sem_item_optimizer): Likewise.
5288 (sem_item_optimizer::get_group_by_hash): Likewise.
5289 (sem_item_optimizer::subdivide_classes_by_equality): Likewise.
5290 (sem_item_optimizer::subdivide_classes_by_sensitive_refs): Likewise.
5291 (sem_item_optimizer::verify_classes): Likewise.
5292 (sem_item_optimizer::process_cong_reduction): Likewise.
5293 (sem_item_optimizer::dump_cong_classes): Likewise.
5294 (sem_item_optimizer::merge_classes): Likewise.
5295 * ipa-icf.h (congruence_class_hash): Rename from
5296 congruence_class_group_hash. Remove declaration of m_classes_vec.
5298 2017-01-10 Andrew Senkevich <andrew.senkevich@intel.com>
5300 * common/config/i386/i386-common.c (OPTION_MASK_ISA_AVX512VPOPCNTDQ_SET,
5301 OPTION_MASK_ISA_AVX512VPOPCNTDQ_UNSET): New.
5302 * config.gcc: Add avx512vpopcntdqintrin.h.
5303 * config/i386/avx512vpopcntdqintrin.h: New.
5304 * config/i386/cpuid.h (bit_AVX512VPOPCNTDQ): New.
5305 * config/i386/i386-builtin-types.def: Add new types.
5306 * config/i386/i386-builtin.def (__builtin_ia32_vpopcountd_v16si,
5307 __builtin_ia32_vpopcountd_v16si_mask, __builtin_ia32_vpopcountq_v8di,
5308 __builtin_ia32_vpopcountq_v8di_mask): New.
5309 * config/i386/i386-c.c (ix86_target_macros_internal): Define
5310 __AVX512VPOPCNTDQ__.
5311 * config/i386/i386.c (ix86_target_string): Add -mavx512vpopcntdq.
5312 (PTA_AVX512VPOPCNTDQ): Define.
5313 * config/i386/i386.h (TARGET_AVX512VPOPCNTDQ,
5314 TARGET_AVX512VPOPCNTDQ_P): Define.
5315 * config/i386/i386.opt: Add mavx512vpopcntdq.
5316 * config/i386/immintrin.h: Include avx512vpopcntdqintrin.h.
5317 * config/i386/sse.md (define_insn "vpopcount<mode><mask_name>"): New.
5319 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
5322 * predict.def (PRED_CALL): Set to 67.
5324 2017-01-09 Eric Botcazou <ebotcazou@adacore.com>
5326 * expr.c (store_field): In the bitfield case, if the value comes from
5327 a function call and is of an aggregate type returned in registers, do
5328 not modify the field mode; extract the value in all cases if the mode
5329 is BLKmode and the size is not larger than a word.
5331 2017-01-09 Dominique d'Humieres <dominiq@lps.ens.fr>
5334 * config/i386/cpuid.h: Fix undefined behavior.
5336 2017-01-04 Jeff Law <law@redhat.com>
5338 PR tree-optimization/79007
5339 PR tree-optimization/67955
5340 * tree-ssa-alias.c (same_addr_size_stores_p): Only need to be
5341 conservative for pt.null when flag_non_call_exceptions is on.
5343 2017-01-09 Jakub Jelinek <jakub@redhat.com>
5345 PR translation/79019
5346 PR translation/79020
5347 * params.def (PARAM_INLINE_MIN_SPEEDUP,
5348 PARAM_IPA_CP_SINGLE_CALL_PENALTY,
5349 PARAM_USE_AFTER_SCOPE_DIRECT_EMISSION_THRESHOLD): Fix typos
5351 * config/avr/avr.opt (maccumulate-args): Likewise.
5352 * config/msp430/msp430.opt (mwarn-mcu): Likewise.
5353 * common.opt (freport-bug): Likewise.
5354 * cif-code.def (CIF_FINAL_ERROR): Likewise.
5355 * doc/invoke.texi (ipa-cp-single-call-penalty): Likewise.
5356 * config/s390/s390.c (s390_invalid_binary_op): Fix spelling in
5357 translatable string.
5358 * config/i386/i386.c (function_value_32): Likewise.
5359 * config/nios2/nios2.c (nios2_valid_target_attribute_rec): Likewise.
5360 * config/msp430/msp430.c (msp430_option_override, msp430_attr):
5362 * config/msp430/driver-msp430.c (msp430_select_hwmult_lib): Likewise.
5363 * common/config/msp430/msp430-common.c (msp430_handle_option):
5365 * symtab.c (symtab_node::verify_base): Likewise.
5366 * opts.c (set_debug_level): Likewise.
5367 * tree.c (verify_type_variant): Likewise. Fix typo in comment.
5368 * config/rs6000/rs6000-c.c (altivec_resolve_overloaded_builtin): Add
5369 missing whitespace to translatable strings.
5370 * config/avr/avr.md (bswapsi2): Fix typo in comment.
5371 * config/sh/superh.h: Likewise.
5372 * config/i386/xopintrin.h: Likewise.
5373 * config/i386/znver1.md: Likewise.
5374 * config/rs6000/rs6000.c (struct rs6000_opt_mask): Likewise.
5375 * ipa-inline-analysis.c (compute_inline_parameters): Likewise.
5376 * double-int.h (struct double_int): Likewise.
5377 * double-int.c (div_and_round_double): Likewise.
5378 * wide-int.cc: Likewise.
5379 * tree-ssa.c (non_rewritable_mem_ref_base): Likewise.
5380 * tree-ssa-sccvn.c (vn_reference_lookup_3): Likewise.
5381 * cfgcleanup.c (crossjumps_occured): Renamed to ...
5382 (crossjumps_occurred): ... this.
5383 (try_crossjump_bb, try_head_merge_bb, try_optimize_cfg, cleanup_cfg):
5386 PR tree-optimization/78899
5387 * tree-if-conv.c (version_loop_for_if_conversion): Instead of
5388 returning bool return struct loop *, NULL for failure and the new
5390 (versionable_outer_loop_p): Don't version outer loop if it has
5391 dont_vectorized bit set.
5392 (tree_if_conversion): When versioning outer loop, ensure
5393 tree_if_conversion is performed also on the inner loop of the
5394 non-vectorizable outer loop copy.
5395 * tree-vectorizer.c (set_uid_loop_bbs): Formatting fix. Fold
5396 LOOP_VECTORIZED in inner loop of the scalar outer loop and
5397 prevent vectorization of it.
5398 (vectorize_loops): For outer + inner LOOP_VECTORIZED, ensure
5399 the outer loop vectorization of the non-scalar version is attempted
5400 before vectorization of the inner loop in scalar version. If
5401 outer LOOP_VECTORIZED guarded loop is not vectorized, prevent
5402 vectorization of its inner loop.
5403 * tree-vect-loop-manip.c (rename_variables_in_bb): If outer_loop
5404 has 2 inner loops, rename also on edges from bb whose single pred
5405 is outer_loop->header. Fix typo in function comment.
5407 2017-01-09 Martin Sebor <msebor@redhat.com>
5410 * asan.c (asan_emit_stack_protection): Increase local buffer size
5411 to avoid snprintf truncation warning.
5413 2017-01-09 Andrew Pinski <apinski@cavium.com>
5415 * config/aarch64/aarch64-cores.def: Add thunderx2t99. Change vulcan
5416 to reference thunderx2t99 for the tuning structure
5417 * config/aarch64/aarch64-cost-tables.h (vulcan_extra_costs):
5419 (thunderx2t99_extra_costs): This.
5420 * config/aarch64/aarch64-tune.md: Regenerate.
5421 * config/aarch64/aarch64.c (vulcan_addrcost_table): Rename to ...
5422 (vulcan_addrcost_table): This.
5423 (vulcan_regmove_cost): Rename to ...
5424 (thunderx2t99_regmove_cost): This.
5425 (vulcan_vector_cost): Rename to ...
5426 (thunderx2t99_vector_cost): this.
5427 (vulcan_branch_cost): Rename to ...
5428 (thunderx2t99_branch_cost): This.
5429 (vulcan_tunings): Rename to ...
5430 (thunderx2t99_tunings): This and s/vulcan/thunderx2t99 .
5431 * doc/invoke.texi (AARCH64/mtune): Add thunderx2t99.
5433 2017-01-09 Martin Jambor <mjambor@suse.cz>
5437 * ipa-prop.h (ipa_jump_func): Swap positions of vr_known and m_vr.
5438 * ipa-cp.c (ipa_vr_operation_and_type_effects): New function.
5439 (propagate_vr_accross_jump_function): Use the above function for all
5440 value range computations for pass-through jump functions and type
5441 converasion from explicit value range values.
5442 (ipcp_propagate_stage): Do not attempt to deduce types of formal
5443 parameters from TYPE_ARG_TYPES.
5444 * ipa-prop.c (ipa_write_jump_function): Remove trailing whitespace.
5445 (ipa_write_node_info): Stream type of the actual argument.
5446 (ipa_read_node_info): Likewise. Also remove trailing whitespace.
5448 2017-01-09 Martin Liska <mliska@suse.cz>
5451 * gcc.c (driver_handle_option): Handle OPT_E and set have_E.
5452 (lookup_compiler): Do not show error message with have_E.
5454 2017-01-09 Jakub Jelinek <jakub@redhat.com>
5456 PR tree-optimization/78938
5457 * tree-vect-stmts.c (vectorizable_condition): For non-masked COND_EXPR
5458 where comp_vectype is VECTOR_BOOLEAN_TYPE_P, use
5459 BIT_{NOT,XOR,AND,IOR}_EXPR on the comparison operands instead of
5460 {EQ,NE,GE,GT,LE,LT}_EXPR directly inside of VEC_COND_EXPR. Formatting
5463 2017-01-09 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
5465 * tree-ssa-address.c (gen_addr_rtx): Don't handle index if it
5468 2017-01-09 Richard Biener <rguenther@suse.de>
5470 PR tree-optimization/78997
5471 * tree-vect-slp.c (vect_mask_constant_operand_p): Handle SSA
5472 name condition properly.
5474 2017-01-09 Richard Biener <rguenther@suse.de>
5477 * dwarf2out.c (is_cxx): New overload with context.
5478 (is_naming_typedef_decl): Use it.
5480 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
5482 * invoke.texi (Option Summary): Correct spacing in option lists
5483 and add line breaks to fix over-long lines.
5485 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
5489 * extend.texi (Common Variable Attributes): Add xref to GCC
5490 Internals manual to explain mode attribute keywords.
5492 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
5495 * doc/invoke.texi (Option Summary): Move -pthread to Linker Options
5496 and Preprocessor Options.
5497 (Options for Linking): Document -pthread here....
5498 (RS/6000 and PowerPC Options): ...not here.
5499 (Solaris 2 Options): ...or here.
5500 * doc/cppopts.texi: Document -pthread.
5502 2017-01-08 Martin Sebor <msebor@redhat.com>
5505 * doc/invoke.texi (Warning Options): Document -Wformat-truncation.
5506 * gimple-ssa-sprintf.c (call_info::reval_used, call_info::warnopt):
5507 New member functions.
5508 (format_directive): Used them.
5510 (pass_sprintf_length::handle_gimple_call): Same.
5511 * graphite-sese-to-poly.c (tree_int_to_gmp): Increase buffer size
5512 to avoid truncation for any argument.
5513 (extract_affine_mul): Same.
5514 * tree.c (get_file_function_name): Same.
5516 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
5519 * predict.def (PRED_INDIR_CALL): Set to 86.
5521 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
5523 PR preprocessor/54124
5524 * doc/cppopts.texi: Reformat -d subtable to list the full name
5525 of the options. Add cross-reference to the docs for the general
5526 compiler -d options.
5527 * doc/invoke.texi (Developer Options): Add cross-reference to the
5528 preprocessor-specific -d option documentation.
5530 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
5532 PR preprocessor/13498
5533 * doc/cpp.texi (Search Path): Rewrite to remove obsolete and
5534 redudant material, and reflect new command-line options.
5535 (System Headers): Likewise.
5537 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
5539 * doc/cppdiropts.texi: Merge documentation of -I, -iquote,
5540 -isystem, and -idirafter. Copy-edit.
5541 * doc/cppopts.texi: Copy-edit. Remove contradiction about
5542 default for -ftrack-macro-expansion. Delete obsolete and
5543 badly-formatted implementation details about -fdebug-cpp output.
5544 * doc/cppwarnopts.texi: Copy-edit.
5546 2017-01-07 David Malcolm <dmalcolm@redhat.com>
5549 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
5550 that the transition from a max line width >= 1<<10 to narrower
5551 lines works correctly.
5553 2017-01-07 Alexandre Oliva <aoliva@redhat.com>
5555 * doc/options.texi (PerFunction): New.
5556 * opt-functions.awk (switch_flags): Map both Optimization and
5557 PerFunction to CL_OPTIMIZATION.
5558 * opth-gen.awk: Test for PerFunction flag along with
5560 * optc-save-gen.awk: Likewise. Introduce var_opt_hash and set
5561 it only when the latter is present. Skip those that don't in
5562 the hash function generator.
5563 * common.opt (fvar-tracking): Mark as PerFunction instead of
5565 (fvar-tracking-assignments): Likewise.
5566 (fvar-tracking-assignments-toggle): Likewise.
5567 (fvar-tracking-uninit): Likewise.
5569 2017-01-07 Jakub Jelinek <jakub@redhat.com>
5571 PR translation/79018
5572 * params.def (PARAM_MAX_STORES_TO_MERGE): Add missing space between
5575 2017-01-06 Mikael Pettersson <mikpelinux@gmail.com>
5578 * config/m68k/m68k.opt (LONG_JUMP_TABLE_OFFSETS): New option.
5579 * config/m68k/linux.h (ASM_RETURN_CASE_JUMP): Handle
5580 TARGET_LONG_JUMP_TABLE_OFFSETS.
5581 * config/m68k/m68kelf.h (ASM_RETURN_CASE_JUMP): Likewise.
5582 * config/m68k/netbsd-elf.h (ASM_RETURN_CASE_JUMP): Likewise.
5583 * config/m68k/m68k.h (CASE_VECTOR_MODE): Likewise.
5584 (ASM_OUTPUT_ADDR_DIFF_ELF): Likewise.
5585 * config/m68k/m68k.md (tablejump expander): Likewise.
5586 (*tablejump_pcrel_hi): Renamed from unnamed insn, reject
5587 TARGET_LONG_JUMP_TABLE_OFFSETS.
5588 (*tablejump_pcrel_si): New insn, handle TARGET_LONG_JUMP_TABLE_OFFSETS.
5589 * doc/invoke.texi (M68K options): Add -mlong-jump-table-offsets.
5591 2017-01-06 Edgar E. Iglesias <edgar.iglesias@xilinx.com>
5592 David Holsgrove <david.holsgrove@xilinx.com>
5594 * common/config/microblaze/microblaze-common.c
5595 (TARGET_EXCEPT_UNWIND_INFO): Remove.
5596 * config/microblaze/microblaze-protos.h (microblaze_eh_return):
5598 * config/microblaze/microblaze.c (microblaze_must_save_register)
5599 (microblaze_expand_epilogue, microblaze_return_addr): Handle
5601 (microblaze_eh_return): New function.
5602 * config/microblaze/microblaze.h (RETURN_ADDR_OFFSET)
5603 (EH_RETURN_DATA_REGNO, MB_EH_STACKADJ_REGNUM)
5604 (EH_RETURN_STACKADJ_RTX, ASM_PREFERRED_EH_DATA_FORMAT): New macros.
5605 * config/microblaze/microblaze.md (eh_return): New pattern.
5607 2017-01-06 Jakub Jelinek <jakub@redhat.com>
5609 * system.h (GCC_DIAGNOSTIC_PUSH_IGNORED, GCC_DIAGNOSTIC_POP,
5610 GCC_DIAGNOSTIC_STRINGIFY): Define.
5612 * read-rtl.c (rtx_reader::read_rtx_code): Avoid -Wsign-compare warning.
5614 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5616 * config/arm/arm.md (<mcrr>): New.
5618 * config/arm/arm.c (arm_arch5te): New.
5619 (arm_option_override): Set arm_arch5te.
5620 (arm_coproc_builtin_available): Add support for mcrr, mcrr2, mrrc
5622 * config/arm/arm-builtins.c (MCRR_QUALIFIERS): Define to...
5623 (arm_mcrr_qualifiers): ... this. New.
5624 (MRRC_QUALIFIERS): Define to...
5625 (arm_mrrc_qualifiers): ... this. New.
5626 * config/arm/arm_acle.h (__arm_mcrr, __arm_mcrr2, __arm_mrrc,
5628 * config/arm/arm_acle_builtins.def (mcrr, mcrr2, mrrc, mrrc2): New.
5629 * config/arm/iterators.md (MCRRI, mcrr, MCRR): New.
5630 (MRRCI, mrrc, MRRC): New.
5631 * config/arm/unspecs.md (VUNSPEC_MCRR, VUNSPEC_MCRR2, VUNSPEC_MRRC,
5632 VUNSPEC_MRRC2): New.
5634 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5636 * config/arm/arm.md (<mcr>): New.
5638 * config/arm/arm.c (arm_coproc_builtin_available): Add
5639 support for mcr, mrc, mcr2 and mrc2.
5640 * config/arm/arm-builtins.c (MCR_QUALIFIERS): Define to...
5641 (arm_mcr_qualifiers): ... this. New.
5642 (MRC_QUALIFIERS): Define to ...
5643 (arm_mrc_qualifiers): ... this. New.
5644 (MCR_QUALIFIERS): Define to ...
5645 (arm_mcr_qualifiers): ... this. New.
5646 * config/arm/arm_acle.h (__arm_mcr, __arm_mrc, __arm_mcr2,
5648 * config/arm/arm_acle_builtins.def (mcr, mcr2, mrc, mrc2): New.
5649 * config/arm/iterators.md (MCRI, mcr, MCR, MRCI, mrc, MRC): New.
5650 * config/arm/unspecs.md (VUNSPEC_MCR, VUNSPEC_MCR2, VUNSPEC_MRC,
5653 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5655 * config/arm/arm.md (*ldc): New.
5659 * config/arm/arm.c (arm_coproc_builtin_available): Add
5660 support for ldc,ldcl,stc,stcl,ldc2,ldc2l,stc2 and stc2l.
5661 (arm_coproc_ldc_stc_legitimate_address): New.
5662 * config/arm/arm-builtins.c (arm_type_qualifiers): Add
5663 'qualifier_const_pointer'.
5664 (LDC_QUALIFIERS): Define to...
5665 (arm_ldc_qualifiers): ... this. New.
5666 (STC_QUALIFIERS): Define to...
5667 (arm_stc_qualifiers): ... this. New.
5668 * config/arm/arm-protos.h
5669 (arm_coproc_ldc_stc_legitimate_address): New.
5670 * config/arm/arm_acle.h (__arm_ldc, __arm_ldcl, __arm_stc,
5671 __arm_stcl, __arm_ldc2, __arm_ldc2l, __arm_stc2, __arm_stc2l): New.
5672 * config/arm/arm_acle_builtins.def (ldc, ldc2, ldcl, ldc2l, stc,
5673 stc2, stcl, stc2l): New.
5674 * config/arm/constraints.md (Uz): New.
5675 * config/arm/iterators.md (LDCI, STCI, ldc, stc, LDC STC): New.
5676 * config/arm/unspecs.md (VUNSPEC_LDC, VUNSPEC_LDC2, VUNSPEC_LDCL,
5677 VUNSPEC_LDC2L, VUNSPEC_STC, VUNSPEC_STC2, VUNSPEC_STCL,
5678 VUNSPEC_STC2L): New.
5680 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5682 * config/arm/arm.md (<cdp>): New.
5683 * config/arm/arm.c (neon_const_bounds): Rename this ...
5684 (arm_const_bounds): ... this.
5685 (arm_coproc_builtin_available): New.
5686 * config/arm/arm-builtins.c (SIMD_MAX_BUILTIN_ARGS): Increase.
5687 (arm_type_qualifiers): Add 'qualifier_unsigned_immediate'.
5688 (CDP_QUALIFIERS): Define to...
5689 (arm_cdp_qualifiers): ... this. New.
5691 (arm_expand_builtin_args): Add case for 6 arguments.
5692 * config/arm/arm-protos.h (neon_const_bounds): Rename this ...
5693 (arm_const_bounds): ... this.
5694 (arm_coproc_builtin_available): New.
5695 * config/arm/arm_acle.h (__arm_cdp): New.
5697 * config/arm/arm_acle_builtins.def (cdp): New.
5699 * config/arm/iterators.md (CDPI,CDP,cdp): New.
5700 * config/arm/neon.md: Rename all 'neon_const_bounds' to
5702 * config/arm/types.md (coproc): New.
5703 * config/arm/unspecs.md (VUNSPEC_CDP, VUNSPEC_CDP2): New.
5704 * gcc/doc/extend.texi (ACLE): Add a mention of Coprocessor intrinsics.
5705 * gcc/doc/sourcebuild.texi (arm_coproc1_ok, arm_coproc2_ok,
5706 arm_coproc3_ok, arm_coproc4_ok): Document new effective targets.
5708 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5710 * config/arm/arm-builtins.c (arm_unsigned_binop_qualifiers): New.
5711 (UBINOP_QUALIFIERS): New.
5713 (acle_builtin_data): New. Change comment.
5714 (arm_builtins): Remove ARM_BUILTIN_CRC32B, ARM_BUILTIN_CRC32H,
5715 ARM_BUILTIN_CRC32W, ARM_BUILTIN_CRC32CB, ARM_BUILTIN_CRC32CH,
5716 ARM_BUILTIN_CRC32CW. Add ARM_BUILTIN_ACLE_BASE and include
5717 arm_acle_builtins.def.
5718 (ARM_BUILTIN_ACLE_PATTERN_START): Define.
5719 (arm_init_acle_builtins): New.
5720 (CRC32_BUILTIN): Remove.
5721 (bdesc_2arg): Remove entries for crc32b, crc32h, crc32w,
5722 crc32cb, crc32ch and crc32cw.
5723 (arm_init_crc32_builtins): Remove.
5724 (arm_init_builtins): Use arm_init_acle_builtins rather
5725 than arm_init_crc32_builtins.
5726 (arm_expand_acle_builtin): New.
5727 (arm_expand_builtin): Use 'arm_expand_acle_builtin'.
5728 * config/arm/arm_acle_builtins.def: New.
5730 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5732 * config/arm/arm-builtins.c (neon_builtin_datum): Rename to ..
5733 (arm_builtin_datum): ... this.
5734 (arm_init_neon_builtin): Rename to ...
5735 (arm_init_builtin): ... this. Add a new parameters PREFIX
5736 and USE_SIG_IN_NAME.
5737 (arm_init_neon_builtins): Replace 'arm_init_neon_builtin' with
5738 'arm_init_builtin'. Replace type 'neon_builtin_datum' with
5739 'arm_builtin_datum'.
5740 (arm_init_vfp_builtins): Likewise.
5741 (builtin_arg): Rename enum's replacing 'NEON_ARG' with
5742 'ARG_BUILTIN' and add a 'ARG_BUILTIN_NEON_MEMORY.
5743 (arm_expand_neon_args): Rename to ...
5744 (arm_expand_builtin_args): ... this. Rename builtin_arg
5745 enum values and differentiate between ARG_BUILTIN_MEMORY
5746 and ARG_BUILTIN_NEON_MEMORY.
5747 (arm_expand_neon_builtin_1): Rename to ...
5748 (arm_expand_builtin_1): ... this. Rename builtin_arg enum
5749 values, arm_expand_builtin_args and add bool parameter NEON.
5750 (arm_expand_neon_builtin): Use arm_expand_builtin_1.
5751 (arm_expand_vfp_builtin): Likewise.
5752 (NEON_MAX_BUILTIN_ARGS): Remove, it was unused.
5754 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
5757 * predict.def (PRED_POLYMORPHIC_CALL): Set to 59.
5758 * predict.c (tree_estimate_probability_bb): Reverse direction of
5759 polymorphic call predictor.
5761 2017-01-06 David Malcolm <dmalcolm@redhat.com>
5763 * passes.c (execute_one_pass): Split out pass-skipping logic into...
5764 (determine_pass_name_match): ...this new function and...
5765 (should_skip_pass_p): ...this new function.
5767 2017-01-06 Nathan Sidwell <nathan@acm.org>
5769 * ipa-visibility.c (function_and_variable_visibility): Reformat
5770 comments and long lines. Remove extrneous if.
5771 * symtab.c (symtab_node::make_decl_local): Fix code format.
5772 (symtab_node::set_section_for_node): Fix comment typo.
5774 2017-01-06 Martin Liska <mliska@suse.cz>
5777 * lra-constraints.c: Rename invariant to lra_invariant.
5778 * predict.c (set_even_probabilities): Initialize e to NULL.
5780 2017-01-05 Martin Sebor <msebor@redhat.com>
5782 PR tree-optimization/78910
5783 * gimple-ssa-sprintf.c (tree_digits): Add an argument.
5784 (format_integer): Correct off-by-one error in the handling
5785 of precision with negative numbers in signed conversions..
5787 2017-01-05 Eric Botcazou <ebotcazou@adacore.com>
5789 * doc/invoke.texi (C Dialect Options): Adjust -fsso-struct entry.
5791 2017-01-05 Jakub Jelinek <jakub@redhat.com>
5793 PR tree-optimization/71016
5794 * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Pass cond_stmt to
5795 factor_out_conditional_conversion. Formatting fix.
5796 (factor_out_conditional_conversion): Add cond_stmt argument.
5797 If arg1 is INTEGER_CST, punt if new_arg0 is not any operand of
5798 cond_stmt and if arg0_def_stmt is not the only stmt in its bb.
5801 2017-01-05 David Malcolm <dmalcolm@redhat.com>
5803 * Makefile.in (OBJS): Add read-md.o, read-rtl.o,
5804 read-rtl-function.o, and selftest-rtl.o.
5805 * config/aarch64/aarch64.c: Include selftest.h and selftest-rtl.h.
5806 (selftest::aarch64_test_loading_full_dump): New function.
5807 (selftest::aarch64_run_selftests): New function.
5808 (TARGET_RUN_TARGET_SELFTESTS): Wire it up to
5809 selftest::aarch64_run_selftests.
5810 * config/i386/i386.c
5811 (selftest::ix86_test_loading_dump_fragment_1): New function.
5812 (selftest::ix86_test_loading_call_insn): New function.
5813 (selftest::ix86_test_loading_full_dump): New function.
5814 (selftest::ix86_test_loading_unspec): New function.
5815 (selftest::ix86_run_selftests): Call the new functions.
5816 * emit-rtl.c (maybe_set_max_label_num): New function.
5817 * emit-rtl.h (maybe_set_max_label_num): New decl.
5818 * function.c (instantiate_decls): Guard call to
5819 instantiate_decls_1 with if (DECL_INITIAL (fndecl)).
5820 * function-tests.c (selftest::verify_three_block_rtl_cfg): Remove
5822 * gensupport.c (gen_reader::gen_reader): Pass "false"
5823 for new "compact" param of rtx_reader.
5824 * print-rtl.c (rtx_writer::print_rtx_operand): Print "(nil)"
5825 rather than an empty string for NULL strings.
5826 * read-md.c: Potentially include config.h rather than bconfig.h.
5827 Wrap include of errors.h with #ifdef GENERATOR_FILE.
5828 (have_error): New global, copied from errors.c.
5829 (md_reader::read_name): Rename to...
5830 (md_reader::read_name_1): ...this, adding "out_loc" param,
5831 and converting "missing name or number" to returning false, rather
5833 (md_reader::read_name): Reimplement in terms of read_name_1.
5834 (md_reader::read_name_or_nil): New function.
5835 (md_reader::read_string): Handle "(nil)" by returning NULL.
5836 (md_reader::md_reader): Add new param "compact".
5837 (md_reader::read_md_files): Wrap with #ifdef GENERATOR_FILE.
5838 (md_reader::read_file): New method.
5839 * read-md.h (md_reader::md_reader): Add new param "compact".
5840 (md_reader::read_file): New method.
5841 (md_reader::is_compact): New accessor.
5842 (md_reader::read_name): Convert return type from void to file_location.
5843 (md_reader::read_name_or_nil): New decl.
5844 (md_reader::read_name_1): New decl.
5845 (md_reader::m_compact): New field.
5846 (noop_reader::noop_reader): Pass "false" for new "compact" param
5848 (rtx_reader::rtx_reader): Add new "compact" param.
5849 (rtx_reader::read_rtx_operand): Make virtual and convert return
5850 type from void to rtx.
5851 (rtx_reader::read_until): New decl.
5852 (rtx_reader::handle_any_trailing_information): New virtual function.
5853 (rtx_reader::postprocess): New virtual function.
5854 (rtx_reader::finalize_string): New virtual function.
5855 (rtx_reader::m_in_call_function_usage): New field.
5856 (rtx_reader::m_reuse_rtx_by_id): New field.
5857 * read-rtl-function.c: New file.
5858 * selftest-rtl.c (selftest::assert_rtx_ptr_eq_at): New function.
5859 * selftest-rtl.h (ASSERT_RTX_PTR_EQ): New macro.
5860 (selftest::verify_three_block_rtl_cfg): New decl.
5861 * read-rtl-function.h: New file.
5862 * read-rtl.c: Potentially include config.h rather than bconfig.h.
5863 For host, include function.h, memmodel.h, and emit-rtl.h.
5864 (one_time_initialization): New function.
5865 (struct compact_insn_name): New struct.
5866 (compact_insn_names): New array.
5867 (find_code): Handle insn codes in compact dumps.
5868 (apply_subst_iterator): Wrap with #ifdef GENERATOR_FILE.
5869 (bind_subst_iter_and_attr): Likewise.
5870 (add_condition_to_string): Likewise.
5871 (add_condition_to_rtx): Likewise.
5872 (apply_attribute_uses): Likewise.
5873 (add_current_iterators): Likewise.
5874 (apply_iterators): Likewise.
5875 (initialize_iterators): Guard usage of apply_subst_iterator with
5876 #ifdef GENERATOR_FILE.
5877 (read_conditions): Wrap with #ifdef GENERATOR_FILE.
5878 (md_reader::read_mapping): Likewise.
5879 (add_define_attr_for_define_subst): Likewise.
5880 (add_define_subst_attr): Likewise.
5881 (read_subst_mapping): Likewise.
5882 (check_code_iterator): Likewise.
5883 (rtx_reader::read_rtx): Likewise. Move one-time initialization
5885 (one_time_initialization): New function.
5886 (rtx_reader::read_until): New method.
5887 (read_flags): New function.
5888 (parse_reg_note_name): New function.
5889 (rtx_reader::read_rtx_code): Initialize "iterator" to NULL.
5890 Handle reuse_rtx ids.
5891 Wrap iterator lookup within #ifdef GENERATOR_FILE.
5892 Add parsing support for RTL dumps, mirroring the special-cases in
5893 print_rtx, by calling read_flags, reading REG_NOTE names, INSN_UID
5894 values, and calling handle_any_trailing_information.
5895 (rtx_reader::read_rtx_operand): Convert return type from void
5896 to rtx, returning return_rtx. Handle case 'e'. Call
5897 finalize_string on XSTR and XTMPL fields.
5898 (rtx_reader::read_nested_rtx): Handle dumps in which trailing
5899 "(nil)" values were omitted. Call the postprocess vfunc on the
5901 (rtx_reader::rtx_reader): Add new "compact" param and pass to base
5902 class ctor. Initialize m_in_call_function_usage. Call
5903 one_time_initialization.
5904 * rtl-tests.c (selftest::test_uncond_jump): Call
5905 set_new_first_and_last_insn.
5906 * rtl.h (read_rtx): Wrap decl with #ifdef GENERATOR_FILE.
5907 * selftest-rtl.c: New file.
5908 * selftest-rtl.h (class selftest::rtl_dump_test): New class.
5909 (selftest::get_insn_by_uid): New decl.
5910 * selftest-run-tests.c (selftest::run_tests): Call
5911 read_rtl_function_c_tests.
5912 * selftest.h (selftest::read_rtl_function_c_tests): New decl.
5913 * tree-dfa.c (ssa_default_def): Return NULL_TREE for rtl function
5916 2017-01-05 Uros Bizjak <ubizjak@gmail.com>
5918 * config/i386/i386.md (*testqi_ext_3): No need to handle memory
5919 operands in a special way. Assert that pos+len <= mode precision.
5921 2017-01-05 Jakub Jelinek <jakub@redhat.com>
5923 * common.opt (fvect-cost-model): Remove RejectNegative flag, use
5924 3 argument Alias with unlimited for the negative form.
5925 (fno-vect-cost-model): Removed.
5927 2017-01-05 Martin Liska <mliska@suse.cz>
5929 * hsa-gen.c (gen_hsa_divmod): New function.
5930 (gen_hsa_insn_for_internal_fn_call): Use the function for IFN_DIVMOD.
5932 2017-01-05 Martin Liska <mliska@suse.cz>
5935 * gcc.c (lookup_compiler): Reject '-' filename for a precompiled
5938 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
5940 * config/s390/s390.c (s390_expand_setmem): Unroll the loop for
5941 small constant length operands.
5943 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
5945 * config/s390/s390.c (s390_expand_setmem): Avoid overlapping bytes
5946 between loop iterations.
5948 2017-01-05 Martin Liska <mliska@suse.cz>
5951 * gimplify.c (gimplify_decl_expr): Compare to
5952 asan_poisoned_variables instread of checking flags.
5953 (gimplify_target_expr): Likewise.
5954 (gimplify_expr): Likewise.
5955 (gimplify_function_tree): Conditionally initialize
5956 asan_poisoned_variables.
5958 2017-01-04 Jeff Law <law@redhat.com>
5960 PR tree-optimizatin/78812
5961 * rtl.h (contains_mem_rtx_p): Prototype.
5962 * ifcvt.c (containts_mem_rtx_p): Move from here to...
5963 * rtlanal.c (contains_mem_rtx_p): Here and remove static linkage.
5964 * gcse.c (prune_expressions): Use contains_mem_rtx_p to discover
5965 and prune MEMs that are not at the toplevel of a SET_SRC rtx. Look
5966 through ZERO_EXTEND and SIGN_EXTEND when trying to avoid pruning MEMs.
5968 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5970 * input.c (assert_char_at_range): Default-initialize actual_range.
5972 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5974 * df-scan.c (df_ref_create_structure): Make regno unsigned,
5975 to match the caller.
5977 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5979 * cfgexpand.c (expand_gimple_basic_block): Disregard debug
5980 insns after final jump in test to emit dummy move.
5982 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5984 * gimple-iterator.h (gsi_one_nondebug_before_end_p): New.
5985 * tree-eh.c (cleanup_empty_eh): Skip more debug stmts.
5987 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5989 * multiple_target.c (create_dispatcher_calls): Init e_next.
5990 * tree-ssa-loop-split.c (split_loop): Init border.
5991 * tree-vect-loop.c (vect_determine_vectorization_factor): Init
5994 2017-01-04 Michael Meissner <meissner@linux.vnet.ibm.com>
5999 * config/rs6000/predicates.md (sf_subreg_operand): New predicate.
6000 (altivec_register_operand): Do not return true if the operand
6001 contains a SUBREG mixing SImode and SFmode.
6002 (vsx_register_operand): Likewise.
6003 (vsx_reg_sfsubreg_ok): New predicate.
6004 (vfloat_operand): Do not return true if the operand contains a
6005 SUBREG mixing SImode and SFmode.
6006 (vint_operand): Likewise.
6007 (vlogical_operand): Likewise.
6008 (gpc_reg_operand): Likewise.
6009 (int_reg_operand): Likewise.
6010 * config/rs6000/rs6000-protos.h (valid_sf_si_move): Add declaration.
6011 * config/rs6000/rs6000.c (valid_sf_si_move): New function to
6012 determine if a MOVSI or MOVSF operation contains SUBREGs that mix
6014 (rs6000_emit_move_si_sf_subreg): New helper function.
6015 (rs6000_emit_move): Call rs6000_emit_move_si_sf_subreg to possbily
6016 fixup SUBREGs involving SImode and SFmode.
6017 * config/rs6000/vsx.md (SFBOOL_*): New constants that are operand
6018 numbers for the new peephole2 optimization.
6019 (peephole2 for SFmode unions): New peephole2 to optimize cases in
6020 the GLIBC math library that do AND/IOR/XOR operations on single
6021 precision floating point.
6022 * config/rs6000/rs6000.h (TARGET_NO_SF_SUBREG): New internal
6023 target macros to say whether we need to avoid SUBREGs mixing
6025 (TARGET_ALLOW_SF_SUBREG): Likewise.
6026 * config/rs6000/rs6000.md (UNSPEC_SF_FROM_SI): New unspecs.
6027 (UNSPEC_SI_FROM_SF): Likewise.
6028 (iorxor): Change spacing.
6029 (and_ior_xor): New iterator for AND, IOR, and XOR.
6030 (movsi_from_sf): New insns for SImode/SFmode SUBREG support.
6031 (movdi_from_sf_zero_ext): Likewise.
6032 (mov<mode>_hardfloat, FMOVE32 iterator): Use register_operand
6033 instead of gpc_reg_operand. Add SImode/SFmode SUBREG support.
6034 (movsf_from_si): New insn for SImode/SFmode SUBREG support.
6035 (fma<mode>4): Use gpc_reg_operand instead of register_operand.
6036 (fms<mode>4): Likewise.
6037 (fnma<mode>4): Likewise.
6038 (fnms<mode>4): Likewise.
6039 (nfma<mode>4): Likewise.
6040 (nfms<mode>4): Likewise.
6042 2017-01-04 Marek Polacek <polacek@redhat.com>
6045 * doc/invoke.texi: Document -Wpointer-compare.
6047 2017-01-04 Jakub Jelinek <jakub@redhat.com>
6049 * optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without
6052 * dwarf2out.c (output_loc_list): Don't throw away 64K+ location
6053 descriptions for -gdwarf-5 and emit them as uleb128 instead of
6056 2017-01-04 Kelvin Nilsen <kelvin@gcc.gnu.org>
6059 * doc/sourcebuild.texi (PowerPC-specific attributes): Add
6060 documentation of the powerpc_popcntb_ok attribute.
6061 * config/rs6000/rs6000.c (rs6000_option_override_internal): Add
6062 code to issue warning messages if a requested CPU configuration is
6063 not supported by the binary (assembler and loader) toolchain.
6064 (spe_init_builtins): Add two assertions to prevent ICE if attempt is
6065 made to define a built-in function that has been disabled.
6066 (paired_init_builtins): Add assertion to prevent ICE if attempt is
6067 made to define a built-in function that has been disabled.
6068 (altivec_init_builtins): Add comment explaining why definition
6069 of the DST built-in functions is not preceded by an assertion
6070 check. Add assertions to prevent ICE if attempts are made to
6071 define an altivec predicate or an abs* built-in function that has
6073 (htm_init_builtins): Add comment explaining why definition of the
6074 htm built-in functions is not preceded by an assertion check.
6076 2017-01-04 Jeff Law <law@redhat.com>
6078 PR tree-optimizatin/67955
6079 * tree-ssa-alias.c (same_addr_size_stores_p): Check offsets first.
6080 Allow any SSA_VAR_P as the base objects. Use integer_zerop. Verify
6081 the points-to solution does not include pt_null. Use DECL_PT_UID
6084 2017-01-04 Uros Bizjak <ubizjak@gmail.com>
6086 * config/i386/i386.md (HI/SImode test with imm to QImode splitters):
6087 Use gen_int_mode instead of gen_lopwart for const_int operands.
6089 2017-01-04 Jakub Jelinek <jakub@redhat.com>
6091 PR tree-optimization/71563
6092 * match.pd: Simplify X << Y into X if Y is known to be 0 or
6093 out of range value - has low bits known to be zero.
6095 2017-01-04 Alan Modra <amodra@gmail.com>
6097 * Makefile.in (aclocal_deps): Update and order as per aclocal.m4.
6098 * configure: Regenerate.
6099 * config.in: Regenerate.
6101 2017-01-04 Jakub Jelinek <jakub@redhat.com>
6104 * input.c (ebcdic_execution_charset::on_error): Don't use strstr for
6105 a substring of the message, but strcmp with the whole message. Ifdef
6106 ENABLE_NLS, translate the message first using dgettext.
6108 2017-01-03 Jeff Law <law@redhat.com>
6110 PR tree-optimizatin/78856
6111 * tree-ssa-threadupdate.c: Include tree-vectorizer.h.
6112 (mark_threaded_blocks): Remove code to truncate thread paths that
6113 cross multiple loop headers. Instead invalidate the cached loop
6114 iteration information and handle case of a thread path walking
6115 into an irreducible region.
6117 2017-01-03 Michael Meissner <meissner@linux.vnet.ibm.com>
6120 * config/rs6000/rs6000.c (rs6000_split_signbit): Change some
6121 assertions. Add support for doing the signbit if the IEEE 128-bit
6122 floating point value is in a GPR.
6123 * config/rs6000/rs6000.md (Fsignbit): Delete.
6124 (signbit<mode>2_dm): Delete using <Fsignbit> and just use "wa".
6125 Update the length attribute if the value is in a GPR.
6126 (signbit<mode>2_dm_<su>ext): Add combiner pattern to eliminate
6127 the sign or zero extension instruction, since the value is always 0/1.
6128 (signbit<mode>2_dm2): Delete using <Fsignbit>.
6131 * config/rs6000/vsx.md (vsx_extract_<mode>_store_p9): If we are
6132 extracting SImode to a GPR register so that we can generate a
6133 store, limit the vector to be in a traditional Altivec register
6134 for the vextuwrx instruction.
6136 2017-01-03 Ian Lance Taylor <iant@google.com>
6138 * godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.
6140 2017-01-03 Martin Sebor <msebor@redhat.com>
6142 PR tree-optimization/78696
6143 * gimple-ssa-sprintf.c (format_floating): Correct handling of
6144 precision. Use MPFR for %f for greater fidelity. Correct handling
6146 (pass_sprintf_length::compute_format_length): Set width and precision
6147 specified by asrerisk to void_node for vararg functions.
6148 (try_substitute_return_value): Adjust dump output.
6150 2017-01-03 David Edelsohn <dje.gcc@gmail.com>
6152 * doc/invoke.texi (RS6000 options): LRA is enabled by default.
6154 2017-01-03 Eric Botcazou <ebotcazou@adacore.com>
6156 * doc/invoke.texi (SPARC options): Document -mlra as the default.
6157 * config/sparc/sparc.c (sparc_option_override): Force LRA unless
6158 -mlra/-mno-lra was passed to the compiler.
6160 2017-01-03 James Cowgill <James.Cowgill@imgtec.com>
6162 PR rtl-optimization/65618
6163 * emit-rtl.c (try_split): Move initialization of "before" and
6164 "after" to just before the call to emit_insn_after_setloc.
6166 2017-01-03 Gerald Pfeifer <gerald@pfeifer.com>
6168 * doc/md.texi (Standard Names): Remove reference to Java frontend.
6170 2017-01-03 Pierre-Marie de Rodat <derodat@adacore.com>
6172 * dwarf2out.c (gen_enumeration_type_die): When
6173 -gno-strict-dwarf, add a DW_AT_encoding attribute.
6175 2017-01-03 Jakub Jelinek <jakub@redhat.com>
6177 PR tree-optimization/78965
6178 * gimple-ssa-sprintf.c (pass_sprintf_length::compute_format_length):
6179 Change first argument from const call_info & to call_info &. For %n
6180 set info.nowrite to false.
6183 * gimple-ssa-sprintf.c (try_substitute_return_value): Don't change
6184 possibly throwing calls.
6186 * genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME
6187 and exprs_len || fns_len, emit the code for SSA_NAME next to the exprs
6188 and fns handling, rather than in a separate case SSA_NAME.
6190 2017-01-02 Jeff Law <law@redhat.com>
6192 * config/darwin-driver.c (darwin_driver_init): Const-correctness
6193 fixes for first_period and second_period variables.
6195 2017-01-02 Uros Bizjak <ubizjak@gmail.com>
6198 * config/i386/i386.md (UNSPEC_NOREX_MEM): New unspec.
6199 (*insvqi_1): New insn pattern.
6200 (*insvqi_1_mem_rex64): Ditto.
6202 (*insvqi_3): Rename from *insvqi.
6204 (*extzvqi_mem_rex64): Add UNSPEC_NOREX_MEM tag.
6206 2017-01-02 Gerald Pfeifer <gerald@pfeifer.com>
6208 * doc/cfg.texi (Edges): Remove reference to Java.
6209 (Maintaining the CFG): Ditto.
6211 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
6214 * symtab.c (symtab_node::binds_to_current_def_p): Fix handling of
6215 transparent aliases.
6217 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
6220 * predict.def (PRED_CALL): Update hitrate.
6221 (PRED_INDIR_CALL, PRED_POLYMORPHIC_CALL): New predictors.
6222 * predict.c (tree_estimate_probability_bb): Split CALL predictor
6223 into direct/indirect/polymorphic variants.
6225 2017-01-01 Jakub Jelinek <jakub@redhat.com>
6227 Update copyright years.
6229 * gcc.c (process_command): Update copyright notice dates.
6230 * gcov-dump.c (print_version): Ditto.
6231 * gcov.c (print_version): Ditto.
6232 * gcov-tool.c (print_version): Ditto.
6233 * gengtype.c (create_file): Ditto.
6234 * doc/cpp.texi: Bump @copying's copyright year.
6235 * doc/cppinternals.texi: Ditto.
6236 * doc/gcc.texi: Ditto.
6237 * doc/gccint.texi: Ditto.
6238 * doc/gcov.texi: Ditto.
6239 * doc/install.texi: Ditto.
6240 * doc/invoke.texi: Ditto.
6242 Copyright (C) 2017 Free Software Foundation, Inc.
6244 Copying and distribution of this file, with or without modification,
6245 are permitted in any medium without royalty provided the copyright
6246 notice and this notice are preserved.