1 2017-03-18 Gerald Pfeifer <gerald@pfeifer.com>
3 * doc/install.texi (Specific) <arm-*-eabi>: Remove old
4 requirement for binutils 2.13.
6 2017-03-17 Jim Wilson <jim.wilson@linaro.org>
8 * combine.c (try_combine): Delete redundant i1 test. Call
9 prev_nonnote_nondebug_insn instead of prev_nonnote_insn.
11 2017-03-17 Palmer Dabbelt <palmer@dabbelt.com
13 * doc/install.texi (Specific) <riscv32-*-elf>: Add riscv32-*-elf,
14 riscv32-*-linux, riscv64-*-elf, riscv64-*-linux to the table of
16 <riscv64-*-elf>: Re-arrange section
17 <riscv32-*-elf>: Add a note about requiring binutils 2.28.
18 <riscv32-*-linux>: Likewise.
19 <riscv64-*-elf>: Likewise
20 <riscv64-*-linux>: Likewise.
22 2017-03-17 Richard Earnshaw <rearnsha@arm.com>
25 * aarch64.opt(verbose-cost-dump): Fix typo.
27 2017-03-17 Pat Haugen <pthaugen@us.ibm.com>
30 * config/rs6000/rs6000.md (copysign<mode>3_fcpsgn): Test
31 for VECTOR_UNIT_VSX_P (<MODE>mode) too.
33 2017-03-17 Bernd Schmidt <bschmidt@redhat.com>
35 * reload.c (find_reloads): When reloading a nonoffsettable address,
36 use RELOAD_OTHER for it and its address reloads.
38 PR rtl-optimization/79910
39 * combine.c (record_used_regs): New static function.
40 (try_combine): Handle situations where there is an additional
41 instruction between I2 and I3 which needs to have a LOG_LINK
44 2017-03-17 Jeff Law <law@redhat.com>
46 PR tree-optimization/71437
47 * tree-vrp.c (simplify_stmt_for_jump_threading): Lookup the
48 conditional in the hash table first.
49 (vrp_dom_walker::before_dom_children): Extract condition from
50 ASSERT_EXPR. Record condition, its inverion and any implied
53 2017-03-17 Marek Polacek <polacek@redhat.com>
54 Markus Trippelsdorf <markus@trippelsdorf.de>
56 PR tree-optimization/80079
57 * gimple-ssa-store-merging.c (class pass_store_merging): Initialize
60 2017-03-17 Richard Biener <rguenther@suse.de>
63 * tree-eh.c (stmt_could_throw_1_p): Only handle gimple assigns.
64 Properly verify the LHS before the RHS possibly claims to be
66 (stmt_could_throw_p): Hande gimple conds fully here. Clobbers
69 2017-03-17 Martin Jambor <mjambor@suse.cz>
71 * doc/invoke.texi (Option Options): Include -fipa-vrp in the list.
72 (List of -O2 options): Likewise.
73 (-fipa-bit-cp): Replace "ipa" with "interprocedural."
76 2017-03-17 Tom de Vries <tom@codesourcery.com>
78 * gcov-dump.c (print_usage): Print bug_report_url.
80 2017-03-17 Richard Biener <rguenther@suse.de>
83 * genmatch.c (parser::next): Remove pointless check for CPP_EOF.
84 (parser::peek): Likewise.
86 2017-03-17 Richard Biener <rguenther@suse.de>
88 PR tree-optimization/80048
89 * sese.c (free_sese_info): Properly release rename_map and
90 copied_bb_map elements.
92 2017-03-16 Alexandre Oliva <aoliva@redhat.com>
94 * gimple-ssa-store-merging.c (struct imm_store_chain_info):
95 Add linked-list forward and backlinks. Insert on
96 construction, remove on destruction.
97 (class pass_store_merging): Add m_stores_head field.
98 (pass_store_merging::terminate_and_process_all_chains):
99 Iterate over m_stores_head list.
100 (pass_store_merging::terminate_all_aliasing_chains):
102 (pass_store_merging::execute): Check for debug stmts first.
103 Push new chains onto the m_stores_head stack.
105 2017-03-16 Michael Meissner <meissner@linux.vnet.ibm.com>
108 * config/rs6000/vsx.md (vsx_splat_<mode>, VSX_D iterator): Allow a
109 SPLAT operation on ISA 2.07 64-bit systems that have direct move,
110 but no MTVSRDD support, by doing MTVSRD and XXPERMDI.
112 2017-03-16 Jeff Law <law@redhat.com>
114 PR tree-optimization/71437
115 * tree-ssa-dom.c (dom_opt_dom_walker): Remove thread_across_edge
116 member function. Implementation moved into after_dom_children
117 member function and into the threader's thread_outgoing_edges
119 (dom_opt_dom_walker::after_dom_children): Simplify by moving
120 some code into new thread_outgoing_edges.
121 * tree-ssa-threadedge.c (thread_across_edge): Make static and simplify
122 definition. Simplify marker handling (do it here). Assume we always
123 have the available expression and the const/copies tables.
124 (thread_outgoing_edges): New function extracted from tree-ssa-dom.c
126 * tree-ssa-threadedge.h (thread_outgoing_edges): Declare.
127 * tree-vrp.c (equiv_stack): No longer file scoped.
128 (vrp_dom_walker): New class.
129 (vrp_dom_walker::before_dom_children): New member function.
130 (vrp_dom_walker::after_dom_children): Likewise.
131 (identify_jump_threads): Setup domwalker. Use it rather than
132 walking edges in a random order by hand. Simplify setup/finalization.
133 (finalize_jump_threads): Remove.
134 (vrp_finalize): Do not call identify_jump_threads here.
135 (execute_vrp): Do it here instead and call thread_through_all_blocks
138 PR tree-optimization/71437
139 * tree-ssa-dom.c (pfn_simplify): Add basic_block argument. All
141 (simplify_stmt_for_jump_threading): Add basic_block argument. All
143 (lhs_of_dominating_assert): Moved from here into tree-vrp.c.
144 (dom_opt_dom_walker::thread_across_edge): Remove
145 handle_dominating_asserts argument. All callers changed.
146 (record_temporary_equivalences_from_stmts_at_dest): Corresponding
147 changes. Remove calls to lhs_of_dominating_assert. Other
148 uses of handle_dominating_asserts turn into unconditional code
149 (simplify_control_stmt_condition_1): Likewise.
150 (simplify_control_stmt_condition): Likewise.
151 (thread_through_normal_block, thread_across_edge): Likewise.
152 * tree-ssa-threadedge.h (thread_across_edge): Corresponding changes.
153 * tree-vrp.c (lhs_of_dominating_assert): Move here. Return original
154 object if it is not an SSA_NAME.
155 (simplify_stmt_for_jump_threading): Call lhs_of_dominating_assert
156 before calling into the VRP specific simplifiers.
157 (identify_jump_threads): Remove handle_dominating_asserts
160 2017-03-16 Jakub Jelinek <jakub@redhat.com>
163 * tree-diagnostic.c (default_tree_printer): No longer static.
164 * tree-diagnostic.h (default_tree_printer): New prototype.
166 2017-03-16 Tamar Christina <tamar.christina@arm.com>
168 * config/aarch64/aarch64-simd.md (*aarch64_simd_mov<mode>)
169 Change ins into fmov.
171 2017-03-16 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
173 * config/aarch64/iterators.md (h_con): Return "x" for V4HF and V8HF.
174 * config/aarch64/aarch64-simd.md (*aarch64_fma4_elt_from_dup<mode>):
175 Use h_con constraint for operand 1.
176 (*aarch64_fnma4_elt_from_dup<mode>): Likewise.
177 (*aarch64_mulx_elt_from_dup<mode>): Likewise for operand 2.
179 2017-03-15 Jeff Law <law@redhat.com>
181 PR tree-optimization/71437
182 * tree-ssa-dom.c (derive_equivalences_from_bit_ior): New function.
183 (record_temporary_equivalences): Use it.
185 PR tree-optimization/71437
186 * tree-ssa-dom.c (struct cond_equivalence): Moved from here into
187 tree-ssa-scopedtables.
188 (lookup_avail_expr, build_and_record_new_cond): Likewise.
189 (record_conditions, record_cond, vuse_eq): Likewise.
190 (record_edge_info): Adjust to API tweak of record_conditions.
191 (simplify_stmt_for_jump_threading): Similarly for lookup_avail_expr.
192 (record_temporary_equivalences, optimize_stmt): Likewise.
193 (eliminate_redundant_computations): Likewise.
194 (record_equivalences_from_stmt): Likewise.
195 * tree-ssa-scopedtables.c: Include options.h and params.h.
196 (vuse_eq): New function, moved from tree-ssa-dom.c
197 (build_and_record_new_cond): Likewise.
198 (record_conditions): Likewise. Accept vector of conditions rather
199 than edge_equivalence structure for first argument.
200 for the first argument.
201 (avail_exprs_stack::lookup_avail_expr): New member function, moved
203 (avail_exprs_stack::record_cond): Likewise.
204 * tree-ssa-scopedtables.h (struct cond_equivalence): Moved here
206 (avail_exprs_stack): Add new member functions lookup_avail_expr
208 (record_conditions): Declare.
210 2017-03-15 Vladimir Makarov <vmakarov@redhat.com>
213 * lra-constraints.c (process_alt_operands): Increase reject for
214 reloading an input/output operand.
216 2017-03-15 Michael Meissner <meissner@linux.vnet.ibm.com>
219 * config/rs6000/rs6000.md (float<QHI:mode><IEEE128:mode>2): Define
220 insns to convert from signed/unsigned char/short to IEEE 128-bit
222 (floatuns<QHI:mode><IEEE128:mode>2): Likewise.
224 2017-03-15 Uros Bizjak <ubizjak@gmail.com>
227 * config/i386/i386.c (ix86_vector_duplicate_value): Create
228 subreg of inner mode for values already in registers.
230 2017-03-15 Bernd Schmidt <bschmidt@redhat.com>
232 * config/c6x/c6x.c (hwloop_optimize): Handle case where the old
233 iteration reg is used after the loop.
235 2017-03-14 Martin Sebor <msebor@redhat.com>
237 PR tree-optimization/79800
238 * gimple-ssa-sprintf.c (format_floating: Add argument. Handle
239 precision in negative-positive range.
240 (format_floating): Call non-const overload with adjusted precision.
242 2017-03-14 Michael Meissner <meissner@linux.vnet.ibm.com>
245 * config/rs6000/rs6000.h (TARGET_FRSQRTES): Add check for
248 2017-03-14 Martin Sebor <msebor@redhat.com>
251 * builtin-attrs.def (ATTR_ALLOC_SIZE_2_NOTHROW_LIST): New macro.
252 * builtins.def (aligned_alloc): Use it.
255 * Makefile.in (GTFILES): Add calls.c.
256 * calls.c: Include "gt-calls.h".
258 2017-03-14 Bernd Schmidt <bschmidt@redhat.com>
260 PR rtl-optimization/79728
261 * regs.h (struct target_regs): New field
262 x_contains_allocatable_regs_of_mode.
263 (contains_allocatable_regs_of_mode): New macro.
264 * reginfo.c (init_reg_sets_1): Initialize it, and change
265 contains_reg_of_mode so it includes global regs as well.
266 * reload.c (push_reload): Use contains_allocatable_regs_of_mode
267 rather than contains_regs_of_mode.
269 2017-03-14 Martin Liska <mliska@suse.cz>
271 * doc/invoke.texi: Document options that can't be combined with
272 -fcheck-pointer-bounds.
274 2017-03-14 Martin Liska <mliska@suse.cz>
277 * doc/invoke.texi (-Wchkp): Document the option.
279 2017-03-14 Martin Liska <mliska@suse.cz>
281 * Makefile.in: Install gcov-dump.
283 2017-03-14 Martin Liska <mliska@suse.cz>
285 * multiple_target.c (expand_target_clones): Bail out for
286 an invalid attribute.
288 2017-03-14 Richard Biener <rguenther@suse.de>
290 * alias.c (struct alias_set_entry): Pack properly.
291 * cfgloop.h (struct loop): Likewise.
292 * cse.c (struct set): Likewise.
293 * ipa-utils.c (struct searchc_env): Likewise.
294 * loop-invariant.c (struct invariant): Likewise.
295 * lra-remat.c (struct cand): Likewise.
296 * recog.c (struct change_t): Likewise.
297 * rtl.h (struct address_info): Likewise.
298 * symbol-summary.h (function_summary): Likewise.
299 * tree-loop-distribution.c (struct partition): Likewise.
300 * tree-object-size.c (struct object_size_info): Likewise.
301 * tree-ssa-loop-ivopts.c (struct cost_pair): Likewise.
302 * tree-ssa-threadupdate.c (struct ssa_local_info_t): Likewise.
303 * tree-vect-data-refs.c (struct _vect_peel_info): Likewise.
304 * tree-vect-slp.c (struct _slp_oprnd_info): Likewise.
305 * tree-vect-stmts.c (struct simd_call_arg_info): Likewise.
306 * tree-vectorizer.h (struct _loop_vec_info): Likewise.
307 (struct _stmt_vec_info): Likewise.
309 2017-03-14 Martin Liska <mliska@suse.cz>
312 * multiple_target.c (create_dispatcher_calls): Check that
313 a target can create a function dispatcher.
315 2017-03-14 Martin Liska <mliska@suse.cz>
318 * multiple_target.c (expand_target_clones): Drop local.local
319 flag for default implementation.
321 2017-03-14 Richard Biener <rguenther@suse.de>
323 PR tree-optimization/80030
324 * tree-vect-stmts.c (vectorizable_store): Plug memleak.
326 2017-03-13 Kito Cheng <kito.cheng@gmail.com>
328 * config/riscv/riscv.c (riscv_emit_float_compare>: Use
329 gcc_fallthrough() instead of __attribute__((fallthrough));
331 2017-03-13 Gerald Pfeifer <gerald@pfeifer.com>
333 * doc/gcc.texi: Remove "up" link to (DIR).
334 * doc/gccint.texi: Ditto.
336 2017-03-13 Gerald Pfeifer <gerald@pfeifer.com>
338 * doc/install.texi (Specific) <avr>: Remove reference to
341 2017-03-13 Jeff Law <law@redhat.com>
343 * config/riscv/riscv.c (riscv_emit_float_compare): Use fallthru
344 attribute rather than comments.
346 * config/pdp11/pdp11.md (movmemhi): Adjust operand numbers to
347 match_scratch operand is highest.
349 2017-03-13 Martin Liska <mliska@suse.cz>
352 * ipa-pure-const.c (warn_function_noreturn): If the declarations
353 is a CHKP clone, use original declaration.
355 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
357 * config/arc/arc.c (arc_init): Use multiplier whenever we have it.
358 (arc_conditional_register_usage): Use a different allocation order
359 when optimizing for size.
360 * common/config/arc/arc-common.c (arc_option_optimization_table):
361 Section anchors default on when optimizing for size.
363 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
365 * config/arc/arc.md (*tst_bitfield_tst): Fix pattern.
367 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
369 * config/arc/arc.c (arc_output_addsi): Emit code density adds.
370 * config/arc/arc.md (cpu_facility): Add cd variant.
371 (*movqi_insn): Add code density variant.
372 (*movhi_insn): Likewise.
373 (*movqi_insn): Likewise.
374 (*addsi3_mixed): Likewise.
375 (subsi3_insn): Likewise.
377 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
379 * config/arc/arc.md (movsi_cond_exec): Update constraint.
381 2017-03-13 Claudiu Zissulescu <claziss@synopsys.com>
383 * config/arc/arc.c (arc_legitimize_pic_address): Handle PIC
384 expressions with MINUS and UNARY ops.
386 2017-03-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
389 * config/arm/neon.md (vec_sel_widen_ssum_lo<VQI:mode><VW:mode>3):
391 (vec_sel_widen_ssum_lo<mode><V_half>3): ... This. Avoid mismatch
392 between vec_select and vector argument.
393 (vec_sel_widen_ssum_hi<VQI:mode><VW:mode>3): Rename to...
394 (vec_sel_widen_ssum_hi<mode><V_half>3): ... This. Likewise.
395 (vec_sel_widen_usum_lo<VQI:mode><VW:mode>3): Rename to...
396 (vec_sel_widen_usum_lo<mode><V_half>3): ... This.
397 (vec_sel_widen_usum_hi<VQI:mode><VW:mode>3): Rename to...
398 (vec_sel_widen_usum_hi<mode><V_half>3): ... This.
400 2017-03-13 Richard Biener <rguenther@suse.de>
403 * params.def (vect-max-peeling-for-alignment): Fix typo.
405 2017-03-12 Gerald Pfeifer <gerald@pfeifer.com>
407 * doc/install.texi (Specific) <mips-*-*>: Remove description of
408 issue that only occurred with binutils below 2.18.
410 2017-03-12 Gerald Pfeifer <gerald@pfeifer.com>
412 * doc/install.texi (Specific) <cris-axis-elf>: No longer
413 refer to binutils 2.11/2.12 minimum.
415 2017-03-12 Gerald Pfeifer <gerald@pfeifer.com>
417 * doc/install.texi (Specific) <powerpc-*-*>: Remove link to
418 ftp.kernel.org and simplify binutils requirement.
420 2017-03-11 Gerald Pfeifer <gerald@pfeifer.com>
422 * doc/invoke.texi (Warning Options): Fix spelling of link-time
424 (Optimize Options): Ditto. Also remove redundancy.
426 2017-03-10 David Malcolm <dmalcolm@redhat.com>
429 * ipa-devirt.c (warn_types_mismatch): Simplify uses of "%<%s%>" to
431 * ipa-pure-const.c (suggest_attribute): Likewise. Convert _
432 to G_ to avoid double translation.
434 2017-03-10 David Malcolm <dmalcolm@redhat.com>
437 * auto-profile.c (get_combined_location): Convert leading
438 character of diagnostics to lower case and remove trailing period.
439 (read_profile): Likewise for various diagnostics.
440 * config/arm/arm.c (arm_option_override): Remove trailing period
441 from various diagnostics.
442 * config/msp430/msp430.c (msp430_expand_delay_cycles): Likewise.
443 (msp430_expand_delay_cycles): Likewise.
445 2017-03-10 David Malcolm <dmalcolm@redhat.com>
448 * config/aarch64/aarch64.c (aarch64_validate_mcpu): Quote the
449 full command-line argument, rather than just "str".
450 (aarch64_validate_march): Likewise.
451 (aarch64_validate_mtune): Likewise.
453 2017-03-10 Bernd Schmidt <bschmidt@redhat.com>
455 PR rtl-optimization/78911
456 * lra-assigns.c (must_not_spill_p): New function.
459 2017-03-10 Jakub Jelinek <jakub@redhat.com>
461 PR tree-optimization/79981
462 * tree-vrp.c (extract_range_basic): Handle IMAGPART_EXPR of
463 ATOMIC_COMPARE_EXCHANGE ifn result.
464 (stmt_interesting_for_vrp, vrp_visit_stmt): Handle
465 IFN_ATOMIC_COMPARE_EXCHANGE.
467 2017-03-10 David Malcolm <dmalcolm@redhat.com>
470 * opts.c (parse_sanitizer_options): Add missing question mark to
471 "did you mean" message.
473 2017-03-10 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
475 * config/rs6000/rs6000-builtin.def (VMULEUB_UNS): Remove orphaned
477 (VMULEUH_UNS): Likewise.
478 (VMULOUB_UNS): Likewise.
479 (VMULOUH_UNS): Likewise.
480 * config/rs6000/rs6000.c (builtin_function_type): Remove
481 references to ALTIVEC_BUILTIN_VMUL[EO]U[BH]_UNS.
483 2017-03-10 David Malcolm <dmalcolm@redhat.com>
486 * read-rtl-function.c (function_reader::read_rtx_operand): Update
487 x with result of extra_parsing_for_operand_code_0.
488 (function_reader::extra_parsing_for_operand_code_0): Convert
489 return type from void to rtx, returning x. When reading
490 SYMBOL_REF with SYMBOL_FLAG_HAS_BLOCK_INFO, reallocate x to the
491 larger size containing struct block_symbol.
493 2017-03-10 Segher Boessenkool <segher@kernel.crashing.org>
495 * config/rs6000/rs6000.c (rs6000_option_override_internal): Disallow
496 -mfloat128-hardware without -m64.
498 2017-03-10 Will Schmidt <will_schmidt@vnet.ibm.com>
501 * config/rs6000/rs6000.c (builtin_function_type): Add VMUL*U[HB]
502 entries to the case statement that marks unsigned arguments to
503 overloaded functions.
505 2017-03-10 Kelvin Nilsen <kelvin@gcc.gnu.org>
507 * config/rs6000/rs6000.c (rs6000_option_override_internal): Fix
508 two typographic errors in the handling of TARGET_UPPER_REGS_DI.
510 2017-03-10 Pat Haugen <pthaugen@us.ibm.com>
513 * config/rs6000/rs6000.c (rs6000_init_hard_regno_mode_ok): Test
514 TARGET_UPPER_REGS_DI when setting 'wi' constraint regclass.
516 2017-03-10 Martin Liska <mliska@suse.cz>
520 * toplev.c (process_options): Enable MPX with LSAN and UBSAN.
521 * tree-chkp.c (chkp_walk_pointer_assignments): Verify that
524 2017-03-10 Olivier Hainque <hainque@adacore.com>
526 * tree-switch-conversion (array_value_type): Start by resetting
527 candidate type to it's main variant.
529 2017-03-10 Jakub Jelinek <jakub@redhat.com>
531 PR rtl-optimization/79909
532 * combine.c (try_combine): Use simplify_replace_rtx on individual
533 CALL_INSN_FUNCTION_USAGE elements instead of replace_rtx on copy_rtx
534 of the whole CALL_INSN_FUNCTION_USAGE.
536 PR tree-optimization/79972
537 * gimple-ssa-warn-alloca.c (alloca_call_type): Only call
538 get_range_info on SSA_NAMEs. Formatting fixes.
540 2017-03-10 Richard Biener <rguenther@suse.de>
541 Jakub Jelinek <jakub@redhat.com>
543 PR tree-optimization/77975
544 * tree-ssa-loop-niter.c (get_base_for): Allow phi argument from latch
546 (get_val_for): For constant x return it. Formatting fix.
547 (loop_niter_by_eval): Avoid pointless looping if the next iteration
548 would use the same bases as the current one.
550 2017-03-09 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
552 * config/rs6000/rs6000.c (rs6000_gen_le_vsx_permute): Use rotate
553 instead of vec_select for V1TImode.
554 * conifg/rs6000/vsx.md (VSX_LE): Remove mode iterator that is no
556 (VSX_LE_128): Add V1TI to this mode iterator.
557 (*vsx_le_perm_load_<mode>): Change to use VSX_D mode iterator.
558 (*vsx_le_perm_store_<mode>): Likewise.
559 (pre-reload splitter for VSX stores): Likewise.
560 (post-reload splitter for VSX stores): Likewise.
561 (*vsx_xxpermdi2_le_<mode>): Likewise.
562 (*vsx_lxvd2x2_le_<mode>): Likewise.
563 (*vsx_stxvd2x2_le_<mode>): Likewise.
565 2017-03-09 Michael Eager <eager@eagercon.com>
567 Correct failures with --enable-checking=yes,rtl.
569 * config/microblaze/microblaze.c (microblaze_expand_shift):
570 Replace GET_CODE test with CONST_INT_P and INTVAL test with
572 * config/microblaze/microblaze.md (ashlsi3_byone, ashrsi3_byone,
573 lshrsi3_byone): Replace INTVAL with test for const1_rtx.
575 2017-03-09 Richard Biener <rguenther@suse.de>
577 PR tree-optimization/79977
578 * graphite-scop-detection.c (scop_detection::merge_sese):
579 Handle the case of extra exits to blocks dominating the entry.
581 2017-03-09 Toma Tabacu <toma.tabacu@imgtec.com>
583 * doc/sourcebuild.texi (Effective-Target Keywords, Other attributes):
586 2017-03-09 Vladimir Makarov <vmakarov@redhat.com>
588 PR rtl-optimization/79949
589 * lra-constraints.c (process_alt_operands): Check memory when
590 trying to predict a cycle. Print about the overall increase.
592 2017-03-09 Richard Biener <rguenther@suse.de>
595 * gimple-expr.c (useless_type_conversion_p): Preserve
596 TYPE_SATURATING for fixed-point types.
598 2017-03-09 Richard Biener <rguenther@suse.de>
601 * ipa-prop.c (ipa_modify_formal_parameters): Avoid changing
602 alignment of BLKmode params.
604 2017-03-09 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
607 * config/aarch64/iterators.md (VALL_F16_NO_V2Q): New mode iterator.
608 (VALL_NO_V2Q): Likewise.
610 * config/aarch64/aarch64-simd.md
611 (aarch64_dup_lane_<vswap_width_name><mode>): Use VALL_F16_NO_V2Q
613 (*aarch64_simd_vec_copy_lane_<vswap_width_name><mode>): Use
614 VALL_NO_V2Q mode iterator.
615 (*aarch64_vgetfmulx<mode>): Use VDQF iterator.
617 2017-03-09 Martin Liska <mliska@suse.cz>
619 PR tree-optimization/79631
620 * tree-chkp-opt.c (chkp_is_constant_addr): Call
621 tree_int_cst_sign_bit just for INTEGER constants.
623 2017-03-09 Martin Liska <mliska@suse.cz>
627 * toplev.c (process_options): Disable -fcheck-pointer-bounds with
630 2017-03-09 Marek Polacek <polacek@redhat.com>
633 * tree.c (inchash::add_expr): Handle TREE_VEC.
635 2017-03-09 Martin Liska <mliska@suse.cz>
638 (chkp_narrow_size_and_offset): New function.
639 (chkp_parse_array_and_component_ref): Support BIT_FIELD_REF.
640 (void chkp_parse_bit_field_ref): New function.
641 (chkp_make_addressed_object_bounds): Add case for BIT_FIELD_REF.
642 (chkp_process_stmt): Use chkp_parse_bit_field_ref.
644 2017-03-09 Martin Liska <mliska@suse.cz>
647 * tree-chkp.c (chkp_get_bound_for_parm): Get bounds for a param.
648 (chkp_find_bounds_1): Remove gcc_unreachable.
650 2017-03-09 Jakub Jelinek <jakub@redhat.com>
653 * asan.c (get_mem_refs_of_builtin_call): For BUILT_IN_ATOMIC* and
654 BUILT_IN_SYNC*, determine the access type from the size suffix and
655 always build a MEM_REF with that type. Handle forgotten
656 BUILT_IN_SYNC_FETCH_AND_NAND_16 and BUILT_IN_SYNC_NAND_AND_FETCH_16.
659 * config/i386/avx512vlintrin.h (_mm256_cmpge_epi32_mask,
660 _mm256_cmpge_epi64_mask, _mm256_cmpge_epu32_mask,
661 _mm256_cmpge_epu64_mask, _mm256_cmple_epi32_mask,
662 _mm256_cmple_epi64_mask, _mm256_cmple_epu32_mask,
663 _mm256_cmple_epu64_mask, _mm256_cmplt_epi32_mask,
664 _mm256_cmplt_epi64_mask, _mm256_cmplt_epu32_mask,
665 _mm256_cmplt_epu64_mask, _mm256_cmpneq_epi32_mask,
666 _mm256_cmpneq_epi64_mask, _mm256_cmpneq_epu32_mask,
667 _mm256_cmpneq_epu64_mask, _mm256_mask_cmpge_epi32_mask,
668 _mm256_mask_cmpge_epi64_mask, _mm256_mask_cmpge_epu32_mask,
669 _mm256_mask_cmpge_epu64_mask, _mm256_mask_cmple_epi32_mask,
670 _mm256_mask_cmple_epi64_mask, _mm256_mask_cmple_epu32_mask,
671 _mm256_mask_cmple_epu64_mask, _mm256_mask_cmplt_epi32_mask,
672 _mm256_mask_cmplt_epi64_mask, _mm256_mask_cmplt_epu32_mask,
673 _mm256_mask_cmplt_epu64_mask, _mm256_mask_cmpneq_epi32_mask,
674 _mm256_mask_cmpneq_epi64_mask, _mm256_mask_cmpneq_epu32_mask,
675 _mm256_mask_cmpneq_epu64_mask, _mm_cmpge_epi32_mask,
676 _mm_cmpge_epi64_mask, _mm_cmpge_epu32_mask, _mm_cmpge_epu64_mask,
677 _mm_cmple_epi32_mask, _mm_cmple_epi64_mask, _mm_cmple_epu32_mask,
678 _mm_cmple_epu64_mask, _mm_cmplt_epi32_mask, _mm_cmplt_epi64_mask,
679 _mm_cmplt_epu32_mask, _mm_cmplt_epu64_mask, _mm_cmpneq_epi32_mask,
680 _mm_cmpneq_epi64_mask, _mm_cmpneq_epu32_mask, _mm_cmpneq_epu64_mask,
681 _mm_mask_cmpge_epi32_mask, _mm_mask_cmpge_epi64_mask,
682 _mm_mask_cmpge_epu32_mask, _mm_mask_cmpge_epu64_mask,
683 _mm_mask_cmple_epi32_mask, _mm_mask_cmple_epi64_mask,
684 _mm_mask_cmple_epu32_mask, _mm_mask_cmple_epu64_mask,
685 _mm_mask_cmplt_epi32_mask, _mm_mask_cmplt_epi64_mask,
686 _mm_mask_cmplt_epu32_mask, _mm_mask_cmplt_epu64_mask,
687 _mm_mask_cmpneq_epi32_mask, _mm_mask_cmpneq_epi64_mask,
688 _mm_mask_cmpneq_epu32_mask, _mm_mask_cmpneq_epu64_mask): Move
689 definitions outside of __OPTIMIZE__ guarded section.
692 * config/i386/avx512bwintrin.h (_mm512_packs_epi32,
693 _mm512_maskz_packs_epi32, _mm512_mask_packs_epi32,
694 _mm512_packus_epi32, _mm512_maskz_packus_epi32,
695 _mm512_mask_packus_epi32): Move definitions outside of __OPTIMIZE__
698 2017-03-09 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
700 * config/s390/vx-builtins.md ("vfee<mode>", "vfeez<mode>")
701 ("vfenez<mode>"): Add missing constraints.
703 2017-03-08 Martin Sebor <msebor@redhat.com>
706 * config/nds32/nds32.c (nds32_option_override):
708 2017-03-08 Jakub Jelinek <jakub@redhat.com>
711 * gimplify.c (gimplify_omp_for): Replace index var in outer
712 taskloop statement with an artificial variable and add
713 OMP_CLAUSE_PRIVATE clause for it.
715 2017-03-08 Richard Biener <rguenther@suse.de>
717 PR tree-optimization/79955
718 * tree-ssa-uninit.c (warn_uninitialized_vars): Do not warn
719 for accesses that are completely outside of the variable.
721 2017-03-08 Andrew Haley <aph@redhat.com>
723 PR tree-optimization/79943
724 * tree-ssa-loop-split.c (compute_new_first_bound): When
725 calculating the new upper bound, (END-BEG) should be added, not
728 2017-03-08 Jakub Jelinek <jakub@redhat.com>
730 * config/avr/avr.md (setmemhi): Make sure match_dup
731 operand number comes before match_scratch.
733 2017-03-08 Richard Biener <rguenther@suse.de>
735 PR tree-optimization/79920
736 * tree-vect-slp.c (vect_create_mask_and_perm): Remove and inline
737 with ncopies == 1 to ...
738 (vect_transform_slp_perm_load): ... here. Properly compute
739 all element loads by iterating VF times over the group. Do
740 not handle ncopies (computed in a broken way) in
741 vect_create_mask_and_perm.
743 2017-03-08 Jakub Jelinek <jakub@redhat.com>
746 * internal-fn.c (expand_vector_ubsan_overflow): If arg0 or arg1
747 is a uniform vector, use uniform_vector_p return value instead of
748 building ARRAY_REF on folded VIEW_CONVERT_EXPR to array type.
750 2017-03-07 Marek Polacek <polacek@redhat.com>
753 * gimple-ssa-warn-alloca.c (pass_walloca::gate): Use HOST_WIDE_INT.
754 (alloca_call_type): Likewise.
756 2017-03-07 Martin Liska <mliska@suse.cz>
758 * gcov.c (process_args): Put comment to correct location.
760 2017-03-07 Martin Liska <mliska@suse.cz>
763 * tree-chkp.c (chkp_may_narrow_to_field): Add new argument ref.
764 Use array_at_struct_end_p instead of DECL_CHAIN (field).
765 (chkp_narrow_bounds_for_field): Likewise.
766 (chkp_parse_array_and_component_ref): Pass one more argument to
769 2017-03-07 Richard Biener <rguenther@suse.de>
771 * tree-vect-loop-manip.c (slpeel_add_loop_guard): Preserve
774 2017-03-07 Segher Boessenkool <segher@kernel.crashing.org>
776 * config/i386/i386.c (ix86_local_alignment): Align most aggregates
777 of 16 bytes and more to 16 bytes, not those of 16 bits and more.
779 2017-03-07 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
782 * params.def (PARAM_STORE_MERGING_ALLOW_UNALIGNED): Add full stop
783 to end of description.
784 (PARAM_MAX_STORES_TO_MERGE): Likewise.
786 2017-03-07 Jakub Jelinek <jakub@redhat.com>
788 PR rtl-optimization/79901
789 * config/i386/sse.md (*avx512bw_<code><mode>3<mask_name>): Renamed to
791 (*avx512f_<code><mode>3<mask_name>): ... this.
792 (<code><mode>3 with maxmin code iterator): Use VI8_AVX2_AVX512F
793 iterator instead of VI8_AVX2_AVX512BW.
795 PR rtl-optimization/79901
796 * expr.c (expand_expr_real_2): For vector MIN/MAX, if there is no
797 min/max expander, expand it using expand_vec_cond_expr.
800 * ubsan.c (ubsan_encode_value): Call mark_addressable on the
803 2017-03-06 Jakub Jelinek <jakub@redhat.com>
806 * dwarf2out.h (dw_vec_const): Change array type from unsigned char *
807 to void * for PCH reasons.
808 * dwarf2out.c (output_loc_operands, output_die): Cast
809 v.val_vec.array to unsigned char *.
811 2017-03-06 John David Anglin <danglin@gcc.gnu.org>
814 * config/pa/pa-64.h (PAD_VARARGS_DOWN): Don't pad down complex and
817 2017-03-06 Vladimir Makarov <vmakarov@redhat.com>
819 PR rtl-optimization/79571
820 * lra-constraints.c (process_alt_operands): Calculate static
821 reject and subtract it from overall when only addresses will be
824 2017-03-06 Julia Koval <julia.koval@intel.com>
827 * config/i386/i386.c (ix86_minimum_incoming_stack_boundary): Set
828 incoming stack boundary to 128 for 64-bit targets.
830 2017-03-06 Richard Biener <rguenther@suse.de>
832 PR tree-optimization/79894
833 * tree-vectorizer.c (vectorize_loops): Set loop_vectorized_call
834 to NULL after folding it.
836 2017-03-06 Richard Biener <rguenther@suse.de>
838 PR tree-optimization/79824
839 * tree-vect-stmts.c (get_group_load_store_type): Fix alignment
840 check disabling peeling for gaps.
842 2017-03-06 Toma Tabacu <toma.tabacu@imgtec.com>
844 * doc/sourcebuild.texi (Effective-Target Keywords, Environment
845 attributes): Document gettimeofday.
847 2017-03-06 Robin Dapp <rdapp@linux.vnet.ibm.com>
849 * config/s390/s390.c (s390_option_override_internal): Set
850 PARAM_MIN_VECT_LOOP_BOUND
852 2017-03-06 Robin Dapp <rdapp@linux.vnet.ibm.com>
854 * config/s390/s390.c (s390_asm_output_function_label): Use nopr %r0.
855 * config/s390/s390.md: Likewise.
857 2017-03-06 Jakub Jelinek <jakub@redhat.com>
860 * config/i386/sse.md (VI8F_256_512): Remove mode iterator.
861 (<avx2_avx512>_perm<mode>): Rename to ...
862 (avx2_perm<mode>): ... this. Use VI8F_256 iterator instead
864 (<avx512>_perm<mode>_mask): Rename to ...
865 (avx512vl_perm<mode>_mask): ... this. Use VI8F_256 iterator instead
867 (<avx2_avx512>_perm<mode>_1<mask_name>): Rename to ...
868 (avx2_perm<mode>_1<mask_name): ... this. Use VI8F_256 iterator
869 instead of VI8F_256_512.
870 (avx512f_perm<mode>): New define_expand.
871 (avx512f_perm<mode>_mask): Likewise.
872 (avx512f_perm<mode>_1<mask_name>): New define_insn.
873 (<avx512>_vec_dup<mode>_1): Fix up vec_select mode.
875 2017-03-06 Prachi Godbole <prachi.godbole@imgtec.com>
877 * config/mips/mips-msa.md (msa_fmax_a_<msafmt>, msa_fmin_a_<msafmt>,
878 msa_max_a_<msafmt>, msa_min_a_<msafmt>): Introduce mode interator for
880 (smin<mode>3, smax<mode>3): Change operand print code from 'B' to 'E'.
882 2017-03-06 Martin Liska <mliska@suse.cz>
885 * asan.c (asan_expand_poison_ifn): Do not expand ASAN_POISON
886 when having a SSA NAME w/o VAR_DECL assigned to it.
888 2017-03-06 Prachi Godbole <prachi.godbole@imgtec.com>
890 * config/mips/mips-msa.md (msa_dotp_<su>_d, msa_dpadd_<su>_d,
891 msa_dpsub_<su>_d): Fix MODE for vec_select.
893 2017-03-06 Prachi Godbole <prachi.godbole@imgtec.com>
895 * config/mips/mips.c (mips_gen_const_int_vector): Change type of last
897 * config/mips/mips-protos.h (mips_gen_const_int_vector): Likewise.
899 2017-03-06 Richard Biener <rguenther@suse.de>
901 * lto-streamer.c (lto_check_version): Use %qs in diagnostics.
902 * plugin.c (register_plugin_info): Likewise.
903 * tree-chkp.c (chkp_make_static_const_bounds): Likewise.
905 2017-03-05 Jakub Jelinek <jakub@redhat.com>
907 * config/i386/sse.md (sse_storehps, sse_storelps,
908 avx_<castmode><avxsizesuffix>_<castmode>,
909 avx512f_<castmode><avxsizesuffix>_<castmode>,
910 avx512f_<castmode><avxsizesuffix>_256<castmode>): Require
911 in condition that at least one operand is not a MEM.
913 2017-03-03 Jakub Jelinek <jakub@redhat.com>
916 * internal-fn.def (ATOMIC_BIT_TEST_AND_SET, ATOMIC_BIT_TEST_AND_RESET,
917 ATOMIC_BIT_TEST_AND_COMPLEMENT, ATOMIC_COMPARE_EXCHANGE): Remove
919 * gimple-fold.c (fold_builtin_atomic_compare_exchange): Set
920 gimple_call_nothrow_p flag based on whether original builtin can throw.
921 If it can, emit following stmts on the fallthrough edge.
922 * tree-ssa-ccp.c (optimize_atomic_bit_test_and): Similarly, except
923 don't create new bb if inserting just debug stmts on the edge, try to
924 insert them on the fallthru bb or just reset debug stmts.
926 2017-03-03 Segher Boesssenkool <segher@kernel.crashing.org>
929 * config/rs6000/rs6000.c (rs6000_final_prescan_insn): Save and
930 restore recog_data (including the operand rtxes inside it) around
931 the call to get_insn_template.
933 2017-03-03 Martin Sebor <msebor@redhat.com>
935 PR tree-optimization/79699
936 * context.c (context::~context): Free MPFR caches to avoid
937 a memory leak on program exit.
939 2017-03-03 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
941 * config/aarch64/aarch64.c (aarch64_float_const_representable_p):
942 Use wide_int::ulow () instead of .elt (0).
944 2017-03-03 Uros Bizjak <ubizjak@gmail.com>
946 * config/i386/i386.md (*pushtf): Change *roF constraint to *roC.
947 (*pushxf): Limit oF constraint to 32bit targets and add oC
948 constraint for 64bit targets.
949 (pushxf splitter): Use PUSH_ROUNDING to calculate stack adjustment.
950 (*pushdf): Change rmF constraint to rmC.
952 2017-03-03 Martin Liska <mliska@suse.cz>
954 * tree-ssa-loop-prefetch.c (pass_loop_prefetch::execute):
955 Remove unused variable.
957 2017-03-03 Jakub Jelinek <jakub@redhat.com>
960 * config/i386/i386.c (ix86_expand_multi_arg_builtin): If target
961 is a memory operand, increase num_memory.
962 (ix86_expand_args_builtin): Likewise.
964 2017-03-03 Jan Hubicka <jh@suse.cz>
967 * ipa-devirt.c (maybe_record_node): Properly handle
968 __cxa_pure_virtual visibility.
970 2017-03-03 Martin Liska <mliska@suse.cz>
972 PR tree-optimization/79803
973 * tree-ssa-loop-prefetch.c (tree_ssa_prefetch_arrays): Remove
975 (pass_loop_prefetch::execute): Disabled optimization if an
976 assumption about L1 cache size is not met.
978 2017-03-03 Martin Liska <mliska@suse.cz>
980 PR rtl-optimization/79574
981 * gcse.c (struct gcse_expr): Use HOST_WIDE_INT instead of int.
982 (hash_scan_set): Likewise.
983 (dump_hash_table): Likewise.
984 (hoist_code): Likewise.
986 2017-03-03 Richard Biener <rguenther@suse.de>
988 * fixed-value.c (fixed_from_string): Restore use of elt (1)
989 in place of uhigh ().
990 (fixed_convert_from_real): Likewise.
992 2017-03-03 Uros Bizjak <ubizjak@gmail.com>
995 * config/i386/i386.md (*pushxf_rounded): Use Pmode instead of DImode.
997 2017-03-03 Richard Biener <rguenther@suse.de>
1000 * match.pd ( X +- C1 CMP C2 -> X CMP C2 -+ C1): Add missing
1001 TYPE_OVERFLOW_UNDEFINED check.
1003 2017-03-02 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1005 * config/rs6000/vector.md (vector_ne_<mode>_p): Correct operand
1007 (vector_ae_<mode>_p): Likewise.
1008 (vector_nez_<mode>_p): Likewise.
1009 (vector_ne_v2di_p): Likewise.
1010 (vector_ae_v2di_p): Likewise.
1011 (vector_ne_<mode>_p): Likewise.
1012 * config/rs6000/vsx.md (vsx_tsqrt<mode>2_fg): Correct operand
1014 (vsx_tsqrt<mode>2_fe): Likewise.
1016 2017-03-02 Uros Bizjak <ubizjak@gmail.com>
1019 * config/i386/i386.md (*pushxf_rounded): New insn_and_split pattern.
1021 2017-03-02 Jakub Jelinek <jakub@redhat.com>
1023 PR rtl-optimization/79780
1024 * cprop.c (one_cprop_pass): When second and further conditional trap
1025 in a single basic block is turned into an unconditional trap, turn it
1026 into a deleted note to avoid RTL verification failures.
1028 2017-03-02 Richard Biener <rguenther@suse.de>
1030 * fold-const.c (const_binop): Use ulow () instead of elt (0).
1032 2017-03-02 Richard Biener <rguenther@suse.de>
1034 PR tree-optimization/79345
1036 * tree-ssa-alias.c (walk_aliased_vdefs_1): Take a limit
1037 param and abort the walk, returning -1 if it is hit.
1038 (walk_aliased_vdefs): Take a limit param and pass it on.
1039 * tree-ssa-alias.h (walk_aliased_vdefs): Add a limit param,
1040 defaulting to 0 and return a signed int.
1041 * tree-ssa-uninit.c (struct check_defs_data): New struct.
1042 (check_defs): New helper.
1043 (warn_uninitialized_vars): Use walk_aliased_vdefs to warn
1044 about uninitialized memory.
1045 * fixed-value.c (fixed_from_string): Use ulow/uhigh to avoid
1046 bogus uninitialized warning.
1047 (fixed_convert_from_real): Likewise.
1049 2017-03-02 Bin Cheng <bin.cheng@arm.com>
1051 PR tree-optimization/66768
1052 * tree-ssa-loop-ivopts.c (find_interesting_uses_address): Skip addr
1053 iv_use if base object can't be determined.
1055 2017-03-02 Jakub Jelinek <jakub@redhat.com>
1057 PR tree-optimization/79345
1058 * gensupport.h (struct pattern_stats): Add min_scratch_opno field.
1059 * gensupport.c (get_pattern_stats_1) <case MATCH_SCRATCH>: Update it.
1060 (get_pattern_stats): Initialize it.
1061 * genemit.c (gen_expand): Verify match_scratch numbers come after
1062 match_operand/match_dup numbers.
1063 * config/i386/i386.md (<s>mul<mode>3_highpart): Swap match_dup and
1064 match_scratch numbers.
1065 * config/i386/sse.md (avx2_gathersi<mode>, avx2_gatherdi<mode>):
1067 * config/s390/s390.md (trunctdsd2): Likewise.
1069 2017-03-02 Richard Biener <rguenther@suse.de>
1071 * wide-int.h (wide_int_storage::operator=): Implement in terms
1074 2017-03-02 Richard Biener <rguenther@suse.de>
1076 PR tree-optimization/79777
1077 * tree-ssa-pre.c (eliminate_insert): Give up if we simplify
1078 the to insert expression to sth existing.
1080 2017-03-01 Martin Sebor <msebor@redhat.com>
1083 * gimple-ssa-sprintf.c
1084 (directive::known_width_and_precision): New function.
1085 (format_integer): Use it.
1086 (get_mpfr_format_length): Consider the full range of precision
1087 when computing %g output with the # flag. Set the likely byte
1088 count to 3 rather than 1 when precision is indeterminate.
1089 (format_floating): Correct the lower bound of precision.
1091 2017-03-01 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1093 * doc/invoke.texi: Document default code model for 64-bit Linux.
1095 2017-03-01 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
1098 * config/rs6000/rs6000.md (peephole2 for udiv/umod): Should emit
1099 udiv rather than div since input pattern is unsigned.
1101 2017-03-01 Uros Bizjak <ubizjak@gmail.com>
1103 * config/i386/i386.c (print_reg): Warn for values of
1104 unsupported size in integer register.
1106 2017-03-01 Michael Meissner <meissner@linux.vnet.ibm.com>
1109 * config/rs6000/predicates.md (current_file_function_operand): Do
1110 not allow self calls to be local if the function is replaceable.
1112 2017-03-01 Kelvin Nilsen <kelvin@gcc.gnu.org>
1115 * config/rs6000/altivec.h (vec_ctz and others): Change the
1116 preprocessor macro that controls conditional compilation from
1117 _ARCH_PWR9 to __POWER9_VECTOR__.
1118 (vec_all_ne): Change parameterization of __altivec_scalar_pred
1119 macro expansion under preprocessor #ifdef __POWER9_VECTOR__
1120 control (instead of _ARCH_PWR9 control) so that template
1121 definition uses power9-specific function.
1122 (vec_any_eq): Likewise.
1123 (vec_all_ne): Change macro definition to use a power9-specific
1124 expansion under #ifdef __POWER9_VECTOR__ control (instead of
1125 _ARCH_PWR9 control).
1126 (vec_any_eq) Likewise.
1127 * config/rs6000/rs6000-builtin.def (CMPNEF): Remove BU_P9V_AV_2
1128 expansion for CMPNEF to remove support for xvcmpnesp instruction.
1129 (CMPNED): Remove BU_P9V_AV2 expansion for CMPNED to remove
1130 support for xvcmpnedp instruction.
1131 (VCMPNEB_P): Replace BU_P9V_AV_P macro expansion with BU_P9V_AV_2
1132 macro expansion so that Power9 implementation of vec_all_ne does
1133 not use the AltiVec predicate framework.
1134 (VCMPNEH_P): Likewise.
1135 (VCMPNEW_P): Likewise.
1136 (VCMPNED_P): Likewise.
1137 (VCMPNEFP_P): Likewise.
1138 (VCMPNEDP_P): Likewise.
1139 (VCMPAEB_P): Add BU_P9V_AV_2 macro expansion to change
1140 implementation of vec_any_eq to not use AltiVec predicate
1142 (VCMPAEH_P): Likewise.
1143 (VCMPAEW_P): Likewise.
1144 (VCMPAED_P): Likewise.
1145 (VCMPAEFP_P): Likewise.
1146 (VCMPAEDP_P): Likewise.
1147 (VCMPNE_P): Replace BU_P9V_OVERLOAD_P macro expansion with
1148 BU_P9V_OVERLOAD_2 so that Power9 implementation of vec_all_ne does
1149 not use the AltiVec predicate framework.
1150 (VCMPAE_P): Add BU_P9V_OVERLOAD_2 macro to change implementation
1151 of vec_any_eq to not use AltiVec predicate framework.
1152 * config/rs6000/rs6000-c.c (rs6000_target_modify_macros): Add
1153 support for predefined __POWER9_VECTOR__ macro to indicate that
1154 Power9 instruction selection is enabled.
1155 (altivec_overloaded_builtins): Remove extraneous
1156 ALTIVEC_BUILTIN_VEC_CMPNE entry for overloaded
1157 function argument types RS6000_BTI_bool_V16QI and
1158 RS6000_BTI_bool_V16QI. Remove erroneous ALTIVEC_BUILTIN_VEC_CMPNE
1159 entry for overloaded function argument types RS6000_BTI_bool_V4SI
1160 andRS6000_BTI_bool_V4SI, mapping to P9V_BUILTIN_CMPNEB. Remove
1161 two entries mapping to P9V_BUITIN_CMPNED and one entry mapping to
1162 P9V_BUILTIN_CMPNEF to force use of instructions not specific to
1163 Power9 for implementations of vec_cmpne. Change the signature for
1164 all definitions of the overloaded P9V_BUILTIN_VEC_CMPNE_P function
1165 (representing vec_all_ne) to remove the previously described first
1166 argument of type RS6000_BTI_INTSI, as this was an artifact of
1167 reliance on the AltiVec predicate framework, which is no longer
1168 used in the implementation of these functions. Add
1169 P9V_BUILTIN_VEC_VCMPAE_P entries (representing the vec_anyeq
1170 function) to match all of the P9V_BUILTIN_VEC_VCMNE_P entries
1171 since, unlike the AltiVec predicate framework implementation, we
1172 do not share function descriptors between vec_alle and vec_anyeq.
1173 (altivec_resolve_overloaded_builtin): Add SFmode and DFmode to the
1174 set of modes that receive special treatment even when
1175 TARGET_P9_VECTOR is true. The special treatment emits code that
1176 does not depend on Power9 instructions.
1177 * config/rs6000/vector.md (vector_ne_<mode>_p): Change this
1178 define_expand to not rely on AltiVec predicate framework.
1179 (vector_ae_<mode>p): New define_expand to represent vec_any_eq
1181 (vector_ne_v2di_p): Change this define_expand to not rely on
1182 AltiVec predicate framework.
1183 (vector_ae_v2di_p): New define_expand to represent vec_any_eq
1185 (vector_ne_<mode>_p): Change this define_expand to not rely on
1186 AltiVec predicate framework.
1187 (vector_ae_<mode>p): New define_expand to represent vec_any_eq
1189 * config/rs6000/vsx.md (*vsx_ne_<mode>_p): For modes VSX_EXTRACT_I
1190 (V16QI, V8HI, V4SI), correct a typo in the code emitted for this
1191 define_insn pattern.
1192 (*vsx_ne_<mode>_p): For modes VSX_F (V4SF and V2DF), remove this
1193 define_insn pattern because the xvcmpne<VSs>. instruction is not
1195 (vcmpne<VSs>): Remove this define_insn because xvcmpne<VSs>
1196 instruction is not supported.
1198 2017-03-01 Jakub Jelinek <jakub@redhat.com>
1200 * config/nvptx/nvptx.c: Include intl.h.
1202 2017-03-01 Martin Jambor <mjambor@suse.cz>
1205 * ipa-prop.h (ipa_bits): Removed field known.
1206 (ipa_jump_func): Removed field vr_known. Changed fields bits and m_vr
1207 to pointers. Adjusted their comments to warn about their sharing.
1208 (ipcp_transformation_summary): Change bits to a vector of pointers.
1209 (ipa_check_create_edge_args): Moved to ipa-prop.c, declare.
1210 (ipa_get_ipa_bits_for_value): Declare.
1211 * tree-vrp.h (value_range): Mark as GTY((for_user)).
1212 * ipa-prop.c (ipa_bit_ggc_hash_traits): New.
1213 (ipa_bits_hash_table): Likewise.
1214 (ipa_vr_ggc_hash_traits): Likewise.
1215 (ipa_vr_hash_table): Likewise.
1216 (ipa_print_node_jump_functions_for_edge): Adjust for bits and m_vr
1217 being pointers and vr_known being removed.
1218 (ipa_set_jf_unknown): Likewise.
1219 (ipa_get_ipa_bits_for_value): New function.
1220 (ipa_set_jfunc_bits): Likewise.
1221 (ipa_get_value_range): New overloaded functions.
1222 (ipa_set_jfunc_vr): Likewise.
1223 (ipa_compute_jump_functions_for_edge): Use the above functions to
1224 construct bits and vr parts of jump functions.
1225 (ipa_check_create_edge_args): Move here from ipa-prop.h, also allocate
1226 ipa_bits_hash_table and ipa_vr_hash_table if they do not already
1228 (ipcp_grow_transformations_if_necessary): Also allocate
1229 ipa_bits_hash_table and ipa_vr_hash_table if they do not already
1231 (ipa_node_params_t::duplicate): Do not copy bits, just pointers to
1232 them. Fix too long lines.
1233 (ipa_write_jump_function): Adjust for bits and m_vr being pointers and
1234 vr_known being removed.
1235 (ipa_read_jump_function): Use new setter functions to construct bits
1236 and vr parts of jump functions or set them to NULL.
1237 (write_ipcp_transformation_info): Adjust for bits being pointers.
1238 (read_ipcp_transformation_info): Likewise.
1239 (ipcp_update_bits): Likewise. Fix excessively long lines a trailing
1241 Include gt-ipa-prop.h.
1242 * ipa-cp.c (propagate_bits_across_jump_function): Adjust for bits
1244 (ipcp_store_bits_results): Likewise.
1245 (propagate_vr_across_jump_function): Adjust for m_vr being a pointer.
1246 Do not write to existing jump functions but use a temporary instead.
1248 2017-03-01 Jakub Jelinek <jakub@redhat.com>
1251 * fold-const.c (make_bit_field_ref): If orig_inner is COMPONENT_REF,
1252 attempt to use its first operand as BIT_FIELD_REF base.
1254 2017-03-01 Richard Biener <rguenther@suse.de>
1257 * tree-chrec.c (chrec_evaluate): Perform computation of Newtons
1258 interpolating formula in wrapping arithmetic.
1259 (chrec_apply): Convert chrec_evaluate return value to wanted type.
1261 2017-03-01 Jakub Jelinek <jakub@redhat.com>
1263 PR tree-optimization/79734
1264 * tree-vect-generic.c (expand_vector_condition): Optimize
1265 AVX512 vector boolean VEC_COND_EXPRs into bitwise operations.
1266 Handle VEC_COND_EXPR where comparison has different inner width from
1269 2017-02-28 Sandra Loosemore <sandra@codesourcery.com>
1271 * doc/invoke.texi (ARC Options): Copy-edit to fix punctuation,
1272 markup, and similar issues. Remove @opindex entries for things
1273 that aren't options. Add missing -mmpy-option entries.
1275 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1277 PR tree-optimization/79737
1278 * gimple-ssa-store-merging.c (encode_tree_to_bitpos): If bitlen is
1279 a multiple of BITS_PER_UNIT and !BYTES_BIG_ENDIAN, clear
1280 tmpbuf[byte_size - 1]. Call natice_encode_expr with byte_size - 1
1281 instead of byte_size. Formatting fix.
1282 (shift_bytes_in_array_right): Formatting fix.
1284 2017-02-28 Eric Botcazou <ebotcazou@adacore.com>
1287 * config/sparc/sparc.c (sparc_frame_pointer_required): Add missing
1288 condition on optimize for the leaf function test.
1290 2017-02-28 Martin Liska <mliska@suse.cz>
1293 * read-rtl-function.c (function_reader::handle_unknown_directive):
1294 Bail out when one uses -flto.
1296 2017-02-28 Martin Liska <mliska@suse.cz>
1298 * common.opt: Replace space with tabular for options of <number>
1300 * config/i386/i386.opt: Show <number> value for
1301 -mlarge-data-threshold.
1302 * opts.c (print_filtered_help): Do not display number in hexadecimal
1305 2017-02-28 Martin Liska <mliska@suse.cz>
1307 * common.opt: Fix --help=option -Q for options which are of
1310 2017-02-28 Uros Bizjak <ubizjak@gmail.com>
1312 * config/i386/i386.c (print_reg): Error out for values
1313 of 8-bit size in invalid integer register.
1315 2017-02-28 Martin Sebor <msebor@redhat.com>
1317 PR tree-optimization/79691
1318 * passes.def (pass_all_optimizations_g): Enable pass_sprintf_length.
1320 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1323 * config/i386/i386.c (ix86_print_operand) <case 'R'>: Replace
1324 gcc_unreachable with output_operand_lossage.
1326 2017-02-28 Richard Biener <rguenther@suse.de>
1328 PR tree-optimization/79740
1329 * tree-ssa-sccvn.c (vn_nary_op_insert_into): Allow redundant
1331 (visit_nary_op): Insert the nary into the hashtable if we
1332 pattern-matched sth.
1333 * tree-ssa-pre.c (eliminate_insert): Robustify.
1335 2017-02-28 Richard Biener <rguenther@suse.de>
1338 * fold-const.c (decode_field_reference): Reject out-of-bound
1341 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1343 * config/i386/i386.c: Include intl.h.
1344 (ix86_option_override_internal): Use cond ? G_("...") : G_("...")
1345 instead of just cond ? "..." : "...".
1346 * config/nvptx/nvptx.c (nvptx_goacc_validate_dims): Likewise.
1347 * coverage.c (read_counts_file): Likewise.
1348 * omp-offload.c: Include intl.h.
1349 (oacc_loop_fixed_partitions): Use cond ? G_("...") : G_("...") instead
1350 of just cond ? "..." : "...".
1351 * gcov.c (read_count_file): Use cond ? N_("...") : N_("...") instead
1352 of just cond ? "..." : "...".
1354 2017-02-28 Richard Earnshaw <rearnsha@arm.com>
1357 * config/arm/parsecpu.awk (gen_data): Set tuning target to 'tune for'
1359 * config/arm/arm-cpus.in (cortex-m0plus.small-multiply): Correct
1360 'tune for' CPU name.
1361 * config/arm/arm-cpu-data.h: Regenerated.
1363 2017-02-28 Richard Biener <rguenther@suse.de>
1365 PR tree-optimization/79732
1366 * tree-inline.c (expand_call_inline): Do not shadow var.
1368 2017-02-28 Richard Biener <rguenther@suse.de>
1370 PR tree-optimization/79723
1371 * tree-vect-stmts.c (get_vectype_for_scalar_type_and_size): Preserve
1372 address-space properly.
1374 2017-02-28 Thomas Schwinge <thomas@codesourcery.com>
1376 * doc/optinfo.texi (Optimization groups): Fix option used for
1378 * doc/invoke.texi (-fopt-info): Document "omp".
1379 * dumpfile.h: Sort OPTGROUP_OMP before OPTGROUP_VEC.
1380 (OPTGROUP_ALL): Add OPTGROUP_OMP.
1381 * hsa-gen.c (pass_data_gen_hsail): Use OPTGROUP_OMP.
1382 * ipa-hsa.c (pass_data_ipa_hsa): Likewise.
1383 * omp-simd-clone.c (pass_data_omp_simd_clone): Likewise.
1385 * dumpfile.h (OPTGROUP_OPENMP): Rename to OPTGROUP_OMP. Adjust
1387 * dumpfile.c (optgroup_options): Instead of "openmp", associate
1388 OPTGROUP_OMP with "omp".
1390 2017-02-27 Pat Haugen <pthaugen@us.ibm.com>
1393 * config/rs6000/rs6000-c.c (struct altivec_builtin_types): Use VSRAD
1394 for arithmetic shift of unsigned V2DI.
1396 2017-02-27 Claudiu Zissulescu <claziss@synopsys.com>
1398 * config.gcc (arc*-): Clean up, use arc/big.h, arc/elf.h, and
1399 arc/linux.h headers.
1400 * config/arc/arc.h (TARGET_OS_CPP_BUILTINS): Remove.
1401 (LINK_SPEC): Likewise.
1402 (ARC_TLS_EXTRA_START_SPEC): Likewise.
1403 (EXTRA_SPECS): Likewise.
1404 (STARTFILE_SPEC): Likewise.
1405 (ENDFILE_SPEC): Likewise.
1406 (LIB_SPEC): Likewise.
1407 (TARGET_SDATA_DEFAULT): Likewise.
1408 (TARGET_MMEDIUM_CALLS_DEFAULT): Likewise.
1409 (MULTILIB_DEFAULTS): Likewise.
1410 (DWARF2_UNWIND_INFO): Likewise.
1411 * config/arc/big.h: New file.
1412 * config/arc/elf.h: Likewise.
1413 * config/arc/linux.h: Likewise.
1414 * config/arc/t-uClibc: Remove.
1416 2017-02-27 Bin Cheng <bin.cheng@arm.com>
1418 PR tree-optimization/77536
1419 * tree-ssa-loop-manip.c (niter_for_unrolled_loop): New function.
1420 (tree_transform_and_unroll_loop): Use above function to compute the
1421 estimated niter of unrolled loop and use it when scaling profile.
1422 Also use count info rather than frequency if it's non-zero.
1423 * tree-ssa-loop-manip.h niter_for_unrolled_loop(): New declaration.
1424 * tree-vect-loop.c (scale_profile_for_vect_loop): New function.
1425 (vect_transform_loop): Call above function.
1427 2017-02-27 Richard Biener <rguenther@suse.de>
1429 PR tree-optimization/45397
1430 * tree-ssa-pre.c (eliminate_insert): Handle BIT_AND_EXPR.
1431 * tree-ssa-sccvn.c (valueized_wider_op): New helper.
1432 (visit_nary_op): Add pattern matching for CSEing sign-changed
1433 or truncated operations with wider ones.
1435 2017-02-27 Richard Biener <rguenther@suse.de>
1437 PR tree-optimization/79690
1438 * tree-vect-stmts.c (vectorizable_store): Use vector type
1439 built from the DR with address-space.
1441 2017-02-26 Gerald Pfeifer <gerald@pfeifer.com>
1443 * doc/invoke.texi (Optimize Options): Refine the description
1444 of asan-use-after-return.
1446 2017-02-25 Alan Modra <amodra@gmail.com>
1448 PR rtl-optimization/79584
1449 * lra-constraints.c (base_to_reg): Reload ad->base, the entire
1450 base, not ad->base_term, the reg within base. Remove assertion
1451 that ad->base == ad->base_term. Replace gen_int_mode using
1452 bogus mode with const0_rtx.
1454 2017-02-25 Jakub Jelinek <jakub@redhat.com>
1457 * tree-eh.c (operation_could_trap_p, stmt_could_throw_1_p): Handle
1458 FMA_EXPR like tcc_binary or tcc_unary.
1460 * tree-ssa-loop-niter.c (number_of_iterations_exit): Simplify warning.
1463 * dwarf2out.c (struct dw_loc_list_struct): Add noted_variable_value
1465 (size_of_loc_descr): Handle DW_OP_GNU_variable_value.
1466 (output_loc_operands): Handle DW_OP_call_ref and
1467 DW_OP_GNU_variable_value.
1468 (struct variable_value_struct): New type.
1469 (struct variable_value_hasher): Likewise.
1470 (variable_value_hash): New variable.
1471 (string_types): Remove.
1472 (copy_loc_descr): New function.
1473 (add_loc_descr_to_each): Clarify comment. Use copy_loc_descr.
1474 (prepend_loc_descr_to_each): New function.
1475 (add_loc_list): Fix comment typo. Use prepend_loc_descr_to_each
1476 instead of add_loc_descr_to_each if the first argument is single
1477 location list and the second has multiple.
1478 (resolve_args_picking_1): Handle DW_OP_GNU_variable_value.
1479 (loc_list_from_tree_1): For early_dwarf, emit DW_OP_GNU_variable_value
1480 when looking for variable value which doesn't have other location info.
1481 (loc_list_from_tree): Formatting fix.
1482 (gen_array_type_die): Simplify DW_AT_string_length handling.
1483 (adjust_string_types): Remove.
1484 (gen_subprogram_die): Don't call adjust_string_types nor test/set
1485 string_types. Call resolve_variable_values.
1486 (prune_unused_types_walk_loc_descr): Handle DW_OP_GNU_variable_value.
1487 (resolve_addr_in_expr): Likewise. Add A argument.
1488 (copy_deref_exprloc): Remove deref argument. Adjust for the
1489 original expression being DW_OP_GNU_variable_value with optionally
1490 DW_OP_stack_value after it instead of DW_OP_call4 with DW_OP_deref
1491 optionally after it.
1492 (optimize_string_length): Rework for DW_OP_GNU_variable_value.
1493 (resolve_addr): Adjust optimize_string_length and resolve_addr_in_expr
1494 callers. Set remove_AT_byte_size if removing DW_AT_string_length.
1495 (variable_value_hasher::hash, variable_value_hasher::equal): New
1497 (resolve_variable_value_in_expr, resolve_variable_value,
1498 resolve_variable_values, note_variable_value_in_expr,
1499 note_variable_value): New functions.
1500 (dwarf2out_early_finish): Call note_variable_value on all toplevel
1503 2017-02-24 Jakub Jelinek <jakub@redhat.com>
1506 * opts.h (handle_generated_option): Add GENERATED_P argument.
1507 * opts-common.c (handle_option): Adjust function comment.
1508 (handle_generated_option): Add GENERATED_P argument, pass it to
1510 (control_warning_option): Pass false to handle_generated_option
1512 * opts.c (maybe_default_option): Pass true to handle_generated_option
1514 * optc-gen.awk: Likewise.
1516 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1518 * config/sh/sh.md (tstsi_t): If operands[0] is a SUBREG instead of
1519 a REG, look at the REG it is a SUBREG of.
1520 (splitter for cmpeqsi_t): Ditto.
1522 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1524 * config/pa/pa.c (pa_combine_instructions): Do not share RTL. Make
1525 the special USEs with the pattern of the insn, not the insn itself.
1527 2017-02-24 Matthew Fortune <matthew.fortune@imgtec.com>
1530 * doc/invoke.texi: Document -mload-store-pairs.
1532 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1533 Sandra Loosemore <sandra@codesourcery.com>
1535 * config/nios2/nios2.c (nios2_simple_const_p): Returns false if the
1536 argument isn't a CONST_INT.
1537 (nios2_alternate_compare_const): Assert op is a CONST_INT.
1538 (nios2_valid_compare_const_p): Assert op is a CONST_INT.
1539 (nios2_validate_compare): Bypass alternate compare logic if *op2
1541 (ldstwm_operation_p): Return false if first_base is not a REG or
1542 if first_offset is not a CONST_INT.
1544 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1546 * config/cris/cris.md: Use correct operand in a define_peephole2.
1548 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1550 * config/c6x/c6x.c (predicate_insn): Do not incorrectly share RTL.
1552 2017-02-24 Segher Boessenkool <segher@kernel.crashing.org>
1554 * config/arc/arc.c (arc_ccfsm_advance): Only take the PATTERN of
1555 this_insn if it is an INSN or JUMP_INSN.
1556 (force_offsettable): Look at base, not at addr.
1557 * config/arc/predicates.md (brcc_nolimm_operator): Don't call INTVAL
1558 on things that aren't necessarily CONST_INTs.
1560 2017-02-24 Uros Bizjak <ubizjak@gmail.com>
1562 * doc/invoke.texi (x86 Options, -mfpmath=sse): Mention that
1563 -mfpmath=sse is the default also for x86-32 targets with SSE2
1564 instruction set when @option{-ffast-math} is enabled
1566 2017-02-24 Jeff Law <law@redhat.com>
1568 PR rtl-optimizatoin/79286
1569 * ira.c (update_equiv_regs): Drop may_trap_p exception to
1572 2017-02-24 Richard Biener <rguenther@suse.de>
1574 PR tree-optimization/79389
1575 * gimple-ssa-split-paths.c (is_feasible_trace): Properly skip
1578 2017-02-24 Aldy Hernandez <aldyh@redhat.com>
1580 * tree-ssa-loop-niter.c (number_of_iterations_exit): Update
1581 function comment to reflect reality.
1582 (loop_exits_before_overflow): Fix typo in function description.
1584 2017-02-24 Richard Biener <rguenther@suse.de>
1586 PR tree-optimization/79389
1587 * gimple-ssa-split-paths.c (is_feasible_trace): Verify more
1588 properly that a threading opportunity exists. Detect conditional
1589 copy/constant propagation opportunities.
1591 2017-02-23 Eric Botcazou <ebotcazou@adacore.com>
1593 * config/visium/visium.md (type): Add trap.
1594 (b): New mode attribute.
1595 (*btst): Rename into...
1596 (*btst<mode>): ...this and adjust.
1597 (*cbranchsi4_btst_insn): Rename into...
1598 (*cbranch<mode>4_btst_insn): ...this and adjust.
1599 (trap): New define_insn.
1601 2017-02-23 Jakub Jelinek <jakub@redhat.com>
1603 PR tree-optimization/79389
1604 * ifcvt.c (struct noce_if_info): Add rev_cond field.
1605 (noce_reversed_cond_code): New function.
1606 (noce_emit_store_flag): Use rev_cond if non-NULL instead of
1607 reversed_comparison_code. Formatting fix.
1608 (noce_try_store_flag): Test rev_cond != NULL in addition to
1609 reversed_comparison_code.
1610 (noce_try_store_flag_constants): Likewise.
1611 (noce_try_store_flag_mask): Likewise.
1612 (noce_try_addcc): Use rev_cond if non-NULL instead of
1613 reversed_comparison_code.
1614 (noce_try_cmove_arith): Likewise. Formatting fixes.
1615 (noce_try_minmax, noce_try_abs): Clear rev_cond.
1616 (noce_find_if_block): Initialize rev_cond.
1617 (find_cond_trap): Call noce_get_condition with then_bb == trap_bb
1618 instead of false as last argument never attempt to reverse it
1621 2017-02-23 Bin Cheng <bin.cheng@arm.com>
1623 PR tree-optimization/79663
1624 * tree-predcom.c (combine_chains): Process refs in reverse order
1625 only for ZERO length chains, and add explaining comment.
1627 2017-02-23 Jeff Law <law@redhat.com>
1629 PR tree-optimization/79578
1630 * tree-ssa-dse.c (clear_bytes_written_by): Use OEP_ADDRESS_OF
1631 in call to operand_equal_p.
1633 2017-01-23 Dominique d'Humieres <dominiq@lps.ens.fr>
1636 * config/i386/cpuid.h: Fix another undefined behavior.
1638 2017-02-23 Richard Biener <rguenther@suse.de>
1640 PR tree-optimization/79683
1641 * tree-vect-stmts.c (vect_analyze_stmt): Do not overwrite
1642 vector types for data-refs.
1644 2017-02-23 Martin Liska <mliska@suse.cz>
1646 * params.def (PARAM_MIN_NONDEBUG_INSN_UID): Change default to 0.
1648 2017-02-23 Jakub Jelinek <jakub@redhat.com>
1651 * internal-fn.c (get_range_pos_neg): Moved to ...
1652 * tree.c (get_range_pos_neg): ... here. No longer static.
1653 * tree.h (get_range_pos_neg): New prototype.
1654 * expr.c (expand_expr_real_2) <case TRUNC_DIV_EXPR>: If both arguments
1655 are known to be in between 0 and signed maximum inclusive, try to
1656 expand both unsigned and signed divmod and use the cheaper one from
1659 2017-02-22 Jeff Law <law@redhat.com>
1661 PR tree-optimization/79578
1662 * tree-ssa-dse.c (clear_bytes_written_by): Use operand_equal_p
1663 to compare base operands.
1665 2017-02-22 Segher Boessenkool <segher@kernel.crashing.org>
1668 * config/rs6000/rs6000.md (*fsel<SFDF:mode><SFDF2:mode>4): Use
1669 gpc_reg_operand instead of fpr_reg_operand.
1671 2017-02-22 Sameera Deshpande <sameera.deshpande@imgtec.com>
1673 * config/mips/mips.c (mips_return_in_memory): Force FP
1674 vector types to be returned in memory for o32 ABI.
1676 2017-02-22 Jakub Jelinek <jakub@redhat.com>
1678 * dwarf2out.c (gen_variable_die): For -gdwarf-5, use DW_TAG_variable
1679 instead of DW_TAG_member for static data member declarations and don't
1680 set no_linkage_name for static inline data members.
1681 (gen_member_die): For -gdwarf-5 don't change DW_TAG_variable
1684 2017-02-22 Martin Liska <mliska@suse.cz>
1686 * doc/invoke.texi: Replace inequality signs with square brackets
1689 2017-02-22 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1691 PR tree-optimization/68644
1692 * gcc.dg/tree-ssa/ivopts-lt-2.c: Skip for powerpc*-*-*.
1694 2017-02-22 Matthew Fortune <matthew.fortune@imgtec.com>
1697 * lra-constraints.c (simplify_operand_subreg): Handle
1698 WORD_REGISTER_OPERATIONS targets.
1700 2017-02-22 Jakub Jelinek <jakub@redhat.com>
1703 * reg-stack.c (emit_swap_insn): Treat (float_extend:?F (mem:?F))
1704 and (const_double:?F) like (mem:?F) for the purpose of fxch %st(1)
1705 elimination by swapping fld*.
1707 2017-02-22 Richard Biener <rguenther@suse.de>
1709 PR tree-optimization/79673
1710 * tree-ssa-pre.c (compute_avail): Use wide_int_to_tree to
1711 convert the [TARGET_]MEM_REF offset INTEGER_CST, scrapping off
1712 irrelevant address-space qualifiers and avoiding a
1713 ADDR_SPACE_CONVERT_EXPR from fold_convert.
1715 2017-02-22 Richard Biener <rguenther@suse.de>
1717 PR tree-optimization/79666
1718 * tree-vrp.c (extract_range_from_binary_expr_1): Make sure
1719 to not symbolically negate if that may introduce undefined
1722 2017-02-22 Martin Liska <mliska@suse.cz>
1725 * data-streamer-in.c (streamer_read_gcov_count): Remove assert.
1726 * data-streamer-out.c (streamer_write_gcov_count_stream):
1728 * value-prof.c (stream_out_histogram_value): Make assert more
1729 precise based on type of counter.
1731 2017-02-21 Uros Bizjak <ubizjak@gmail.com>
1734 * config/i386/i386.md (standard_x87sse_constant_load splitter):
1735 Use nonimmediate_operand instead of memory_operand for operand 1.
1736 (float-extend standard_x87sse_constant_load splitter): Ditto.
1738 2017-02-21 Jeff Law <law@redhat.com>
1740 PR tree-optimization/79621
1741 * gimple-ssa-isolate-paths.c (find_implicit_erroneous_behavior): Ignore
1742 blocks with edges to themselves.
1744 2017-02-21 Jakub Jelinek <jakub@redhat.com>
1747 * tree-chkp-opt.c (chkp_optimize_string_function_calls): Use
1748 is_gimple_call instead of comparing gimple_code with GIMPLE_CALL.
1749 Use gimple_call_builtin_p.
1752 * sel-sched.c (moveup_expr_cached): Don't call sel_bb_head
1753 on temporarily removed DEBUG_INSNs.
1755 PR tree-optimization/79649
1756 * tree-loop-distribution.c (classify_partition): Give up on
1757 non-generic address space loads/stores.
1759 2017-02-21 Aldy Hernandez <aldyh@redhat.com>
1761 * doc/loop.texi (Loop manipulation): Remove nonexistent
1762 tree_ssa_loop_version from the documentation.
1763 * cfgloopmanip.c (loop_version): Document CONDITION_BB argument.
1765 2017-02-21 Jakub Jelinek <jakub@redhat.com>
1768 * config/i386/i386.c (ix86_expand_split_stack_prologue): Call
1769 make_reg_eh_region_note_nothrow_nononlocal on call_insn.
1770 * config/rs6000/rs6000.c: Include except.h.
1771 (rs6000_expand_split_stack_prologue): Call
1772 make_reg_eh_region_note_nothrow_nononlocal on the call insn.
1774 2017-02-21 Martin Jambor <mjambor@suse.cz>
1777 * ipa-prop.c (ipa_prop_write_jump_functions): Bail out if no edges
1780 2017-02-21 Martin Jambor <mjambor@suse.cz>
1782 * common.opt (-fipa-cp-alignment): Mark as ignored and preserved
1783 for backward compatibility only.
1784 * doc/invoke.texi (Option Summary): Remove all references to
1787 2017-02-21 Matthew Fortune <matthew.fortune@imgtec.com>
1791 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1793 * lra-constraints.c (curr_insn_transform): Handle
1794 WORD_REGISTER_OPERATIONS requirements when reloading SUBREGs.
1796 2017-02-21 Martin Liska <mliska@suse.cz>
1798 * config/i386/i386.opt: Replace -masm-dialect with -masm.
1800 2017-02-21 Thomas Schwinge <thomas@codesourcery.com>
1802 PR translation/79638
1803 * config/nvptx/nvptx.c (ENTRY_TEMPLATE): Single out "%ntid.y".
1805 2017-02-21 Eric Botcazou <ebotcazou@adacore.com>
1808 * config/arm/arm.c (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Define.
1809 (arm_function_ok_for_sibcall): Return false for an indirect call by
1810 descriptor if all the argument registers are used.
1811 (arm_relayout_function): Use FUNCTION_ALIGNMENT macro to adjust the
1812 alignment of the function.
1814 2017-02-21 Jakub Jelinek <jakub@redhat.com>
1816 PR tree-optimization/61441
1817 * simplify-rtx.c (simplify_const_unary_operation): For
1818 -fsignaling-nans and sNaN operand, return NULL_RTX rather than
1819 the sNaN unmodified.
1821 2017-02-20 Bernd Edlinger <bernd.edlinger@hotmail.de>
1823 * Makefile.in (BUILD_SYSTEM_HEADER_DIR): New make variabe.
1824 (LIMITS_H_TEST, if_multiarch, stmp-fixinc): Use BUILD_SYSTEM_HEADER_DIR
1825 instead of SYSTEM_HEADER_DIR.
1827 2017-02-20 Gerald Pfeifer <gerald@pfeifer.com>
1828 Martin Liška <mliska@suse.cz>
1830 * doc/invoke.texi (use-after-scope-direct-emission-threshold):
1831 Fix typos and grammar, use active voice, and clarify.
1833 2017-02-20 Marek Polacek <polacek@redhat.com>
1836 * gimplify.c (gimplify_expr): Handle unused *&&L;.
1839 * ubsan.c (ubsan_type_descriptor): Check if TYPE_MAX_VALUE is null.
1841 2017-02-20 Jakub Jelinek <jakub@redhat.com>
1844 * config/i386/i386.c (ix86_expand_builtin): Handle
1845 OPTION_MASK_ISA_AVX512VL and OPTION_MASK_ISA_64BIT in
1846 ix86_builtins_isa[fcode].isa as a requirement of those
1847 flags and any other flag in the bitmask.
1848 (ix86_init_mmx_sse_builtins): Use 0 instead of
1849 ~OPTION_MASK_ISA_64BIT as mask.
1850 * config/i386/i386-builtin.def (__builtin_ia32_rdtsc,
1851 __builtin_ia32_rdtscp, __builtin_ia32_pause, __builtin_ia32_bsrsi,
1852 __builtin_ia32_rdpmc, __builtin_ia32_rolqi, __builtin_ia32_rolhi,
1853 __builtin_ia32_rorqi, __builtin_ia32_rorhi): Likewise.
1855 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1858 * lra-constraints.c (split_reg): Check requested split mode
1859 is supported by the register.
1861 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1863 * lra-constraints.c (simplify_operand_subreg): Remove early
1866 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1869 * lra-constraints.c (curr_insn_transform): Tighten condition
1870 for converting SUBREG reloads from OP_OUT to OP_INOUT.
1872 2017-02-20 Matthew Fortune <matthew.fortune@imgtec.com>
1875 * lra-constraints.c (curr_insn_transform): Handle
1876 WORD_REGISTER_OPERATIONS requirements when reloading SUBREGs.
1878 2017-02-19 Uros Bizjak <ubizjak@gmail.com>
1881 2016-05-30 Uros Bizjak <ubizjak@gmail.com>
1883 * config/i386/sync.md (mfence_nosse): Use "lock orl $0, -4(%esp)".
1885 2017-02-19 Jonathan Wakely <jwakely@redhat.com>
1888 * doc/invoke.texi (C++ Dialect Options) [-Wliteral-suffix]: Update
1891 2017-02-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
1893 * gimple-pretty-print.c (dump_ternary_rhs): Adjust gimple dump format
1896 2017-02-18 Jakub Jelinek <jakub@redhat.com>
1898 * final.c (last_columnnum, override_columnnum): New variables.
1899 (final_start_function): Set last_columnnum, pass it to begin_prologue
1900 hook and pass 0 to dwarf2out_begin_prologue.
1901 (final_scan_insn): Update override_columnnum. Pass last_columnnum
1902 to source_line debug hook.
1903 (notice_source_line): Compute last_columnnum and for debug_column_info
1904 return true on column changes.
1905 * debug.h (struct gcc_debug_hooks): Add column argument to
1906 source_line and begin_prologue hooks.
1907 (debug_nothing_int_charstar_int_bool): Remove prototype.
1908 (debug_nothing_int_int_charstar,
1909 debug_nothing_int_int_charstar_int_bool): New prototypes.
1910 (dwarf2out_begin_prologue): Add column argument.
1911 * debug.c (do_nothing_debug_hooks): Adjust source_line and
1912 begin_prologue hooks.
1913 (debug_nothing_int_charstar_int_bool): Remove.
1914 (debug_nothing_int_int_charstar,
1915 debug_nothing_int_int_charstar_int_bool): New functions.
1916 * dwarf2out.c (dwarf2out_begin_prologue): Add column argument, pass it
1917 through to dwarf2out_source_line.
1918 (dwarf2_lineno_debug_hooks): Adjust begin_prologue hook.
1919 (dwarf2out_source_line): Add column argument, emit it if requested.
1920 * sdbout.c (sdbout_source_line, sdbout_begin_prologue): Add column
1922 * xcoffout.h (xcoffout_begin_prologue, xcoffout_source_line): Likewise.
1923 * xcoffout.c (xcoffout_begin_prologue, xcoffout_source_line): Likewise.
1924 * vmsdbgout.c (vmsdbgout_begin_prologue): Add column argument, pass it
1925 through to dwarf2out_begin_prologue.
1926 (vmsdbgout_source_line): Add column argument, pass it through to
1927 dwarf2out_source_line.
1928 * dbxout.c (dbxout_begin_prologue): Add column argument, adjust
1929 dbxout_source_line caller.
1930 (dbxout_source_line): Add column argument.
1932 * common.opt (gno-column-info, gcolumn-info): New options.
1933 * dwarf2out.c (dwarf2_lineno_debug_hooks): Formatting fix.
1934 (check_die): Also test for multiple DW_AT_decl_column attributes.
1935 (add_src_coords_attributes, dwarf2out_imported_module_or_decl_1): Add
1936 DW_AT_decl_column if requested.
1937 (gen_subprogram_die): Compare and/or add also DW_AT_decl_column
1939 (gen_variable_die): Likewise.
1940 (add_call_src_coords_attributes): Add DW_AT_call_column if requested.
1941 * doc/invoke.texi (-gcolumn-info, -gno-column-info): Document.
1944 * config/i386/i386.opt (m3dnowa): Replace Undocumented with Report.
1945 * common/config/i386/i386-common.c (OPTION_MASK_ISA_3DNOW_A_SET): Define.
1946 (ix86_handle_option): Handle OPT_m3dnowa.
1947 * doc/invoke.texi (-m3dnowa): Document.
1948 * doc/extend.texi (__builtin_ia32_pmulhuw, __builtin_ia32_pf2iw): Use
1949 -m3dnowa instead of -m3dnow -march=athlon.
1952 * config/i386/i386.c (ix86_print_operand): Use output_operand_lossage
1953 instead of gcc_assert for K, r and R code checks. Formatting fixes.
1955 2017-02-17 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1958 * config/rs6000/rs6000.c (rs6000_expand_ternop_builtin): Add
1959 support for CODE_FOR_vsx_xxpermdi_v2d[fi]_be.
1960 * config/rs6000/rs6000.md (reload_gpr_from_vsx<mode>): Call
1961 generator for vsx_xxpermdi_<mode>_be.
1962 * config/rs6000/vsx.md (vsx_xxpermdi_<mode>): Remove logic to
1963 force big-endian semantics.
1964 (vsx_xxpermdi_<mode>_be): New define_expand with same
1965 implementation as previous version of vsx_xxpermdi_<mode>.
1967 2017-02-17 Jakub Jelinek <jakub@redhat.com>
1969 PR tree-optimization/79327
1970 * gimple-ssa-sprintf.c (format_integer): Remove likely_adjust
1971 variable, its initialization and use.
1973 2017-02-17 Julia Koval <julia.koval@intel.com>
1975 * common/config/i386/i386-common.c (OPTION_MASK_ISA_RDPID_SET): New.
1976 (OPTION_MASK_ISA_PKU_UNSET): New.
1977 (ix86_handle_option): Handle -mrdpid.
1978 * config/i386/cpuid.h (bit_RDPID): New.
1979 * config/i386/driver-i386.c (host_detect_local_cpu):
1980 Detect RDPID feature.
1981 * config/i386/i386-builtin.def (__builtin_ia32_rdpid): New.
1982 * config/i386/i386-c.c (ix86_target_macros_internal):
1984 * config/i386/i386.c (ix86_target_string): Add -mrdpid to isa2_opts.
1985 (ix86_valid_target_attribute_inner_p): Add "rdpid".
1986 (ix86_expand_builtin): Handle IX86_BUILTIN_RDPID.
1987 * config/i386/i386.h (TARGET_RDPID, TARGET_RDPID_P): New.
1988 * config/i386/i386.md (define_insn "rdpid"): New.
1989 * config/i386/i386.opt Add -mrdpid.
1990 * config/i386/immintrin.h (_rdpid_u32): New.
1992 2017-02-17 Vladimir Makarov <vmakarov@redhat.com>
1994 PR rtl-optimization/79541
1995 * lra-constraints.c (curr_insn_transform): Remove wrong asm insn
1996 instead of transforming it into USE.
1998 2017-02-17 Segher Boessenkool <segher@kernel.crashing.org>
2000 * config/rs6000/rs6000.md (extendsfdf2): Remove default arguments.
2001 If HONOR_SNANS (SFmode) force the input to a register.
2002 (*extendsfdf2_fpr): Add !HONOR_SNANS (SFmode) condition.
2003 (*extendsfdf2_snan): New pattern, used when using SNaNs; it generates
2004 an frsp or similar insn.
2006 2017-02-17 Martin Liska <mliska@suse.cz>
2008 PR rtl-optimization/79577
2009 * params.def (selsched-max-sched-times): Increase minimum to 1.
2011 2017-02-17 Martin Liska <mliska@suse.cz>
2013 PR rtl-optimization/79574
2014 * gcse.c (want_to_gcse_p): Prevent integer overflow.
2016 2017-02-17 Martin Liska <mliska@suse.cz>
2018 PR tree-optimization/79529
2019 * tree-ssa-loop-unswitch.c (is_maybe_undefined): Use
2020 ssa_defined_default_def_p to handle cases which are implicitly
2022 * tree-ssa.c (ssa_defined_default_def_p): New function.
2023 (ssa_undefined_value_p): Use ssa_defined_default_def_p to handle cases
2024 which are implicitly defined.
2025 * tree-ssa.h (ssa_defined_default_def_p): Declare.
2027 2017-02-17 Richard Biener <rguenther@suse.de>
2030 * params.def (max-ssa-name-query-depth): Limit to 10.
2032 2017-02-17 Richard Biener <rguenther@suse.de>
2034 PR tree-optimization/79552
2035 * tree-ssa-structalias.c (visit_loadstore): Properly verify
2038 2017-02-17 Richard Biener <rguenther@suse.de>
2041 * genmatch.c (output_line_directive): Handle DIR_SEPARATOR_2.
2043 2017-02-17 Marek Polacek <polacek@redhat.com>
2046 * fold-const.c (fold_negate_expr_1): Renamed from fold_negate_expr.
2047 (fold_negate_expr): New wrapper.
2049 2017-02-16 Sandra Loosemore <sandra@codesourcery.com>
2051 * doc/invoke.texi (C++ Dialect Options) [-Wno-non-template-friend]:
2052 Correct terminology and de-emphasize pre-standard behavior.
2054 2017-02-16 Alan Modra <amodra@gmail.com>
2056 PR rtl-optimization/79286
2057 * ira.c (def_dominates_uses): New function.
2058 (update_equiv_regs): Don't create an equivalence for insns that
2059 may trap where the register def does not dominate the use.
2061 2017-02-16 Vladimir Makarov <vmakarov@redhat.com>
2063 PR rtl-optimization/78127
2064 * lra.c (lra): Call lra_eliminate before finish the loop after
2067 2017-02-16 Richard Biener <rguenther@suse.de>
2069 * graphite.h: Do not include isl/isl_val_gmp.h, instead include
2071 * graphite-isl-ast-to-gimple.c (gmp_cst_to_tree): Remove.
2072 (gcc_expression_from_isl_expr_int): Use generic isl_val interface.
2073 * graphite-sese-to-poly.c: Do not include isl/isl_val_gmp.h.
2074 (isl_val_int_from_wi): New function.
2075 (extract_affine_gmp): Rename to ...
2076 (extract_affine_wi): ... this, take a widest_int.
2077 (extract_affine_int): Just wrap extract_affine_wi.
2078 (add_param_constraints): Use isl_val_int_from_wi.
2079 (add_loop_constraints): Likewise, and extract_affine_wi.
2081 2017-02-15 Jeff Law <law@redhat.com>
2084 * ira-costs.c (scan_one_insn): Check have_regs_of_mode before calling
2085 ira_init_register_move_cost_if_necessary.
2087 2017-02-15 Martin Sebor <msebor@redhat.com>
2090 * doc/invoke.texi (-fdump-final-insns): Replace option accidentally
2091 removed in a prior commit.
2093 2017-02-15 Bin Cheng <bin.cheng@arm.com>
2095 PR tree-optimization/79347
2096 * tree-vect-loop-manip.c (vect_do_peeling): Maintain profile
2097 counters during peeling.
2099 2017-02-15 Thomas Schwinge <thomas@codesourcery.com>
2101 * Makefile.in (site.exp): Remove "set ISLVER".
2103 2017-02-15 Jakub Jelinek <jakub@redhat.com>
2106 * real.c (real_from_integer): Call real_convert even for decimal.
2108 2017-02-15 Dominik Vogt <vogt@linux.vnet.ibm.com>
2111 * config/s390/s390.c: define TARGET_CUSTOM_FUNCTION_DESCRIPTORS.
2113 2017-02-14 Andrew Pinski <apinski@cavium.com>
2115 * config/aarch64/aarch64-cores.def (thunderx2t99): Move to under 'C"
2116 cores and change the partno/implementer to be correct.
2117 (thunderx2t99p1): New core which replaces thunderx2t99 and still has
2118 the 'B" as the implementer.
2119 * config/aarch64/aarch64-tune.md: Regenerate.
2121 2017-02-14 Carl Love <cel@us.ibm.com>
2123 * config/rs6000/rs6000.c: Add case statement entry to make the
2124 xvcvuxdsp built-in argument unsigned.
2125 * config/rs6000/vsx.md: Fix the source and return operand types so they
2126 match the instruction definitions from the ISA document. Fix typo
2127 in the instruction generation for the (define_insn "vsx_xvcvuxdsp"
2130 2017-02-14 Vladimir Makarov <vmakarov@redhat.com>
2133 * lra-int.h (struct lra_operand_data, struct lra_insn_reg): Add
2134 member early_clobber_alts.
2135 * lra-lives.c (reg_early_clobber_p): New.
2136 (process_bb_lives): Use it.
2137 * lra.c (new_insn_reg): New arg early_clobber_alts. Use it.
2138 (debug_operand_data): Initialize early_clobber_alts.
2139 (setup_operand_alternative): Set up early_clobber_alts.
2140 (collect_non_operand_hard_regs): Ditto. Pass early clobber
2141 alternatives to new_insn_reg.
2142 (add_regs_to_insn_regno_info): Add arg early_clobber_alts. Use
2144 (lra_update_insn_regno_info): Pass the new arg.
2146 2017-02-14 Jakub Jelinek <jakub@redhat.com>
2149 * omp-offload.c (free_oacc_loop): Release loop->ifns vector.
2150 (new_oacc_loop_raw): Don't clear already cleared fields.
2153 * config/i386/avx512pfintrin.h (_mm512_prefetch_i32gather_pd,
2154 _mm512_prefetch_i32gather_ps, _mm512_prefetch_i64gather_pd,
2155 _mm512_prefetch_i64gather_ps): New inline functions and macros.
2157 2017-02-14 Uros Bizjak <ubizjak@gmail.com>
2160 * config/i386/i386.md (*movxf_internal): Add (o,rC) alternative.
2162 2017-02-14 H.J. Lu <hongjiu.lu@intel.com>
2165 * config/i386/i386.c (timode_scalar_chain::convert_insn): Insert
2166 the extra instruction to the right place to store 128-bit constant
2169 2017-02-14 Martin Sebor <msebor@redhat.com>
2172 * gimple-ssa-sprintf.c (format_directive): Avoid issuing INT_MAX
2173 warning for strings of unknown length.
2175 2017-02-13 Segher Boessenkool <segher@kernel.crashing.org>
2177 * config.gcc (supported_defaults) [powerpc*-*-*]: Update.
2179 2017-02-14 Jeff Law <law@redhat.com>
2182 * ira-costs.c (scan_one_insn): Initialize register move costs
2183 for pseudos seen in USE/CLOBBER insns.
2185 PR tree-optimization/79095
2186 * tree-vrp.c (extract_range_from_binary_expr_1): For EXACT_DIV_EXPR,
2187 if the numerator has the range ~[0,0] make the resultant range ~[0,0].
2188 (extract_range_from_binary_expr): For MINUS_EXPR with no derived range,
2189 if the operands are known to be not equal, then the resulting range
2191 (intersect_ranges): If the new range is ~[0,0] and the old range is
2192 wide, then prefer ~[0,0].
2193 * tree-vrp.c (overflow_comparison_p_1): New function.
2194 (overflow_comparison_p): New function.
2195 * tree-vrp.c (register_edge_assert_for_2): Register additional asserts
2196 if NAME is used in an overflow test.
2197 (vrp_evaluate_conditional_warnv_with_ops): If the ops represent an
2198 overflow check that can be expressed as an equality test, then adjust
2199 ops to be that equality test.
2201 2017-02-14 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
2203 * config/s390/s390-builtin-types.def: Remove flags argument.
2204 * config/s390/s390.c (s390_init_builtins): Likewise.
2206 2017-02-14 Martin Liska <mliska@suse.cz>
2208 * tree-ssa-loop-unswitch.c (hoist_guard): Release get_loop_body
2209 vector. Fix trailing white spaces.
2211 2017-02-14 James Greenhalgh <james.greenhalgh@arm.com>
2213 * config/aarch64/aarch64.c (aarch64_simd_container_mode): Handle
2216 2017-02-14 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2218 PR rtl-optimization/68664
2219 * config/arm/arm.c (arm_sched_can_speculate_insn):
2220 New function. Declare prototype.
2221 (TARGET_SCHED_CAN_SPECULATE_INSN): Define.
2223 2017-02-14 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2225 PR rtl-optimization/68664
2226 * config/aarch64/aarch64.c (aarch64_sched_can_speculate_insn):
2228 (TARGET_SCHED_CAN_SPECULATE_INSN): Define.
2230 2017-02-14 Amit Pawar <amit.pawar@amd.com>
2232 * config/i386/i386.c (znver1_cost): Fix the alignment for function and
2233 max skip bytes for function, loop and jump.
2235 2017-02-14 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
2237 * gimple-pretty-print.c (dump_unary_rhs): Adjust dump format for
2238 ABS_EXPR for gimple dump.
2240 2017-02-14 Jakub Jelinek <jakub@redhat.com>
2243 * config/sh/sh.c (expand_cbranchdi4): Don't clear operands[4].
2245 PR tree-optimization/79408
2246 * tree-vrp.c (simplify_div_or_mod_using_ranges): Handle also the
2247 case when on TRUNC_MOD_EXPR op0 is INTEGER_CST.
2248 (simplify_stmt_using_ranges): Call simplify_div_or_mod_using_ranges
2249 also if rhs1 is INTEGER_CST.
2251 2017-02-14 Richard Biener <rguenther@suse.de>
2254 * tree-into-ssa.c (insert_phi_nodes): When the function can
2255 have abnormal edges rewrite SSA names with broken use-def
2256 dominance out of SSA and register them for PHI insertion.
2258 2017-02-13 Martin Sebor <msebor@redhat.com>
2261 * gimple-ssa-sprintf.c (pass_sprintf_length::handle_gimple_call): Avoid
2262 clearing info.nowrite flag when snprintf size argument is a range.
2264 2017-02-13 Jakub Jelinek <jakub@redhat.com>
2266 * cprop.c (cprop_jump): Add missing space in string literal.
2267 * tree-ssa-structalias.c (rewrite_constraints): Likewise.
2268 (get_constraint_for_component_ref): Likewise.
2269 * df-core.c (df_worklist_dataflow_doublequeue): Likewise.
2270 * tree-outof-ssa.c (insert_partition_copy_on_edge): Likewise.
2271 * lra-constraints.c (process_alt_operands): Likewise.
2272 * ipa-inline.c (inline_small_functions): Likewise.
2273 * tree-ssa-sccvn.c (visit_reference_op_store): Likewise.
2274 * cgraph.c (cgraph_edge::redirect_call_stmt_to_callee): Likewise.
2275 * trans-mem.c (diagnose_tm_1_op): Likewise.
2276 * omp-grid.c (grid_find_single_omp_among_assignments): Likewise.
2277 (grid_parallel_clauses_gridifiable): Likewise.
2279 * config/nvptx/mkoffload.c (process): Add space in between
2282 * config/i386/i386.h (REG_CLASS_NAMES): Add , in between
2283 "MOD4_SSE_REGS" and "ALL_REGS".
2285 * spellcheck.c (test_data): Add , in between "foo" and "food".
2287 2017-02-13 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
2290 * config/rs6000/rs6000.c (expand_block_compare): Make sure runtime
2291 boundary crossing check and subsequent code generation agree.
2293 2017-02-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2295 * config/aarch64/aarch64.c (has_memory_op): Delete.
2296 (aarch64_madd_needs_nop): Use contains_mem_rtx_p instead of
2299 2017-02-13 Jakub Jelinek <jakub@redhat.com>
2301 PR rtl-optimization/79388
2302 PR rtl-optimization/79450
2303 * combine.c (distribute_notes): When removing TEM_INSN for which
2304 corresponding dest has last value recorded, invalidate that last
2307 2017-02-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2309 * config/arm/arm.c (arm_print_tune_info): Use ASM_COMMENT_START instead
2310 of explicit '@'. Add missing assembly comment marker on branch costs
2313 2017-02-13 Nathan Sidwell <nathan@acm.org>
2315 * gengtype-lex.l (<in_struct>): Add '/'.
2317 2017-02-13 Martin Liska <mliska@suse.cz>
2320 * calls.c (expand_call): Replace XALLOCAVEC with XCNEWVEC.
2322 2017-02-13 Richard Biener <rguenther@suse.de>
2324 * configure.ac (HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS):
2326 * configure: Re-generate.
2327 * config.in: Likewise.
2328 * graphite-dependences.c: Simplify as if
2329 HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS was defined.
2330 * graphite-isl-ast-to-gimple.c: Likewise.
2331 * graphite-optimize-isl.c: Likewise.
2332 * graphite-poly.c: Likewise.
2333 * graphite-sese-to-poly.c: Likewise.
2334 * graphite.h: Likewise.
2335 * toplev.c: Include isl/version.h and use isl_version () for
2336 printing the ISL version.
2337 * doc/install.texi: Update ISL requirement.
2339 2017-02-12 Gerald Pfeifer <gerald@pfeifer.com>
2341 * doc/standards.texi (Standards): Update reference to
2344 2017-02-12 Gerald Pfeifer <gerald@pfeifer.com>
2346 * doc/extend.texi (Named Address Spaces): sourceware.org now
2348 * doc/install.texi (Binaries): Ditto.
2351 2017-02-11 Sandra Loosemore <sandra@codesourcery.com>
2353 * doc/cpp.texi: Replace "stringify"/"stringification" with C
2354 standard terminology "stringize"/"stringizing" throughout.
2355 * doc/cppinternals.texi: Likewise.
2357 2017-02-11 Sandra Loosemore <sandra@codesourcery.com>
2359 * doc/extend.texi: Fix some spelling mistakes and typos.
2360 * doc/invoke.texi: Likewise.
2362 2017-02-11 Jan Hubicka <hubicka@ucw.cz>
2365 * params.def (inline-min-speedup) Change from 10 to 8.
2367 2017-02-11 Jakub Jelinek <jakub@redhat.com>
2369 * doc/invoke.texi (fopenmp): Bump OpenMP version from 4.0 to
2372 2017-02-11 Jan Hubicka <hubicka@ucw.cz>
2375 * ipa-inline-analysis.c (get_minimal_bb): New function.
2376 (record_modified): Use it.
2377 (remap_edge_change_prob): Handle also ancestor functions.
2379 2017-02-11 Gerald Pfeifer <gerald@pfeifer.com>
2381 * doc/contrib.texi (Contributors): Remove broken link into
2382 the Mauve CVS repository.
2384 2017-02-11 Jakub Jelinek <jakub@redhat.com>
2387 * internal-fn.c (expand_vector_ubsan_overflow): Use piece-wise
2388 result computation whenever lhs doesn't have vector mode, not
2389 just when it has BLKmode.
2391 2017-02-10 Gerald Pfeifer <gerald@pfeifer.com>
2393 * doc/makefile.texi (profiledbootstrap): Refer to the
2394 installation instructions only in textual form.
2396 2017-02-10 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
2399 * config/rs6000/altivec.md (bcd<bcd_add_sub>): Fix constraints.
2401 2017-02-10 Gerald Pfeifer <gerald@pfeifer.com>
2403 * doc/install.texi (Specific): Use https for blackfin.uclinux.org.
2404 (Specific): Update mingw-w64 reference.
2406 (Specific): Remove broken link to Renesas RX processor.
2408 2017-02-10 Richard Biener <rguenther@suse.de>
2410 * toplev.c (process_options): Do not mention obsolete graphite
2411 options when printing sorry message about missing graphite support.
2412 Mention -floop-nest-optimize.
2414 2017-02-10 Christophe Lyon <christophe.lyon@linaro.org>
2416 * config/aarch64/arm_neon.h (vtst_p8): Rewrite without asm.
2417 (vtst_p16): Likewise.
2418 (vtstq_p8): Likewise.
2419 (vtstq_p16): Likewise.
2421 (vtstq_p64): Likewise.
2422 * config/arm/arm_neon.h (vgetq_lane_p64): New.
2423 (vset_lane_p64): New.
2424 (vsetq_lane_p64): New.
2426 2017-02-10 Jakub Jelinek <jakub@redhat.com>
2428 PR tree-optimization/79411
2429 * tree-ssa-reassoc.c (is_reassociable_op): Return false if
2430 stmt operands are SSA_NAMEs used in abnormal phis.
2431 (can_reassociate_p): Return false if op is SSA_NAME used in abnormal
2434 2017-02-09 Jan Hubicka <hubicka@ucw.cz>
2437 * cgraphunit.c (cgraph_node::add_new_function): Set externally_visible
2440 2017-02-09 Jan Hubicka <hubicka@ucw.cz>
2442 * tree-ssa-loop-unswitch.c (hoist_guard): Update profile.
2444 2017-02-09 Jakub Jelinek <jakub@redhat.com>
2446 * omp-offload.c (oacc_loop_auto_partitions): Use || instead of |
2450 * gimplify.h (is_gimple_sizepos): Only test for INTEGER_CST constants,
2451 not arbitrary TREE_CONSTANT.
2454 * gimplify.c (gimplify_adjust_omp_clauses): Ignore
2455 "omp declare target link" attribute unless is_global_var.
2456 * omp-offload.c (find_link_var_op): Likewise.
2458 2017-02-09 Nathan Sidwell <nathan@codesourcery.com>
2459 Chung-Lin Tang <cltang@codesourcery.com>
2461 * gimplify.c (gimplify_scan_omp_clauses): No special handling for
2463 (gimplify_adjust_omp_clauses): Don't delete TILE.
2464 (gimplify_omp_for): Deal with TILE.
2465 * internal-fn.c (expand_GOACC_TILE): New function.
2466 * internal-fn.def (GOACC_DIM_POS): Comment may be overly conservative.
2468 * omp-expand.c (struct oacc_collapse): Add tile and outer fields.
2469 (expand_oacc_collapse_init): Add LOC paramter. Initialize tile
2471 (expand_oacc_collapse_vars): Add INNER parm, adjust for tiling,
2472 avoid DIV for outermost collapse var.
2473 (expand_oacc_for): Insert tile element loop as needed. Adjust.
2474 Remove out of date comments, fix whitespace.
2475 * omp-general.c (omp_extract_for_data): Deal with tiling.
2476 * omp-general.h (enum oacc_loop_flags): Add OLF_TILE flag,
2477 adjust OLF_DIM_BASE value.
2478 (struct omp_for_data): Add tiling field.
2479 * omp-low.c (scan_sharing_clauses): Allow OMP_CLAUSE_TILE.
2480 (lower_oacc_head_mark): Add OLF_TILE as appropriate. Ensure 2 levels
2481 for auto loops. Remove default auto determining, moved to
2482 oacc_loop_fixed_partitions.
2483 * omp-offload.c (struct oacc_loop): Change 'ifns' to vector of call
2484 stmts, add e_mask field.
2485 (oacc_dim_call): New function, abstracted out from oacc_thread_numbers.
2486 (oacc_thread_numbers): Use oacc_dim_call.
2487 (oacc_xform_tile): New.
2488 (new_oacc_loop_raw): Initialize e_mask, adjust for ifns vector.
2489 (finish_oacc_loop): Adjust for ifns vector.
2490 (oacc_loop_discover_walk): Append loop abstraction sites to list,
2491 add case for GOACC_TILE fns.
2492 (oacc_loop_xform_loop): Delete.
2493 (oacc_loop_process): Iterate over call list directly, and add
2494 handling for GOACC_TILE fns.
2495 (oacc_loop_fixed_partitions): Determine default auto, deal with TILE,
2497 (oacc_loop_auto_partitions): Add outer_assign parm. Assign all but
2498 vector partitioning to outer loops. Assign 2 partitions to loops
2499 when available. Add TILE handling.
2500 (oacc_loop_partition): Adjust oacc_loop_auto_partitions call.
2501 (execite_oacc_device_lower): Process GOACC_TILE fns, ignore unknown specs.
2502 * tree-nested.c (convert_nonlocal_omp_clauses): Allow OMP_CLAUSE_TILE.
2503 * tree.c (omp_clause_num_ops): Adjust TILE ops.
2504 * tree.h (OMP_CLAUSE_TILE_ITERVAR, OMP_CLAUSE_TILE_COUNT): New.
2506 2017-02-09 Gerald Pfeifer <gerald@pfeifer.com>
2508 * configure.ac (ACX_BUGURL): Update.
2509 * configure: Regenerate.
2511 2017-02-09 Richard Biener <rguenther@suse.de>
2513 PR tree-optimization/69823
2514 * graphite-scop-detection.c (scop_detection::harmful_loop_in_region):
2515 Properly enumerate all BBs in the region. Use auto_vec/auto_bitmap.
2517 2017-02-09 Andrew Burgess <andrew.burgess@embecosm.com>
2519 * config/arc/arc-c.def: Add __NPS400__ definition.
2520 * config/arc/arc.h (CPP_SPEC): Don't define __NPS400__ here.
2521 (TARGET_NPS400): Define.
2523 2017-02-09 Andrew Burgess <andrew.burgess@embecosm.com>
2525 * config/arc/arc-arch.h (arc_arch_t): Move unchanged to earlier in
2527 (arc_cpu_t): Change base_architecture field, arch, to a arc_arc_t
2529 (arc_cpu_types): Fill the arch_info field with a pointer into the
2530 arc_arch_types table.
2531 (arc_selected_cpu): Declare.
2532 * config/arc/arc.c (arc_selected_cpu): Make global.
2533 (arc_selected_arch): Delete.
2534 (arc_base_cpu): Delete.
2535 (arc_override_options): Remove references to deleted variables,
2536 update access to arch information.
2537 (ARC_OPT): Update access to arch information.
2538 (ARC_OPTX): Likewise.
2539 * config/arc/arc.h (arc_base_cpu): Remove declaration.
2540 (TARGET_ARC600): Update access to arch information.
2541 (TARGET_ARC601): Likewise.
2542 (TARGET_ARC700): Likewise.
2543 (TARGET_EM): Likewise.
2544 (TARGET_HS): Likewise.
2545 * config/arc/driver-arc.c (arc_cpu_to_as): Update access to arch
2548 2017-02-08 Pat Haugen <pthaugen@us.ibm.com>
2551 * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Invert
2552 condition/operands for integer GE/LE/GEU/LEU operations.
2554 2017-02-08 Segher Boessenkool <segher@kernel.crashing.org>
2556 PR translation/79397
2557 * config/rs6000/rs6000.opt (maltivec=le, maltivec=be): Fix spelling
2560 2017-02-08 Martin Jambor <mjambor@suse.cz>
2563 * ipa-prop.c (ipa_alloc_node_params): Make static, return bool
2564 whether allocation happened.
2565 (ipa_initialize_node_params): Do not call ipa_alloc_node_params if
2566 nothing was allocated.
2568 2017-02-08 Jakub Jelinek <jakub@redhat.com>
2570 PR tree-optimization/79408
2571 * tree-vrp.c (simplify_div_or_mod_using_ranges): If op1 is not
2572 constant, but SSA_NAME with a known integer range, use the minimum
2573 of that range instead of op1 to determine if modulo can be replaced
2574 with its first operand.
2576 2016-02-08 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2578 * config/riscv/riscv.c (riscv_build_integer_1): Avoid use of INT16_MAX.
2580 2017-02-08 Richard Biener <rguenther@suse.de>
2582 PR tree-optimization/71824
2583 * graphite-scop-detection.c (scop_detection::build_scop_breadth):
2584 Check all loops contained in the merged region.
2586 2017-02-07 Andrew Pinski <apinski@cavium.com>
2588 * config/aarch64/aarch64.md (popcount<mode>2): New pattern.
2590 2017-02-07 Andrew Pinski <apinski@cavium.com>
2592 * config/aarch64/aarch64-cores.def (thunderx): Disable LSE.
2593 (thunderxt88): Likewise.
2594 (thunderxt81): Disable LSE and change v8.1 to v8.
2595 (thunderxt83): Likewise.
2597 2017-02-07 Jakub Jelinek <jakub@redhat.com>
2598 Richard Biener <rguenther@suse.de>
2601 * ira-int.h (struct target_ira_int): Change x_max_struct_costs_size
2602 type from int to size_t.
2603 * ira-costs.c (struct_costs_size): Change type from int to size_t.
2605 2017-02-07 Jakub Jelinek <jakub@redhat.com>
2607 PR rtl-optimization/79386
2608 * cprop.c (bypass_conditional_jumps): Initialize
2609 bypass_last_basic_block already before splitting bbs after
2610 unconditional traps...
2611 (bypass_conditional_jumps): ... rather than here.
2614 * config/i386/sse.md (xtg_mode, gatherq_mode): New mode attrs.
2615 (*avx512f_gathersi<mode>, *avx512f_gathersi<mode>_2,
2616 *avx512f_gatherdi<mode>, *avx512f_gatherdi<mode>_2): Use them,
2617 fix -masm=intel patterns.
2619 2017-02-07 Richard Biener <rguenther@suse.de>
2621 PR tree-optimization/79256
2623 * builtins.c (get_object_alignment_2): Use min_align_of_type
2624 to extract alignment for MEM_REFs to honor BIGGEST_FIELD_ALIGNMENT
2625 and ADJUST_FIELD_ALIGN.
2627 * doc/tm.texi.in (ADJUST_FIELD_ALIGN): Adjust to take additional
2629 * doc/tm.texi: Regenerate.
2630 * stor-layout.c (layout_decl): Adjust.
2631 (update_alignment_for_field): Likewise.
2632 (place_field): Likewise.
2633 (min_align_of_type): Likewise.
2634 * config/arc/arc.h (ADJUST_FIELD_ALIGN): Adjust.
2635 * config/epiphany/epiphany.h (ADJUST_FIELD_ALIGN): Likewise.
2636 * config/epiphany/epiphany.c (epiphany_adjust_field_align): Likewise.
2637 * config/frv/frv.h (ADJUST_FIELD_ALIGN): Likewise.
2638 * config/frv/frv.c (frv_adjust_field_align): Likewise.
2639 * config/i386/i386.h (ADJUST_FIELD_ALIGN): Likewise.
2640 * config/i386/i386.c (x86_field_alignment): Likewise.
2641 * config/rs6000/aix.h (ADJUST_FIELD_ALIGN): Likewise.
2642 * config/rs6000/darwin.h (ADJUST_FIELD_ALIGN): Likewise.
2643 * config/rs6000/freebsd64.h (ADJUST_FIELD_ALIGN): Likewise.
2644 * config/rs6000/linux64.h (ADJUST_FIELD_ALIGN): Likewise.
2645 * config/rs6000/sysv4.h (ADJUST_FIELD_ALIGN): Likewise.
2646 * config/rs6000/rs6000.c (rs6000_special_adjust_field_align_p):
2650 2017-01-30 Richard Biener <rguenther@suse.de>
2652 PR tree-optimization/79256
2653 * targhooks.c (default_builtin_vector_alignment_reachable): Honor
2654 BIGGEST_FIELD_ALIGNMENT and ADJUST_FIELD_ALIGN to fix up bogus
2657 2017-02-07 Toma Tabacu <toma.tabacu@imgtec.com>
2659 * config/mips/mips.c (mips_expand_builtin_insn): Convert the QImode
2660 argument of the pshufh, psllh, psllw, psrah, psraw, psrlh, psrlw
2661 builtins to SImode and emit a zero-extend, if necessary.
2663 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
2665 * docs/invoke.texi (RISC-V Options): Alphabetize.
2667 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
2669 * doc/invoke.texi (RISC-V Options): Use two spaces to separate
2672 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
2674 * config/riscv/riscv.c: New file.
2675 * gcc/common/config/riscv/riscv-common.c: Likewise.
2676 * config.gcc: Likewise.
2677 * config/riscv/constraints.md: Likewise.
2678 * config/riscv/elf.h: Likewise.
2679 * config/riscv/generic.md: Likewise.
2680 * config/riscv/linux.h: Likewise.
2681 * config/riscv/multilib-generator: Likewise.
2682 * config/riscv/peephole.md: Likewise.
2683 * config/riscv/pic.md: Likewise.
2684 * config/riscv/predicates.md: Likewise.
2685 * config/riscv/riscv-builtins.c: Likewise.
2686 * config/riscv/riscv-c.c: Likewise.
2687 * config/riscv/riscv-ftypes.def: Likewise.
2688 * config/riscv/riscv-modes.def: Likewise.
2689 * config/riscv/riscv-opts.h: Likewise.
2690 * config/riscv/riscv-protos.h: Likewise.
2691 * config/riscv/riscv.h: Likewise.
2692 * config/riscv/riscv.md: Likewise.
2693 * config/riscv/riscv.opt: Likewise.
2694 * config/riscv/sync.md: Likewise.
2695 * config/riscv/t-elf-multilib: Likewise.
2696 * config/riscv/t-linux: Likewise.
2697 * config/riscv/t-linux-multilib: Likewise.
2698 * config/riscv/t-riscv: Likewise.
2699 * configure.ac: Likewise.
2700 * doc/contrib.texi: Add Kito Cheng, Palmer Dabbelt, and Andrew
2701 Waterman as RISC-V maintainers.
2702 * doc/install.texi: Add RISC-V entries.
2703 * doc/invoke.texi: Add RISC-V options section.
2704 * doc/md.texi: Add RISC-V constraints section.
2705 * configure: Regenerated.
2707 2017-02-06 Michael Meissner <meissner@linux.vnet.ibm.com>
2710 * config/rs6000/vector.md (vcond<mode><mode>): Allow the true and
2711 false values to be constant vectors with all 0 or all 1 bits set.
2712 (vcondu<mode><mode>): Likewise.
2713 * config/rs6000/predicates.md (vector_int_reg_or_same_bit): New
2715 (fpmask_comparison_operator): Update comment.
2716 (vecint_comparison_operator): New predicate.
2717 * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Optimize
2718 vector conditionals when the true and false values are constant
2719 vectors with all 0 bits or all 1 bits set.
2721 2017-02-06 Martin Sebor <msebor@redhat.com>
2723 PR tree-optimization/79376
2724 * gimple-fold.c (get_range_strlen): Set the minimum length to zero.
2726 2017-02-06 Uros Bizjak <ubizjak@gmail.com>
2728 * config/i386/sse.md (vector modes -> vec_extract* splitter): Use
2729 explicit subreg RTX with operand 1. Use VECTOR_MODE_P predicate
2730 to simplify split condition.
2732 2017-02-06 Jakub Jelinek <jakub@redhat.com>
2734 * omp-expand.c (oxpand_omp_atomic_fetch_op,
2735 expand_omp_atomic_pipeline): Return false if can_atomic_load_p is
2738 2017-02-06 Segher Boessenkool <segher@kernel.crashing.org>
2740 PR rtl-optimization/68664
2741 * target.def (can_speculate_insn): New hook.
2742 * doc/tm.texi.in (TARGET_SCHED_CAN_SPECULATE_INSN): New hook.
2743 * doc/tm.texi: Regenerate.
2744 * sched-rgn.c (can_schedule_ready_p): Use the new hook.
2745 * config/rs6000/rs6000.c (TARGET_SCHED_CAN_SPECULATE_INSN): New macro.
2746 (rs6000_sched_can_speculate_insn): New function.
2748 2017-02-06 Jakub Jelinek <jakub@redhat.com>
2750 PR tree-optimization/79284
2751 * tree-vectorizer.h (VECT_SCALAR_BOOLEAN_TYPE_P): Define.
2752 * tree-vect-stmts.c (vect_get_vec_def_for_operand,
2753 vectorizable_mask_load_store, vectorizable_operation,
2754 vect_is_simple_cond, get_same_sized_vectype): Use it instead
2755 of comparing TREE_CODE of a type against BOOLEAN_TYPE.
2756 * tree-vect-patterns.c (check_bool_pattern, search_type_for_mask_1,
2757 vect_recog_bool_pattern, vect_recog_mask_conversion_pattern): Likewise.
2758 * tree-vect-slp.c (vect_get_constant_vectors): Likewise.
2759 * tree-vect-loop.c (vect_determine_vectorization_factor): Likewise.
2760 Remove redundant gimple_code (stmt) == GIMPLE_ASSIGN test after
2761 is_gimple_assign (stmt). Replace another such test with
2762 is_gimple_assign (stmt).
2764 2017-02-06 Georg-Johann Lay <avr@gjlay.de>
2767 * config/avr/avr.c (rtl-iter.h): Include it.
2768 (TARGET_LEGITIMATE_COMBINED_INSN): New hook define...
2769 (avr_legitimate_combined_insn): ...and implementation.
2771 2017-02-06 Dominik Vogt <vogt@linux.vnet.ibm.com>
2773 * config/s390/predicates.md ("larl_operand"): Use macros from hwint.h.
2774 * config/s390/s390.c (s390_const_operand_ok)
2775 (s390_canonicalize_comparison, s390_extract_part)
2776 (s390_single_part, s390_contiguous_bitmask_nowrap_p)
2777 (s390_contiguous_bitmask_p, s390_rtx_costs)
2778 (legitimize_pic_address): Likewise.
2779 * config/s390/s390.md ("clzdi2", "clztidi2"): Likewise.
2780 * config/s390/vx-builtins.md ("vec_genbytemaskv16qi")
2781 ("vec_permi<mode>", "vfae<mode>", "*vfaes<mode>", "vstrc<mode>")
2782 ("*vstrcs<mode>"): Use UINTVAL() to set unsigned HOST_WIDE_INT.
2783 * config/s390/vector.md ("vec_vfenes<mode>"): Likewise.
2785 2017-02-06 Georg-Johann Lay <avr@gjlay.de>
2787 * config/avr/avr.md (*addhi3_zero_extend): Add alternative where
2788 REGNO($0) == REGNO($1).
2790 2017-02-06 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
2792 * config/s390/linux.h(SIZE_TYPE): Add comment.
2794 2017-02-06 Julian Brown <julian@codesourcery.com>
2795 Naveen H.S <Naveen.Hurugalawadi@cavium.com>
2796 Virendra Pathak <virendra.pathak@broadcom.com>
2798 * config/aarch64/aarch64-cores.def: Change the scheduler
2800 * config/aarch64/aarch64.md: Include thunderx2t99.md.
2801 * config/aarch64/thunderx2t99.md: New file.
2803 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2805 * doc/standards.texi (Go Language): Update link to language
2808 2017-02-05 Jan Hubicka <hubicka@ucw.cz>
2810 * tree-eh.c (lower_resx): Sanitize profile.
2811 (cleanup_empty_eh_move_lp): Likewise.
2813 2017-02-05 Jan Hubicka <hubicka@ucw.cz>
2816 * cfgloopmanip.c (lv_adjust_loop_entry_edge, loop_version): Add
2818 * cfgloopmanip.h (loop_version): Update prototype.
2819 * modulo-sched.c (sms_schedule): Update call of loop_version.
2820 * tree-if-conv.c(version_loop_for_if_conversion): Likewise.
2821 * tree-parloops.c (gen_parallel_loop): Likewise.
2822 * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Likewise.
2823 * tree-ssa-loop-split.c (split_loop): Likewise.
2824 * tree-ssa-loop-unswitch.c (tree_unswitch_loop): Likewise.
2825 * tree-vect-loop-manip.c (vect_loop_versioning): Likewise.
2827 2017-02-05 Martin Liska <mliska@suse.cz>
2830 * config/s390/s390.c (s390_gimplify_va_arg): Initialize local
2832 (print_operand_address): Initialize a struct to zero.
2834 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2836 * doc/contrib.texi (Contributors): Refer to Hans Boehm's
2837 garbage collector only in textual form.
2839 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2841 * doc/extend.texi (x86 specific memory model extensions for
2842 transactional memory): Simplify a phrase.
2844 2017-02-05 Eric Botcazou <ebotcazou@adacore.com>
2847 * config/sparc/sync.md (atomic_loaddi_1): Replace 'U' constraint with
2848 'r', 'm' constraint with 'T' and !TARGET_ARCH64 with TARGET_ARCH32.
2849 (atomic_storedi_1): Likewise.
2851 2017-02-04 Jakub Jelinek <jakub@redhat.com>
2853 PR tree-optimization/79338
2854 * tree-parloops.c (gather_scalar_reductions): Don't call
2855 vect_analyze_loop_form for loop->inner before destroying loop's
2858 2017-02-03 Martin Sebor <msebor@redhat.com>
2860 PR tree-optimization/79327
2861 * gimple-ssa-sprintf.c (tree_digits): Avoid adding the base prefix
2862 when precision has resulted in leading zeros.
2863 (format_integer): Adjust the likely counter to assume an unknown
2864 argument that may be zero is non-zero.
2866 2017-02-03 Jason Merrill <jason@redhat.com>
2869 * tree-inline.c (copy_tree_body_r) [COND_EXPR]: Revert change to
2870 avoid copying non-taken branch.
2872 2017-02-03 Jakub Jelinek <jakub@redhat.com>
2874 PR tree-optimization/79340
2875 * tree-vect-loop.c (vectorizable_reduction): Release
2876 vec_defs elements after safe_splicing them into other vectors.
2879 PR tree-optimization/79327
2880 * gimple-ssa-sprintf.c (adjust_range_for_overflow): If returning
2881 true, always set *argmin and *argmax to TYPE_{MIN,MAX}_VALUE of
2883 (format_integer): Use wide_int_to_tree instead of build_int_cst
2884 + to_?hwi. If argmin is NULL, just set argmin and argmax to
2885 TYPE_{MIN,MAX}_VALUE of argtype. Simplify and fix computation
2886 of shortest and longest sequence.
2888 2017-02-03 Uros Bizjak <ubizjak@gmail.com>
2890 * config/i386/i386.c (dimode_scalar_chain::convert_reg):
2891 Use pextrd for TARGET_SSE4_1 when creating scalar copy.
2893 2017-02-03 Walter Lee <walt@tilera.com>
2896 * config/tilegx/tilegx.md (tilegx_expand_prologue): Add blockage
2897 after initial stackframe link reg save.
2898 * config/tilepro/tilepro.md (tilepro_expand_prologue): Likewise.
2900 2017-02-03 Jakub Jelinek <jakub@redhat.com>
2903 * config/rs6000/rs6000.md (movsi_from_sf): Use wb constraint instead of
2904 wu for stxssp alternative.
2906 2017-02-03 Martin Sebor <msebor@redhat.com>
2908 PR tree-optimization/79352
2909 * gimple-fold.c (get_range_strlen): Add argument.
2910 (get_range_strlen): Change return type to bool.
2911 (get_maxval_strlen): Pass in a dummy argument.
2912 * gimple-fold.h (get_range_strlen): Change return type to bool.
2913 * gimple-ssa-sprintf.c (get_string_length): Set unlikely counter.
2914 * tree.h (array_at_struct_end_p): Add argument.
2915 * tree.c (array_at_struct_end_p): Handle it.
2917 2017-02-03 Martin Liska <mliska@suse.cz>
2920 * multiple_target.c (create_dispatcher_calls): Redirect edge
2921 from a caller of a dispatcher.
2922 (expand_target_clones): Make the clones local.
2923 (ipa_target_clone): Do both target clones and resolvers.
2924 (ipa_dispatcher_calls): Remove the pass.
2925 (pass_dispatcher_calls::gate): Likewise.
2926 (make_pass_dispatcher_calls): Likewise.
2927 * passes.def (pass_target_clone): Put as very first IPA early
2930 2017-02-03 Martin Liska <mliska@suse.cz>
2932 * symtab.c (symtab_node::binds_to_current_def_p): Bail out
2933 in case of a function with ifunc attribute.
2935 2017-02-03 Martin Liska <mliska@suse.cz>
2937 * cgraph.c (cgraph_node::dump): Dump function version info.
2938 * symtab.c (symtab_node::dump_base): Add missing new line.
2940 2017-02-02 Jan Hubicka <hubicka@ucw.cz>
2942 * tree-ssa-ifcombine.c (update_profile_after_ifcombine): New function.
2943 (ifcombine_ifandif): Use it.
2945 2017-02-03 Martin Liska <mliska@suse.cz>
2947 * doc/invoke.texi: Document default value for
2948 use-after-scope-direct-emission-threshold.
2950 2017-02-03 Martin Liska <mliska@suse.cz>
2952 PR tree-optimization/79339
2953 * gimple-ssa-sprintf.c (format_floating_max): Call mpfr_clear.
2954 (format_floating): Likewise.
2956 2017-02-03 Martin Liska <mliska@suse.cz>
2959 * ipa-prop.c (ipa_node_params_t::insert): Remove current
2961 (ipa_node_params_t::remove): Likewise.
2962 * ipa-prop.h (ipa_node_params::ipa_node_params): Make default
2963 initialization from removed ipa_node_params_t::insert.
2964 (ipa_node_params::~ipa_node_params): Move from removed
2965 ipa_node_params_t::release.
2966 * symbol-summary.h (symbol_summary::m_released): New member.
2967 Do not release a summary twice. Do not allow to call finalizer
2968 for types of a summary that live in GGC memory.
2970 2017-02-02 Naveen H.S <Naveen.Hurugalawadi@cavium.com>
2972 * config/aarch64/aarch64.c (thunderx2t99_tunings): Enable AES and
2975 2017-02-02 Martin Sebor <msebor@redhat.com>
2978 * gimple-ssa-sprintf.c (get_string_length): Set lower bound to zero.
2979 (format_string): Tighten up the range of output for non-constant
2980 strings and correct the expected range for wide non-constant strings.
2982 2017-02-02 Martin Sebor <msebor@redhat.com>
2984 * doc/invoke.texi (-maccumulate-args): Fix bad grammar.
2987 * doc/invoke.texi (-fdump-tree-): Remove pass-specific options from
2989 (-fdump-tree-@var): Add to index and document how to come up
2990 with pass-specific option and dump file names.
2991 (-fdump-passes): Clarify where to look for output.
2993 2017-02-02 Jan Hubicka <hubicka@ucw.cz>
2996 * tree-ssa-threadbackward.c (profitable_jump_thread_path): Dump
2997 statistics of the analyzed path; allow threading for speed when
2998 any of BBs along the path are optimized for speed.
3000 2017-02-02 Eric Botcazou <ebotcazou@adacore.com>
3003 * emit-rtl.c (init_emit): Add ??? comment for problematic alignment
3004 settings of the virtual registers.
3007 2016-08-23 Dominik Vogt <vogt@linux.vnet.ibm.com>
3009 * explow.c (get_dynamic_stack_size): Take known alignment of stack
3010 pointer + STACK_DYNAMIC_OFFSET into account when calculating the size
3013 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3015 * config/s390/vx-builtins.md ("vec_ceil", "vec_floor")
3016 ("vec_trunc", "vec_roundc", "vec_round"): Remove expanders.
3018 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3020 * config/s390/s390.md: Add missing comments with the expanded
3022 * config/s390/vector.md: Likewise.
3023 * config/s390/vx-builtins.md: Likewise.
3025 2017-02-02 Jakub Jelinek <jakub@redhat.com>
3028 * config/rs6000/rs6000.md (*fixuns_trunc<mode>di2_fctiduz): Rename to ...
3029 (fixuns_trunc<mode>di2): ... this, remove previous expander. Put all
3030 conditions on a single line.
3032 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3034 * config/s390/s390-c.c (s390_cpu_cpp_builtins_internal): Rename
3035 __S390_VX__ to __VX__.
3037 2017-02-01 Andrew Pinski <apinski@cavium.com>
3039 * tree-vect-loop.c (vect_compute_single_scalar_iteration_cost): Pass
3040 stmt_info to record_stmt_cost.
3041 (vect_get_known_peeling_cost): Pass stmt_info if known to
3043 * config/aarch64/aarch64-protos.h (cpu_vector_cost): Split
3044 cpu_vector_cost field into
3045 scalar_int_stmt_cost and scalar_fp_stmt_cost. Split vec_stmt_cost
3046 field into vec_int_stmt_cost and vec_fp_stmt_cost.
3047 * config/aarch64/aarch64.c (generic_vector_cost): Update for the
3048 splitting of scalar_stmt_cost and vec_stmt_cost.
3049 (thunderx_vector_cost): Likewise.
3050 (cortexa57_vector_cost): LIkewise.
3051 (exynosm1_vector_cost): Likewise.
3052 (xgene1_vector_cost): Likewise.
3053 (thunderx2t99_vector_cost): Improve after the splitting of the two
3055 (aarch64_builtin_vectorization_cost): Update for the splitting of
3056 scalar_stmt_cost and vec_stmt_cost.
3058 2017-02-01 Torvald Riegel <triegel@redhat.com>
3059 Richard Henderson <rth@redhat.com>
3061 * builtins.c (fold_builtin_atomic_always_lock_free): Make "lock-free"
3062 conditional on existance of a fast atomic load.
3063 * optabs-query.c (can_atomic_load_p): New function.
3064 * optabs-query.h (can_atomic_load_p): Declare it.
3065 * optabs.c (expand_atomic_exchange): Always delegate to libatomic if
3066 no fast atomic load is available for the particular size of access.
3067 (expand_atomic_compare_and_swap): Likewise.
3068 (expand_atomic_load): Likewise.
3069 (expand_atomic_store): Likewise.
3070 (expand_atomic_fetch_op): Likewise.
3071 * testsuite/lib/target-supports.exp
3072 (check_effective_target_sync_int_128): Remove x86 because it provides
3073 no fast atomic load.
3074 (check_effective_target_sync_int_128_runtime): Likewise.
3076 2017-02-01 Richard Biener <rguenther@suse.de>
3078 * graphite.c: Include tree-vectorizer.h for find_loop_location.
3079 (graphite_transform_loops): Provide opt-info for optimized nests.
3080 * tree-parloop.c (parallelize_loops): Provide opt-info for
3083 2017-02-01 Richard Biener <rguenther@suse.de>
3086 * tree-cfg.c (move_stmt_op): Never set TREE_BLOCK when it
3089 2017-02-01 Richard Biener <rguenther@suse.de>
3091 PR tree-optimization/71824
3092 * graphite-scop-detection.c (scop_detection::build_scop_breadth):
3093 Verify the loops are valid in the merged SESE region.
3094 (scop_detection::can_represent_loop_1): Check analyzing the
3095 evolution of the number of iterations in the region succeeds.
3097 2017-01-31 Ian Lance Taylor <iant@golang.org>
3099 * config/i386/i386.c (ix86_expand_split_stack_prologue): Add
3100 REG_ARGS_SIZE note to 32-bit push insns and call insn.
3102 2017-01-31 David Malcolm <dmalcolm@redhat.com>
3104 PR preprocessor/79210
3105 * input.c (get_substring_ranges_for_loc): Replace line_width
3106 assertion with error-handling.
3108 2017-01-31 Richard Biener <rguenther@suse.de>
3110 PR tree-optimization/77318
3111 * graphite-sese-to-poly.c (extract_affine): Fix assert.
3112 (create_pw_aff_from_tree): Take loop parameter.
3113 (add_condition_to_pbb): Pass loop of the condition to
3114 create_pw_aff_from_tree.
3116 2017-01-31 Jakub Jelinek <jakub@redhat.com>
3118 * config/s390/s390.c (s390_asan_shadow_offset): New function.
3119 (TARGET_ASAN_SHADOW_OFFSET): Redefine.
3121 2017-01-31 Michael Meissner <meissner@linux.vnet.ibm.com>
3125 * config/rs6000/rs6000-protos.h (convert_float128_to_int): Delete,
3127 (convert_int_to_float128): Likewise.
3128 * config/rs6000/rs6000.c (convert_float128_to_int): Likewise.
3129 (convert_int_to_float128): Likewise.
3130 * config/rs6000/rs6000.md (UNSPEC_IEEE128_MOVE): Likewise.
3131 (UNSPEC_IEEE128_CONVERT): Likewise.
3132 (floatsi<mode>2, FLOAT128 iterator): Bypass calling
3133 rs6000_expand_float128_convert if we have IEEE 128-bit hardware.
3134 Use local variables for IBM extended format.
3135 (fix_trunc<mode>si2, FLOAT128 iterator): Likewise.
3136 (fix_trunc<mode>si2_fprs): Likewise.
3137 (fixuns_trunc<IEEE128:mode><SDI:mode>2): Likewise.
3138 (floatuns<IEEE128:mode>2, IEEE128 iterator): Likewise.
3139 (fix<uns>_<mode>si2_hw): Rework the IEEE 128-bt hardware support
3140 to know that we can now have integers of all sizes in vector
3142 (fix<uns>_<mode>di2_hw): Likewise.
3143 (float<uns>_<mode>si2_hw): Likewise.
3144 (fix_<mode>si2_hw): Likewise.
3145 (fixuns_<mode>si2_hw): Likewise.
3146 (float<uns>_<mode>di2_hw): Likewise.
3147 (float_<mode>di2_hw): Likewise.
3148 (float_<mode>si2_hw): Likewise.
3149 (floatuns_<mode>di2_hw): Likewise.
3150 (floatuns_<mode>si2_hw): Likewise.
3151 (xscvqp<su>wz_<mode>): Delete, no longer used.
3152 (xscvqp<su>dz_<mode>): Likewise.
3153 (xscv<su>dqp_<mode>): Likewise.
3154 (ieee128_mfvsrd_64bit): Likewise.
3155 (ieee128_mfvsrd_32bit): Likewise.
3156 (ieee128_mfvsrwz): Likewise.
3157 (ieee128_mtvsrw): Likewise.
3158 (ieee128_mtvsrd_64bit): Likewise.
3159 (ieee128_mtvsrd_32bit): Likewise.
3161 2017-01-31 Martin Liska <mliska@suse.cz>
3164 * ipa-prop.c (ipa_free_all_node_params): Call release method
3165 instead of ~sumbol_summary to not to trigger double times
3168 2017-01-31 Aldy Hernandez <aldyh@redhat.com>
3170 PR tree-optimization/71691
3171 * bitmap.h (class auto_bitmap): New.
3172 * tree-ssa-loop-unswitch.c (tree_may_unswitch_on): Call
3173 is_maybe_undefined instead of ssa_undefined_value_p.
3175 2017-01-31 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3177 * config/s390/s390-c.c (s390_cpu_cpp_builtins_internal): Rename
3178 __S390_ARCH_LEVEL__ to __ARCH__.
3180 2017-01-31 Jakub Jelinek <jakub@redhat.com>
3182 PR tree-optimization/79267
3183 * value-prof.c (gimple_ic): Only drop lhs for noreturn calls
3184 if should_remove_lhs_p is true.
3186 2017-01-30 Alexandre Oliva <aoliva@redhat.com>
3189 * dwarf2out.c (clone_as_declaration): Drop DW_AT_alignment.
3190 (add_alignment_attribute): New.
3191 (base_type_die): Add alignment attribute.
3192 (subrange_type_die): Likewise.
3193 (modified_type_die): Likewise.
3194 (gen_array_type_die): Likewise.
3195 (gen_descr_array_type_die: Likewise.
3196 (gen_enumeration_type_die): Likewise.
3197 (gen_subprogram_die): Likewise.
3198 (gen_variable_die): Likewise.
3199 (gen_field_die): Likewise.
3200 (gen_ptr_to_mbr_type_die): Likewise.
3201 (gen_struct_or_union_type_die): Likewise.
3202 (gen_subroutine_type_die): Likewise.
3203 (gen_typedef_die): Likewise.
3204 (base_type_cmp): Compare alignment attribute.
3206 2017-01-30 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
3209 * config/rs6000/altivec.md (*setb_internal): Rename to setb_signed.
3210 (setb_unsigned) New pattern for setb with CCUNS.
3211 * config/rs6000/rs6000.c (expand_block_compare): Use a different
3212 subfc./subfe sequence to avoid overflow problems. Generate a
3213 shorter sequence with cmpld/setb for power9.
3214 * config/rs6000/rs6000.md (subf<mode>3_carry_dot2): Add a new pattern
3215 for generating subfc. instruction.
3216 (cmpstrsi): Add TARGET_POPCNTD predicate as the generate sequence
3217 now uses this instruction.
3219 2017-01-30 Ian Lance Taylor <iant@google.com>
3222 * dwarf2out.c (gen_type_die_with_usage): When picking a variant
3223 for FUNCTION_TYPE/METHOD_TYPE, use the first matching one.
3225 2017-01-30 Martin Sebor <msebor@redhat.com>
3227 * gimple-ssa-sprintf.c (fmtresult::adjust_for_width_or_precision):
3228 Move constant to the right of a relational operator.
3229 (get_mpfr_format_length, format_character, format_string): Ditto.
3230 (should_warn_p, maybe_warn): Same.
3232 * doc/invoke.texi (-Wformat-truncation=1): Fix typo.
3234 2017-01-30 Maxim Ostapenko <m.ostapenko@samsung.com>
3237 * asan.c (get_translation_unit_decl): Remove function.
3238 (asan_add_global): Force has_dynamic_init to zero in LTO mode.
3240 2017-01-30 Martin Liska <mliska@suse.cz>
3242 PR gcov-profile/79259
3243 * opts.c (common_handle_option): Enable flag_ipa_bit_cp w/
3246 2017-01-30 Martin Liska <mliska@suse.cz>
3249 * config/aarch64/cortex-a57-fma-steering.c (func_fma_steering::analyze):
3250 Initialize variables with NULL value.
3252 2017-01-30 Richard Earnshaw <rearnsh@arm.com>
3255 * config.gcc (arm*-*-*): Add arm/arm-flags.h and arm/arm-isa.h to
3257 * arm/arm-protos.h: Don't directly include arm-flags.h and arm-isa.h.
3259 2017-01-30 Richard Biener <rguenther@suse.de>
3261 PR tree-optimization/79276
3262 * tree-vrp.c (process_assert_insertions): Properly adjust common
3263 when removing a duplicate.
3265 * gcc.dg/torture/pr79276.c: New testcase.
3267 2017-01-30 Richard Biener <rguenther@suse.de>
3269 PR tree-optimization/79256
3270 * targhooks.c (default_builtin_vector_alignment_reachable): Honor
3271 BIGGEST_FIELD_ALIGNMENT and ADJUST_FIELD_ALIGN to fix up bogus
3273 * tree.c (build_aligned_type): Set TYPE_USER_ALIGN.
3275 2017-01-30 Dominik Vogt <vogt@linux.vnet.ibm.com>
3278 * config/s390/s390.md ("*r<noxa>sbg_<mode>_srl_bitmask")
3279 ("*r<noxa>sbg_<mode>_sll_bitmask")
3280 ("*extzv_<mode>_srl<clobbercc_or_nocc>")
3281 ("*extzv_<mode>_sll<clobbercc_or_nocc>"):
3282 Use contiguous_bitmask_nowrap_operand.
3284 2017-01-29 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
3287 * config/rs6000/altivec.h (vec_xl): Revise #define.
3288 (vec_xst): Likewise.
3290 2017-01-27 Uros Bizjak <ubizjak@gmail.com>
3292 * config/i386/i386.c (print_reg): Use REGNO instead of true_regnum.
3294 2017-01-27 Bernd Schmidt <bschmidt@redhat.com>
3296 PR rtl-optimization/79194
3297 * cprop.c (one_cprop_pass): Move deletion of code after unconditional
3298 traps before call to bypass_conditional_jumps.
3300 2017-01-27 Vladimir Makarov <vmakarov@redhat.com>
3302 PR tree-optimization/71374
3303 * lra-constraints.c (check_conflict_input_operands): New.
3304 (match_reload): Use it.
3306 2017-01-27 Vladimir Makarov <vmakarov@redhat.com>
3309 * lra-assigns.c (find_hard_regno_for_1): Take endianess for into
3310 account to calculate conflict_set.
3312 2017-01-27 Bin Cheng <bin.cheng@arm.com>
3314 PR rtl-optimization/78559
3315 * combine.c (try_combine): Discard REG_EQUAL and REG_EQUIV for
3316 other_insn in combine.
3318 2017-01-27 Pekka Jääskeläinen <pekka.jaaskelainen@parmance.com>
3320 * builtin-types.def: Use unsigned_char_type_node for BT_UINT8. Use
3321 uint16_type_node for BT_UINT16.
3323 2017-01-27 David Malcolm <dmalcolm@redhat.com>
3325 * doc/sourcebuild.texi (Testsuites): Add "GIMPLE Tests" and
3326 "RTL Tests" to menu.
3327 (GIMPLE Tests): New node.
3328 (RTL Tests): New node.
3330 2017-01-27 Richard Biener <rguenther@suse.de>
3332 PR tree-optimization/79245
3333 * tree-loop-distribution.c (distribute_loop): Apply cost
3334 modeling also to detected patterns.
3336 2017-01-27 Richard Biener <rguenther@suse.de>
3338 PR tree-optimization/71433
3339 * tree-vrp.c (register_new_assert_for): Revert earlier changes.
3340 (compare_assert_loc): New function.
3341 (process_assert_insertions): Sort and optimize assert locations
3342 to remove duplicates and push down identical assertions on
3343 edges to their destination block.
3345 2017-01-27 Richard Biener <rguenther@suse.de>
3347 PR tree-optimization/79244
3348 * tree-vrp.c (remove_range_assertions): Forcefully propagate
3349 out SSA names even if abnormal.
3351 2017-01-27 Jakub Jelinek <jakub@redhat.com>
3353 * realmpfr.h: Poison MPFR_RND{N,Z,U,D}.
3354 * gimple-ssa-sprintf.c (format_floating_max): Use GMP_RNDN
3355 instead of MPFR_RNDN.
3357 2017-01-27 Richard Earnshaw <rearnsha@arm.com>
3360 * arm.c (arm_option_override): Don't call build_target_option_node
3361 until after doing all option overrides.
3362 (arm_valid_target_attribute_tree): Likewise.
3364 2017-01-27 Martin Liska <mliska@suse.cz>
3366 * doc/invoke.texi (-fprofile-arcs): Document profiling support
3367 for {cd}tors and C++ {cd}tors.
3369 2017-01-27 Dominik Vogt <vogt@linux.vnet.ibm.com>
3371 * config/s390/s390.md ("*setmem_long_and")
3372 ("*setmem_long_and_31z"): Use zero_extend instead of and.
3374 2017-01-26 Martin Sebor <msebor@redhat.com>
3376 * gimple-ssa-sprintf.c (format_floating): Simplify the computation
3379 2017-01-26 Martin Sebor <msebor@redhat.com>
3381 * gimple-ssa-sprintf.c (format_floating): Test HAVE_XFmode and
3382 HAVE_DFmode before using XFmode or DFmode.
3383 (parse_directive): Avoid using the z length modifier to avoid
3384 the ISO C++98 does not support the ‘z’ gnu_printf length modifier.
3387 * gimple-ssa-sprintf.c (adjust_for_width_or_precision): Change
3388 to accept adjustment as an array.
3389 (get_int_range): New function.
3390 (struct directive): Make width and prec arrays.
3391 (directive::set_width, directive::set_precision): Call get_int_range.
3392 (format_integer, format_floating): Handle width and precision ranges.
3393 (format_string, parse_directive): Same.
3395 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3398 * dwarf2out.c (generate_skeleton_bottom_up): For children with
3399 comdat_type_p set, just clone them, but keep the children in the
3403 * dwarf2out.c (prune_unused_types): Mark all functions with DIEs
3404 which have direct callers with -fvar-tracking-assignments enabled
3406 (resolve_addr): Avoid adding skeleton DIEs for DW_AT_call_origin
3407 inside of type units.
3409 2017-01-26 Martin Sebor <msebor@redhat.com>
3412 * gimple-ssa-sprintf.c (struct result_range): Add likely and
3414 (struct format_result): Replace number_chars, number_chars_min,
3415 and number_chars_max with a single member of struct result_range.
3417 (format_result::operator+=): Adjust.
3418 (struct fmtresult): Remove bounded. Handle likely and unlikely
3420 (fmtresult::adjust_for_width_or_precision): New function.
3421 (fmtresult:type_max_digits): New function.
3422 (bytes_remaining): Handle likely and unlikely counters.
3423 (min_bytes_remaining): Remove.
3424 (format_percent): Simplify.
3425 (format_integer, format_floating): Set likely and unlikely counters.
3426 (get_string_length, format_character, format_string): Same.
3427 (format_plain, should_warn_p): New function.
3428 (maybe_warn): Call should_warn_p. Update diagnostic messages
3429 and handle those for all directives, including plain strings.
3430 (format_directive): Handle likely and unlikely counters.
3431 Remove unnecessary quoting from diagnostics. Add an informational
3433 (add_bytes): Remove.
3434 (pass_sprintf_length::compute_format_length): Simplify.
3435 (try_substitute_return_value): Handle likely and unlikely counters.
3437 2017-01-26 Carl Love <cel@us.ibm.com>
3439 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Remove
3440 bogus entries for the P8V_BUILTIN_VEC_VGBBD built-ins
3442 2017-01-26 Vladimir Makarov <vmakarov@redhat.com>
3445 * lra-assigns.c (setup_live_pseudos_and_spill_after_risky): Take
3446 endianess for subregs into account.
3447 * lra-constraints.c (lra_constraints): Do risky transformations
3448 always on the first iteration.
3449 * lra-lives.c (check_pseudos_live_through_calls): Add arg
3450 last_call_used_reg_set.
3451 (process_bb_lives): Define and use last_call_used_reg_set.
3452 * lra.c (lra): Always continue after lra_constraints on the first
3455 2017-01-26 Kirill Yukhin <kirill.yukhin@gmail.com>
3457 * gcc.target/i386/avx512bw-kshiftlq-2.c: Use unsigned long long
3459 * gcc.target/i386/avx512bw-kshiftrq-2.c: Ditto.
3461 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3463 * config/i386/avx512fintrin.h (_ktest_mask16_u8,
3464 _ktestz_mask16_u8, _ktestc_mask16_u8, _kadd_mask16): Move to ...
3465 * config/i386/avx512dqintrin.h (_ktest_mask16_u8,
3466 _ktestz_mask16_u8, _ktestc_mask16_u8, _kadd_mask16): ... here.
3467 * config/i386/i386-builtin.def (__builtin_ia32_ktestchi,
3468 __builtin_ia32_ktestzhi, __builtin_ia32_kaddhi): Use
3469 OPTION_MASK_ISA_AVX512DQ instead of OPTION_MASK_ISA_AVX512F.
3470 * config/i386/sse.md (SWI1248_AVX512BWDQ2): New mode iterator.
3471 (kadd<mode>, ktest<mode>): Use it instead of SWI1248_AVX512BWDQ.
3473 2017-01-26 Marek Polacek <polacek@redhat.com>
3476 * fold-const.c (operand_equal_p) [COND_EXPR]: Use OP_SAME_WITH_NULL
3477 for the third operand.
3479 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3482 * omp-low.c (struct omp_context): Add simt_stmt field.
3483 (scan_omp_for): Return omp_context *.
3484 (scan_omp_simd): Set simt_stmt on the non-_simt_ SIMD
3485 context to the _simt_ SIMD stmt.
3486 (lower_omp_for): For combined SIMD with sibling _simt_
3487 SIMD, make sure to use the same decls in _looptemp_
3488 clauses as in the sibling.
3490 2017-01-26 David Sherwood <david.sherwood@arm.com>
3493 * gimplify.c (omp_notice_variable): Add GOVD_SEEN flag to variables in
3496 2017-01-26 Jakub Jelinek <jakub@redhat.com>
3499 * reg-stack.c (emit_swap_insn): Instead of fld a; fld b; fxchg %st(1);
3500 emit fld b; fld a; if possible.
3502 * brig-builtins.def: Update copyright years.
3503 * config/arm/arm_acle_builtins.def: Update copyright years.
3505 2017-01-25 Michael Meissner <meissner@linux.vnet.ibm.com>
3508 * config/rs6000/vsx.md (vsx_extract_<mode>_store): Use wY
3509 constraint instead of o for the stxsd instruction.
3511 2017-01-25 Carl Love <cel@us.ibm.com>
3513 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Fix order
3514 of entries for ALTIVEC_BUILTIN_VEC_PACKS and P8V_BUILTIN_VEC_VGBBD.
3516 2017-01-25 Jonathan Wakely <jwakely@redhat.com>
3518 * doc/invoke.texi (C++ Dialect Options): Fix typo.
3520 2017-01-25 Richard Biener <rguenther@suse.de>
3522 PR tree-optimization/69264
3523 * target.def (vector_alignment_reachable): Improve documentation.
3524 * doc/tm.texi: Regenerate.
3525 * targhooks.c (default_builtin_vector_alignment_reachable): Simplify
3527 * tree-vect-data-refs.c (vect_supportable_dr_alignment): Revert
3528 earlier changes with respect to TYPE_USER_ALIGN.
3529 (vector_alignment_reachable_p): Likewise. Improve dumping.
3531 2016-01-25 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
3534 * config/arm/arm.md (xordi3): Force constant operand into a register
3537 2016-01-25 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
3539 * doc/invoke.texi (-fstore-merging): Correct default optimization
3540 levels at which it is enabled.
3541 (-O): Move -fstore-merging from list to...
3544 2017-01-25 Richard Biener <rguenther@suse.de>
3547 * omp-expand.c: Include debug.h.
3548 (expand_omp_taskreg): Make sure to generate early debug before
3549 outlining anything from a function.
3550 (expand_omp_target): Likewise.
3551 (grid_expand_target_grid_body): Likewise.
3553 2017-01-25 Maxim Ostapenko <m.ostapenko@samsung.com>
3556 * asan.c (get_translation_unit_decl): New function.
3557 (asan_add_global): Extract modules file name from globals
3558 TRANSLATION_UNIT_DECL name.
3560 2017-01-24 Eric Botcazou <ebotcazou@adacore.com>
3563 * config/arm/arm.c (arm_function_ok_for_sibcall): Add back restriction
3564 for long calls with APCS frame and VFP.
3566 2017-01-24 David Malcolm <dmalcolm@redhat.com>
3568 * cfg.c (original_copy_tables_initialized_p): New function.
3569 * cfg.h (original_copy_tables_initialized_p): New decl.
3570 * cfgrtl.c (relink_block_chain): Guard the call to
3571 free_original_copy_tables with a call to
3572 original_copy_tables_initialized_p.
3573 * cgraph.h (symtab_node::native_rtl_p): New decl.
3574 * cgraphunit.c (symtab_node::native_rtl_p): New function.
3575 (symtab_node::needed_p): Don't assert for early assembly output
3576 for __RTL functions.
3577 (cgraph_node::finalize_function): Set "force_output" for __RTL
3579 (cgraph_node::analyze): Bail out early for __RTL functions.
3580 (analyze_functions): Update assertion to support __RTL functions.
3581 (cgraph_node::expand): Bail out early for __RTL functions.
3582 * final.c (rest_of_clean_state): Don't call delete_tree_ssa for
3584 * function.h (struct function): Update comment for field
3586 * gimple-expr.c: Include "tree-pass.h".
3587 (gimple_has_body_p): Return false for __RTL functions.
3588 * Makefile.in (OBJS): Add run-rtl-passes.o.
3589 * pass_manager.h (gcc::pass_manager::get_rest_of_compilation): New
3591 (gcc::pass_manager::get_clean_slate): New accessor.
3592 * passes.c: Include "insn-addr.h".
3593 (should_skip_pass_p): Add logging. Update logic for running
3594 "expand" to be compatible with both __GIMPLE and __RTL. Guard
3595 property-provider override so it is only done for gimple passes.
3597 (skip_pass): New function.
3598 (execute_one_pass): Call skip_pass when skipping passes.
3599 * read-md.c (md_reader::read_char): Support filtering
3600 the input to a subset of line numbers.
3601 (md_reader::md_reader): Initialize fields
3602 m_first_line and m_last_line.
3603 (md_reader::read_file_fragment): New function.
3604 * read-md.h (md_reader::read_file_fragment): New decl.
3605 (md_reader::m_first_line): New field.
3606 (md_reader::m_last_line): New field.
3607 * read-rtl-function.c (function_reader::create_function): Only
3608 create cfun if it doesn't already exist. Set PROP_rtl on cfun's
3609 curr_properties. Set DECL_INITIAL to a dummy block.
3610 (read_rtl_function_body_from_file_range): New function.
3611 * read-rtl-function.h (read_rtl_function_body_from_file_range):
3613 * run-rtl-passes.c: New file.
3614 * run-rtl-passes.h: New file.
3616 2017-01-24 Jeff Law <law@redhat.com>
3618 * config/microblaze/microblaze.h (ASM_FORMAT_PRIVATE_NAME): Increase
3621 2017-01-24 Bin Cheng <bin.cheng@arm.com>
3623 PR tree-optimization/79159
3624 * tree-ssa-loop-niter.c (get_cst_init_from_scev): New function.
3625 (record_nonwrapping_iv): Improve boundary using above function if no
3626 value range information.
3628 2017-01-24 Pekka Jääskeläinen <pekka@parmance.com>
3629 Martin Jambor <mjambor@suse.cz>
3631 * brig-builtins.def: New file.
3632 * builtins.def (DEF_HSAIL_BUILTIN): New macro.
3633 (DEF_HSAIL_ATOMIC_BUILTIN): Likewise.
3634 (DEF_HSAIL_SAT_BUILTIN): Likewise.
3635 (DEF_HSAIL_INTR_BUILTIN): Likewise.
3636 (DEF_HSAIL_CVT_ZEROI_SAT_BUILTIN): Likewise.
3637 * builtin-types.def (BT_INT8): New.
3638 (BT_INT16): Likewise.
3639 (BT_UINT8): Likewise.
3640 (BT_UINT16): Likewise.
3641 (BT_FN_ULONG): Likewise.
3642 (BT_FN_UINT_INT): Likewise.
3643 (BT_FN_UINT_ULONG): Likewise.
3644 (BT_FN_UINT_LONG): Likewise.
3645 (BT_FN_UINT_PTR): Likewise.
3646 (BT_FN_ULONG_PTR): Likewise.
3647 (BT_FN_INT8_FLOAT): Likewise.
3648 (BT_FN_INT16_FLOAT): Likewise.
3649 (BT_FN_UINT32_FLOAT): Likewise.
3650 (BT_FN_UINT16_FLOAT): Likewise.
3651 (BT_FN_UINT8_FLOAT): Likewise.
3652 (BT_FN_UINT64_FLOAT): Likewise.
3653 (BT_FN_UINT16_UINT32): Likewise.
3654 (BT_FN_UINT32_UINT16): Likewise.
3655 (BT_FN_UINT16_UINT16_UINT16): Likewise.
3656 (BT_FN_INT_PTR_INT): Likewise.
3657 (BT_FN_UINT_PTR_UINT): Likewise.
3658 (BT_FN_LONG_PTR_LONG): Likewise.
3659 (BT_FN_ULONG_PTR_ULONG): Likewise.
3660 (BT_FN_VOID_UINT64_UINT64): Likewise.
3661 (BT_FN_UINT8_UINT8_UINT8): Likewise.
3662 (BT_FN_INT8_INT8_INT8): Likewise.
3663 (BT_FN_INT16_INT16_INT16): Likewise.
3664 (BT_FN_INT_INT_INT): Likewise.
3665 (BT_FN_UINT_FLOAT_UINT): Likewise.
3666 (BT_FN_FLOAT_UINT_UINT): Likewise.
3667 (BT_FN_ULONG_UINT_UINT): Likewise.
3668 (BT_FN_ULONG_UINT_PTR): Likewise.
3669 (BT_FN_ULONG_ULONG_ULONG): Likewise.
3670 (BT_FN_UINT_UINT_UINT): Likewise.
3671 (BT_FN_VOID_UINT_PTR): Likewise.
3672 (BT_FN_UINT_UINT_PTR: Likewise.
3673 (BT_FN_UINT32_UINT64_PTR): Likewise.
3674 (BT_FN_INT_INT_UINT_UINT): Likewise.
3675 (BT_FN_UINT_UINT_UINT_UINT): Likewise.
3676 (BT_FN_UINT_UINT_UINT_PTR): Likewise.
3677 (BT_FN_UINT_ULONG_ULONG_UINT): Likewise.
3678 (BT_FN_ULONG_ULONG_ULONG_ULONG): Likewise.
3679 (BT_FN_LONG_LONG_UINT_UINT): Likewise.
3680 (BT_FN_ULONG_ULONG_UINT_UINT): Likewise.
3681 (BT_FN_VOID_UINT32_UINT64_PTR): Likewise.
3682 (BT_FN_VOID_UINT32_UINT32_PTR): Likewise.
3683 (BT_FN_UINT_UINT_UINT_UINT_UINT): Likewise.
3684 (BT_FN_UINT_FLOAT_FLOAT_FLOAT_FLOAT): Likewise.
3685 (BT_FN_ULONG_ULONG_ULONG_UINT_UINT): Likewise.
3686 * doc/frontends.texi: List BRIG FE.
3687 * doc/install.texi (Testing): Add BRIG tesring requirements.
3688 * doc/invoke.texi (Overall Options): Mention BRIG.
3689 * doc/standards.texi (Standards): Doucment BRIG HSA version.
3691 2017-01-24 Richard Biener <rguenther@suse.de>
3693 PR translation/79208
3694 * ipa-devirt.c (odr_types_equivalent_p): Fix typo in diagnostic.
3696 2017-01-24 Martin Jambor <mjambor@suse.cz>
3699 * ipa-prop.c (ipa_free_all_node_params): Call summary destructor.
3700 * ipa-prop.c (ipa_node_params_t::insert): Initialize fields known_csts
3703 2017-01-24 Aldy Hernandez <aldyh@redhat.com>
3706 * gimple-ssa-warn-alloca.c (alloca_call_type): Make sure
3707 casts from signed to unsigned really don't have a range.
3709 2017-01-24 Markus Trippelsdorf <markus@trippelsdorf.de>
3711 * gimple-ssa-sprintf.c (format_floating): Change MPFR_RNDx to
3712 GMP_RNDx for compatiblity.
3714 2017-01-24 Martin Liska <mliska@suse.cz>
3717 * tree-ssa-reassoc.c (rewrite_expr_tree_parallel): Insert assert
3718 that would prevent us to call alloca with -1 as argument.
3720 2017-01-24 Jakub Jelinek <jakub@redhat.com>
3722 * dwarf2out.c (output_compilation_unit_header, output_file_names):
3723 Avoid -Wformat-security warning.
3725 2017-01-23 Andrew Pinski <apinski@cavium.com>
3727 * config/aarch64/aarch64.c (thunderx2t99_addrcost_table): Improve
3730 2017-01-23 Martin Sebor <msebor@redhat.com>
3733 * gimple-ssa-sprintf.c (warn_level): New global.
3734 (format_integer): Use it here and throughout the rest of the file.
3735 Use the same switch to compute sign as base.
3736 (maybe_warn): New function.
3737 (format_directive): Factor out warnings into maybe_warn.
3738 Add debugging output. Use warn_level.
3739 (add_bytes): Use warn_level.
3740 (pass_sprintf_length::compute_format_length): Add debugging output.
3741 (try_substitute_return_value): Same.
3742 (pass_sprintf_length::handle_gimple_call): Set and use warn_level.
3745 * gimple-ssa-sprintf.c (struct format_result): Remove constant member.
3746 (struct fmtresult, format_integer, format_floating): Adjust.
3747 (fmtresult::fmtresult): Set max correctly in two argument ctor.
3748 (get_string_length, format_string,format_directive): Same.
3749 (pass_sprintf_length::compute_format_length): Same.
3750 (try_substitute_return_value): Simplify slightly.
3753 * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust formatting.
3754 (fmtresult::operator+=): Outlined.
3755 (struct fmtresult): Add ctors.
3756 (struct conversion_spec): Rename...
3757 (struct directive): ...to this. Add and remove data members.
3758 (directive::set_width, directive::set_precision): New functions.
3759 (format_percent): Use fmtresult ctor.
3760 (get_width_and_precision): Remove.
3761 (format_integer): Make naming changes. Avoid computing width and
3763 (format_floating): Same. Adjust indentation.
3764 (format_character, format_none): New functions.
3765 (format_string): Moved character handling to format_character.
3766 (format_directive): Remove arguments, change return type.
3767 (parse_directive): New function.
3768 (pass_sprintf_length::compute_format_length): Move directive
3769 parsing to parse_directive.
3771 2017-01-23 Jakub Jelinek <jakub@redhat.com>
3773 * tree.h (assign_assembler_name_if_neeeded): Rename to ...
3774 (assign_assembler_name_if_needed): ... this.
3775 * tree.c (assign_assembler_name_if_neeeded): Rename to ...
3776 (assign_assembler_name_if_needed): ... this.
3777 (free_lang_data_in_cgraph): Adjust callers.
3778 * cgraphunit.c (cgraph_node::analyze): Likewise.
3779 * omp-expand.c (expand_omp_taskreg, expand_omp_target):
3782 2017-01-23 Richard Biener <rguenther@suse.de>
3784 PR tree-optimization/79088
3785 PR tree-optimization/79188
3786 * tree-ssa-threadupdate.c (mark_threaded_blocks): Move code
3787 resetting loop bounds after last path deletion. Reset loop
3788 bounds of the target loop, make code match the comments.
3789 * tree-ssa-threadbackwards.c (pass_early_thread_jumps::execute):
3790 Make sure loops need no fixups.
3792 2017-01-23 Kelvin Nilsen <kelvin@gcc.gnu.org>
3794 * config/rs6000/rs6000-builtin.def (VSIEDPF): Add scalar insert
3795 exponent support with double type for first argument.
3796 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Changed
3797 type returned by __builtin_vec_extract_sig,
3798 __builtin_vec_extract_sig_sp, and __builtin_vec_extract_sig_dp
3799 functions from "vector int" to "vector unsigned int" or from
3800 "vector long long int" to "vector unsigned long long int".
3801 Changed type returned by __builtin_vec_extract_exp,
3802 __builtin_vec_extract_exp_sp, and __builtin_vec_extract_exp_dp
3803 functions from "vector int" to "vector unsigned int" or from
3804 "vector long long int" to "vector unsigned long long int".
3805 Changed return type of __builtin_vec_test_data_class,
3806 __builtin_vec_test_data_class_sp, and
3807 __builtin_vec_test_data_class_dp from "vector int" to
3808 "vector bool int" or from "vector long long int" to "vector bool
3809 long long int" and changed second argument type from "unsigned
3810 int" to "int". Added new overloaded function forms "vector float
3811 __builtin_vec_insert_exp (vector float, vector unsigned int)" and
3812 "vector float __builtin_vec_insert_exp_sp (vector float, vector
3813 unsigned int)" and "vector double __builtin_vec_insert_exp (vector
3814 double, vector unsigned long long int)" and "vector double
3815 __builtin_vec_insert_exp_dp (vector double, vector unsigned long
3816 long int)". Changed return type of
3817 __builtin_scalar_test_data_class and
3818 __builtin_scalar_test_data_class_sp and
3819 __builtin_scalar_test_data_class_dp from "unsigned int" to "bool
3820 int" and changed second argument from "unsigned int" to "int".
3821 Changed type returned by __builtin_scalar_test_neg,
3822 __builtin_scalar_test_neg_sp, and __builtin_scalar_test_neg_dp
3823 from "int" to "bool int". Added new overloaded function form
3824 "double __builtin_scalar_insert_exp (double, unsigned long long int)".
3825 * config/rs6000/vsx.md (xsiexpdpf): New insn for scalar insert
3826 exponent double-precision with floating point first argument.
3827 * doc/extend.texi (PowerPC AltiVec Built-in Functions): Adjust
3828 documentation of scalar_test_data_class, scalar_test_neg,
3829 scalar_extract_sig, scalar_extract_exp, scalar_insert_exp,
3830 vector_extract_exp, vec_extract_sig, vec_insert_exp, and
3831 vec_test_data_class built-in functions to reflect refinements in
3832 their type signatures.
3834 2017-01-23 Andreas Tobler <andreast@gcc.gnu.org>
3836 * config/aarch64/aarch64.c (aarch64_elf_asm_constructor): Increase
3838 (aarch64_elf_asm_destructor): Likewise.
3840 2017-01-23 Bernd Schmidt <bschmidt@redhat.com>
3842 PR rtl-optimization/78634
3843 * config/i386/i386.c (ix86_max_noce_ifcvt_seq_cost): New function.
3844 (TARGET_MAX_NOCE_IFCVT_SEQ_COST): Define.
3845 * ifcvt.c (noce_try_cmove): Add missing cost check.
3847 PR rtl-optimization/71724
3848 * combine.c (if_then_else_cond): Look for situations where it is
3849 beneficial to undo the work of one of the recursive calls.
3851 2017-01-23 Bin Cheng <bin.cheng@arm.com>
3853 PR tree-optimization/70754
3854 * tree-predcom.c (stmt_combining_refs): New parameter INSERT_BEFORE.
3855 (reassociate_to_the_same_stmt): New parameter INSERT_BEFORE. Insert
3856 combined stmt before it if not NULL.
3857 (combine_chains): Process refs reversely and compute dominance point
3860 2017-01-23 Martin Liska <mliska@suse.cz>
3862 PR tree-optimization/79196
3863 * tree-ssa-strlen.c (fold_strstr_to_memcmp): Rename to ...
3864 (fold_strstr_to_strncmp): ... this. Fold the pattern to strncmp
3866 (strlen_optimize_stmt): Call the renamed function.
3868 2017-01-23 Michael Matz <matz@suse.de>
3870 PR tree-optimization/78384
3871 * tree-ssa-loop-split.c (patch_loop_exit): Use correct edge.
3873 2017-01-23 Richard Biener <rguenther@suse.de>
3875 PR tree-optimization/79186
3876 * tree-vrp.c (register_new_assert_for): Make sure we've seen
3877 both incoming edges before moving an assert.
3879 2017-01-23 Martin Jambor <mjambor@suse.cz>
3881 * ipa-prop.c (load_from_param_1): Removed.
3882 (load_from_unmodified_param): Bits from load_from_param_1 put back
3884 (load_from_param): Removed.
3885 (compute_complex_assign_jump_func): Removed stmt2 and just replaced it
3886 with stmt. Reverted back to use of load_from_unmodified_param.
3888 2017-01-23 Martin Jambor <mjambor@suse.cz>
3891 * ipa-prop.h (ipa_param_descriptor): Anotate with with GTY(()).
3892 (ipa_node_params): Annotate with GTY((for_user)). Make descriptors
3893 field a pointer to garbage collected vector, mark lattices and
3894 ipcp_orig_node with GTY((skip)).
3895 (ipa_get_param_count): Adjust to descriptors being a pointer.
3896 (ipa_get_param): Likewise.
3897 (ipa_get_type): Likewise.
3898 (ipa_get_param_move_cost): Likewise.
3899 (ipa_set_param_used): Likewise.
3900 (ipa_get_controlled_uses): Likewise.
3901 (ipa_set_controlled_uses): Likewise.
3902 (ipa_is_param_used): Likewise.
3903 (ipa_node_params_t): Move into garbage collector. New methods insert
3905 (ipa_node_params_sum): Annotate wth GTY(()).
3906 (ipa_check_create_node_params): Adjust to ipa_node_params_sum being
3908 (ipa_load_from_parm_agg): Adjust declaration.
3909 * ipa-icf.c (param_used_p): Adjust to descriptors being a pointer.
3910 * ipa-profile.c (ipa_profile): Likewise.
3911 * ipa-prop.c (ipa_get_param_decl_index_1): Likewise.
3912 (ipa_populate_param_decls): Make descriptors parameter garbage
3914 (ipa_dump_param): Adjust to descriptors being a pointer.
3915 (ipa_alloc_node_params): Likewise.
3916 (ipa_initialize_node_params): Likewise.
3917 (load_from_param_1): Make descriptors parameter garbage collected.
3918 (load_from_unmodified_param): Likewise.
3919 (load_from_param): Likewise.
3920 (ipa_load_from_parm_agg): Likewise.
3921 (ipa_node_params::~ipa_node_params): Removed.
3922 (ipa_free_all_node_params): Remove call to delete operator.
3923 (ipa_node_params_t::insert): New.
3924 (ipa_node_params_t::remove): Likewise.
3925 (ipa_node_params_t::duplicate): Adjust to descriptors being a pointer,
3926 copy known_csts and known_contexts vectors.
3927 (ipa_read_node_info): Adjust to descriptors being a pointer.
3928 (ipcp_modif_dom_walker): Make m_descriptors field garbage
3930 (ipcp_transform_function): Make descriptors variable garbage
3933 2017-01-23 Andrew Senkevich <andrew.senkevich@intel.com>
3935 * config/i386/avx512bwintrin.h: Add k-mask test, kortest intrinsics.
3936 * config/i386/avx512dqintrin.h: Ditto.
3937 * config/i386/avx512fintrin.h: Ditto.
3938 * gcc/config/i386/i386.c: Handle new builtins.
3939 * config/i386/i386-builtin.def: Add new builtins.
3940 * config/i386/sse.md (ktest<mode>, kortest<mode>): New.
3941 (UNSPEC_KORTEST, UNSPEC_KTEST): New.
3943 2017-01-23 Jakub Jelinek <jakub@redhat.com>
3944 Martin Liska <mliska@suse.cz>
3946 * asan.h: Define ASAN_USE_AFTER_SCOPE_ATTRIBUTE.
3947 * asan.c (asan_expand_poison_ifn): Support stores and use
3948 appropriate ASAN report function.
3949 * internal-fn.c (expand_ASAN_POISON_USE): New function.
3950 * internal-fn.def (ASAN_POISON_USE): Declare.
3951 * tree-into-ssa.c (maybe_add_asan_poison_write): New function.
3952 (maybe_register_def): Create ASAN_POISON_USE when sanitizing.
3953 * tree-ssa-dce.c (eliminate_unnecessary_stmts): Remove
3954 ASAN_POISON calls w/o LHS.
3955 * tree-ssa.c (execute_update_addresses_taken): Create clobber
3956 for ASAN_MARK (UNPOISON, &x, ...) in order to prevent usage of a LHS
3957 from ASAN_MARK (POISON, &x, ...) coming to a PHI node.
3958 * gimplify.c (asan_poison_variables): Add attribute
3959 use_after_scope_memory to variables that really needs to live
3961 * tree-ssa.c (is_asan_mark_p): Do not rewrite into SSA when
3962 having the attribute.
3964 2017-01-23 Martin Liska <mliska@suse.cz>
3966 * asan.c (create_asan_shadow_var): New function.
3967 (asan_expand_poison_ifn): Likewise.
3968 * asan.h (asan_expand_poison_ifn): New declaration.
3969 * internal-fn.c (expand_ASAN_POISON): Likewise.
3970 * internal-fn.def (ASAN_POISON): New builtin.
3971 * sanopt.c (pass_sanopt::execute): Expand
3972 asan_expand_poison_ifn.
3973 * tree-inline.c (copy_decl_for_dup_finish): Make function
3975 * tree-inline.h (copy_decl_for_dup_finish): Likewise.
3976 * tree-ssa.c (is_asan_mark_p): New function.
3977 (execute_update_addresses_taken): Rewrite local variables
3978 (identified just by use-after-scope as addressable) into SSA.
3980 2017-01-22 Gerald Pfeifer <gerald@pfeifer.com>
3982 * doc/install.texi (Specific): opensource.apple.com uses https
3983 now. Remove trailing slash.
3985 2017-01-22 Gerald Pfeifer <gerald@pfeifer.com>
3987 * README.Portability: Remove note on an Irix compatibility issue.
3989 2017-01-22 Dimitry Andric <dim@FreeBSD.org>
3991 * gcov.c (INCLUDE_ALGORITHM): Define.
3992 (INCLUDE_VECTOR): Define.
3993 No longer include <vector> and <algorithm> directly.
3995 2017-01-21 Gerald Pfeifer <gerald@pfeifer.com>
3997 * doc/extend.texi (Thread-Local): Change www.akkadia.org reference
3999 * doc/invoke.texi (Code Gen Options): Ditto.
4001 2017-01-21 Jan Hubicka <hubicka@ucw.cz>
4004 * cfg.c (update_bb_profile_for_threading): Fix updating of probablity.
4006 2017-01-21 Bernd Schmidt <bschmidt@redhat.com>
4008 rtl-optimization/79125
4009 * cprop.c (local_cprop_pass): Handle cases where we make an
4012 2017-01-20 Segher Boessenkool <segher@kernel.crashing.org>
4016 * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Adjust address to
4017 read from, for big endian.
4019 2017-01-20 Jiong Wang <jiong.wang@arm.com>
4021 * config/aarch64/aarch64-builtins.c (aarch64_init_builtins): Register
4022 register pauth builtins for LP64 only.
4024 2017-01-20 Marek Polacek <polacek@redhat.com>
4027 * gimplify.c (should_warn_for_implicit_fallthrough): Handle consecutive
4030 2017-01-20 Alexander Monakov <amonakov@ispras.ru>
4032 * omp-expand.c (expand_omp_simd): Clear PROP_gimple_lomp_dev regardless
4034 * omp-offload.c (pass_omp_device_lower::gate): Use PROP_gimple_lomp_dev.
4035 * passes.c (dump_properties): Handle PROP_gimple_lomp_dev.
4036 * tree-inline.c (expand_call_inline): Propagate PROP_gimple_lomp_dev.
4038 2017-01-20 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
4041 * config/arm/arm.c (neon_valid_immediate): Reject vector constants
4042 in big-endian mode when they are not a single duplicated value.
4044 2017-01-20 Richard Biener <rguenther@suse.de>
4046 * BASE-VER: Bump to 7.0.1.
4048 2017-01-20 Alexander Monakov <amonakov@ispras.ru>
4050 * omp-low.c (omplow_simd_context): New struct. Use it...
4051 (lower_rec_simd_input_clauses): ...here and...
4052 (lower_rec_input_clauses): ...here to hold common data. Adjust all
4053 references to idx, lane, max_vf, is_simt.
4055 2017-01-20 Graham Markall <graham.markall@embecosm.com>
4057 * config/arc/arc.h (LINK_SPEC): Use arclinux_nps emulation when
4060 2017-01-20 Martin Jambor <mjambor@suse.cz>
4062 * hsa.h: Renaed to hsa-common.h. Adjusted a comment.
4063 * hsa.c: Renaed to hsa-common.c. Change include of gt-hsa.h to
4065 * Makefile.in (OBJS): Rename hsa.o to hsa-common.o.
4066 (GTFILES): Rename hsa.c to hsa-common.c.
4067 * hsa-brig.c: Change include of hsa.h to hsa-common.h.
4068 * hsa-dump.c: Likewise.
4069 * hsa-gen.c: Likewise.
4070 * hsa-regalloc.c: Likewise.
4071 * ipa-hsa.c: Likewise.
4072 * omp-expand.c: Likewise.
4073 * omp-low.c: Likewise.
4074 * toplev.c: Likewise.
4076 2017-01-20 Marek Polacek <polacek@redhat.com>
4079 * doc/invoke.texi: Document -Wduplicated-branches.
4080 * fold-const.c (operand_equal_p): Handle MODIFY_EXPR, INIT_EXPR,
4081 COMPOUND_EXPR, PREDECREMENT_EXPR, PREINCREMENT_EXPR,
4082 POSTDECREMENT_EXPR, POSTINCREMENT_EXPR, CLEANUP_POINT_EXPR, EXPR_STMT,
4083 STATEMENT_LIST, and RETURN_EXPR. For non-pure non-const functions
4084 return 0 only when not OEP_LEXICOGRAPHIC.
4085 (fold_build_cleanup_point_expr): Use the expression
4086 location when building CLEANUP_POINT_EXPR.
4087 * tree-core.h (enum operand_equal_flag): Add OEP_LEXICOGRAPHIC.
4088 * tree.c (add_expr): Handle error_mark_node.
4090 2017-01-20 Martin Liska <mliska@suse.cz>
4093 * tree-profile.c (init_ic_make_global_vars): Do not call
4095 (gimple_init_gcov_profiler): Likewise.
4097 2017-01-20 Martin Liska <mliska@suse.cz>
4100 * cgraph.h (maybe_create_reference): Remove argument and
4102 * cgraphclones.c (cgraph_node::create_virtual_clone): Remove one
4104 * ipa-cp.c (create_specialized_node): Likewise.
4105 * symtab.c (symtab_node::maybe_create_reference): Handle
4106 VAR_DECLs and ADDR_EXPRs and select ipa_ref_use type.
4108 2017-01-20 Martin Liska <mliska@suse.cz>
4110 * read-rtl-function.c (function_reader::create_function): Use
4111 build_decl instread of build_decl_stat.
4113 2017-01-20 Andrew Senkevich <andrew.senkevich@intel.com>
4115 * config/i386/avx512bwintrin.h: Add k-mask registers shift intrinsics.
4116 * config/i386/avx512dqintrin.h: Ditto.
4117 * config/i386/avx512fintrin.h: Ditto.
4118 * config/i386/i386-builtin-types.def: Add new types.
4119 * gcc/config/i386/i386.c: Handle new types.
4120 * config/i386/i386-builtin.def (__builtin_ia32_kshiftliqi)
4121 (__builtin_ia32_kshiftlihi, __builtin_ia32_kshiftlisi)
4122 (__builtin_ia32_kshiftlidi, __builtin_ia32_kshiftriqi)
4123 (__builtin_ia32_kshiftrihi, __builtin_ia32_kshiftrisi)
4124 (__builtin_ia32_kshiftridi): New.
4125 * config/i386/sse.md (k<code><mode>): Rename *k<code><mode>.
4127 2017-01-19 Segher Boessenkool <segher@kernel.crashing.org>
4131 * config/rs6000/rs6000.c (TARGET_STACK_PROTECT_GUARD): Unconditionally
4132 define to rs6000_init_stack_protect_guard.
4133 (rs6000_init_stack_protect_guard): New function.
4135 2017-01-19 Matthew Fortune <matthew.fortune@imgtec.com>
4136 Yunqiang Su <yunqiang.su@imgtec.com>
4138 * config.gcc (supported_defaults): Add madd4.
4139 (with_madd4): Add validation.
4140 (all_defaults): Add madd4.
4141 * config/mips/mips.opt (mmadd4): New option.
4142 * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
4144 (TARGET_CPU_CPP_BUILTINS): Add builtin_define for
4146 (ISA_HAS_UNFUSED_MADD4): Gate with mips_madd4.
4147 (ISA_HAS_FUSED_MADD4): Likewise.
4148 * gcc/doc/invoke.texi (-mmadd4): Document the new option.
4149 * gcc/doc/install.texi (--with-madd4): Document the new option.
4151 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4153 * config/aarch64/aarch64-builtins.c (enum aarch64_builtins): New
4154 entries for AARCH64_PAUTH_BUILTIN_XPACLRI,
4155 AARCH64_PAUTH_BUILTIN_PACIA1716, AARCH64_PAUTH_BUILTIN_AUTIA1716.
4156 (aarch64_init_pauth_hint_builtins): New.
4157 (aarch64_init_builtins): Call aarch64_init_pauth_hint_builtins.
4158 (aarch64_expand_builtin): Expand new builtins.
4160 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4162 * reg-notes.def (CFA_TOGGLE_RA_MANGLE): New reg-note.
4163 * combine-stack-adj.c (no_unhandled_cfa): Handle
4164 REG_CFA_TOGGLE_RA_MANGLE.
4165 * dwarf2cfi.c (dwarf2out_frame_debug): Handle REG_CFA_TOGGLE_RA_MANGLE.
4166 * config/aarch64/aarch64.c (aarch64_expand_prologue): Generates DWARF
4167 info for return address signing.
4168 (aarch64_expand_epilogue): Likewise.
4170 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4172 * config/aarch64/aarch64-opts.h (aarch64_function_type): New enum.
4173 * config/aarch64/aarch64-protos.h
4174 (aarch64_return_address_signing_enabled): New declaration.
4175 * config/aarch64/aarch64.c (aarch64_return_address_signing_enabled):
4177 (aarch64_expand_prologue): Sign return address before it's pushed onto
4179 (aarch64_expand_epilogue): Authenticate return address fetched from
4181 (aarch64_override_options): Sanity check for ILP32 and ISA level.
4182 (aarch64_attributes): New function attributes for "sign-return-address".
4183 * config/aarch64/aarch64.md (UNSPEC_AUTI1716, UNSPEC_AUTISP,
4184 UNSPEC_PACI1716, UNSPEC_PACISP, UNSPEC_XPACLRI): New unspecs.
4185 ("*do_return"): Generate combined instructions according to key index.
4186 ("<pauth_mnem_prefix>sp", "<pauth_mnem_prefix1716", "xpaclri"): New.
4187 * config/aarch64/iterators.md (PAUTH_LR_SP, PAUTH_17_16): New integer
4189 (pauth_mnem_prefix, pauth_hint_num_a): New integer attributes.
4190 * config/aarch64/aarch64.opt (msign-return-address=): New.
4191 * doc/extend.texi (AArch64 Function Attributes): Documents
4192 "sign-return-address=".
4193 * doc/invoke.texi (AArch64 Options): Documents "-msign-return-address=".
4195 2017-01-19 Matthew Fortune <matthew.fortune@imgtec.com>
4197 * doc/invoke.texi: Add missing -mlxc1-sxc1 options to
4198 overall option summary.
4200 2017-01-19 Jiong Wang <jiong.wang@arm.com>
4202 * config/aarch64/aarch64-arches.def: New entry for "armv8.3-a".
4203 * config/aarch64/aarch64.h (AARCH64_FL_V8_3, AARCH64_FL_FOR_ARCH8_3,
4204 AARCH64_ISA_V8_3, TARGET_ARMV8_3): New.
4205 * doc/invoke.texi (AArch64 Options): Document "armv8.3-a".
4207 2017-01-19 Michael Meissner <meissner@linux.vnet.ibm.com>
4209 * config/rs6000/rs6000-cpus.def (ISA_3_0_MASKS_SERVER): Enable
4210 -mpower9-minmax by default for -mcpu=power9.
4211 (ISA_3_MASKS_IEEE): Require -mvsx-small-integer to enable IEEE
4212 128-bit floating point.
4214 2017-01-20 Alan Modra <amodra@gmail.com>
4216 * config/rs6000/rs6000.md (cmpstrnsi, cmpstrsi): Fail if
4217 optimizing for size.
4219 2017-01-20 Alan Modra <amodra@gmail.com>
4222 * config/rs6000/rs6000.c (expand_strn_compare): Get the asm name
4223 for strcmp and strncmp from corresponding builtin decl.
4225 2017-01-19 Uros Bizjak <ubizjak@gmail.com>
4227 * config.gcc (x86_64-*-rtems*): Use i386/rtemself.h
4228 instead of i386/rtems-64.h.
4229 * config/i386/rtems-64.h: Remove.
4231 2017-01-19 Uros Bizjak <ubizjak@gmail.com>
4235 2013-11-05 Uros Bizjak <ubizjak@gmail.com>
4237 * config/i386/rtemself.h (LONG_DOUBLE_TYPE_SIZE): New define.
4239 2017-01-19 Tamar Christina <tamar.christina@arm.com>
4241 * config/aarch64/aarch64.c (aarch64_simd_gen_const_vector_dup):
4242 Change int to HOST_WIDE_INT.
4243 * config/aarch64/aarch64-protos.h
4244 (aarch64_simd_gen_const_vector_dup): Likewise.
4245 * config/aarch64/aarch64-simd.md: Add copysign<mode>3.
4247 2017-01-19 David Malcolm <dmalcolm@redhat.com>
4249 * langhooks-def.h (lhd_type_for_size): New decl.
4250 (LANG_HOOKS_TYPE_FOR_SIZE): Define as lhd_type_for_size.
4251 * langhooks.c (lhd_type_for_size): New function, taken from
4254 2017-01-19 Pat Haugen <pthaugen@us.ibm.com>
4256 * config/rs6000/power9.md (power9-alu): Remove 'cmp' type and add
4257 define_bypass for CR latency.
4258 (power9-cracked-alu): Update bypass latency and remove power9-branch.
4259 (power9-alu2): Add define_bypass for CR latency.
4261 (power9-mul): Update insn latency.
4262 (power9-mul-compare): Update insn latency, bypass latency and remove
4265 2016-01-19 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
4267 * config/aarch64/aarch64-protos.h (aarch64_nopcrelative_literal_loads):
4269 * config/aarch64/aarch64.md
4270 (aarch64_reload_movcp<GPF_TF:mode><P:mode>): Delete reference to
4271 aarch64_nopcrelative_literal_loads.
4272 (aarch64_reload_movcp<VALL:mode><P:mode>): Likewise.
4274 2017-01-19 Chenghua Xu <paul.hua.gm@gmail.com>
4276 * config/mips/mips.h (ISA_HAS_FUSED_MADD4): Enable for
4278 (ISA_HAS_UNFUSED_MADD4): Exclude TARGET_LOONGSON_3A.
4280 2017-01-19 Doug Gilmore <doug.gilmore@imgtec.com>
4283 * config.gcc (supported_defaults): Add lxc1-sxc1.
4284 (with_lxc1_sxc1): Add validation.
4285 (all_defaults): Add lxc1-sxc1.
4286 * config/mips/mips.opt (mlxc1-sxc1): New option.
4287 * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
4289 (TARGET_CPU_CPP_BUILTINS): Add builtin_define for
4290 __mips_no_lxc1_sxc1.
4291 (ISA_HAS_LXC1_SXC1): Gate with mips_lxc1_sxc1.
4292 * gcc/doc/invoke.texi (-mlxc1-sxc1): Document the new option.
4293 * doc/install.texi (--with-lxc1-sxc1): Document the new option.
4295 2017-01-19 Richard Biener <rguenther@suse.de>
4297 PR tree-optimization/72488
4298 * tree-ssa-sccvn.c (run_scc_vn): When we abort the VN make
4299 sure to restore SSA info.
4300 * tree-ssa.c (verify_ssa): Verify SSA info is not shared.
4302 2017-01-19 Richard Earnshaw <rearnsha@arm.com>
4304 PR rtl-optimization/79121
4305 * expr.c (expand_expr_real_2, case LSHIFT_EXPR): Look at the signedness
4306 of the inner type when shifting an extended value.
4308 2017-01-17 Jan Hubicka <hubicka@ucw.cz>
4311 * symtab.c (symtab_node::equal_address_to): Fix comparing of
4312 interposable aliases.
4314 2017-01-18 Peter Bergner <bergner@vnet.ibm.com>
4317 * config/rs6000/spe.md (mov_si<mode>_e500_subreg0): Fix constraints.
4318 Use the evmergelohi instruction.
4319 (mov_si<mode>_e500_subreg4_2_le): Likewise.
4320 (mov_sitf_e500_subreg8_2_be): Likewise.
4321 (mov_sitf_e500_subreg12_2_le): Likewise.
4322 (mov_si<mode>_e500_subreg0_2_le): Fix constraints.
4323 (mov_si<mode>_e500_subreg4_2_be): Likewise.
4324 (mov_sitf_e500_subreg8_2_le): Likewise.
4325 (mov_sitf_e500_subreg12_2_be): Likewise.
4327 2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4329 * config/rs6000/altivec.md (altivec_vbpermq): Change "type"
4330 attribute from vecsimple to vecperm.
4331 (altivec_vbpermq2): Likewise.
4333 2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4336 * config/rs6000/altivec.h: Fix typo of vec_cntlz to vec_cnttz.
4338 2017-01-18 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
4339 * config/rs6000/rs6000-protos.h (expand_strn_compare): Add arg.
4340 * config/rs6000/rs6000.c (expand_strn_compare): Add ability to expand
4341 strcmp. Fix bug where comparison didn't stop with zero byte. Fix
4342 case where N arg is SIZE_MAX.
4343 * config/rs6000/rs6000.md (cmpstrnsi): Args to expand_strn_compare.
4344 (cmpstrsi): Add pattern.
4346 2017-01-18 Michael Meissner <meissner@linux.vnet.ibm.com>
4348 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add
4349 __builtin_vec_revb builtins.
4350 * config/rs6000/rs6000-builtins.def (P9V_BUILTIN_XXBRQ_V16QI): Add
4351 built-in functions to support generation of the ISA 3.0 XXBR<x>
4352 vector byte reverse instructions.
4353 (P9V_BUILTIN_XXBRQ_V1TI): Likewise.
4354 (P9V_BUILTIN_XXBRD_V2DI): Likewise.
4355 (P9V_BUILTIN_XXBRD_V2DF): Likewise.
4356 (P9V_BUILTIN_XXBGW_V4SI): Likewise.
4357 (P9V_BUILTIN_XXBGW_V4SF): Likewise.
4358 (P9V_BUILTIN_XXBGH_V8HI): Likewise.
4359 (P9V_BUILTIN_VEC_REVB): Likewise.
4360 * config/rs6000/vsx.md (p9_xxbrq_v1ti): New insns/expanders to
4361 generate the ISA 3.0 XXBR<x> vector byte reverse instructions.
4362 (p9_xxbrq_v16qi): Likewise.
4363 (p9_xxbrd_<mode>, VSX_D iterator): Likewise.
4364 (p9_xxbrw_<mode>, VSX_W iterator): Likewise.
4365 (p9_xxbrh_v8hi): Likewise.
4366 * config/rs6000/altivec.h (vec_revb): Define if ISA 3.0.
4367 * doc/extend.texi (RS/6000 Altivec Built-ins): Document the
4368 vec_revb built-in functions.
4370 2017-01-18 Uros Bizjak <ubizjak@gmail.com>
4372 PR rtl-optimization/78952
4373 * config/i386/i386.md (any_extract): New code iterator.
4374 (*insvqi_2): Use any_extract for source operand.
4375 (*insvqi_3): Use any_shiftrt for source operand.
4377 2017-01-18 Wilco Dijkstra <wdijkstr@arm.com>
4379 * config/aarch64/aarch64.c (aarch64_sched_adjust_priority)
4381 (TARGET_SCHED_ADJUST_PRIORITY): Define target hook.
4383 2017-01-18 Matthias Klose <doko@ubuntu.com>
4385 * doc/install.texi: Allow default for --with-target-bdw-gc-include.
4387 2016-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4389 * config/rs6000/altivec.h (vec_bperm): Change #define.
4390 * config/rs6000/altivec.md (UNSPEC_VBPERMD): New enum constant.
4391 (altivec_vbpermq2): New define_insn.
4392 (altivec_vbpermd): Likewise.
4393 * config/rs6000/rs6000-builtin.def (VBPERMQ2): New monomorphic
4395 (VBPERMD): Likewise.
4396 (VBPERM): New polymorphic function interface.
4397 * config/rs6000/r6000-c.c (altivec_overloaded_builtins_table):
4398 Add entries for P9V_BUILTIN_VEC_VBPERM.
4399 * doc/extend.texi: Add interfaces for vec_bperm.
4401 2017-01-18 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
4403 * config/s390/s390-c.c (s390_expand_overloaded_builtin): Downcase
4404 first letter of error messages.
4405 (s390_resolve_overloaded_builtin): Likewise.
4406 * config/s390/s390.c (s390_expand_builtin): Likewise.
4407 (s390_invalid_arg_for_unprototyped_fn): Likewise.
4408 (s390_valid_target_attribute_inner_p): Likewise.
4409 * config/s390/s390.md ("tabort"): Likewise.
4411 2017-01-18 Toma Tabacu <toma.tabacu@imgtec.com>
4413 * config/mips/mips.h (ISA_HAS_DIV3): Remove unused macro.
4414 (ISA_AVOID_DIV_HILO): New macro.
4415 (ISA_HAS_DIV): Use new ISA_AVOID_DIV_HILO macro.
4416 (ISA_HAS_DDIV): Likewise.
4418 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4420 * doc/invoke.texi (fabi-version): Correct number of occurrences.
4422 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4424 * doc/invoke.texi (fabi-version): Spelling fix.
4426 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4429 * doc/invoke.texi (fabi-version): Mention mangling fix for
4432 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
4435 * doc/invoke.texi (fabi-version): Document discriminator mangling.
4437 2017-01-17 Segher Boessenkool <segher@kernel.crashing.org>
4440 * config/rs6000/rs6000-opts.h (stack_protector_guard): New enum.
4441 * config/rs6000/rs6000.c (rs6000_option_override_internal): Handle
4443 * config/rs6000/rs6000.md (stack_protect_set): Handle the new more
4445 (stack_protect_test): Ditto.
4446 * config/rs6000/rs6000.opt (mstack-protector-guard=,
4447 mstack-protector-guard-reg=, mstack-protector-guard-offset=): New
4449 * doc/invoke.texi (Option Summary) [RS/6000 and PowerPC Options]:
4450 Add -mstack-protector-guard=, -mstack-protector-guard-reg=, and
4451 -mstack-protector-guard-offset=.
4452 (RS/6000 and PowerPC Options): Ditto.
4454 2017-01-17 Uros Bizjak <ubizjak@gmail.com>
4456 * config/i386/i386.h (MASK_CLASS_P): New define.
4457 * config/i386/i386.c (inline_secondary_memory_needed): Ensure that
4458 there are no registers from different register sets also when
4459 mask registers are used. Update function comment.
4460 * config/i386/i386.md (*movsi_internal): Split (*k/*krm) alternative
4461 to (*k/*r) and (*k/*km) alternatives.
4463 2017-01-17 Wilco Dijkstra <wdijkstr@arm.com>
4465 * config/aarch64/aarch64.md (eh_return): Remove pattern and splitter.
4466 * config/aarch64/aarch64.h (AARCH64_EH_STACKADJ_REGNUM): Remove.
4467 (EH_RETURN_HANDLER_RTX): New define.
4468 * config/aarch64/aarch64.c (aarch64_frame_pointer_required):
4469 Force frame pointer in EH return functions.
4470 (aarch64_expand_epilogue): Add barrier for eh_return.
4471 (aarch64_final_eh_return_addr): Remove.
4472 (aarch64_eh_return_handler_rtx): New function.
4473 * config/aarch64/aarch64-protos.h (aarch64_final_eh_return_addr):
4475 (aarch64_eh_return_handler_rtx): New prototype.
4477 2017-01-17 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4479 * config/rs6000/altivec.h (vec_rlmi): New #define.
4480 (vec_vrlnm): Likewise.
4481 (vec_rlnm): Likewise.
4482 * config/rs6000/altivec.md (UNSPEC_VRLMI): New UNSPEC enum value.
4483 (UNSPEC_VRLNM): Likewise.
4484 (VIlong): New mode iterator.
4485 (altivec_vrl<VI_char>mi): New define_insn.
4486 (altivec_vrl<VI_char>nm): Likewise.
4487 * config/rs6000/rs6000-builtin.def (VRLWNM): New monomorphic
4490 (RLNM): New polymorphic function entry.
4491 (VRLWMI): New monomorphic function entry.
4493 (RLMI): New polymorphic function entry.
4494 * config/rs6000/r6000-c.c (altivec_overloaded_builtin_table): Add
4495 new entries for P9V_BUILTIN_VEC_RLMI and P9V_BUILTIN_VEC_RLNM.
4496 * doc/extend.texi: Add description of vec_rlmi, vec_rlnm, and
4499 2017-01-17 Jakub Jelinek <jakub@redhat.com>
4502 * dwarf2out.c (field_byte_offset): Restore the
4503 PCC_BITFIELD_TYPE_MATTERS behavior for INTEGER_CST DECL_FIELD_OFFSET
4504 and DECL_FIELD_BIT_OFFSET. Use fold_build2 instead of build2 + fold.
4505 (analyze_variants_discr, gen_variant_part): Use fold_build2 instead
4508 2017-01-17 Eric Botcazou <ebotcazou@adacore.com>
4511 * config/aarch64/aarch64.c (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Define
4513 2017-01-17 Jakub Jelinek <jakub@redhat.com>
4516 * dwarf2out.c (add_data_member_location_attribute): For constant
4517 offset bitfield emit for -gdwarf-5 DW_AT_data_bit_offset attribute
4518 instead of DW_AT_data_member_location, DW_AT_bit_offset and
4519 DW_AT_byte_size attributes.
4521 2017-01-17 Eric Botcazou <ebotcazou@adacore.com>
4523 * config/rs6000/rs6000.c (rs6000_emit_move): Also use a TOC reference
4524 after forcing to constant memory when the code model is medium.
4526 2017-01-17 Julia Koval <julia.koval@intel.com>
4529 * config/i386/avx512fintrin.h
4530 (_mm512_i32gather_ps): Change __addr type to void const*.
4531 (_mm512_mask_i32gather_ps): Ditto.
4532 (_mm512_i32gather_pd): Ditto.
4533 (_mm512_mask_i32gather_pd): Ditto.
4534 (_mm512_i64gather_ps): Ditto.
4535 (_mm512_mask_i64gather_ps): Ditto.
4536 (_mm512_i64gather_pd): Ditto.
4537 (_mm512_mask_i64gather_pd): Ditto.
4538 (_mm512_i32gather_epi32): Ditto.
4539 (_mm512_mask_i32gather_epi32): Ditto.
4540 (_mm512_i32gather_epi64): Ditto.
4541 (_mm512_mask_i32gather_epi64): Ditto.
4542 (_mm512_i64gather_epi32): Ditto.
4543 (_mm512_mask_i64gather_epi32): Ditto.
4544 (_mm512_i64gather_epi64): Ditto.
4545 (_mm512_mask_i64gather_epi64): Ditto.
4546 (_mm512_i32scatter_ps): Change __addr type to void*.
4547 (_mm512_mask_i32scatter_ps): Ditto.
4548 (_mm512_i32scatter_pd): Ditto.
4549 (_mm512_mask_i32scatter_pd): Ditto.
4550 (_mm512_i64scatter_ps): Ditto.
4551 (_mm512_mask_i64scatter_ps): Ditto.
4552 (_mm512_i64scatter_pd): Ditto.
4553 (_mm512_mask_i64scatter_pd): Ditto.
4554 (_mm512_i32scatter_epi32): Ditto.
4555 (_mm512_mask_i32scatter_epi32): Ditto.
4556 (_mm512_i32scatter_epi64): Ditto.
4557 (_mm512_mask_i32scatter_epi64): Ditto.
4558 (_mm512_i64scatter_epi32): Ditto.
4559 (_mm512_mask_i64scatter_epi32): Ditto.
4560 (_mm512_i64scatter_epi64): Ditto.
4561 (_mm512_mask_i64scatter_epi64): Ditto.
4562 * config/i386/avx512pfintrin.h
4563 (_mm512_mask_prefetch_i32gather_pd): Change __addr type to void const*.
4564 (_mm512_mask_prefetch_i32gather_ps): Ditto.
4565 (_mm512_mask_prefetch_i64gather_pd): Ditto.
4566 (_mm512_mask_prefetch_i64gather_ps): Ditto.
4567 (_mm512_prefetch_i32scatter_pd): Change __addr type to void*.
4568 (_mm512_prefetch_i32scatter_ps): Ditto.
4569 (_mm512_mask_prefetch_i32scatter_pd): Ditto.
4570 (_mm512_mask_prefetch_i32scatter_ps): Ditto.
4571 (_mm512_prefetch_i64scatter_pd): Ditto.
4572 (_mm512_prefetch_i64scatter_ps): Ditto.
4573 (_mm512_mask_prefetch_i64scatter_pd): Ditto.
4574 (_mm512_mask_prefetch_i64scatter_ps): Ditto.
4575 * config/i386/avx512vlintrin.h
4576 (_mm256_mmask_i32gather_ps): Change __addr type to void const*.
4577 (_mm_mmask_i32gather_ps): Ditto.
4578 (_mm256_mmask_i32gather_pd): Ditto.
4579 (_mm_mmask_i32gather_pd): Ditto.
4580 (_mm256_mmask_i64gather_ps): Ditto.
4581 (_mm_mmask_i64gather_ps): Ditto.
4582 (_mm256_mmask_i64gather_pd): Ditto.
4583 (_mm_mmask_i64gather_pd): Ditto.
4584 (_mm256_mmask_i32gather_epi32): Ditto.
4585 (_mm_mmask_i32gather_epi32): Ditto.
4586 (_mm256_mmask_i32gather_epi64): Ditto.
4587 (_mm_mmask_i32gather_epi64): Ditto.
4588 (_mm256_mmask_i64gather_epi32): Ditto.
4589 (_mm_mmask_i64gather_epi32): Ditto.
4590 (_mm256_mmask_i64gather_epi64): Ditto.
4591 (_mm_mmask_i64gather_epi64): Ditto.
4592 (_mm256_i32scatter_ps): Change __addr type to void*.
4593 (_mm256_mask_i32scatter_ps): Ditto.
4594 (_mm_i32scatter_ps): Ditto.
4595 (_mm_mask_i32scatter_ps): Ditto.
4596 (_mm256_i32scatter_pd): Ditto.
4597 (_mm256_mask_i32scatter_pd): Ditto.
4598 (_mm_i32scatter_pd): Ditto.
4599 (_mm_mask_i32scatter_pd): Ditto.
4600 (_mm256_i64scatter_ps): Ditto.
4601 (_mm256_mask_i64scatter_ps): Ditto.
4602 (_mm_i64scatter_ps): Ditto.
4603 (_mm_mask_i64scatter_ps): Ditto.
4604 (_mm256_i64scatter_pd): Ditto.
4605 (_mm256_mask_i64scatter_pd): Ditto.
4606 (_mm_i64scatter_pd): Ditto.
4607 (_mm_mask_i64scatter_pd): Ditto.
4608 (_mm256_i32scatter_epi32): Ditto.
4609 (_mm256_mask_i32scatter_epi32): Ditto.
4610 (_mm_i32scatter_epi32): Ditto.
4611 (_mm_mask_i32scatter_epi32): Ditto.
4612 (_mm256_i32scatter_epi64): Ditto.
4613 (_mm256_mask_i32scatter_epi64): Ditto.
4614 (_mm_i32scatter_epi64): Ditto.
4615 (_mm_mask_i32scatter_epi64): Ditto.
4616 (_mm256_i64scatter_epi32): Ditto.
4617 (_mm256_mask_i64scatter_epi32): Ditto.
4618 (_mm_i64scatter_epi32): Ditto.
4619 (_mm_mask_i64scatter_epi32): Ditto.
4620 (_mm256_i64scatter_epi64): Ditto.
4621 (_mm256_mask_i64scatter_epi64): Ditto.
4622 (_mm_i64scatter_epi64): Ditto.
4623 (_mm_mask_i64scatter_epi64): Ditto.
4624 * config/i386/i386-builtin-types.def (V16SF_V16SF_PCFLOAT_V16SI_HI_INT)
4625 (V8DF_V8DF_PCDOUBLE_V8SI_QI_INT, V8SF_V8SF_PCFLOAT_V8DI_QI_INT)
4626 (V8DF_V8DF_PCDOUBLE_V8DI_QI_INT, V16SI_V16SI_PCINT_V16SI_HI_INT)
4627 (V8DI_V8DI_PCINT64_V8SI_QI_INT, V8SI_V8SI_PCINT_V8DI_QI_INT)
4628 (V8DI_V8DI_PCINT64_V8DI_QI_INT, V2DF_V2DF_PCDOUBLE_V4SI_QI_INT)
4629 (V4DF_V4DF_PCDOUBLE_V4SI_QI_INT, V2DF_V2DF_PCDOUBLE_V2DI_QI_INT)
4630 (V4DF_V4DF_PCDOUBLE_V4DI_QI_INT, V4SF_V4SF_PCFLOAT_V4SI_QI_INT)
4631 (V8SF_V8SF_PCFLOAT_V8SI_QI_INT, V4SF_V4SF_PCFLOAT_V2DI_QI_INT)
4632 (V4SF_V4SF_PCFLOAT_V4DI_QI_INT, V2DI_V2DI_PCINT64_V4SI_QI_INT)
4633 (V4DI_V4DI_PCINT64_V4SI_QI_INT, V2DI_V2DI_PCINT64_V2DI_QI_INT)
4634 (V4DI_V4DI_PCINT64_V4DI_QI_INT, V4SI_V4SI_PCINT_V4SI_QI_INT)
4635 (V8SI_V8SI_PCINT_V8SI_QI_INT, V4SI_V4SI_PCINT_V2DI_QI_INT)
4636 (V4SI_V4SI_PCINT_V4DI_QI_INT, VOID_PFLOAT_HI_V16SI_V16SF_INT)
4637 (VOID_PFLOAT_QI_V8SI_V8SF_INT, VOID_PFLOAT_QI_V4SI_V4SF_INT)
4638 (VOID_PDOUBLE_QI_V8SI_V8DF_INT, VOID_PDOUBLE_QI_V4SI_V4DF_INT)
4639 (VOID_PDOUBLE_QI_V4SI_V2DF_INT, VOID_PFLOAT_QI_V8DI_V8SF_INT)
4640 (VOID_PFLOAT_QI_V4DI_V4SF_INT, VOID_PFLOAT_QI_V2DI_V4SF_INT)
4641 (VOID_PDOUBLE_QI_V8DI_V8DF_INT, VOID_PDOUBLE_QI_V4DI_V4DF_INT)
4642 (VOID_PDOUBLE_QI_V2DI_V2DF_INT, VOID_PINT_HI_V16SI_V16SI_INT)
4643 (VOID_PINT_QI_V8SI_V8SI_INT, VOID_PINT_QI_V4SI_V4SI_INT)
4644 (VOID_PLONGLONG_QI_V8SI_V8DI_INT, VOID_PLONGLONG_QI_V4SI_V4DI_INT)
4645 (VOID_PLONGLONG_QI_V4SI_V2DI_INT, VOID_PINT_QI_V8DI_V8SI_INT)
4646 (VOID_PINT_QI_V4DI_V4SI_INT, VOID_PINT_QI_V2DI_V4SI_INT)
4647 (VOID_PLONGLONG_QI_V8DI_V8DI_INT, VOID_QI_V8SI_PCINT64_INT_INT)
4648 (VOID_PLONGLONG_QI_V4DI_V4DI_INT, VOID_PLONGLONG_QI_V2DI_V2DI_INT)
4649 (VOID_HI_V16SI_PCINT_INT_INT, VOID_QI_V8DI_PCINT64_INT_INT)
4650 (VOID_QI_V8DI_PCINT_INT_INT): Remove.
4651 (V16SF_V16SF_PCVOID_V16SI_HI_INT, V8DF_V8DF_PCVOID_V8SI_QI_INT)
4652 (V8SF_V8SF_PCVOID_V8DI_QI_INT, V8DF_V8DF_PCVOID_V8DI_QI_INT)
4653 (V16SI_V16SI_PCVOID_V16SI_HI_INT, V8DI_V8DI_PCVOID_V8SI_QI_INT)
4654 (V8SI_V8SI_PCVOID_V8DI_QI_INT, V8DI_V8DI_PCVOID_V8DI_QI_INT)
4655 (VOID_PVOID_HI_V16SI_V16SF_INT, VOID_PVOID_QI_V8SI_V8DF_INT)
4656 (VOID_PVOID_QI_V8DI_V8SF_INT, VOID_PVOID_QI_V8DI_V8DF_INT)
4657 (VOID_PVOID_HI_V16SI_V16SI_INT, VOID_PVOID_QI_V8SI_V8DI_INT)
4658 (VOID_PVOID_QI_V8DI_V8SI_INT, VOID_PVOID_QI_V8DI_V8DI_INT)
4659 (V2DF_V2DF_PCVOID_V4SI_QI_INT, V4DF_V4DF_PCVOID_V4SI_QI_INT)
4660 (V2DF_V2DF_PCVOID_V2DI_QI_INT, V4DF_V4DF_PCVOID_V4DI_QI_INT
4661 (V4SF_V4SF_PCVOID_V4SI_QI_INT, V8SF_V8SF_PCVOID_V8SI_QI_INT)
4662 (V4SF_V4SF_PCVOID_V2DI_QI_INT, V4SF_V4SF_PCVOID_V4DI_QI_INT)
4663 (V2DI_V2DI_PCVOID_V4SI_QI_INT, V4DI_V4DI_PCVOID_V4SI_QI_INT)
4664 (V2DI_V2DI_PCVOID_V2DI_QI_INT, V4DI_V4DI_PCVOID_V4DI_QI_INT)
4665 (V4SI_V4SI_PCVOID_V4SI_QI_INT, V8SI_V8SI_PCVOID_V8SI_QI_INT)
4666 (V4SI_V4SI_PCVOID_V2DI_QI_INT, V4SI_V4SI_PCVOID_V4DI_QI_INT)
4667 (VOID_PVOID_QI_V8SI_V8SF_INT, VOID_PVOID_QI_V4SI_V4SF_INT)
4668 (VOID_PVOID_QI_V4SI_V4DF_INT, VOID_PVOID_QI_V4SI_V2DF_INT)
4669 (VOID_PVOID_QI_V4DI_V4SF_INT, VOID_PVOID_QI_V2DI_V4SF_INT)
4670 (VOID_PVOID_QI_V4DI_V4DF_INT, VOID_PVOID_QI_V2DI_V2DF_INT)
4671 (VOID_PVOID_QI_V8SI_V8SI_INT, VOID_PVOID_QI_V4SI_V4SI_INT)
4672 (VOID_PVOID_QI_V4SI_V4DI_INT, VOID_PVOID_QI_V4SI_V2DI_INT)
4673 (VOID_PVOID_QI_V4DI_V4SI_INT, VOID_PVOID_QI_V2DI_V4SI_INT)
4674 (VOID_PVOID_QI_V4DI_V4DI_INT, VOID_PVOID_QI_V2DI_V2DI_INT)
4675 (VOID_QI_V8SI_PCVOID_INT_INT, VOID_HI_V16SI_PCVOID_INT_INT)
4676 (VOID_QI_V8DI_PCVOID_INT_INT): Add.
4677 * config/i386/i386.c (ix86_init_mmx_sse_builtins): Adjust builtin
4678 definitions accordingly.
4680 2017-01-17 Kito Cheng <kito.cheng@gmail.com>
4681 Kuan-Lin Chen <kuanlinchentw@gmail.com>
4684 * internal-fn.c (expand_mul_overflow): Use convert_modes instead of
4687 2017-01-17 Vladimir Makarov <vmakarov@redhat.com>
4690 * ira-conflicts.c (ira_build_conflicts): Update total conflict
4691 hard regs for inner regno.
4693 2017-01-17 Martin Liska <mliska@suse.cz>
4696 * ipa-polymorphic-call.c (contains_type_p): Fix wrong
4697 assumption and add comment.
4699 2017-01-17 Nathan Sidwell <nathan@acm.org>
4701 * ipa-visibility.c (localize_node): New function, broken out of ...
4702 (function_and_variable_visibility): ... here. Call it.
4704 2017-01-17 Jan Hubicka <hubicka@ucw.cz>
4707 * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges):
4708 correctly set frequency of oudgoing edge.
4709 (duplicate_thread_path): Fix profile updating.
4711 2017-01-17 Jakub Jelinek <jakub@redhat.com>
4714 * configure.ac: Add GCC_BASE_VER.
4715 * Makefile.in (version): Use @get_gcc_base_ver@ instead of cat to get
4716 version from BASE-VER file.
4717 (CFLAGS-gcc.o): Add -DBASEVER=$(BASEVER_s).
4718 (gcc.o): Depend on $(BASEVER).
4719 * common.opt (dumpfullversion): New option.
4720 * gcc.c (driver_handle_option): Handle OPT_dumpfullversion.
4721 * doc/invoke.texi: Document -dumpfullversion.
4722 * doc/install.texi: Document --with-gcc-major-version-only.
4723 * configure: Regenerated.
4725 2017-01-17 Richard Biener <rguenther@suse.de>
4727 PR tree-optimization/71433
4728 * tree-vrp.c (register_new_assert_for): Merge same asserts
4729 on all incoming edges.
4730 (process_assert_insertions_for): Handle insertions at the
4733 2017-01-17 Gerald Pfeifer <gerald@pfeifer.com>
4735 * config/i386/cygwin.h (LIBGCJ_SONAME): Remove.
4736 * config/i386/mingw32.h (LIBGCJ_SONAME): Remove.
4738 2017-01-17 Kaz Kojima <kkojima@gcc.gnu.org>
4741 * config/sh/sh.md (cmpeqsi_t+1): Call copy_rtx to avoid invalid
4744 2017-01-17 Alan Modra <amodra@gmail.com>
4747 * config/rs6000/rs6000.md (elf_high, elf_low): Disable when pic.
4748 * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Don't allow
4749 symbolic stack limit when pic.
4751 2017-01-16 Martin Sebor <msebor@redhat.com>
4753 PR tree-optimization/78608
4754 * gimple-ssa-sprintf.c (tree_digits): Avoid negating TYPE_MIN.
4756 2017-01-16 Jeff Law <law@redhat.com>
4759 2016-12-02 Tadek Kijkowski <tkijkowski@gmail.com>
4760 * Makefile.in (PREPROCESSOR_DEFINES): Add a level of indirection
4761 for several include directories that may be relative to sysroot.
4762 * config/i386/x-mingw32 (gplus_includedir): Define.
4763 (gplus_tool_includedir, gplus_backward_include_dir): Likewise.
4764 (native_system_includedir): Likewise.
4765 * config/i386/mingw32.h (STANDARD_STARTFILE_PREFIX_1): Do not
4766 override if TARGET_SYSTEM_ROOT is defined.
4767 (NATIVE_SYSTEM_HEADER_DIR): Likewise.
4769 PR tree-optimization/79090
4770 PR tree-optimization/33562
4771 PR tree-optimization/61912
4772 PR tree-optimization/77485
4773 * tree-ssa-dse.c (compute_trims): Accept STMT argument. Dump STMT
4774 and computed trims into the dump file.
4776 2017-01-17 Uros Bizjak <ubizjak@gmail.com>
4778 * config/i386/i386.h (LIMIT_RELOAD_CLASS): Remove.
4780 2017-01-16 Jakub Jelinek <jakub@redhat.com>
4783 * gimplify.c (gimplify_init_constructor): If want_value and
4784 object == lhs, unshare lhs to avoid invalid tree sharing. Formatting
4788 * loop-doloop.c (doloop_modify): Call unshare_all_rtl_in_chain on
4789 sequence. Formatting fixes.
4790 (doloop_optimize): Formatting fixes.
4793 * gcc.c (debug_level_greater_than_spec_func): New function.
4794 (static_spec_functions): Add debug-level-gt spec function.
4795 (ASM_DEBUG_SPEC, cpp_options): Use %:debug-level-gt(0) instead of
4797 * config/darwin.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
4798 * config/darwin9.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
4799 * common.opt (g, gcoff, gdwarf, gdwarf-, ggdb, gno-pubnames,
4800 gpubnames, ggnu-pubnames, gno-record-gcc-switches,
4801 grecord-gcc-switches, gno-strict-dwarf, gstrict-dwarf, gstabs,
4802 gstabs+, gtoggle, gvms, gxcoff, gxcoff+): Add Driver flag.
4804 2017-01-16 Uros Bizjak <ubizjak@gmail.com>
4806 * config/i386/i386.h (HARD_REGNO_CALLER_SAVE_MODE): Apply HImode and
4807 QImode fixups to general and mask registers only.
4809 2017-01-16 Carl Love <cel@us.ibm.com>
4811 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Add support
4812 for built-in functions
4813 vector signed char vec_nabs (vector signed char)
4814 vector signed short vec_nabs (vector signed short)
4815 vector signed int vec_nabs (vector signed int)
4816 vector signed long long vec_nabs (vector signed long long)
4817 vector float vec_nabs (vector float)
4818 vector double vec_nabs (vector double)
4819 * config/rs6000/rs6000-builtin.def: Add definitions for NABS functions
4821 * config/rs6000/altivec.md: New define_expand nabs<mode>2 types
4822 * config/rs6000/altivec.h: New define for vec_nabs built-in function.
4823 * doc/extend.texi: Update the documentation file for the new built-in
4826 2017-01-16 Martin Sebor <msebor@redhat.com>
4828 * gimple-ssa-sprintf.c (format_directive): Correct a typo in a warning
4831 2017-01-16 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
4833 * config/rs6000/rs6000.c (rtx_is_swappable_p): Change
4834 UNSPEC_VSX__XXSPLTD to require special splat handling.
4836 2017-01-16 David Malcolm <dmalcolm@redhat.com>
4839 * system.h: Poison strndup.
4841 2017-01-16 Alan Modra <amodra@gmail.com>
4844 * config/rs6000/rs6000.c (rs6000_legitimate_combined_insn): Don't
4847 2017-01-16 Georg-Johann Lay <avr@gjlay.de>
4849 * config/avr/avr.h (BRANCH_COST) [reload_completed]: Increase by 4.
4851 2017-01-15 Uros Bizjak <ubizjak@gmail.com>
4853 * config/i386/i386.c (ix86_legitimate_combined_insn): Do not
4854 call recog here. Assert that INSN_CODE (insn) is non-negative.
4856 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
4859 * cfgrtl.c (rtl_split_edge): Also patch jump insns that jump to the
4861 * haifa-sched.c (dump_insn_stream): Don't crash if there is a label
4862 in the currently scheduled RTL fragment.
4864 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
4866 PR rtl-optimization/78751
4867 * ifcvt.c (find_cond_trap): If we generated a non-existing insn,
4870 2017-01-14 Jeff Law <law@redhat.com>
4872 PR tree-optimization/79090
4873 * tree-ssa-dse.c (valid_ao_ref_for_dse): Reject zero length and
4874 variable length stores.
4875 (compute_trims): Delete dead assignment to *trim_tail.
4876 (dse_dom_walker::dse_optimize_stmt): Optimize mem* calls with
4879 2017-01-14 Bernd Schmidt <bschmidt@redhat.com>
4881 PR rtl-optimization/78626
4882 PR rtl-optimization/78727
4883 * cprop.c (one_cprop_pass): Collect unconditional traps in the middle
4884 of a block, and split such blocks after everything else is finished.
4886 2017-01-14 Alan Modra <amodra@gmail.com>
4889 * combine.c (recog_for_combine_1): Set INSN_CODE before calling
4890 target legitimate_combined_insn.
4891 * config/rs6000/rs6000.c (TARGET_LEGITIMATE_COMBINED_INSN): Define.
4892 (rs6000_legitimate_combined_insn): New function.
4893 * config/rs6000/rs6000.md (UNSPEC_DOLOOP): Delete, and remove
4895 (ctr<mode>_internal3): Rename from *ctr<mode>_internal5.
4896 (ctr<mode>_internal4): Rename from *ctr<mode>_internal6.
4897 (ctr<mode>_internal1, ctr<mode>_internal2): Remove '*' from name.
4899 2017-01-14 Gerald Pfeifer <gerald@pfeifer.com>
4901 * doc/frontends.texi (G++ and GCC): Remove references to Java.
4903 2017-01-13 Jeff Law <law@redhat.com>
4905 PR tree-optimization/33562
4906 PR tree-optimization/61912
4907 PR tree-optimization/77485
4908 * tree-ssa-dse.c (delete_dead_call): Accept gsi rather than
4910 (delete_dead_assignment): Likewise.
4911 (dse_dom_walker::dse_optimize_stmt): Pass in the gsi rather than
4912 statement to delete_dead_call and delete_dead_assignment.
4914 2017-01-13 David Malcolm <dmalcolm@redhat.com>
4917 * substring-locations.c (format_warning_va): Strengthen case 1 so
4918 that both endpoints of the substring must be within the format
4919 range for just the substring to be printed.
4921 2017-01-13 Uros Bizjak <ubizjak@gmail.com>
4923 * config/i386/i386.opt (msgx): Use ix86_isa_flags2 variable.
4924 * config/i386/i386.c (ix86_target_string): Add missing options
4925 to isa_opts and reorder options by implied ISAs. Rename isa_opts2 to
4926 isa2_opts, ix86_flag_opts to flag2_opts, ix86_target_other to
4927 flags_other and ix86_target_other to flags2_other. Display unknown
4929 (ix86_valid_target_attribute_inner_p): Add missing options and
4930 reorder options by implied ISAs, as in ix86_target_string.
4932 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
4934 * hash-table.h (hash_table::too_empty_p): New function.
4935 (hash_table::expand): Use it.
4936 (hash_table::traverse): Likewise.
4937 (hash_table::empty_slot): Use sizeof (value_type) instead of
4938 sizeof (PTR) to convert bytes to elements. Shrink the table
4939 if the current size is excessive for the current number of
4942 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
4944 * ira-costs.c (record_reg_classes): Break from the inner loop
4945 early once alt_fail is known to be true. Update outer loop
4946 handling accordingly.
4948 2017-01-13 Jeff Law <law@redhat.com>
4950 * tree-ssa-dse.c (decrement_count): New function.
4951 (increment_start_addr, maybe_trim_memstar_call): Likewise.
4952 (dse_dom_walker::optimize_stmt): Call maybe_trim_memstar_call directly
4953 when we know the partially dead statement is a mem* function.
4955 PR tree-optimization/61912
4956 PR tree-optimization/77485
4957 * tree-ssa-dse.c: Include expr.h.
4958 (maybe_trim_constructor_store): New function.
4959 (maybe_trim_partially_dead_store): Call maybe_trim_constructor_store.
4961 PR tree-optimization/33562
4962 PR tree-optimization/61912
4963 PR tree-optimization/77485
4964 * doc/invoke.texi: Document new dse-max-object-size param.
4965 * params.def (PARM_DSE_MAX_OBJECT_SIZE): New PARAM.
4966 * tree-ssa-dse.c: Include params.h.
4967 (dse_store_status): New enum.
4968 (initialize_ao_ref_for_dse): New, partially extracted from
4970 (valid_ao_ref_for_dse, normalize_ref): New.
4971 (setup_live_bytes_from_ref, compute_trims): Likewise.
4972 (clear_bytes_written_by, maybe_trim_complex_store): Likewise.
4973 (maybe_trim_partially_dead_store): Likewise.
4974 (maybe_trim_complex_store): Likewise.
4975 (dse_classify_store): Renamed from dse_possibly_dead_store_p.
4976 Track what bytes live from the original store. Return tri-state
4977 for dead, partially dead or live.
4978 (dse_dom_walker): Add constructor, destructor and new private members.
4979 (delete_dead_call, delete_dead_assignment): New extracted from
4981 (dse_optimize_stmt): Make a member of dse_dom_walker.
4982 Use initialize_ao_ref_for_dse.
4984 PR tree-optimization/33562
4985 PR tree-optimization/61912
4986 PR tree-optimization/77485
4987 * sbitmap.h (bitmap_count_bits): Prototype.
4988 (bitmap_clear_range, bitmap_set_range): Likewise.
4989 * sbitmap.c (bitmap_clear_range): New function.
4990 (bitmap_set_range, sbitmap_popcount, bitmap_count_bits): Likewise.
4992 2017-01-13 Martin Liska <mliska@suse.cz>
4995 * function.c (set_cfun): Add new argument force.
4996 * function.h (set_cfun): Likewise.
4997 * ipa-inline-transform.c (inline_call): Use the function when
4998 strict alising from is dropped for function we inline to.
5000 2017-01-13 Richard Biener <rguenther@suse.de>
5002 * tree-pretty-print.c (dump_generic_node): Fix inverted condition
5003 for dumping GIMPLE INTEGER_CSTs.
5005 2017-01-13 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
5007 * config/sol2.h (TARGET_OS_CPP_BUILTINS): Define __STDC_VERSION__
5008 to 201112L since C++17.
5010 2017-01-13 Maxim Ostapenko <m.ostapenko@samsung.com>
5013 * asan.c (asan_needs_odr_indicator_p): Don't emit ODR indicators
5014 if -fsanitize=kernel-address is present.
5016 2017-01-13 Richard Biener <rguenther@suse.de>
5018 * tree-pretty-print.c (dump_generic_node): Dump INTEGER_CSTs
5019 as _Literal ( type ) number in case usual suffixes do not
5020 preserve all information.
5022 2017-01-13 Richard Biener <rguenther@suse.de>
5024 PR tree-optimization/77283
5025 * gimple-ssa-split-paths.c: Include gimple-ssa.h, tree-phinodes.h
5026 and ssa-iterators.h.
5027 (is_feasible_trace): Implement a cost model based on joiner
5030 2017-01-12 Michael Meissner <meissner@linux.vnet.ibm.com>
5033 * config/rs6000/rs6000.md (FP_ISA3): Do not optimize converting
5034 char or short to __float128/_Float128 directly.
5036 2017-01-12 Martin Sebor <msebor@redhat.com>
5038 to -Wformat-overflow.
5039 * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust.
5040 (min_bytes_remaining): Same.
5041 (get_string_length): Same.
5042 (format_string): Same.
5043 (format_directive): Same.
5045 (pass_sprintf_length::handle_gimple_call): Same.
5047 2017-01-12 Jakub Jelinek <jakub@redhat.com>
5049 * gimple-ssa-sprintf.c (try_substitute_return_value): Remove
5050 info.nowrite calls with no lhs that can't throw. Return bool
5051 whether gsi_remove has been called or not.
5052 (pass_sprintf_length::handle_gimple_call): Return bool whether
5053 try_substitute_return_value called gsi_remove. Formatting fix.
5054 (pass_sprintf_length::execute): Don't use gsi_remove if
5055 handle_gimple_call returned true.
5058 * cfgrtl.c (rtl_tidy_fallthru_edge): For any_uncondjump_p that can't
5059 be removed due to side-effects, don't remove following barrier nor
5060 turn the successor edge into fallthru edge.
5062 2017-01-12 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
5065 * config/rs6000/rs6000.c (insn_is_swappable_p): Mark
5066 element-reversing loads and stores as not swappable.
5068 2017-01-12 Nathan Sidwell <nathan@acm.org>
5069 Nicolai Stange <nicstange@gmail.com>
5071 * combine.c (try_combine): Don't ignore result of overlap checking
5072 loop. Combine overlap & asm check into single loop.
5074 2017-01-12 Richard Biener <rguenther@suse.de>
5076 * tree-pretty-print.c (dump_generic_node): Provide -gimple
5077 variant for MEM_REF. Sanitize INTEGER_CST for -gimple.
5079 2017-01-12 Richard Biener <rguenther@suse.de>
5081 * tree.c (initialize_tree_contains_struct): Make TS_OPTIMIZATION
5082 and TS_TARGET_OPTION directly derive from TS_BASE.
5083 * tree-core.h (tree_optimization_option): Derive from tree_base.
5084 (tree_target_option): Likewise.
5086 2017-01-11 Uros Bizjak <ubizjak@gmail.com>
5088 * config/i386/i386.c (memory_address_length): Increase len
5089 only when rip_relative_addr_p returns false.
5091 2017-01-11 Julia Koval <julia.koval@intel.com>
5093 * common/config/i386/i386-common.c (OPTION_MASK_ISA_SGX_UNSET): New.
5094 (OPTION_MASK_ISA_SGX_SET): New.
5095 (ix86_handle_option): Handle OPT_msgx.
5096 * config.gcc: Added sgxintrin.h.
5097 * config/i386/driver-i386.c (host_detect_local_cpu): Detect sgx.
5098 * config/i386/i386-c.c (ix86_target_macros_internal): Define __SGX__.
5099 * config/i386/i386.c (ix86_target_string): Add -msgx.
5101 (ix86_option_override_internal): Handle new options.
5102 (ix86_valid_target_attribute_inner_p): Add sgx.
5103 * config/i386/i386.h (TARGET_SGX, TARGET_SGX_P): New.
5104 * config/i386/i386.opt: Add msgx.
5105 * config/i386/sgxintrin.h: New file.
5106 * config/i386/x86intrin.h: Add sgxintrin.h.
5108 2017-01-11 Jakub Jelinek <jakub@redhat.com>
5111 * fold-const.c (maybe_nonzero_address): Return 1 for function
5113 (tree_single_nonzero_warnv_p): Don't handle function local objects
5117 * gcc.c (default_compilers): Don't add -o %g.s for -S -save-temps
5120 2017-01-11 David Malcolm <dmalcolm@redhat.com>
5123 * opts.c: Include "spellcheck.h"
5124 (struct string_fragment): New struct.
5125 (struct edit_distance_traits<const string_fragment &>): New
5127 (get_closest_sanitizer_option): New function.
5128 (parse_sanitizer_options): Offer suggestions for unrecognized arguments.
5130 2017-01-11 Jakub Jelinek <jakub@redhat.com>
5132 * dwarf2out.c (DWARF_COMPILE_UNIT_HEADER_SIZE): For DWARF5 decrease
5134 (DWARF_COMDAT_TYPE_UNIT_HEADER_SIZE): Always
5135 DWARF_COMPILE_UNIT_HEADER_SIZE plus 12.
5136 (DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE): Define.
5137 (calc_base_type_die_sizes): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE
5138 for initial die_offset if dwarf_split_debug_info.
5139 (output_comp_unit): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE for
5140 initial next_die_offset if dwo_id is non-NULL. Don't emit padding
5142 (output_skeleton_debug_sections): Formatting fix. Use
5143 DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE instead of
5144 DWARF_COMPILE_UNIT_HEADER_SIZE. Don't emit padding.
5146 2017-01-11 Wilco Dijkstra <wdijkstr@arm.com>
5148 * config/arm/cortex-a53.md: Add bypasses for
5150 (cortex_a53_r2f): Only use for transfers.
5151 (cortex_a53_f2r): Likewise.
5152 (cortex_a53_r2f_cvt): Add reservation for conversions.
5153 (cortex_a53_f2r_cvt): Likewise.
5155 2017-01-11 Tamar Christina <tamar.christina@arm.com>
5157 * config/arm/arm_neon.h: Add __artificial__ and gnu_inline
5158 to all inlined functions, change static to extern.
5160 2017-01-11 Christophe Lyon <christophe.lyon@linaro.org>
5163 * config/arm/arm.c (legitimize_pic_address): Handle reference to
5165 (arm_assemble_integer): Likewise.
5167 2017-01-11 Richard Earnshaw <rearnsha@arm.com>
5169 * config.gcc: Use new awk script to check CPU, FPU and architecture
5170 parameters for --with-... options.
5171 * config/arm/parsecpu.awk: New file
5172 * config/arm/arm-cpus.in: New file.
5173 * config/arm/arm-opts.h: Include arm-cpu.h instead of processing .def
5175 * config/arm/arm.c: Include arm-cpu-data.h instead of processing .def
5177 * config/arm/t-arm: Update dependency rules.
5178 * common/config/arm/arm-common.c: Include arm-cpu-cdata.h instead
5179 of processing .def files.
5180 * config/arm/genopt.sh: Deleted.
5181 * config/arm/gentune.sh: Deleted.
5182 * config/arm/arm-cores.def: Deleted.
5183 * config/arm/arm-arches.def: Deleted.
5184 * config/arm/arm-fpus.def: Deleted.
5185 * config/arm/arm-tune.md: Regenerated.
5186 * config/arm/arm-tables.opt: Regenerated.
5187 * config/arm/arm-cpu.h: New generated file.
5188 * config/arm/arm-cpu-data.h: New generated file.
5189 * config/arm/arm-cpu-cdata.h: New generated file.
5191 2017-01-11 Maxim Ostapenko <m.ostapenko@samsung.com>
5194 * lto-cgraph.c (lto_output_varpool_node): Pack dynamically_initialized
5196 (input_varpool_node): Unpack dynamically_initialized bit.
5198 2017-01-11 Eric Botcazou <ebotcazou@adacore.com>
5200 PR rtl-optimization/79032
5201 * lra-constraints.c (simplify_operand_subreg): In the MEM case, test
5202 the alignment of the adjusted memory reference against that of MODE,
5203 instead of the alignment of the original memory reference.
5205 2017-01-11 Martin Jambor <mjambor@suse.cz>
5207 * hsa.c (hsa_callable_function_p): Revert addition of DECL_ARTIFICIAL
5209 * ipa-hsa.c (process_hsa_functions): Only duplicate non-artificial
5210 decorated functions.
5212 2017-01-11 Richard Biener <rguenther@suse.de>
5214 * tree-vrp.c (evrp_dom_walker::before_dom_children): Also
5215 set range/nonnull info for PHI results. Do not set it on
5216 stmts marked for removal.
5218 2017-01-10 Eric Botcazou <ebotcazou@adacore.com>
5220 * expr.c (store_field): In the bitfield case, fetch the return value
5221 from the registers before applying a single big-endian adjustment.
5222 Always do a final load for a BLKmode value not larger than a word.
5224 2017-01-10 David Malcolm <dmalcolm@redhat.com>
5227 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
5228 that we correctly handle column numbers greater than
5229 LINE_MAP_MAX_COLUMN_NUMBER.
5231 2017-01-10 Martin Sebor <msebor@redhat.com>
5234 * gimple-ssa-sprintf.c (get_destination_size): Call
5235 {init,fini}object_sizes.
5236 * tree-object-size.c (addr_object_size): Adjust.
5237 (pass_through_call): Adjust.
5238 (pass_object_sizes::execute): Adjust.
5239 * tree-object-size.h (fini_object_sizes): Declare.
5241 2017-01-10 Martin Sebor <msebor@redhat.com>
5243 PR tree-optimization/78775
5244 * builtins.c (get_size_range): Move...
5245 * calls.c: ...to here.
5246 (alloc_max_size): Accept zero argument.
5247 (operand_signed_p): Remove.
5248 (maybe_warn_alloc_args_overflow): Call get_size_range.
5249 * calls.h (get_size_range): Declare.
5251 2017-01-10 Joe Seymour <joe.s@somniumtech.com>
5253 * config/msp430/driver-msp430.c (msp430_mcu_data): Sync with data
5254 from TI's devices.csv file as of September 2016.
5255 * config/msp430/msp430.c (msp430_mcu_data): Likewise.
5257 2017-01-10 Sandra Loosemore <sandra@codesourcery.com>
5259 * doc/extend.texi: Tweak formatting to fix overfull hbox warnings.
5260 * doc/invoke.texi: Likewise.
5261 * doc/md.texi: Likewise.
5262 * doc/objc.texi: Likewise.
5264 2017-01-10 Joshua Conner <joshconner@google.com>
5266 * config/arm/fuchsia-elf.h: New file.
5267 * config/fuchsia.h: New file.
5268 * config.gcc (*-*-fuchsia*): Set native_system_header_dir.
5269 (aarch64*-*-fuchsia*, arm*-*-fuchsia*, x86_64-*-fuchsia*): Add to
5271 * config.host: (aarch64*-*-fuchsia*, arm*-*-fuchsia*): Add to hosts.
5273 2016-01-10 Richard Biener <rguenther@suse.de>
5275 PR tree-optimization/79034
5276 * tree-call-cdce.c (shrink_wrap_one_built_in_call_with_conds):
5277 Propagate out degenerate PHIs in the joiner.
5279 2017-01-10 Martin Liska <mliska@suse.cz>
5281 * ipa-icf.c (sort_sem_items_by_decl_uid): New function.
5282 (sort_congruence_classes_by_decl_uid): Likewise.
5283 (sort_congruence_class_groups_by_decl_uid): Likewise.
5284 (sem_item_optimizer::merge_classes): Sort class, groups in these
5285 classes and members in the groups by DECL_UID of declarations.
5286 This would make merge operations stable.
5288 2017-01-10 Martin Liska <mliska@suse.cz>
5290 * ipa-icf.c (sem_item_optimizer::sem_item_optimizer): Remove
5291 usage of m_classes_vec.
5292 (sem_item_optimizer::~sem_item_optimizer): Likewise.
5293 (sem_item_optimizer::get_group_by_hash): Likewise.
5294 (sem_item_optimizer::subdivide_classes_by_equality): Likewise.
5295 (sem_item_optimizer::subdivide_classes_by_sensitive_refs): Likewise.
5296 (sem_item_optimizer::verify_classes): Likewise.
5297 (sem_item_optimizer::process_cong_reduction): Likewise.
5298 (sem_item_optimizer::dump_cong_classes): Likewise.
5299 (sem_item_optimizer::merge_classes): Likewise.
5300 * ipa-icf.h (congruence_class_hash): Rename from
5301 congruence_class_group_hash. Remove declaration of m_classes_vec.
5303 2017-01-10 Andrew Senkevich <andrew.senkevich@intel.com>
5305 * common/config/i386/i386-common.c (OPTION_MASK_ISA_AVX512VPOPCNTDQ_SET,
5306 OPTION_MASK_ISA_AVX512VPOPCNTDQ_UNSET): New.
5307 * config.gcc: Add avx512vpopcntdqintrin.h.
5308 * config/i386/avx512vpopcntdqintrin.h: New.
5309 * config/i386/cpuid.h (bit_AVX512VPOPCNTDQ): New.
5310 * config/i386/i386-builtin-types.def: Add new types.
5311 * config/i386/i386-builtin.def (__builtin_ia32_vpopcountd_v16si,
5312 __builtin_ia32_vpopcountd_v16si_mask, __builtin_ia32_vpopcountq_v8di,
5313 __builtin_ia32_vpopcountq_v8di_mask): New.
5314 * config/i386/i386-c.c (ix86_target_macros_internal): Define
5315 __AVX512VPOPCNTDQ__.
5316 * config/i386/i386.c (ix86_target_string): Add -mavx512vpopcntdq.
5317 (PTA_AVX512VPOPCNTDQ): Define.
5318 * config/i386/i386.h (TARGET_AVX512VPOPCNTDQ,
5319 TARGET_AVX512VPOPCNTDQ_P): Define.
5320 * config/i386/i386.opt: Add mavx512vpopcntdq.
5321 * config/i386/immintrin.h: Include avx512vpopcntdqintrin.h.
5322 * config/i386/sse.md (define_insn "vpopcount<mode><mask_name>"): New.
5324 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
5327 * predict.def (PRED_CALL): Set to 67.
5329 2017-01-09 Eric Botcazou <ebotcazou@adacore.com>
5331 * expr.c (store_field): In the bitfield case, if the value comes from
5332 a function call and is of an aggregate type returned in registers, do
5333 not modify the field mode; extract the value in all cases if the mode
5334 is BLKmode and the size is not larger than a word.
5336 2017-01-09 Dominique d'Humieres <dominiq@lps.ens.fr>
5339 * config/i386/cpuid.h: Fix undefined behavior.
5341 2017-01-04 Jeff Law <law@redhat.com>
5343 PR tree-optimization/79007
5344 PR tree-optimization/67955
5345 * tree-ssa-alias.c (same_addr_size_stores_p): Only need to be
5346 conservative for pt.null when flag_non_call_exceptions is on.
5348 2017-01-09 Jakub Jelinek <jakub@redhat.com>
5350 PR translation/79019
5351 PR translation/79020
5352 * params.def (PARAM_INLINE_MIN_SPEEDUP,
5353 PARAM_IPA_CP_SINGLE_CALL_PENALTY,
5354 PARAM_USE_AFTER_SCOPE_DIRECT_EMISSION_THRESHOLD): Fix typos
5356 * config/avr/avr.opt (maccumulate-args): Likewise.
5357 * config/msp430/msp430.opt (mwarn-mcu): Likewise.
5358 * common.opt (freport-bug): Likewise.
5359 * cif-code.def (CIF_FINAL_ERROR): Likewise.
5360 * doc/invoke.texi (ipa-cp-single-call-penalty): Likewise.
5361 * config/s390/s390.c (s390_invalid_binary_op): Fix spelling in
5362 translatable string.
5363 * config/i386/i386.c (function_value_32): Likewise.
5364 * config/nios2/nios2.c (nios2_valid_target_attribute_rec): Likewise.
5365 * config/msp430/msp430.c (msp430_option_override, msp430_attr):
5367 * config/msp430/driver-msp430.c (msp430_select_hwmult_lib): Likewise.
5368 * common/config/msp430/msp430-common.c (msp430_handle_option):
5370 * symtab.c (symtab_node::verify_base): Likewise.
5371 * opts.c (set_debug_level): Likewise.
5372 * tree.c (verify_type_variant): Likewise. Fix typo in comment.
5373 * config/rs6000/rs6000-c.c (altivec_resolve_overloaded_builtin): Add
5374 missing whitespace to translatable strings.
5375 * config/avr/avr.md (bswapsi2): Fix typo in comment.
5376 * config/sh/superh.h: Likewise.
5377 * config/i386/xopintrin.h: Likewise.
5378 * config/i386/znver1.md: Likewise.
5379 * config/rs6000/rs6000.c (struct rs6000_opt_mask): Likewise.
5380 * ipa-inline-analysis.c (compute_inline_parameters): Likewise.
5381 * double-int.h (struct double_int): Likewise.
5382 * double-int.c (div_and_round_double): Likewise.
5383 * wide-int.cc: Likewise.
5384 * tree-ssa.c (non_rewritable_mem_ref_base): Likewise.
5385 * tree-ssa-sccvn.c (vn_reference_lookup_3): Likewise.
5386 * cfgcleanup.c (crossjumps_occured): Renamed to ...
5387 (crossjumps_occurred): ... this.
5388 (try_crossjump_bb, try_head_merge_bb, try_optimize_cfg, cleanup_cfg):
5391 PR tree-optimization/78899
5392 * tree-if-conv.c (version_loop_for_if_conversion): Instead of
5393 returning bool return struct loop *, NULL for failure and the new
5395 (versionable_outer_loop_p): Don't version outer loop if it has
5396 dont_vectorized bit set.
5397 (tree_if_conversion): When versioning outer loop, ensure
5398 tree_if_conversion is performed also on the inner loop of the
5399 non-vectorizable outer loop copy.
5400 * tree-vectorizer.c (set_uid_loop_bbs): Formatting fix. Fold
5401 LOOP_VECTORIZED in inner loop of the scalar outer loop and
5402 prevent vectorization of it.
5403 (vectorize_loops): For outer + inner LOOP_VECTORIZED, ensure
5404 the outer loop vectorization of the non-scalar version is attempted
5405 before vectorization of the inner loop in scalar version. If
5406 outer LOOP_VECTORIZED guarded loop is not vectorized, prevent
5407 vectorization of its inner loop.
5408 * tree-vect-loop-manip.c (rename_variables_in_bb): If outer_loop
5409 has 2 inner loops, rename also on edges from bb whose single pred
5410 is outer_loop->header. Fix typo in function comment.
5412 2017-01-09 Martin Sebor <msebor@redhat.com>
5415 * asan.c (asan_emit_stack_protection): Increase local buffer size
5416 to avoid snprintf truncation warning.
5418 2017-01-09 Andrew Pinski <apinski@cavium.com>
5420 * config/aarch64/aarch64-cores.def: Add thunderx2t99. Change vulcan
5421 to reference thunderx2t99 for the tuning structure
5422 * config/aarch64/aarch64-cost-tables.h (vulcan_extra_costs):
5424 (thunderx2t99_extra_costs): This.
5425 * config/aarch64/aarch64-tune.md: Regenerate.
5426 * config/aarch64/aarch64.c (vulcan_addrcost_table): Rename to ...
5427 (vulcan_addrcost_table): This.
5428 (vulcan_regmove_cost): Rename to ...
5429 (thunderx2t99_regmove_cost): This.
5430 (vulcan_vector_cost): Rename to ...
5431 (thunderx2t99_vector_cost): this.
5432 (vulcan_branch_cost): Rename to ...
5433 (thunderx2t99_branch_cost): This.
5434 (vulcan_tunings): Rename to ...
5435 (thunderx2t99_tunings): This and s/vulcan/thunderx2t99 .
5436 * doc/invoke.texi (AARCH64/mtune): Add thunderx2t99.
5438 2017-01-09 Martin Jambor <mjambor@suse.cz>
5442 * ipa-prop.h (ipa_jump_func): Swap positions of vr_known and m_vr.
5443 * ipa-cp.c (ipa_vr_operation_and_type_effects): New function.
5444 (propagate_vr_accross_jump_function): Use the above function for all
5445 value range computations for pass-through jump functions and type
5446 converasion from explicit value range values.
5447 (ipcp_propagate_stage): Do not attempt to deduce types of formal
5448 parameters from TYPE_ARG_TYPES.
5449 * ipa-prop.c (ipa_write_jump_function): Remove trailing whitespace.
5450 (ipa_write_node_info): Stream type of the actual argument.
5451 (ipa_read_node_info): Likewise. Also remove trailing whitespace.
5453 2017-01-09 Martin Liska <mliska@suse.cz>
5456 * gcc.c (driver_handle_option): Handle OPT_E and set have_E.
5457 (lookup_compiler): Do not show error message with have_E.
5459 2017-01-09 Jakub Jelinek <jakub@redhat.com>
5461 PR tree-optimization/78938
5462 * tree-vect-stmts.c (vectorizable_condition): For non-masked COND_EXPR
5463 where comp_vectype is VECTOR_BOOLEAN_TYPE_P, use
5464 BIT_{NOT,XOR,AND,IOR}_EXPR on the comparison operands instead of
5465 {EQ,NE,GE,GT,LE,LT}_EXPR directly inside of VEC_COND_EXPR. Formatting
5468 2017-01-09 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
5470 * tree-ssa-address.c (gen_addr_rtx): Don't handle index if it
5473 2017-01-09 Richard Biener <rguenther@suse.de>
5475 PR tree-optimization/78997
5476 * tree-vect-slp.c (vect_mask_constant_operand_p): Handle SSA
5477 name condition properly.
5479 2017-01-09 Richard Biener <rguenther@suse.de>
5482 * dwarf2out.c (is_cxx): New overload with context.
5483 (is_naming_typedef_decl): Use it.
5485 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
5487 * invoke.texi (Option Summary): Correct spacing in option lists
5488 and add line breaks to fix over-long lines.
5490 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
5494 * extend.texi (Common Variable Attributes): Add xref to GCC
5495 Internals manual to explain mode attribute keywords.
5497 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
5500 * doc/invoke.texi (Option Summary): Move -pthread to Linker Options
5501 and Preprocessor Options.
5502 (Options for Linking): Document -pthread here....
5503 (RS/6000 and PowerPC Options): ...not here.
5504 (Solaris 2 Options): ...or here.
5505 * doc/cppopts.texi: Document -pthread.
5507 2017-01-08 Martin Sebor <msebor@redhat.com>
5510 * doc/invoke.texi (Warning Options): Document -Wformat-truncation.
5511 * gimple-ssa-sprintf.c (call_info::reval_used, call_info::warnopt):
5512 New member functions.
5513 (format_directive): Used them.
5515 (pass_sprintf_length::handle_gimple_call): Same.
5516 * graphite-sese-to-poly.c (tree_int_to_gmp): Increase buffer size
5517 to avoid truncation for any argument.
5518 (extract_affine_mul): Same.
5519 * tree.c (get_file_function_name): Same.
5521 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
5524 * predict.def (PRED_INDIR_CALL): Set to 86.
5526 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
5528 PR preprocessor/54124
5529 * doc/cppopts.texi: Reformat -d subtable to list the full name
5530 of the options. Add cross-reference to the docs for the general
5531 compiler -d options.
5532 * doc/invoke.texi (Developer Options): Add cross-reference to the
5533 preprocessor-specific -d option documentation.
5535 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
5537 PR preprocessor/13498
5538 * doc/cpp.texi (Search Path): Rewrite to remove obsolete and
5539 redudant material, and reflect new command-line options.
5540 (System Headers): Likewise.
5542 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
5544 * doc/cppdiropts.texi: Merge documentation of -I, -iquote,
5545 -isystem, and -idirafter. Copy-edit.
5546 * doc/cppopts.texi: Copy-edit. Remove contradiction about
5547 default for -ftrack-macro-expansion. Delete obsolete and
5548 badly-formatted implementation details about -fdebug-cpp output.
5549 * doc/cppwarnopts.texi: Copy-edit.
5551 2017-01-07 David Malcolm <dmalcolm@redhat.com>
5554 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
5555 that the transition from a max line width >= 1<<10 to narrower
5556 lines works correctly.
5558 2017-01-07 Alexandre Oliva <aoliva@redhat.com>
5560 * doc/options.texi (PerFunction): New.
5561 * opt-functions.awk (switch_flags): Map both Optimization and
5562 PerFunction to CL_OPTIMIZATION.
5563 * opth-gen.awk: Test for PerFunction flag along with
5565 * optc-save-gen.awk: Likewise. Introduce var_opt_hash and set
5566 it only when the latter is present. Skip those that don't in
5567 the hash function generator.
5568 * common.opt (fvar-tracking): Mark as PerFunction instead of
5570 (fvar-tracking-assignments): Likewise.
5571 (fvar-tracking-assignments-toggle): Likewise.
5572 (fvar-tracking-uninit): Likewise.
5574 2017-01-07 Jakub Jelinek <jakub@redhat.com>
5576 PR translation/79018
5577 * params.def (PARAM_MAX_STORES_TO_MERGE): Add missing space between
5580 2017-01-06 Mikael Pettersson <mikpelinux@gmail.com>
5583 * config/m68k/m68k.opt (LONG_JUMP_TABLE_OFFSETS): New option.
5584 * config/m68k/linux.h (ASM_RETURN_CASE_JUMP): Handle
5585 TARGET_LONG_JUMP_TABLE_OFFSETS.
5586 * config/m68k/m68kelf.h (ASM_RETURN_CASE_JUMP): Likewise.
5587 * config/m68k/netbsd-elf.h (ASM_RETURN_CASE_JUMP): Likewise.
5588 * config/m68k/m68k.h (CASE_VECTOR_MODE): Likewise.
5589 (ASM_OUTPUT_ADDR_DIFF_ELF): Likewise.
5590 * config/m68k/m68k.md (tablejump expander): Likewise.
5591 (*tablejump_pcrel_hi): Renamed from unnamed insn, reject
5592 TARGET_LONG_JUMP_TABLE_OFFSETS.
5593 (*tablejump_pcrel_si): New insn, handle TARGET_LONG_JUMP_TABLE_OFFSETS.
5594 * doc/invoke.texi (M68K options): Add -mlong-jump-table-offsets.
5596 2017-01-06 Edgar E. Iglesias <edgar.iglesias@xilinx.com>
5597 David Holsgrove <david.holsgrove@xilinx.com>
5599 * common/config/microblaze/microblaze-common.c
5600 (TARGET_EXCEPT_UNWIND_INFO): Remove.
5601 * config/microblaze/microblaze-protos.h (microblaze_eh_return):
5603 * config/microblaze/microblaze.c (microblaze_must_save_register)
5604 (microblaze_expand_epilogue, microblaze_return_addr): Handle
5606 (microblaze_eh_return): New function.
5607 * config/microblaze/microblaze.h (RETURN_ADDR_OFFSET)
5608 (EH_RETURN_DATA_REGNO, MB_EH_STACKADJ_REGNUM)
5609 (EH_RETURN_STACKADJ_RTX, ASM_PREFERRED_EH_DATA_FORMAT): New macros.
5610 * config/microblaze/microblaze.md (eh_return): New pattern.
5612 2017-01-06 Jakub Jelinek <jakub@redhat.com>
5614 * system.h (GCC_DIAGNOSTIC_PUSH_IGNORED, GCC_DIAGNOSTIC_POP,
5615 GCC_DIAGNOSTIC_STRINGIFY): Define.
5617 * read-rtl.c (rtx_reader::read_rtx_code): Avoid -Wsign-compare warning.
5619 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5621 * config/arm/arm.md (<mcrr>): New.
5623 * config/arm/arm.c (arm_arch5te): New.
5624 (arm_option_override): Set arm_arch5te.
5625 (arm_coproc_builtin_available): Add support for mcrr, mcrr2, mrrc
5627 * config/arm/arm-builtins.c (MCRR_QUALIFIERS): Define to...
5628 (arm_mcrr_qualifiers): ... this. New.
5629 (MRRC_QUALIFIERS): Define to...
5630 (arm_mrrc_qualifiers): ... this. New.
5631 * config/arm/arm_acle.h (__arm_mcrr, __arm_mcrr2, __arm_mrrc,
5633 * config/arm/arm_acle_builtins.def (mcrr, mcrr2, mrrc, mrrc2): New.
5634 * config/arm/iterators.md (MCRRI, mcrr, MCRR): New.
5635 (MRRCI, mrrc, MRRC): New.
5636 * config/arm/unspecs.md (VUNSPEC_MCRR, VUNSPEC_MCRR2, VUNSPEC_MRRC,
5637 VUNSPEC_MRRC2): New.
5639 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5641 * config/arm/arm.md (<mcr>): New.
5643 * config/arm/arm.c (arm_coproc_builtin_available): Add
5644 support for mcr, mrc, mcr2 and mrc2.
5645 * config/arm/arm-builtins.c (MCR_QUALIFIERS): Define to...
5646 (arm_mcr_qualifiers): ... this. New.
5647 (MRC_QUALIFIERS): Define to ...
5648 (arm_mrc_qualifiers): ... this. New.
5649 (MCR_QUALIFIERS): Define to ...
5650 (arm_mcr_qualifiers): ... this. New.
5651 * config/arm/arm_acle.h (__arm_mcr, __arm_mrc, __arm_mcr2,
5653 * config/arm/arm_acle_builtins.def (mcr, mcr2, mrc, mrc2): New.
5654 * config/arm/iterators.md (MCRI, mcr, MCR, MRCI, mrc, MRC): New.
5655 * config/arm/unspecs.md (VUNSPEC_MCR, VUNSPEC_MCR2, VUNSPEC_MRC,
5658 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5660 * config/arm/arm.md (*ldc): New.
5664 * config/arm/arm.c (arm_coproc_builtin_available): Add
5665 support for ldc,ldcl,stc,stcl,ldc2,ldc2l,stc2 and stc2l.
5666 (arm_coproc_ldc_stc_legitimate_address): New.
5667 * config/arm/arm-builtins.c (arm_type_qualifiers): Add
5668 'qualifier_const_pointer'.
5669 (LDC_QUALIFIERS): Define to...
5670 (arm_ldc_qualifiers): ... this. New.
5671 (STC_QUALIFIERS): Define to...
5672 (arm_stc_qualifiers): ... this. New.
5673 * config/arm/arm-protos.h
5674 (arm_coproc_ldc_stc_legitimate_address): New.
5675 * config/arm/arm_acle.h (__arm_ldc, __arm_ldcl, __arm_stc,
5676 __arm_stcl, __arm_ldc2, __arm_ldc2l, __arm_stc2, __arm_stc2l): New.
5677 * config/arm/arm_acle_builtins.def (ldc, ldc2, ldcl, ldc2l, stc,
5678 stc2, stcl, stc2l): New.
5679 * config/arm/constraints.md (Uz): New.
5680 * config/arm/iterators.md (LDCI, STCI, ldc, stc, LDC STC): New.
5681 * config/arm/unspecs.md (VUNSPEC_LDC, VUNSPEC_LDC2, VUNSPEC_LDCL,
5682 VUNSPEC_LDC2L, VUNSPEC_STC, VUNSPEC_STC2, VUNSPEC_STCL,
5683 VUNSPEC_STC2L): New.
5685 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5687 * config/arm/arm.md (<cdp>): New.
5688 * config/arm/arm.c (neon_const_bounds): Rename this ...
5689 (arm_const_bounds): ... this.
5690 (arm_coproc_builtin_available): New.
5691 * config/arm/arm-builtins.c (SIMD_MAX_BUILTIN_ARGS): Increase.
5692 (arm_type_qualifiers): Add 'qualifier_unsigned_immediate'.
5693 (CDP_QUALIFIERS): Define to...
5694 (arm_cdp_qualifiers): ... this. New.
5696 (arm_expand_builtin_args): Add case for 6 arguments.
5697 * config/arm/arm-protos.h (neon_const_bounds): Rename this ...
5698 (arm_const_bounds): ... this.
5699 (arm_coproc_builtin_available): New.
5700 * config/arm/arm_acle.h (__arm_cdp): New.
5702 * config/arm/arm_acle_builtins.def (cdp): New.
5704 * config/arm/iterators.md (CDPI,CDP,cdp): New.
5705 * config/arm/neon.md: Rename all 'neon_const_bounds' to
5707 * config/arm/types.md (coproc): New.
5708 * config/arm/unspecs.md (VUNSPEC_CDP, VUNSPEC_CDP2): New.
5709 * gcc/doc/extend.texi (ACLE): Add a mention of Coprocessor intrinsics.
5710 * gcc/doc/sourcebuild.texi (arm_coproc1_ok, arm_coproc2_ok,
5711 arm_coproc3_ok, arm_coproc4_ok): Document new effective targets.
5713 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5715 * config/arm/arm-builtins.c (arm_unsigned_binop_qualifiers): New.
5716 (UBINOP_QUALIFIERS): New.
5718 (acle_builtin_data): New. Change comment.
5719 (arm_builtins): Remove ARM_BUILTIN_CRC32B, ARM_BUILTIN_CRC32H,
5720 ARM_BUILTIN_CRC32W, ARM_BUILTIN_CRC32CB, ARM_BUILTIN_CRC32CH,
5721 ARM_BUILTIN_CRC32CW. Add ARM_BUILTIN_ACLE_BASE and include
5722 arm_acle_builtins.def.
5723 (ARM_BUILTIN_ACLE_PATTERN_START): Define.
5724 (arm_init_acle_builtins): New.
5725 (CRC32_BUILTIN): Remove.
5726 (bdesc_2arg): Remove entries for crc32b, crc32h, crc32w,
5727 crc32cb, crc32ch and crc32cw.
5728 (arm_init_crc32_builtins): Remove.
5729 (arm_init_builtins): Use arm_init_acle_builtins rather
5730 than arm_init_crc32_builtins.
5731 (arm_expand_acle_builtin): New.
5732 (arm_expand_builtin): Use 'arm_expand_acle_builtin'.
5733 * config/arm/arm_acle_builtins.def: New.
5735 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
5737 * config/arm/arm-builtins.c (neon_builtin_datum): Rename to ..
5738 (arm_builtin_datum): ... this.
5739 (arm_init_neon_builtin): Rename to ...
5740 (arm_init_builtin): ... this. Add a new parameters PREFIX
5741 and USE_SIG_IN_NAME.
5742 (arm_init_neon_builtins): Replace 'arm_init_neon_builtin' with
5743 'arm_init_builtin'. Replace type 'neon_builtin_datum' with
5744 'arm_builtin_datum'.
5745 (arm_init_vfp_builtins): Likewise.
5746 (builtin_arg): Rename enum's replacing 'NEON_ARG' with
5747 'ARG_BUILTIN' and add a 'ARG_BUILTIN_NEON_MEMORY.
5748 (arm_expand_neon_args): Rename to ...
5749 (arm_expand_builtin_args): ... this. Rename builtin_arg
5750 enum values and differentiate between ARG_BUILTIN_MEMORY
5751 and ARG_BUILTIN_NEON_MEMORY.
5752 (arm_expand_neon_builtin_1): Rename to ...
5753 (arm_expand_builtin_1): ... this. Rename builtin_arg enum
5754 values, arm_expand_builtin_args and add bool parameter NEON.
5755 (arm_expand_neon_builtin): Use arm_expand_builtin_1.
5756 (arm_expand_vfp_builtin): Likewise.
5757 (NEON_MAX_BUILTIN_ARGS): Remove, it was unused.
5759 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
5762 * predict.def (PRED_POLYMORPHIC_CALL): Set to 59.
5763 * predict.c (tree_estimate_probability_bb): Reverse direction of
5764 polymorphic call predictor.
5766 2017-01-06 David Malcolm <dmalcolm@redhat.com>
5768 * passes.c (execute_one_pass): Split out pass-skipping logic into...
5769 (determine_pass_name_match): ...this new function and...
5770 (should_skip_pass_p): ...this new function.
5772 2017-01-06 Nathan Sidwell <nathan@acm.org>
5774 * ipa-visibility.c (function_and_variable_visibility): Reformat
5775 comments and long lines. Remove extrneous if.
5776 * symtab.c (symtab_node::make_decl_local): Fix code format.
5777 (symtab_node::set_section_for_node): Fix comment typo.
5779 2017-01-06 Martin Liska <mliska@suse.cz>
5782 * lra-constraints.c: Rename invariant to lra_invariant.
5783 * predict.c (set_even_probabilities): Initialize e to NULL.
5785 2017-01-05 Martin Sebor <msebor@redhat.com>
5787 PR tree-optimization/78910
5788 * gimple-ssa-sprintf.c (tree_digits): Add an argument.
5789 (format_integer): Correct off-by-one error in the handling
5790 of precision with negative numbers in signed conversions..
5792 2017-01-05 Eric Botcazou <ebotcazou@adacore.com>
5794 * doc/invoke.texi (C Dialect Options): Adjust -fsso-struct entry.
5796 2017-01-05 Jakub Jelinek <jakub@redhat.com>
5798 PR tree-optimization/71016
5799 * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Pass cond_stmt to
5800 factor_out_conditional_conversion. Formatting fix.
5801 (factor_out_conditional_conversion): Add cond_stmt argument.
5802 If arg1 is INTEGER_CST, punt if new_arg0 is not any operand of
5803 cond_stmt and if arg0_def_stmt is not the only stmt in its bb.
5806 2017-01-05 David Malcolm <dmalcolm@redhat.com>
5808 * Makefile.in (OBJS): Add read-md.o, read-rtl.o,
5809 read-rtl-function.o, and selftest-rtl.o.
5810 * config/aarch64/aarch64.c: Include selftest.h and selftest-rtl.h.
5811 (selftest::aarch64_test_loading_full_dump): New function.
5812 (selftest::aarch64_run_selftests): New function.
5813 (TARGET_RUN_TARGET_SELFTESTS): Wire it up to
5814 selftest::aarch64_run_selftests.
5815 * config/i386/i386.c
5816 (selftest::ix86_test_loading_dump_fragment_1): New function.
5817 (selftest::ix86_test_loading_call_insn): New function.
5818 (selftest::ix86_test_loading_full_dump): New function.
5819 (selftest::ix86_test_loading_unspec): New function.
5820 (selftest::ix86_run_selftests): Call the new functions.
5821 * emit-rtl.c (maybe_set_max_label_num): New function.
5822 * emit-rtl.h (maybe_set_max_label_num): New decl.
5823 * function.c (instantiate_decls): Guard call to
5824 instantiate_decls_1 with if (DECL_INITIAL (fndecl)).
5825 * function-tests.c (selftest::verify_three_block_rtl_cfg): Remove
5827 * gensupport.c (gen_reader::gen_reader): Pass "false"
5828 for new "compact" param of rtx_reader.
5829 * print-rtl.c (rtx_writer::print_rtx_operand): Print "(nil)"
5830 rather than an empty string for NULL strings.
5831 * read-md.c: Potentially include config.h rather than bconfig.h.
5832 Wrap include of errors.h with #ifdef GENERATOR_FILE.
5833 (have_error): New global, copied from errors.c.
5834 (md_reader::read_name): Rename to...
5835 (md_reader::read_name_1): ...this, adding "out_loc" param,
5836 and converting "missing name or number" to returning false, rather
5838 (md_reader::read_name): Reimplement in terms of read_name_1.
5839 (md_reader::read_name_or_nil): New function.
5840 (md_reader::read_string): Handle "(nil)" by returning NULL.
5841 (md_reader::md_reader): Add new param "compact".
5842 (md_reader::read_md_files): Wrap with #ifdef GENERATOR_FILE.
5843 (md_reader::read_file): New method.
5844 * read-md.h (md_reader::md_reader): Add new param "compact".
5845 (md_reader::read_file): New method.
5846 (md_reader::is_compact): New accessor.
5847 (md_reader::read_name): Convert return type from void to file_location.
5848 (md_reader::read_name_or_nil): New decl.
5849 (md_reader::read_name_1): New decl.
5850 (md_reader::m_compact): New field.
5851 (noop_reader::noop_reader): Pass "false" for new "compact" param
5853 (rtx_reader::rtx_reader): Add new "compact" param.
5854 (rtx_reader::read_rtx_operand): Make virtual and convert return
5855 type from void to rtx.
5856 (rtx_reader::read_until): New decl.
5857 (rtx_reader::handle_any_trailing_information): New virtual function.
5858 (rtx_reader::postprocess): New virtual function.
5859 (rtx_reader::finalize_string): New virtual function.
5860 (rtx_reader::m_in_call_function_usage): New field.
5861 (rtx_reader::m_reuse_rtx_by_id): New field.
5862 * read-rtl-function.c: New file.
5863 * selftest-rtl.c (selftest::assert_rtx_ptr_eq_at): New function.
5864 * selftest-rtl.h (ASSERT_RTX_PTR_EQ): New macro.
5865 (selftest::verify_three_block_rtl_cfg): New decl.
5866 * read-rtl-function.h: New file.
5867 * read-rtl.c: Potentially include config.h rather than bconfig.h.
5868 For host, include function.h, memmodel.h, and emit-rtl.h.
5869 (one_time_initialization): New function.
5870 (struct compact_insn_name): New struct.
5871 (compact_insn_names): New array.
5872 (find_code): Handle insn codes in compact dumps.
5873 (apply_subst_iterator): Wrap with #ifdef GENERATOR_FILE.
5874 (bind_subst_iter_and_attr): Likewise.
5875 (add_condition_to_string): Likewise.
5876 (add_condition_to_rtx): Likewise.
5877 (apply_attribute_uses): Likewise.
5878 (add_current_iterators): Likewise.
5879 (apply_iterators): Likewise.
5880 (initialize_iterators): Guard usage of apply_subst_iterator with
5881 #ifdef GENERATOR_FILE.
5882 (read_conditions): Wrap with #ifdef GENERATOR_FILE.
5883 (md_reader::read_mapping): Likewise.
5884 (add_define_attr_for_define_subst): Likewise.
5885 (add_define_subst_attr): Likewise.
5886 (read_subst_mapping): Likewise.
5887 (check_code_iterator): Likewise.
5888 (rtx_reader::read_rtx): Likewise. Move one-time initialization
5890 (one_time_initialization): New function.
5891 (rtx_reader::read_until): New method.
5892 (read_flags): New function.
5893 (parse_reg_note_name): New function.
5894 (rtx_reader::read_rtx_code): Initialize "iterator" to NULL.
5895 Handle reuse_rtx ids.
5896 Wrap iterator lookup within #ifdef GENERATOR_FILE.
5897 Add parsing support for RTL dumps, mirroring the special-cases in
5898 print_rtx, by calling read_flags, reading REG_NOTE names, INSN_UID
5899 values, and calling handle_any_trailing_information.
5900 (rtx_reader::read_rtx_operand): Convert return type from void
5901 to rtx, returning return_rtx. Handle case 'e'. Call
5902 finalize_string on XSTR and XTMPL fields.
5903 (rtx_reader::read_nested_rtx): Handle dumps in which trailing
5904 "(nil)" values were omitted. Call the postprocess vfunc on the
5906 (rtx_reader::rtx_reader): Add new "compact" param and pass to base
5907 class ctor. Initialize m_in_call_function_usage. Call
5908 one_time_initialization.
5909 * rtl-tests.c (selftest::test_uncond_jump): Call
5910 set_new_first_and_last_insn.
5911 * rtl.h (read_rtx): Wrap decl with #ifdef GENERATOR_FILE.
5912 * selftest-rtl.c: New file.
5913 * selftest-rtl.h (class selftest::rtl_dump_test): New class.
5914 (selftest::get_insn_by_uid): New decl.
5915 * selftest-run-tests.c (selftest::run_tests): Call
5916 read_rtl_function_c_tests.
5917 * selftest.h (selftest::read_rtl_function_c_tests): New decl.
5918 * tree-dfa.c (ssa_default_def): Return NULL_TREE for rtl function
5921 2017-01-05 Uros Bizjak <ubizjak@gmail.com>
5923 * config/i386/i386.md (*testqi_ext_3): No need to handle memory
5924 operands in a special way. Assert that pos+len <= mode precision.
5926 2017-01-05 Jakub Jelinek <jakub@redhat.com>
5928 * common.opt (fvect-cost-model): Remove RejectNegative flag, use
5929 3 argument Alias with unlimited for the negative form.
5930 (fno-vect-cost-model): Removed.
5932 2017-01-05 Martin Liska <mliska@suse.cz>
5934 * hsa-gen.c (gen_hsa_divmod): New function.
5935 (gen_hsa_insn_for_internal_fn_call): Use the function for IFN_DIVMOD.
5937 2017-01-05 Martin Liska <mliska@suse.cz>
5940 * gcc.c (lookup_compiler): Reject '-' filename for a precompiled
5943 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
5945 * config/s390/s390.c (s390_expand_setmem): Unroll the loop for
5946 small constant length operands.
5948 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
5950 * config/s390/s390.c (s390_expand_setmem): Avoid overlapping bytes
5951 between loop iterations.
5953 2017-01-05 Martin Liska <mliska@suse.cz>
5956 * gimplify.c (gimplify_decl_expr): Compare to
5957 asan_poisoned_variables instread of checking flags.
5958 (gimplify_target_expr): Likewise.
5959 (gimplify_expr): Likewise.
5960 (gimplify_function_tree): Conditionally initialize
5961 asan_poisoned_variables.
5963 2017-01-04 Jeff Law <law@redhat.com>
5965 PR tree-optimizatin/78812
5966 * rtl.h (contains_mem_rtx_p): Prototype.
5967 * ifcvt.c (containts_mem_rtx_p): Move from here to...
5968 * rtlanal.c (contains_mem_rtx_p): Here and remove static linkage.
5969 * gcse.c (prune_expressions): Use contains_mem_rtx_p to discover
5970 and prune MEMs that are not at the toplevel of a SET_SRC rtx. Look
5971 through ZERO_EXTEND and SIGN_EXTEND when trying to avoid pruning MEMs.
5973 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5975 * input.c (assert_char_at_range): Default-initialize actual_range.
5977 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5979 * df-scan.c (df_ref_create_structure): Make regno unsigned,
5980 to match the caller.
5982 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5984 * cfgexpand.c (expand_gimple_basic_block): Disregard debug
5985 insns after final jump in test to emit dummy move.
5987 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5989 * gimple-iterator.h (gsi_one_nondebug_before_end_p): New.
5990 * tree-eh.c (cleanup_empty_eh): Skip more debug stmts.
5992 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
5994 * multiple_target.c (create_dispatcher_calls): Init e_next.
5995 * tree-ssa-loop-split.c (split_loop): Init border.
5996 * tree-vect-loop.c (vect_determine_vectorization_factor): Init
5999 2017-01-04 Michael Meissner <meissner@linux.vnet.ibm.com>
6004 * config/rs6000/predicates.md (sf_subreg_operand): New predicate.
6005 (altivec_register_operand): Do not return true if the operand
6006 contains a SUBREG mixing SImode and SFmode.
6007 (vsx_register_operand): Likewise.
6008 (vsx_reg_sfsubreg_ok): New predicate.
6009 (vfloat_operand): Do not return true if the operand contains a
6010 SUBREG mixing SImode and SFmode.
6011 (vint_operand): Likewise.
6012 (vlogical_operand): Likewise.
6013 (gpc_reg_operand): Likewise.
6014 (int_reg_operand): Likewise.
6015 * config/rs6000/rs6000-protos.h (valid_sf_si_move): Add declaration.
6016 * config/rs6000/rs6000.c (valid_sf_si_move): New function to
6017 determine if a MOVSI or MOVSF operation contains SUBREGs that mix
6019 (rs6000_emit_move_si_sf_subreg): New helper function.
6020 (rs6000_emit_move): Call rs6000_emit_move_si_sf_subreg to possbily
6021 fixup SUBREGs involving SImode and SFmode.
6022 * config/rs6000/vsx.md (SFBOOL_*): New constants that are operand
6023 numbers for the new peephole2 optimization.
6024 (peephole2 for SFmode unions): New peephole2 to optimize cases in
6025 the GLIBC math library that do AND/IOR/XOR operations on single
6026 precision floating point.
6027 * config/rs6000/rs6000.h (TARGET_NO_SF_SUBREG): New internal
6028 target macros to say whether we need to avoid SUBREGs mixing
6030 (TARGET_ALLOW_SF_SUBREG): Likewise.
6031 * config/rs6000/rs6000.md (UNSPEC_SF_FROM_SI): New unspecs.
6032 (UNSPEC_SI_FROM_SF): Likewise.
6033 (iorxor): Change spacing.
6034 (and_ior_xor): New iterator for AND, IOR, and XOR.
6035 (movsi_from_sf): New insns for SImode/SFmode SUBREG support.
6036 (movdi_from_sf_zero_ext): Likewise.
6037 (mov<mode>_hardfloat, FMOVE32 iterator): Use register_operand
6038 instead of gpc_reg_operand. Add SImode/SFmode SUBREG support.
6039 (movsf_from_si): New insn for SImode/SFmode SUBREG support.
6040 (fma<mode>4): Use gpc_reg_operand instead of register_operand.
6041 (fms<mode>4): Likewise.
6042 (fnma<mode>4): Likewise.
6043 (fnms<mode>4): Likewise.
6044 (nfma<mode>4): Likewise.
6045 (nfms<mode>4): Likewise.
6047 2017-01-04 Marek Polacek <polacek@redhat.com>
6050 * doc/invoke.texi: Document -Wpointer-compare.
6052 2017-01-04 Jakub Jelinek <jakub@redhat.com>
6054 * optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without
6057 * dwarf2out.c (output_loc_list): Don't throw away 64K+ location
6058 descriptions for -gdwarf-5 and emit them as uleb128 instead of
6061 2017-01-04 Kelvin Nilsen <kelvin@gcc.gnu.org>
6064 * doc/sourcebuild.texi (PowerPC-specific attributes): Add
6065 documentation of the powerpc_popcntb_ok attribute.
6066 * config/rs6000/rs6000.c (rs6000_option_override_internal): Add
6067 code to issue warning messages if a requested CPU configuration is
6068 not supported by the binary (assembler and loader) toolchain.
6069 (spe_init_builtins): Add two assertions to prevent ICE if attempt is
6070 made to define a built-in function that has been disabled.
6071 (paired_init_builtins): Add assertion to prevent ICE if attempt is
6072 made to define a built-in function that has been disabled.
6073 (altivec_init_builtins): Add comment explaining why definition
6074 of the DST built-in functions is not preceded by an assertion
6075 check. Add assertions to prevent ICE if attempts are made to
6076 define an altivec predicate or an abs* built-in function that has
6078 (htm_init_builtins): Add comment explaining why definition of the
6079 htm built-in functions is not preceded by an assertion check.
6081 2017-01-04 Jeff Law <law@redhat.com>
6083 PR tree-optimizatin/67955
6084 * tree-ssa-alias.c (same_addr_size_stores_p): Check offsets first.
6085 Allow any SSA_VAR_P as the base objects. Use integer_zerop. Verify
6086 the points-to solution does not include pt_null. Use DECL_PT_UID
6089 2017-01-04 Uros Bizjak <ubizjak@gmail.com>
6091 * config/i386/i386.md (HI/SImode test with imm to QImode splitters):
6092 Use gen_int_mode instead of gen_lopwart for const_int operands.
6094 2017-01-04 Jakub Jelinek <jakub@redhat.com>
6096 PR tree-optimization/71563
6097 * match.pd: Simplify X << Y into X if Y is known to be 0 or
6098 out of range value - has low bits known to be zero.
6100 2017-01-04 Alan Modra <amodra@gmail.com>
6102 * Makefile.in (aclocal_deps): Update and order as per aclocal.m4.
6103 * configure: Regenerate.
6104 * config.in: Regenerate.
6106 2017-01-04 Jakub Jelinek <jakub@redhat.com>
6109 * input.c (ebcdic_execution_charset::on_error): Don't use strstr for
6110 a substring of the message, but strcmp with the whole message. Ifdef
6111 ENABLE_NLS, translate the message first using dgettext.
6113 2017-01-03 Jeff Law <law@redhat.com>
6115 PR tree-optimizatin/78856
6116 * tree-ssa-threadupdate.c: Include tree-vectorizer.h.
6117 (mark_threaded_blocks): Remove code to truncate thread paths that
6118 cross multiple loop headers. Instead invalidate the cached loop
6119 iteration information and handle case of a thread path walking
6120 into an irreducible region.
6122 2017-01-03 Michael Meissner <meissner@linux.vnet.ibm.com>
6125 * config/rs6000/rs6000.c (rs6000_split_signbit): Change some
6126 assertions. Add support for doing the signbit if the IEEE 128-bit
6127 floating point value is in a GPR.
6128 * config/rs6000/rs6000.md (Fsignbit): Delete.
6129 (signbit<mode>2_dm): Delete using <Fsignbit> and just use "wa".
6130 Update the length attribute if the value is in a GPR.
6131 (signbit<mode>2_dm_<su>ext): Add combiner pattern to eliminate
6132 the sign or zero extension instruction, since the value is always 0/1.
6133 (signbit<mode>2_dm2): Delete using <Fsignbit>.
6136 * config/rs6000/vsx.md (vsx_extract_<mode>_store_p9): If we are
6137 extracting SImode to a GPR register so that we can generate a
6138 store, limit the vector to be in a traditional Altivec register
6139 for the vextuwrx instruction.
6141 2017-01-03 Ian Lance Taylor <iant@google.com>
6143 * godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.
6145 2017-01-03 Martin Sebor <msebor@redhat.com>
6147 PR tree-optimization/78696
6148 * gimple-ssa-sprintf.c (format_floating): Correct handling of
6149 precision. Use MPFR for %f for greater fidelity. Correct handling
6151 (pass_sprintf_length::compute_format_length): Set width and precision
6152 specified by asrerisk to void_node for vararg functions.
6153 (try_substitute_return_value): Adjust dump output.
6155 2017-01-03 David Edelsohn <dje.gcc@gmail.com>
6157 * doc/invoke.texi (RS6000 options): LRA is enabled by default.
6159 2017-01-03 Eric Botcazou <ebotcazou@adacore.com>
6161 * doc/invoke.texi (SPARC options): Document -mlra as the default.
6162 * config/sparc/sparc.c (sparc_option_override): Force LRA unless
6163 -mlra/-mno-lra was passed to the compiler.
6165 2017-01-03 James Cowgill <James.Cowgill@imgtec.com>
6167 PR rtl-optimization/65618
6168 * emit-rtl.c (try_split): Move initialization of "before" and
6169 "after" to just before the call to emit_insn_after_setloc.
6171 2017-01-03 Gerald Pfeifer <gerald@pfeifer.com>
6173 * doc/md.texi (Standard Names): Remove reference to Java frontend.
6175 2017-01-03 Pierre-Marie de Rodat <derodat@adacore.com>
6177 * dwarf2out.c (gen_enumeration_type_die): When
6178 -gno-strict-dwarf, add a DW_AT_encoding attribute.
6180 2017-01-03 Jakub Jelinek <jakub@redhat.com>
6182 PR tree-optimization/78965
6183 * gimple-ssa-sprintf.c (pass_sprintf_length::compute_format_length):
6184 Change first argument from const call_info & to call_info &. For %n
6185 set info.nowrite to false.
6188 * gimple-ssa-sprintf.c (try_substitute_return_value): Don't change
6189 possibly throwing calls.
6191 * genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME
6192 and exprs_len || fns_len, emit the code for SSA_NAME next to the exprs
6193 and fns handling, rather than in a separate case SSA_NAME.
6195 2017-01-02 Jeff Law <law@redhat.com>
6197 * config/darwin-driver.c (darwin_driver_init): Const-correctness
6198 fixes for first_period and second_period variables.
6200 2017-01-02 Uros Bizjak <ubizjak@gmail.com>
6203 * config/i386/i386.md (UNSPEC_NOREX_MEM): New unspec.
6204 (*insvqi_1): New insn pattern.
6205 (*insvqi_1_mem_rex64): Ditto.
6207 (*insvqi_3): Rename from *insvqi.
6209 (*extzvqi_mem_rex64): Add UNSPEC_NOREX_MEM tag.
6211 2017-01-02 Gerald Pfeifer <gerald@pfeifer.com>
6213 * doc/cfg.texi (Edges): Remove reference to Java.
6214 (Maintaining the CFG): Ditto.
6216 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
6219 * symtab.c (symtab_node::binds_to_current_def_p): Fix handling of
6220 transparent aliases.
6222 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
6225 * predict.def (PRED_CALL): Update hitrate.
6226 (PRED_INDIR_CALL, PRED_POLYMORPHIC_CALL): New predictors.
6227 * predict.c (tree_estimate_probability_bb): Split CALL predictor
6228 into direct/indirect/polymorphic variants.
6230 2017-01-01 Jakub Jelinek <jakub@redhat.com>
6232 Update copyright years.
6234 * gcc.c (process_command): Update copyright notice dates.
6235 * gcov-dump.c (print_version): Ditto.
6236 * gcov.c (print_version): Ditto.
6237 * gcov-tool.c (print_version): Ditto.
6238 * gengtype.c (create_file): Ditto.
6239 * doc/cpp.texi: Bump @copying's copyright year.
6240 * doc/cppinternals.texi: Ditto.
6241 * doc/gcc.texi: Ditto.
6242 * doc/gccint.texi: Ditto.
6243 * doc/gcov.texi: Ditto.
6244 * doc/install.texi: Ditto.
6245 * doc/invoke.texi: Ditto.
6247 Copyright (C) 2017 Free Software Foundation, Inc.
6249 Copying and distribution of this file, with or without modification,
6250 are permitted in any medium without royalty provided the copyright
6251 notice and this notice are preserved.