1 2017-02-14 Jeff Law <law@redhat.com>
3 PR tree-optimization/79095
4 * tree-vrp.c (extract_range_from_binary_expr_1): For EXACT_DIV_EXPR,
5 if the numerator has the range ~[0,0] make the resultant range ~[0,0].
6 (extract_range_from_binary_expr): For MINUS_EXPR with no derived range,
7 if the operands are known to be not equal, then the resulting range
9 (intersect_ranges): If the new range is ~[0,0] and the old range is
10 wide, then prefer ~[0,0].
11 * tree-vrp.c (overflow_comparison_p_1): New function.
12 (overflow_comparison_p): New function.
13 * tree-vrp.c (register_edge_assert_for_2): Register additional asserts
14 if NAME is used in an overflow test.
15 (vrp_evaluate_conditional_warnv_with_ops): If the ops represent an
16 overflow check that can be expressed as an equality test, then adjust
17 ops to be that equality test.
19 2017-02-14 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
21 * config/s390/s390-builtin-types.def: Remove flags argument.
22 * config/s390/s390.c (s390_init_builtins): Likewise.
24 2017-02-14 Martin Liska <mliska@suse.cz>
26 * tree-ssa-loop-unswitch.c (hoist_guard): Release get_loop_body
27 vector. Fix trailing white spaces.
29 2017-02-14 James Greenhalgh <james.greenhalgh@arm.com>
31 * config/aarch64/aarch64.c (aarch64_simd_container_mode): Handle
34 2017-02-14 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
36 PR rtl-optimization/68664
37 * config/arm/arm.c (arm_sched_can_speculate_insn):
38 New function. Declare prototype.
39 (TARGET_SCHED_CAN_SPECULATE_INSN): Define.
41 2017-02-14 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
43 PR rtl-optimization/68664
44 * config/aarch64/aarch64.c (aarch64_sched_can_speculate_insn):
46 (TARGET_SCHED_CAN_SPECULATE_INSN): Define.
48 2017-02-14 Amit Pawar <amit.pawar@amd.com>
50 * config/i386/i386.c (znver1_cost): Fix the alignment for function and
51 max skip bytes for function, loop and jump.
53 2017-02-14 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
55 * gimple-pretty-print.c (dump_unary_rhs): Adjust dump format for
56 ABS_EXPR for gimple dump.
58 2017-02-14 Jakub Jelinek <jakub@redhat.com>
61 * config/sh/sh.c (expand_cbranchdi4): Don't clear operands[4].
63 PR tree-optimization/79408
64 * tree-vrp.c (simplify_div_or_mod_using_ranges): Handle also the
65 case when on TRUNC_MOD_EXPR op0 is INTEGER_CST.
66 (simplify_stmt_using_ranges): Call simplify_div_or_mod_using_ranges
67 also if rhs1 is INTEGER_CST.
69 2017-02-14 Richard Biener <rguenther@suse.de>
72 * tree-into-ssa.c (insert_phi_nodes): When the function can
73 have abnormal edges rewrite SSA names with broken use-def
74 dominance out of SSA and register them for PHI insertion.
76 2017-02-13 Martin Sebor <msebor@redhat.com>
79 * gimple-ssa-sprintf.c (pass_sprintf_length::handle_gimple_call): Avoid
80 clearing info.nowrite flag when snprintf size argument is a range.
82 2017-02-13 Jakub Jelinek <jakub@redhat.com>
84 * cprop.c (cprop_jump): Add missing space in string literal.
85 * tree-ssa-structalias.c (rewrite_constraints): Likewise.
86 (get_constraint_for_component_ref): Likewise.
87 * df-core.c (df_worklist_dataflow_doublequeue): Likewise.
88 * tree-outof-ssa.c (insert_partition_copy_on_edge): Likewise.
89 * lra-constraints.c (process_alt_operands): Likewise.
90 * ipa-inline.c (inline_small_functions): Likewise.
91 * tree-ssa-sccvn.c (visit_reference_op_store): Likewise.
92 * cgraph.c (cgraph_edge::redirect_call_stmt_to_callee): Likewise.
93 * trans-mem.c (diagnose_tm_1_op): Likewise.
94 * omp-grid.c (grid_find_single_omp_among_assignments): Likewise.
95 (grid_parallel_clauses_gridifiable): Likewise.
97 * config/nvptx/mkoffload.c (process): Add space in between
100 * config/i386/i386.h (REG_CLASS_NAMES): Add , in between
101 "MOD4_SSE_REGS" and "ALL_REGS".
103 * spellcheck.c (test_data): Add , in between "foo" and "food".
105 2017-02-13 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
108 * config/rs6000/rs6000.c (expand_block_compare): Make sure runtime
109 boundary crossing check and subsequent code generation agree.
111 2017-02-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
113 * config/aarch64/aarch64.c (has_memory_op): Delete.
114 (aarch64_madd_needs_nop): Use contains_mem_rtx_p instead of
117 2017-02-13 Jakub Jelinek <jakub@redhat.com>
119 PR rtl-optimization/79388
120 PR rtl-optimization/79450
121 * combine.c (distribute_notes): When removing TEM_INSN for which
122 corresponding dest has last value recorded, invalidate that last
125 2017-02-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
127 * config/arm/arm.c (arm_print_tune_info): Use ASM_COMMENT_START instead
128 of explicit '@'. Add missing assembly comment marker on branch costs
131 2017-02-13 Nathan Sidwell <nathan@acm.org>
133 * gengtype-lex.l (<in_struct>): Add '/'.
135 2017-02-13 Martin Liska <mliska@suse.cz>
138 * calls.c (expand_call): Replace XALLOCAVEC with XCNEWVEC.
140 2017-02-13 Richard Biener <rguenther@suse.de>
142 * configure.ac (HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS):
144 * configure: Re-generate.
145 * config.in: Likewise.
146 * graphite-dependences.c: Simplify as if
147 HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS was defined.
148 * graphite-isl-ast-to-gimple.c: Likewise.
149 * graphite-optimize-isl.c: Likewise.
150 * graphite-poly.c: Likewise.
151 * graphite-sese-to-poly.c: Likewise.
152 * graphite.h: Likewise.
153 * toplev.c: Include isl/version.h and use isl_version () for
154 printing the ISL version.
155 * doc/install.texi: Update ISL requirement.
157 2017-02-12 Gerald Pfeifer <gerald@pfeifer.com>
159 * doc/standards.texi (Standards): Update reference to
162 2017-02-12 Gerald Pfeifer <gerald@pfeifer.com>
164 * doc/extend.texi (Named Address Spaces): sourceware.org now
166 * doc/install.texi (Binaries): Ditto.
169 2017-02-11 Sandra Loosemore <sandra@codesourcery.com>
171 * doc/cpp.texi: Replace "stringify"/"stringification" with C
172 standard terminology "stringize"/"stringizing" throughout.
173 * doc/cppinternals.texi: Likewise.
175 2017-02-11 Sandra Loosemore <sandra@codesourcery.com>
177 * doc/extend.texi: Fix some spelling mistakes and typos.
178 * doc/invoke.texi: Likewise.
180 2017-02-11 Jan Hubicka <hubicka@ucw.cz>
183 * params.def (inline-min-speedup) Change from 10 to 8.
185 2017-02-11 Jakub Jelinek <jakub@redhat.com>
187 * doc/invoke.texi (fopenmp): Bump OpenMP version from 4.0 to
190 2017-02-11 Jan Hubicka <hubicka@ucw.cz>
193 * ipa-inline-analysis.c (get_minimal_bb): New function.
194 (record_modified): Use it.
195 (remap_edge_change_prob): Handle also ancestor functions.
197 2017-02-11 Gerald Pfeifer <gerald@pfeifer.com>
199 * doc/contrib.texi (Contributors): Remove broken link into
200 the Mauve CVS repository.
202 2017-02-11 Jakub Jelinek <jakub@redhat.com>
205 * internal-fn.c (expand_vector_ubsan_overflow): Use piece-wise
206 result computation whenever lhs doesn't have vector mode, not
207 just when it has BLKmode.
209 2017-02-10 Gerald Pfeifer <gerald@pfeifer.com>
211 * doc/makefile.texi (profiledbootstrap): Refer to the
212 installation instructions only in textual form.
214 2017-02-10 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
217 * config/rs6000/altivec.md (bcd<bcd_add_sub>): Fix constraints.
219 2017-02-10 Gerald Pfeifer <gerald@pfeifer.com>
221 * doc/install.texi (Specific): Use https for blackfin.uclinux.org.
222 (Specific): Update mingw-w64 reference.
224 (Specific): Remove broken link to Renesas RX processor.
226 2017-02-10 Richard Biener <rguenther@suse.de>
228 * toplev.c (process_options): Do not mention obsolete graphite
229 options when printing sorry message about missing graphite support.
230 Mention -floop-nest-optimize.
232 2017-02-10 Christophe Lyon <christophe.lyon@linaro.org>
234 * config/aarch64/arm_neon.h (vtst_p8): Rewrite without asm.
235 (vtst_p16): Likewise.
236 (vtstq_p8): Likewise.
237 (vtstq_p16): Likewise.
239 (vtstq_p64): Likewise.
240 * config/arm/arm_neon.h (vgetq_lane_p64): New.
241 (vset_lane_p64): New.
242 (vsetq_lane_p64): New.
244 2017-02-10 Jakub Jelinek <jakub@redhat.com>
246 PR tree-optimization/79411
247 * tree-ssa-reassoc.c (is_reassociable_op): Return false if
248 stmt operands are SSA_NAMEs used in abnormal phis.
249 (can_reassociate_p): Return false if op is SSA_NAME used in abnormal
252 2017-02-09 Jan Hubicka <hubicka@ucw.cz>
255 * cgraphunit.c (cgraph_node::add_new_function): Set externally_visible
258 2017-02-09 Jan Hubicka <hubicka@ucw.cz>
260 * tree-ssa-loop-unswitch.c (hoist_guard): Update profile.
262 2017-02-09 Jakub Jelinek <jakub@redhat.com>
264 * omp-offload.c (oacc_loop_auto_partitions): Use || instead of |
268 * gimplify.h (is_gimple_sizepos): Only test for INTEGER_CST constants,
269 not arbitrary TREE_CONSTANT.
272 * gimplify.c (gimplify_adjust_omp_clauses): Ignore
273 "omp declare target link" attribute unless is_global_var.
274 * omp-offload.c (find_link_var_op): Likewise.
276 2017-02-09 Nathan Sidwell <nathan@codesourcery.com>
277 Chung-Lin Tang <cltang@codesourcery.com>
279 * gimplify.c (gimplify_scan_omp_clauses): No special handling for
281 (gimplify_adjust_omp_clauses): Don't delete TILE.
282 (gimplify_omp_for): Deal with TILE.
283 * internal-fn.c (expand_GOACC_TILE): New function.
284 * internal-fn.def (GOACC_DIM_POS): Comment may be overly conservative.
286 * omp-expand.c (struct oacc_collapse): Add tile and outer fields.
287 (expand_oacc_collapse_init): Add LOC paramter. Initialize tile
289 (expand_oacc_collapse_vars): Add INNER parm, adjust for tiling,
290 avoid DIV for outermost collapse var.
291 (expand_oacc_for): Insert tile element loop as needed. Adjust.
292 Remove out of date comments, fix whitespace.
293 * omp-general.c (omp_extract_for_data): Deal with tiling.
294 * omp-general.h (enum oacc_loop_flags): Add OLF_TILE flag,
295 adjust OLF_DIM_BASE value.
296 (struct omp_for_data): Add tiling field.
297 * omp-low.c (scan_sharing_clauses): Allow OMP_CLAUSE_TILE.
298 (lower_oacc_head_mark): Add OLF_TILE as appropriate. Ensure 2 levels
299 for auto loops. Remove default auto determining, moved to
300 oacc_loop_fixed_partitions.
301 * omp-offload.c (struct oacc_loop): Change 'ifns' to vector of call
302 stmts, add e_mask field.
303 (oacc_dim_call): New function, abstracted out from oacc_thread_numbers.
304 (oacc_thread_numbers): Use oacc_dim_call.
305 (oacc_xform_tile): New.
306 (new_oacc_loop_raw): Initialize e_mask, adjust for ifns vector.
307 (finish_oacc_loop): Adjust for ifns vector.
308 (oacc_loop_discover_walk): Append loop abstraction sites to list,
309 add case for GOACC_TILE fns.
310 (oacc_loop_xform_loop): Delete.
311 (oacc_loop_process): Iterate over call list directly, and add
312 handling for GOACC_TILE fns.
313 (oacc_loop_fixed_partitions): Determine default auto, deal with TILE,
315 (oacc_loop_auto_partitions): Add outer_assign parm. Assign all but
316 vector partitioning to outer loops. Assign 2 partitions to loops
317 when available. Add TILE handling.
318 (oacc_loop_partition): Adjust oacc_loop_auto_partitions call.
319 (execite_oacc_device_lower): Process GOACC_TILE fns, ignore unknown specs.
320 * tree-nested.c (convert_nonlocal_omp_clauses): Allow OMP_CLAUSE_TILE.
321 * tree.c (omp_clause_num_ops): Adjust TILE ops.
322 * tree.h (OMP_CLAUSE_TILE_ITERVAR, OMP_CLAUSE_TILE_COUNT): New.
324 2017-02-09 Gerald Pfeifer <gerald@pfeifer.com>
326 * configure.ac (ACX_BUGURL): Update.
327 * configure: Regenerate.
329 2017-02-09 Richard Biener <rguenther@suse.de>
331 PR tree-optimization/69823
332 * graphite-scop-detection.c (scop_detection::harmful_loop_in_region):
333 Properly enumerate all BBs in the region. Use auto_vec/auto_bitmap.
335 2017-02-09 Andrew Burgess <andrew.burgess@embecosm.com>
337 * config/arc/arc-c.def: Add __NPS400__ definition.
338 * config/arc/arc.h (CPP_SPEC): Don't define __NPS400__ here.
339 (TARGET_NPS400): Define.
341 2017-02-09 Andrew Burgess <andrew.burgess@embecosm.com>
343 * config/arc/arc-arch.h (arc_arch_t): Move unchanged to earlier in
345 (arc_cpu_t): Change base_architecture field, arch, to a arc_arc_t
347 (arc_cpu_types): Fill the arch_info field with a pointer into the
348 arc_arch_types table.
349 (arc_selected_cpu): Declare.
350 * config/arc/arc.c (arc_selected_cpu): Make global.
351 (arc_selected_arch): Delete.
352 (arc_base_cpu): Delete.
353 (arc_override_options): Remove references to deleted variables,
354 update access to arch information.
355 (ARC_OPT): Update access to arch information.
356 (ARC_OPTX): Likewise.
357 * config/arc/arc.h (arc_base_cpu): Remove declaration.
358 (TARGET_ARC600): Update access to arch information.
359 (TARGET_ARC601): Likewise.
360 (TARGET_ARC700): Likewise.
361 (TARGET_EM): Likewise.
362 (TARGET_HS): Likewise.
363 * config/arc/driver-arc.c (arc_cpu_to_as): Update access to arch
366 2017-02-08 Pat Haugen <pthaugen@us.ibm.com>
369 * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Invert
370 condition/operands for integer GE/LE/GEU/LEU operations.
372 2017-02-08 Segher Boessenkool <segher@kernel.crashing.org>
375 * config/rs6000/rs6000.opt (maltivec=le, maltivec=be): Fix spelling
378 2017-02-08 Martin Jambor <mjambor@suse.cz>
381 * ipa-prop.c (ipa_alloc_node_params): Make static, return bool
382 whether allocation happened.
383 (ipa_initialize_node_params): Do not call ipa_alloc_node_params if
384 nothing was allocated.
386 2017-02-08 Jakub Jelinek <jakub@redhat.com>
388 PR tree-optimization/79408
389 * tree-vrp.c (simplify_div_or_mod_using_ranges): If op1 is not
390 constant, but SSA_NAME with a known integer range, use the minimum
391 of that range instead of op1 to determine if modulo can be replaced
392 with its first operand.
394 2016-02-08 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
396 * config/riscv/riscv.c (riscv_build_integer_1): Avoid use of INT16_MAX.
398 2017-02-08 Richard Biener <rguenther@suse.de>
400 PR tree-optimization/71824
401 * graphite-scop-detection.c (scop_detection::build_scop_breadth):
402 Check all loops contained in the merged region.
404 2017-02-07 Andrew Pinski <apinski@cavium.com>
406 * config/aarch64/aarch64.md (popcount<mode>2): New pattern.
408 2017-02-07 Andrew Pinski <apinski@cavium.com>
410 * config/aarch64/aarch64-cores.def (thunderx): Disable LSE.
411 (thunderxt88): Likewise.
412 (thunderxt81): Disable LSE and change v8.1 to v8.
413 (thunderxt83): Likewise.
415 2017-02-07 Jakub Jelinek <jakub@redhat.com>
416 Richard Biener <rguenther@suse.de>
419 * ira-int.h (struct target_ira_int): Change x_max_struct_costs_size
420 type from int to size_t.
421 * ira-costs.c (struct_costs_size): Change type from int to size_t.
423 2017-02-07 Jakub Jelinek <jakub@redhat.com>
425 PR rtl-optimization/79386
426 * cprop.c (bypass_conditional_jumps): Initialize
427 bypass_last_basic_block already before splitting bbs after
428 unconditional traps...
429 (bypass_conditional_jumps): ... rather than here.
432 * config/i386/sse.md (xtg_mode, gatherq_mode): New mode attrs.
433 (*avx512f_gathersi<mode>, *avx512f_gathersi<mode>_2,
434 *avx512f_gatherdi<mode>, *avx512f_gatherdi<mode>_2): Use them,
435 fix -masm=intel patterns.
437 2017-02-07 Richard Biener <rguenther@suse.de>
439 PR tree-optimization/79256
441 * builtins.c (get_object_alignment_2): Use min_align_of_type
442 to extract alignment for MEM_REFs to honor BIGGEST_FIELD_ALIGNMENT
443 and ADJUST_FIELD_ALIGN.
445 * doc/tm.texi.in (ADJUST_FIELD_ALIGN): Adjust to take additional
447 * doc/tm.texi: Regenerate.
448 * stor-layout.c (layout_decl): Adjust.
449 (update_alignment_for_field): Likewise.
450 (place_field): Likewise.
451 (min_align_of_type): Likewise.
452 * config/arc/arc.h (ADJUST_FIELD_ALIGN): Adjust.
453 * config/epiphany/epiphany.h (ADJUST_FIELD_ALIGN): Likewise.
454 * config/epiphany/epiphany.c (epiphany_adjust_field_align): Likewise.
455 * config/frv/frv.h (ADJUST_FIELD_ALIGN): Likewise.
456 * config/frv/frv.c (frv_adjust_field_align): Likewise.
457 * config/i386/i386.h (ADJUST_FIELD_ALIGN): Likewise.
458 * config/i386/i386.c (x86_field_alignment): Likewise.
459 * config/rs6000/aix.h (ADJUST_FIELD_ALIGN): Likewise.
460 * config/rs6000/darwin.h (ADJUST_FIELD_ALIGN): Likewise.
461 * config/rs6000/freebsd64.h (ADJUST_FIELD_ALIGN): Likewise.
462 * config/rs6000/linux64.h (ADJUST_FIELD_ALIGN): Likewise.
463 * config/rs6000/sysv4.h (ADJUST_FIELD_ALIGN): Likewise.
464 * config/rs6000/rs6000.c (rs6000_special_adjust_field_align_p):
468 2017-01-30 Richard Biener <rguenther@suse.de>
470 PR tree-optimization/79256
471 * targhooks.c (default_builtin_vector_alignment_reachable): Honor
472 BIGGEST_FIELD_ALIGNMENT and ADJUST_FIELD_ALIGN to fix up bogus
475 2017-02-07 Toma Tabacu <toma.tabacu@imgtec.com>
477 * config/mips/mips.c (mips_expand_builtin_insn): Convert the QImode
478 argument of the pshufh, psllh, psllw, psrah, psraw, psrlh, psrlw
479 builtins to SImode and emit a zero-extend, if necessary.
481 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
483 * docs/invoke.texi (RISC-V Options): Alphabetize.
485 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
487 * doc/invoke.texi (RISC-V Options): Use two spaces to separate
490 2017-02-06 Palmer Dabbelt <palmer@dabbelt.com>
492 * config/riscv/riscv.c: New file.
493 * gcc/common/config/riscv/riscv-common.c: Likewise.
494 * config.gcc: Likewise.
495 * config/riscv/constraints.md: Likewise.
496 * config/riscv/elf.h: Likewise.
497 * config/riscv/generic.md: Likewise.
498 * config/riscv/linux.h: Likewise.
499 * config/riscv/multilib-generator: Likewise.
500 * config/riscv/peephole.md: Likewise.
501 * config/riscv/pic.md: Likewise.
502 * config/riscv/predicates.md: Likewise.
503 * config/riscv/riscv-builtins.c: Likewise.
504 * config/riscv/riscv-c.c: Likewise.
505 * config/riscv/riscv-ftypes.def: Likewise.
506 * config/riscv/riscv-modes.def: Likewise.
507 * config/riscv/riscv-opts.h: Likewise.
508 * config/riscv/riscv-protos.h: Likewise.
509 * config/riscv/riscv.h: Likewise.
510 * config/riscv/riscv.md: Likewise.
511 * config/riscv/riscv.opt: Likewise.
512 * config/riscv/sync.md: Likewise.
513 * config/riscv/t-elf-multilib: Likewise.
514 * config/riscv/t-linux: Likewise.
515 * config/riscv/t-linux-multilib: Likewise.
516 * config/riscv/t-riscv: Likewise.
517 * configure.ac: Likewise.
518 * doc/contrib.texi: Add Kito Cheng, Palmer Dabbelt, and Andrew
519 Waterman as RISC-V maintainers.
520 * doc/install.texi: Add RISC-V entries.
521 * doc/invoke.texi: Add RISC-V options section.
522 * doc/md.texi: Add RISC-V constraints section.
523 * configure: Regenerated.
525 2017-02-06 Michael Meissner <meissner@linux.vnet.ibm.com>
528 * config/rs6000/vector.md (vcond<mode><mode>): Allow the true and
529 false values to be constant vectors with all 0 or all 1 bits set.
530 (vcondu<mode><mode>): Likewise.
531 * config/rs6000/predicates.md (vector_int_reg_or_same_bit): New
533 (fpmask_comparison_operator): Update comment.
534 (vecint_comparison_operator): New predicate.
535 * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Optimize
536 vector conditionals when the true and false values are constant
537 vectors with all 0 bits or all 1 bits set.
539 2017-02-06 Martin Sebor <msebor@redhat.com>
541 PR tree-optimization/79376
542 * gimple-fold.c (get_range_strlen): Set the minimum length to zero.
544 2017-02-06 Uros Bizjak <ubizjak@gmail.com>
546 * config/i386/sse.md (vector modes -> vec_extract* splitter): Use
547 explicit subreg RTX with operand 1. Use VECTOR_MODE_P predicate
548 to simplify split condition.
550 2017-02-06 Jakub Jelinek <jakub@redhat.com>
552 * omp-expand.c (oxpand_omp_atomic_fetch_op,
553 expand_omp_atomic_pipeline): Return false if can_atomic_load_p is
556 2017-02-06 Segher Boessenkool <segher@kernel.crashing.org>
558 PR rtl-optimization/68664
559 * target.def (can_speculate_insn): New hook.
560 * doc/tm.texi.in (TARGET_SCHED_CAN_SPECULATE_INSN): New hook.
561 * doc/tm.texi: Regenerate.
562 * sched-rgn.c (can_schedule_ready_p): Use the new hook.
563 * config/rs6000/rs6000.c (TARGET_SCHED_CAN_SPECULATE_INSN): New macro.
564 (rs6000_sched_can_speculate_insn): New function.
566 2017-02-06 Jakub Jelinek <jakub@redhat.com>
568 PR tree-optimization/79284
569 * tree-vectorizer.h (VECT_SCALAR_BOOLEAN_TYPE_P): Define.
570 * tree-vect-stmts.c (vect_get_vec_def_for_operand,
571 vectorizable_mask_load_store, vectorizable_operation,
572 vect_is_simple_cond, get_same_sized_vectype): Use it instead
573 of comparing TREE_CODE of a type against BOOLEAN_TYPE.
574 * tree-vect-patterns.c (check_bool_pattern, search_type_for_mask_1,
575 vect_recog_bool_pattern, vect_recog_mask_conversion_pattern): Likewise.
576 * tree-vect-slp.c (vect_get_constant_vectors): Likewise.
577 * tree-vect-loop.c (vect_determine_vectorization_factor): Likewise.
578 Remove redundant gimple_code (stmt) == GIMPLE_ASSIGN test after
579 is_gimple_assign (stmt). Replace another such test with
580 is_gimple_assign (stmt).
582 2017-02-06 Georg-Johann Lay <avr@gjlay.de>
585 * config/avr/avr.c (rtl-iter.h): Include it.
586 (TARGET_LEGITIMATE_COMBINED_INSN): New hook define...
587 (avr_legitimate_combined_insn): ...and implementation.
589 2017-02-06 Dominik Vogt <vogt@linux.vnet.ibm.com>
591 * config/s390/predicates.md ("larl_operand"): Use macros from hwint.h.
592 * config/s390/s390.c (s390_const_operand_ok)
593 (s390_canonicalize_comparison, s390_extract_part)
594 (s390_single_part, s390_contiguous_bitmask_nowrap_p)
595 (s390_contiguous_bitmask_p, s390_rtx_costs)
596 (legitimize_pic_address): Likewise.
597 * config/s390/s390.md ("clzdi2", "clztidi2"): Likewise.
598 * config/s390/vx-builtins.md ("vec_genbytemaskv16qi")
599 ("vec_permi<mode>", "vfae<mode>", "*vfaes<mode>", "vstrc<mode>")
600 ("*vstrcs<mode>"): Use UINTVAL() to set unsigned HOST_WIDE_INT.
601 * config/s390/vector.md ("vec_vfenes<mode>"): Likewise.
603 2017-02-06 Georg-Johann Lay <avr@gjlay.de>
605 * config/avr/avr.md (*addhi3_zero_extend): Add alternative where
606 REGNO($0) == REGNO($1).
608 2017-02-06 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
610 * config/s390/linux.h(SIZE_TYPE): Add comment.
612 2017-02-06 Julian Brown <julian@codesourcery.com>
613 Naveen H.S <Naveen.Hurugalawadi@cavium.com>
614 Virendra Pathak <virendra.pathak@broadcom.com>
616 * config/aarch64/aarch64-cores.def: Change the scheduler
618 * config/aarch64/aarch64.md: Include thunderx2t99.md.
619 * config/aarch64/thunderx2t99.md: New file.
621 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
623 * doc/standards.texi (Go Language): Update link to language
626 2017-02-05 Jan Hubicka <hubicka@ucw.cz>
628 * tree-eh.c (lower_resx): Sanitize profile.
629 (cleanup_empty_eh_move_lp): Likewise.
631 2017-02-05 Jan Hubicka <hubicka@ucw.cz>
634 * cfgloopmanip.c (lv_adjust_loop_entry_edge, loop_version): Add
636 * cfgloopmanip.h (loop_version): Update prototype.
637 * modulo-sched.c (sms_schedule): Update call of loop_version.
638 * tree-if-conv.c(version_loop_for_if_conversion): Likewise.
639 * tree-parloops.c (gen_parallel_loop): Likewise.
640 * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Likewise.
641 * tree-ssa-loop-split.c (split_loop): Likewise.
642 * tree-ssa-loop-unswitch.c (tree_unswitch_loop): Likewise.
643 * tree-vect-loop-manip.c (vect_loop_versioning): Likewise.
645 2017-02-05 Martin Liska <mliska@suse.cz>
648 * config/s390/s390.c (s390_gimplify_va_arg): Initialize local
650 (print_operand_address): Initialize a struct to zero.
652 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
654 * doc/contrib.texi (Contributors): Refer to Hans Boehm's
655 garbage collector only in textual form.
657 2017-02-05 Gerald Pfeifer <gerald@pfeifer.com>
659 * doc/extend.texi (x86 specific memory model extensions for
660 transactional memory): Simplify a phrase.
662 2017-02-05 Eric Botcazou <ebotcazou@adacore.com>
665 * config/sparc/sync.md (atomic_loaddi_1): Replace 'U' constraint with
666 'r', 'm' constraint with 'T' and !TARGET_ARCH64 with TARGET_ARCH32.
667 (atomic_storedi_1): Likewise.
669 2017-02-04 Jakub Jelinek <jakub@redhat.com>
671 PR tree-optimization/79338
672 * tree-parloops.c (gather_scalar_reductions): Don't call
673 vect_analyze_loop_form for loop->inner before destroying loop's
676 2017-02-03 Martin Sebor <msebor@redhat.com>
678 PR tree-optimization/79327
679 * gimple-ssa-sprintf.c (tree_digits): Avoid adding the base prefix
680 when precision has resulted in leading zeros.
681 (format_integer): Adjust the likely counter to assume an unknown
682 argument that may be zero is non-zero.
684 2017-02-03 Jason Merrill <jason@redhat.com>
687 * tree-inline.c (copy_tree_body_r) [COND_EXPR]: Revert change to
688 avoid copying non-taken branch.
690 2017-02-03 Jakub Jelinek <jakub@redhat.com>
692 PR tree-optimization/79340
693 * tree-vect-loop.c (vectorizable_reduction): Release
694 vec_defs elements after safe_splicing them into other vectors.
697 PR tree-optimization/79327
698 * gimple-ssa-sprintf.c (adjust_range_for_overflow): If returning
699 true, always set *argmin and *argmax to TYPE_{MIN,MAX}_VALUE of
701 (format_integer): Use wide_int_to_tree instead of build_int_cst
702 + to_?hwi. If argmin is NULL, just set argmin and argmax to
703 TYPE_{MIN,MAX}_VALUE of argtype. Simplify and fix computation
704 of shortest and longest sequence.
706 2017-02-03 Uros Bizjak <ubizjak@gmail.com>
708 * config/i386/i386.c (dimode_scalar_chain::convert_reg):
709 Use pextrd for TARGET_SSE4_1 when creating scalar copy.
711 2017-02-03 Walter Lee <walt@tilera.com>
714 * config/tilegx/tilegx.md (tilegx_expand_prologue): Add blockage
715 after initial stackframe link reg save.
716 * config/tilepro/tilepro.md (tilepro_expand_prologue): Likewise.
718 2017-02-03 Jakub Jelinek <jakub@redhat.com>
721 * config/rs6000/rs6000.md (movsi_from_sf): Use wb constraint instead of
722 wu for stxssp alternative.
724 2017-02-03 Martin Sebor <msebor@redhat.com>
726 PR tree-optimization/79352
727 * gimple-fold.c (get_range_strlen): Add argument.
728 (get_range_strlen): Change return type to bool.
729 (get_maxval_strlen): Pass in a dummy argument.
730 * gimple-fold.h (get_range_strlen): Change return type to bool.
731 * gimple-ssa-sprintf.c (get_string_length): Set unlikely counter.
732 * tree.h (array_at_struct_end_p): Add argument.
733 * tree.c (array_at_struct_end_p): Handle it.
735 2017-02-03 Martin Liska <mliska@suse.cz>
738 * multiple_target.c (create_dispatcher_calls): Redirect edge
739 from a caller of a dispatcher.
740 (expand_target_clones): Make the clones local.
741 (ipa_target_clone): Do both target clones and resolvers.
742 (ipa_dispatcher_calls): Remove the pass.
743 (pass_dispatcher_calls::gate): Likewise.
744 (make_pass_dispatcher_calls): Likewise.
745 * passes.def (pass_target_clone): Put as very first IPA early
748 2017-02-03 Martin Liska <mliska@suse.cz>
750 * symtab.c (symtab_node::binds_to_current_def_p): Bail out
751 in case of a function with ifunc attribute.
753 2017-02-03 Martin Liska <mliska@suse.cz>
755 * cgraph.c (cgraph_node::dump): Dump function version info.
756 * symtab.c (symtab_node::dump_base): Add missing new line.
758 2017-02-02 Jan Hubicka <hubicka@ucw.cz>
760 * tree-ssa-ifcombine.c (update_profile_after_ifcombine): New function.
761 (ifcombine_ifandif): Use it.
763 2017-02-03 Martin Liska <mliska@suse.cz>
765 * doc/invoke.texi: Document default value for
766 use-after-scope-direct-emission-threshold.
768 2017-02-03 Martin Liska <mliska@suse.cz>
770 PR tree-optimization/79339
771 * gimple-ssa-sprintf.c (format_floating_max): Call mpfr_clear.
772 (format_floating): Likewise.
774 2017-02-03 Martin Liska <mliska@suse.cz>
777 * ipa-prop.c (ipa_node_params_t::insert): Remove current
779 (ipa_node_params_t::remove): Likewise.
780 * ipa-prop.h (ipa_node_params::ipa_node_params): Make default
781 initialization from removed ipa_node_params_t::insert.
782 (ipa_node_params::~ipa_node_params): Move from removed
783 ipa_node_params_t::release.
784 * symbol-summary.h (symbol_summary::m_released): New member.
785 Do not release a summary twice. Do not allow to call finalizer
786 for types of a summary that live in GGC memory.
788 2017-02-02 Naveen H.S <Naveen.Hurugalawadi@cavium.com>
790 * config/aarch64/aarch64.c (thunderx2t99_tunings): Enable AES and
793 2017-02-02 Martin Sebor <msebor@redhat.com>
796 * gimple-ssa-sprintf.c (get_string_length): Set lower bound to zero.
797 (format_string): Tighten up the range of output for non-constant
798 strings and correct the expected range for wide non-constant strings.
800 2017-02-02 Martin Sebor <msebor@redhat.com>
802 * doc/invoke.texi (-maccumulate-args): Fix bad grammar.
805 * doc/invoke.texi (-fdump-rtl-): Remove pass-specific options from
807 (-fdump-tree-@var): Add to index and document how to come up
808 with pass-specific option and dump file names.
809 (-fdump-passes): Clarify where to look for output.
811 2017-02-02 Jan Hubicka <hubicka@ucw.cz>
814 * tree-ssa-threadbackward.c (profitable_jump_thread_path): Dump
815 statistics of the analyzed path; allow threading for speed when
816 any of BBs along the path are optimized for speed.
818 2017-02-02 Eric Botcazou <ebotcazou@adacore.com>
821 * emit-rtl.c (init_emit): Add ??? comment for problematic alignment
822 settings of the virtual registers.
825 2016-08-23 Dominik Vogt <vogt@linux.vnet.ibm.com>
827 * explow.c (get_dynamic_stack_size): Take known alignment of stack
828 pointer + STACK_DYNAMIC_OFFSET into account when calculating the size
831 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
833 * config/s390/vx-builtins.md ("vec_ceil", "vec_floor")
834 ("vec_trunc", "vec_roundc", "vec_round"): Remove expanders.
836 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
838 * config/s390/s390.md: Add missing comments with the expanded
840 * config/s390/vector.md: Likewise.
841 * config/s390/vx-builtins.md: Likewise.
843 2017-02-02 Jakub Jelinek <jakub@redhat.com>
846 * config/rs6000/rs6000.md (*fixuns_trunc<mode>di2_fctiduz): Rename to ...
847 (fixuns_trunc<mode>di2): ... this, remove previous expander. Put all
848 conditions on a single line.
850 2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
852 * config/s390/s390-c.c (s390_cpu_cpp_builtins_internal): Rename
853 __S390_VX__ to __VX__.
855 2017-02-01 Andrew Pinski <apinski@cavium.com>
857 * tree-vect-loop.c (vect_compute_single_scalar_iteration_cost): Pass
858 stmt_info to record_stmt_cost.
859 (vect_get_known_peeling_cost): Pass stmt_info if known to
861 * config/aarch64/aarch64-protos.h (cpu_vector_cost): Split
862 cpu_vector_cost field into
863 scalar_int_stmt_cost and scalar_fp_stmt_cost. Split vec_stmt_cost
864 field into vec_int_stmt_cost and vec_fp_stmt_cost.
865 * config/aarch64/aarch64.c (generic_vector_cost): Update for the
866 splitting of scalar_stmt_cost and vec_stmt_cost.
867 (thunderx_vector_cost): Likewise.
868 (cortexa57_vector_cost): LIkewise.
869 (exynosm1_vector_cost): Likewise.
870 (xgene1_vector_cost): Likewise.
871 (thunderx2t99_vector_cost): Improve after the splitting of the two
873 (aarch64_builtin_vectorization_cost): Update for the splitting of
874 scalar_stmt_cost and vec_stmt_cost.
876 2017-02-01 Torvald Riegel <triegel@redhat.com>
877 Richard Henderson <rth@redhat.com>
879 * builtins.c (fold_builtin_atomic_always_lock_free): Make "lock-free"
880 conditional on existance of a fast atomic load.
881 * optabs-query.c (can_atomic_load_p): New function.
882 * optabs-query.h (can_atomic_load_p): Declare it.
883 * optabs.c (expand_atomic_exchange): Always delegate to libatomic if
884 no fast atomic load is available for the particular size of access.
885 (expand_atomic_compare_and_swap): Likewise.
886 (expand_atomic_load): Likewise.
887 (expand_atomic_store): Likewise.
888 (expand_atomic_fetch_op): Likewise.
889 * testsuite/lib/target-supports.exp
890 (check_effective_target_sync_int_128): Remove x86 because it provides
892 (check_effective_target_sync_int_128_runtime): Likewise.
894 2017-02-01 Richard Biener <rguenther@suse.de>
896 * graphite.c: Include tree-vectorizer.h for find_loop_location.
897 (graphite_transform_loops): Provide opt-info for optimized nests.
898 * tree-parloop.c (parallelize_loops): Provide opt-info for
901 2017-02-01 Richard Biener <rguenther@suse.de>
904 * tree-cfg.c (move_stmt_op): Never set TREE_BLOCK when it
907 2017-02-01 Richard Biener <rguenther@suse.de>
909 PR tree-optimization/71824
910 * graphite-scop-detection.c (scop_detection::build_scop_breadth):
911 Verify the loops are valid in the merged SESE region.
912 (scop_detection::can_represent_loop_1): Check analyzing the
913 evolution of the number of iterations in the region succeeds.
915 2017-01-31 Ian Lance Taylor <iant@golang.org>
917 * config/i386/i386.c (ix86_expand_split_stack_prologue): Add
918 REG_ARGS_SIZE note to 32-bit push insns and call insn.
920 2017-01-31 David Malcolm <dmalcolm@redhat.com>
922 PR preprocessor/79210
923 * input.c (get_substring_ranges_for_loc): Replace line_width
924 assertion with error-handling.
926 2017-01-31 Richard Biener <rguenther@suse.de>
928 PR tree-optimization/77318
929 * graphite-sese-to-poly.c (extract_affine): Fix assert.
930 (create_pw_aff_from_tree): Take loop parameter.
931 (add_condition_to_pbb): Pass loop of the condition to
932 create_pw_aff_from_tree.
934 2017-01-31 Jakub Jelinek <jakub@redhat.com>
936 * config/s390/s390.c (s390_asan_shadow_offset): New function.
937 (TARGET_ASAN_SHADOW_OFFSET): Redefine.
939 2017-01-31 Michael Meissner <meissner@linux.vnet.ibm.com>
943 * config/rs6000/rs6000-protos.h (convert_float128_to_int): Delete,
945 (convert_int_to_float128): Likewise.
946 * config/rs6000/rs6000.c (convert_float128_to_int): Likewise.
947 (convert_int_to_float128): Likewise.
948 * config/rs6000/rs6000.md (UNSPEC_IEEE128_MOVE): Likewise.
949 (UNSPEC_IEEE128_CONVERT): Likewise.
950 (floatsi<mode>2, FLOAT128 iterator): Bypass calling
951 rs6000_expand_float128_convert if we have IEEE 128-bit hardware.
952 Use local variables for IBM extended format.
953 (fix_trunc<mode>si2, FLOAT128 iterator): Likewise.
954 (fix_trunc<mode>si2_fprs): Likewise.
955 (fixuns_trunc<IEEE128:mode><SDI:mode>2): Likewise.
956 (floatuns<IEEE128:mode>2, IEEE128 iterator): Likewise.
957 (fix<uns>_<mode>si2_hw): Rework the IEEE 128-bt hardware support
958 to know that we can now have integers of all sizes in vector
960 (fix<uns>_<mode>di2_hw): Likewise.
961 (float<uns>_<mode>si2_hw): Likewise.
962 (fix_<mode>si2_hw): Likewise.
963 (fixuns_<mode>si2_hw): Likewise.
964 (float<uns>_<mode>di2_hw): Likewise.
965 (float_<mode>di2_hw): Likewise.
966 (float_<mode>si2_hw): Likewise.
967 (floatuns_<mode>di2_hw): Likewise.
968 (floatuns_<mode>si2_hw): Likewise.
969 (xscvqp<su>wz_<mode>): Delete, no longer used.
970 (xscvqp<su>dz_<mode>): Likewise.
971 (xscv<su>dqp_<mode>): Likewise.
972 (ieee128_mfvsrd_64bit): Likewise.
973 (ieee128_mfvsrd_32bit): Likewise.
974 (ieee128_mfvsrwz): Likewise.
975 (ieee128_mtvsrw): Likewise.
976 (ieee128_mtvsrd_64bit): Likewise.
977 (ieee128_mtvsrd_32bit): Likewise.
979 2017-01-31 Martin Liska <mliska@suse.cz>
982 * ipa-prop.c (ipa_free_all_node_params): Call release method
983 instead of ~sumbol_summary to not to trigger double times
986 2017-01-31 Aldy Hernandez <aldyh@redhat.com>
988 PR tree-optimization/71691
989 * bitmap.h (class auto_bitmap): New.
990 * tree-ssa-loop-unswitch.c (tree_may_unswitch_on): Call
991 is_maybe_undefined instead of ssa_undefined_value_p.
993 2017-01-31 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
995 * config/s390/s390-c.c (s390_cpu_cpp_builtins_internal): Rename
996 __S390_ARCH_LEVEL__ to __ARCH__.
998 2017-01-31 Jakub Jelinek <jakub@redhat.com>
1000 PR tree-optimization/79267
1001 * value-prof.c (gimple_ic): Only drop lhs for noreturn calls
1002 if should_remove_lhs_p is true.
1004 2017-01-30 Alexandre Oliva <aoliva@redhat.com>
1007 * dwarf2out.c (clone_as_declaration): Drop DW_AT_alignment.
1008 (add_alignment_attribute): New.
1009 (base_type_die): Add alignment attribute.
1010 (subrange_type_die): Likewise.
1011 (modified_type_die): Likewise.
1012 (gen_array_type_die): Likewise.
1013 (gen_descr_array_type_die: Likewise.
1014 (gen_enumeration_type_die): Likewise.
1015 (gen_subprogram_die): Likewise.
1016 (gen_variable_die): Likewise.
1017 (gen_field_die): Likewise.
1018 (gen_ptr_to_mbr_type_die): Likewise.
1019 (gen_struct_or_union_type_die): Likewise.
1020 (gen_subroutine_type_die): Likewise.
1021 (gen_typedef_die): Likewise.
1022 (base_type_cmp): Compare alignment attribute.
1024 2017-01-30 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
1027 * config/rs6000/altivec.md (*setb_internal): Rename to setb_signed.
1028 (setb_unsigned) New pattern for setb with CCUNS.
1029 * config/rs6000/rs6000.c (expand_block_compare): Use a different
1030 subfc./subfe sequence to avoid overflow problems. Generate a
1031 shorter sequence with cmpld/setb for power9.
1032 * config/rs6000/rs6000.md (subf<mode>3_carry_dot2): Add a new pattern
1033 for generating subfc. instruction.
1034 (cmpstrsi): Add TARGET_POPCNTD predicate as the generate sequence
1035 now uses this instruction.
1037 2017-01-30 Ian Lance Taylor <iant@google.com>
1040 * dwarf2out.c (gen_type_die_with_usage): When picking a variant
1041 for FUNCTION_TYPE/METHOD_TYPE, use the first matching one.
1043 2017-01-30 Martin Sebor <msebor@redhat.com>
1045 * gimple-ssa-sprintf.c (fmtresult::adjust_for_width_or_precision):
1046 Move constant to the right of a relational operator.
1047 (get_mpfr_format_length, format_character, format_string): Ditto.
1048 (should_warn_p, maybe_warn): Same.
1050 * doc/invoke.texi (-Wformat-truncation=1): Fix typo.
1052 2017-01-30 Maxim Ostapenko <m.ostapenko@samsung.com>
1055 * asan.c (get_translation_unit_decl): Remove function.
1056 (asan_add_global): Force has_dynamic_init to zero in LTO mode.
1058 2017-01-30 Martin Liska <mliska@suse.cz>
1060 PR gcov-profile/79259
1061 * opts.c (common_handle_option): Enable flag_ipa_bit_cp w/
1064 2017-01-30 Martin Liska <mliska@suse.cz>
1067 * config/aarch64/cortex-a57-fma-steering.c (func_fma_steering::analyze):
1068 Initialize variables with NULL value.
1070 2017-01-30 Richard Earnshaw <rearnsh@arm.com>
1073 * config.gcc (arm*-*-*): Add arm/arm-flags.h and arm/arm-isa.h to
1075 * arm/arm-protos.h: Don't directly include arm-flags.h and arm-isa.h.
1077 2017-01-30 Richard Biener <rguenther@suse.de>
1079 PR tree-optimization/79276
1080 * tree-vrp.c (process_assert_insertions): Properly adjust common
1081 when removing a duplicate.
1083 * gcc.dg/torture/pr79276.c: New testcase.
1085 2017-01-30 Richard Biener <rguenther@suse.de>
1087 PR tree-optimization/79256
1088 * targhooks.c (default_builtin_vector_alignment_reachable): Honor
1089 BIGGEST_FIELD_ALIGNMENT and ADJUST_FIELD_ALIGN to fix up bogus
1091 * tree.c (build_aligned_type): Set TYPE_USER_ALIGN.
1093 2017-01-30 Dominik Vogt <vogt@linux.vnet.ibm.com>
1096 * config/s390/s390.md ("*r<noxa>sbg_<mode>_srl_bitmask")
1097 ("*r<noxa>sbg_<mode>_sll_bitmask")
1098 ("*extzv_<mode>_srl<clobbercc_or_nocc>")
1099 ("*extzv_<mode>_sll<clobbercc_or_nocc>"):
1100 Use contiguous_bitmask_nowrap_operand.
1102 2017-01-29 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
1105 * config/rs6000/altivec.h (vec_xl): Revise #define.
1106 (vec_xst): Likewise.
1108 2017-01-27 Uros Bizjak <ubizjak@gmail.com>
1110 * config/i386/i386.c (print_reg): Use REGNO instead of true_regnum.
1112 2017-01-27 Bernd Schmidt <bschmidt@redhat.com>
1114 PR rtl-optimization/79194
1115 * cprop.c (one_cprop_pass): Move deletion of code after unconditional
1116 traps before call to bypass_conditional_jumps.
1118 2017-01-27 Vladimir Makarov <vmakarov@redhat.com>
1120 PR tree-optimization/71374
1121 * lra-constraints.c (check_conflict_input_operands): New.
1122 (match_reload): Use it.
1124 2017-01-27 Vladimir Makarov <vmakarov@redhat.com>
1127 * lra-assigns.c (find_hard_regno_for_1): Take endianess for into
1128 account to calculate conflict_set.
1130 2017-01-27 Bin Cheng <bin.cheng@arm.com>
1132 PR rtl-optimization/78559
1133 * combine.c (try_combine): Discard REG_EQUAL and REG_EQUIV for
1134 other_insn in combine.
1136 2017-01-27 Pekka Jääskeläinen <pekka.jaaskelainen@parmance.com>
1138 * builtin-types.def: Use unsigned_char_type_node for BT_UINT8. Use
1139 uint16_type_node for BT_UINT16.
1141 2017-01-27 David Malcolm <dmalcolm@redhat.com>
1143 * doc/sourcebuild.texi (Testsuites): Add "GIMPLE Tests" and
1144 "RTL Tests" to menu.
1145 (GIMPLE Tests): New node.
1146 (RTL Tests): New node.
1148 2017-01-27 Richard Biener <rguenther@suse.de>
1150 PR tree-optimization/79245
1151 * tree-loop-distribution.c (distribute_loop): Apply cost
1152 modeling also to detected patterns.
1154 2017-01-27 Richard Biener <rguenther@suse.de>
1156 PR tree-optimization/71433
1157 * tree-vrp.c (register_new_assert_for): Revert earlier changes.
1158 (compare_assert_loc): New function.
1159 (process_assert_insertions): Sort and optimize assert locations
1160 to remove duplicates and push down identical assertions on
1161 edges to their destination block.
1163 2017-01-27 Richard Biener <rguenther@suse.de>
1165 PR tree-optimization/79244
1166 * tree-vrp.c (remove_range_assertions): Forcefully propagate
1167 out SSA names even if abnormal.
1169 2017-01-27 Jakub Jelinek <jakub@redhat.com>
1171 * realmpfr.h: Poison MPFR_RND{N,Z,U,D}.
1172 * gimple-ssa-sprintf.c (format_floating_max): Use GMP_RNDN
1173 instead of MPFR_RNDN.
1175 2017-01-27 Richard Earnshaw <rearnsha@arm.com>
1178 * arm.c (arm_option_override): Don't call build_target_option_node
1179 until after doing all option overrides.
1180 (arm_valid_target_attribute_tree): Likewise.
1182 2017-01-27 Martin Liska <mliska@suse.cz>
1184 * doc/invoke.texi (-fprofile-arcs): Document profiling support
1185 for {cd}tors and C++ {cd}tors.
1187 2017-01-27 Dominik Vogt <vogt@linux.vnet.ibm.com>
1189 * config/s390/s390.md ("*setmem_long_and")
1190 ("*setmem_long_and_31z"): Use zero_extend instead of and.
1192 2017-01-26 Martin Sebor <msebor@redhat.com>
1194 * gimple-ssa-sprintf.c (format_floating): Simplify the computation
1197 2017-01-26 Martin Sebor <msebor@redhat.com>
1199 * gimple-ssa-sprintf.c (format_floating): Test HAVE_XFmode and
1200 HAVE_DFmode before using XFmode or DFmode.
1201 (parse_directive): Avoid using the z length modifier to avoid
1202 the ISO C++98 does not support the ‘z’ gnu_printf length modifier.
1205 * gimple-ssa-sprintf.c (adjust_for_width_or_precision): Change
1206 to accept adjustment as an array.
1207 (get_int_range): New function.
1208 (struct directive): Make width and prec arrays.
1209 (directive::set_width, directive::set_precision): Call get_int_range.
1210 (format_integer, format_floating): Handle width and precision ranges.
1211 (format_string, parse_directive): Same.
1213 2017-01-26 Jakub Jelinek <jakub@redhat.com>
1216 * dwarf2out.c (generate_skeleton_bottom_up): For children with
1217 comdat_type_p set, just clone them, but keep the children in the
1221 * dwarf2out.c (prune_unused_types): Mark all functions with DIEs
1222 which have direct callers with -fvar-tracking-assignments enabled
1224 (resolve_addr): Avoid adding skeleton DIEs for DW_AT_call_origin
1225 inside of type units.
1227 2017-01-26 Martin Sebor <msebor@redhat.com>
1230 * gimple-ssa-sprintf.c (struct result_range): Add likely and
1232 (struct format_result): Replace number_chars, number_chars_min,
1233 and number_chars_max with a single member of struct result_range.
1235 (format_result::operator+=): Adjust.
1236 (struct fmtresult): Remove bounded. Handle likely and unlikely
1238 (fmtresult::adjust_for_width_or_precision): New function.
1239 (fmtresult:type_max_digits): New function.
1240 (bytes_remaining): Handle likely and unlikely counters.
1241 (min_bytes_remaining): Remove.
1242 (format_percent): Simplify.
1243 (format_integer, format_floating): Set likely and unlikely counters.
1244 (get_string_length, format_character, format_string): Same.
1245 (format_plain, should_warn_p): New function.
1246 (maybe_warn): Call should_warn_p. Update diagnostic messages
1247 and handle those for all directives, including plain strings.
1248 (format_directive): Handle likely and unlikely counters.
1249 Remove unnecessary quoting from diagnostics. Add an informational
1251 (add_bytes): Remove.
1252 (pass_sprintf_length::compute_format_length): Simplify.
1253 (try_substitute_return_value): Handle likely and unlikely counters.
1255 2017-01-26 Carl Love <cel@us.ibm.com>
1257 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Remove
1258 bogus entries for the P8V_BUILTIN_VEC_VGBBD built-ins
1260 2017-01-26 Vladimir Makarov <vmakarov@redhat.com>
1263 * lra-assigns.c (setup_live_pseudos_and_spill_after_risky): Take
1264 endianess for subregs into account.
1265 * lra-constraints.c (lra_constraints): Do risky transformations
1266 always on the first iteration.
1267 * lra-lives.c (check_pseudos_live_through_calls): Add arg
1268 last_call_used_reg_set.
1269 (process_bb_lives): Define and use last_call_used_reg_set.
1270 * lra.c (lra): Always continue after lra_constraints on the first
1273 2017-01-26 Kirill Yukhin <kirill.yukhin@gmail.com>
1275 * gcc.target/i386/avx512bw-kshiftlq-2.c: Use unsigned long long
1277 * gcc.target/i386/avx512bw-kshiftrq-2.c: Ditto.
1279 2017-01-26 Jakub Jelinek <jakub@redhat.com>
1281 * config/i386/avx512fintrin.h (_ktest_mask16_u8,
1282 _ktestz_mask16_u8, _ktestc_mask16_u8, _kadd_mask16): Move to ...
1283 * config/i386/avx512dqintrin.h (_ktest_mask16_u8,
1284 _ktestz_mask16_u8, _ktestc_mask16_u8, _kadd_mask16): ... here.
1285 * config/i386/i386-builtin.def (__builtin_ia32_ktestchi,
1286 __builtin_ia32_ktestzhi, __builtin_ia32_kaddhi): Use
1287 OPTION_MASK_ISA_AVX512DQ instead of OPTION_MASK_ISA_AVX512F.
1288 * config/i386/sse.md (SWI1248_AVX512BWDQ2): New mode iterator.
1289 (kadd<mode>, ktest<mode>): Use it instead of SWI1248_AVX512BWDQ.
1291 2017-01-26 Marek Polacek <polacek@redhat.com>
1294 * fold-const.c (operand_equal_p) [COND_EXPR]: Use OP_SAME_WITH_NULL
1295 for the third operand.
1297 2017-01-26 Jakub Jelinek <jakub@redhat.com>
1300 * omp-low.c (struct omp_context): Add simt_stmt field.
1301 (scan_omp_for): Return omp_context *.
1302 (scan_omp_simd): Set simt_stmt on the non-_simt_ SIMD
1303 context to the _simt_ SIMD stmt.
1304 (lower_omp_for): For combined SIMD with sibling _simt_
1305 SIMD, make sure to use the same decls in _looptemp_
1306 clauses as in the sibling.
1308 2017-01-26 David Sherwood <david.sherwood@arm.com>
1311 * gimplify.c (omp_notice_variable): Add GOVD_SEEN flag to variables in
1314 2017-01-26 Jakub Jelinek <jakub@redhat.com>
1317 * reg-stack.c (emit_swap_insn): Instead of fld a; fld b; fxchg %st(1);
1318 emit fld b; fld a; if possible.
1320 * brig-builtins.def: Update copyright years.
1321 * config/arm/arm_acle_builtins.def: Update copyright years.
1323 2017-01-25 Michael Meissner <meissner@linux.vnet.ibm.com>
1326 * config/rs6000/vsx.md (vsx_extract_<mode>_store): Use wY
1327 constraint instead of o for the stxsd instruction.
1329 2017-01-25 Carl Love <cel@us.ibm.com>
1331 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Fix order
1332 of entries for ALTIVEC_BUILTIN_VEC_PACKS and P8V_BUILTIN_VEC_VGBBD.
1334 2017-01-25 Jonathan Wakely <jwakely@redhat.com>
1336 * doc/invoke.texi (C++ Dialect Options): Fix typo.
1338 2017-01-25 Richard Biener <rguenther@suse.de>
1340 PR tree-optimization/69264
1341 * target.def (vector_alignment_reachable): Improve documentation.
1342 * doc/tm.texi: Regenerate.
1343 * targhooks.c (default_builtin_vector_alignment_reachable): Simplify
1345 * tree-vect-data-refs.c (vect_supportable_dr_alignment): Revert
1346 earlier changes with respect to TYPE_USER_ALIGN.
1347 (vector_alignment_reachable_p): Likewise. Improve dumping.
1349 2016-01-25 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
1352 * config/arm/arm.md (xordi3): Force constant operand into a register
1355 2016-01-25 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
1357 * doc/invoke.texi (-fstore-merging): Correct default optimization
1358 levels at which it is enabled.
1359 (-O): Move -fstore-merging from list to...
1362 2017-01-25 Richard Biener <rguenther@suse.de>
1365 * omp-expand.c: Include debug.h.
1366 (expand_omp_taskreg): Make sure to generate early debug before
1367 outlining anything from a function.
1368 (expand_omp_target): Likewise.
1369 (grid_expand_target_grid_body): Likewise.
1371 2017-01-25 Maxim Ostapenko <m.ostapenko@samsung.com>
1374 * asan.c (get_translation_unit_decl): New function.
1375 (asan_add_global): Extract modules file name from globals
1376 TRANSLATION_UNIT_DECL name.
1378 2017-01-24 Eric Botcazou <ebotcazou@adacore.com>
1381 * config/arm/arm.c (arm_function_ok_for_sibcall): Add back restriction
1382 for long calls with APCS frame and VFP.
1384 2017-01-24 David Malcolm <dmalcolm@redhat.com>
1386 * cfg.c (original_copy_tables_initialized_p): New function.
1387 * cfg.h (original_copy_tables_initialized_p): New decl.
1388 * cfgrtl.c (relink_block_chain): Guard the call to
1389 free_original_copy_tables with a call to
1390 original_copy_tables_initialized_p.
1391 * cgraph.h (symtab_node::native_rtl_p): New decl.
1392 * cgraphunit.c (symtab_node::native_rtl_p): New function.
1393 (symtab_node::needed_p): Don't assert for early assembly output
1394 for __RTL functions.
1395 (cgraph_node::finalize_function): Set "force_output" for __RTL
1397 (cgraph_node::analyze): Bail out early for __RTL functions.
1398 (analyze_functions): Update assertion to support __RTL functions.
1399 (cgraph_node::expand): Bail out early for __RTL functions.
1400 * final.c (rest_of_clean_state): Don't call delete_tree_ssa for
1402 * function.h (struct function): Update comment for field
1404 * gimple-expr.c: Include "tree-pass.h".
1405 (gimple_has_body_p): Return false for __RTL functions.
1406 * Makefile.in (OBJS): Add run-rtl-passes.o.
1407 * pass_manager.h (gcc::pass_manager::get_rest_of_compilation): New
1409 (gcc::pass_manager::get_clean_slate): New accessor.
1410 * passes.c: Include "insn-addr.h".
1411 (should_skip_pass_p): Add logging. Update logic for running
1412 "expand" to be compatible with both __GIMPLE and __RTL. Guard
1413 property-provider override so it is only done for gimple passes.
1415 (skip_pass): New function.
1416 (execute_one_pass): Call skip_pass when skipping passes.
1417 * read-md.c (md_reader::read_char): Support filtering
1418 the input to a subset of line numbers.
1419 (md_reader::md_reader): Initialize fields
1420 m_first_line and m_last_line.
1421 (md_reader::read_file_fragment): New function.
1422 * read-md.h (md_reader::read_file_fragment): New decl.
1423 (md_reader::m_first_line): New field.
1424 (md_reader::m_last_line): New field.
1425 * read-rtl-function.c (function_reader::create_function): Only
1426 create cfun if it doesn't already exist. Set PROP_rtl on cfun's
1427 curr_properties. Set DECL_INITIAL to a dummy block.
1428 (read_rtl_function_body_from_file_range): New function.
1429 * read-rtl-function.h (read_rtl_function_body_from_file_range):
1431 * run-rtl-passes.c: New file.
1432 * run-rtl-passes.h: New file.
1434 2017-01-24 Jeff Law <law@redhat.com>
1436 * config/microblaze/microblaze.h (ASM_FORMAT_PRIVATE_NAME): Increase
1439 2017-01-24 Bin Cheng <bin.cheng@arm.com>
1441 PR tree-optimization/79159
1442 * tree-ssa-loop-niter.c (get_cst_init_from_scev): New function.
1443 (record_nonwrapping_iv): Improve boundary using above function if no
1444 value range information.
1446 2017-01-24 Pekka Jääskeläinen <pekka@parmance.com>
1447 Martin Jambor <mjambor@suse.cz>
1449 * brig-builtins.def: New file.
1450 * builtins.def (DEF_HSAIL_BUILTIN): New macro.
1451 (DEF_HSAIL_ATOMIC_BUILTIN): Likewise.
1452 (DEF_HSAIL_SAT_BUILTIN): Likewise.
1453 (DEF_HSAIL_INTR_BUILTIN): Likewise.
1454 (DEF_HSAIL_CVT_ZEROI_SAT_BUILTIN): Likewise.
1455 * builtin-types.def (BT_INT8): New.
1456 (BT_INT16): Likewise.
1457 (BT_UINT8): Likewise.
1458 (BT_UINT16): Likewise.
1459 (BT_FN_ULONG): Likewise.
1460 (BT_FN_UINT_INT): Likewise.
1461 (BT_FN_UINT_ULONG): Likewise.
1462 (BT_FN_UINT_LONG): Likewise.
1463 (BT_FN_UINT_PTR): Likewise.
1464 (BT_FN_ULONG_PTR): Likewise.
1465 (BT_FN_INT8_FLOAT): Likewise.
1466 (BT_FN_INT16_FLOAT): Likewise.
1467 (BT_FN_UINT32_FLOAT): Likewise.
1468 (BT_FN_UINT16_FLOAT): Likewise.
1469 (BT_FN_UINT8_FLOAT): Likewise.
1470 (BT_FN_UINT64_FLOAT): Likewise.
1471 (BT_FN_UINT16_UINT32): Likewise.
1472 (BT_FN_UINT32_UINT16): Likewise.
1473 (BT_FN_UINT16_UINT16_UINT16): Likewise.
1474 (BT_FN_INT_PTR_INT): Likewise.
1475 (BT_FN_UINT_PTR_UINT): Likewise.
1476 (BT_FN_LONG_PTR_LONG): Likewise.
1477 (BT_FN_ULONG_PTR_ULONG): Likewise.
1478 (BT_FN_VOID_UINT64_UINT64): Likewise.
1479 (BT_FN_UINT8_UINT8_UINT8): Likewise.
1480 (BT_FN_INT8_INT8_INT8): Likewise.
1481 (BT_FN_INT16_INT16_INT16): Likewise.
1482 (BT_FN_INT_INT_INT): Likewise.
1483 (BT_FN_UINT_FLOAT_UINT): Likewise.
1484 (BT_FN_FLOAT_UINT_UINT): Likewise.
1485 (BT_FN_ULONG_UINT_UINT): Likewise.
1486 (BT_FN_ULONG_UINT_PTR): Likewise.
1487 (BT_FN_ULONG_ULONG_ULONG): Likewise.
1488 (BT_FN_UINT_UINT_UINT): Likewise.
1489 (BT_FN_VOID_UINT_PTR): Likewise.
1490 (BT_FN_UINT_UINT_PTR: Likewise.
1491 (BT_FN_UINT32_UINT64_PTR): Likewise.
1492 (BT_FN_INT_INT_UINT_UINT): Likewise.
1493 (BT_FN_UINT_UINT_UINT_UINT): Likewise.
1494 (BT_FN_UINT_UINT_UINT_PTR): Likewise.
1495 (BT_FN_UINT_ULONG_ULONG_UINT): Likewise.
1496 (BT_FN_ULONG_ULONG_ULONG_ULONG): Likewise.
1497 (BT_FN_LONG_LONG_UINT_UINT): Likewise.
1498 (BT_FN_ULONG_ULONG_UINT_UINT): Likewise.
1499 (BT_FN_VOID_UINT32_UINT64_PTR): Likewise.
1500 (BT_FN_VOID_UINT32_UINT32_PTR): Likewise.
1501 (BT_FN_UINT_UINT_UINT_UINT_UINT): Likewise.
1502 (BT_FN_UINT_FLOAT_FLOAT_FLOAT_FLOAT): Likewise.
1503 (BT_FN_ULONG_ULONG_ULONG_UINT_UINT): Likewise.
1504 * doc/frontends.texi: List BRIG FE.
1505 * doc/install.texi (Testing): Add BRIG tesring requirements.
1506 * doc/invoke.texi (Overall Options): Mention BRIG.
1507 * doc/standards.texi (Standards): Doucment BRIG HSA version.
1509 2017-01-24 Richard Biener <rguenther@suse.de>
1511 PR translation/79208
1512 * ipa-devirt.c (odr_types_equivalent_p): Fix typo in diagnostic.
1514 2017-01-24 Martin Jambor <mjambor@suse.cz>
1517 * ipa-prop.c (ipa_free_all_node_params): Call summary destructor.
1518 * ipa-prop.c (ipa_node_params_t::insert): Initialize fields known_csts
1521 2017-01-24 Aldy Hernandez <aldyh@redhat.com>
1524 * gimple-ssa-warn-alloca.c (alloca_call_type): Make sure
1525 casts from signed to unsigned really don't have a range.
1527 2017-01-24 Markus Trippelsdorf <markus@trippelsdorf.de>
1529 * gimple-ssa-sprintf.c (format_floating): Change MPFR_RNDx to
1530 GMP_RNDx for compatiblity.
1532 2017-01-24 Martin Liska <mliska@suse.cz>
1535 * tree-ssa-reassoc.c (rewrite_expr_tree_parallel): Insert assert
1536 that would prevent us to call alloca with -1 as argument.
1538 2017-01-24 Jakub Jelinek <jakub@redhat.com>
1540 * dwarf2out.c (output_compilation_unit_header, output_file_names):
1541 Avoid -Wformat-security warning.
1543 2017-01-23 Andrew Pinski <apinski@cavium.com>
1545 * config/aarch64/aarch64.c (thunderx2t99_addrcost_table): Improve
1548 2017-01-23 Martin Sebor <msebor@redhat.com>
1551 * gimple-ssa-sprintf.c (warn_level): New global.
1552 (format_integer): Use it here and throughout the rest of the file.
1553 Use the same switch to compute sign as base.
1554 (maybe_warn): New function.
1555 (format_directive): Factor out warnings into maybe_warn.
1556 Add debugging output. Use warn_level.
1557 (add_bytes): Use warn_level.
1558 (pass_sprintf_length::compute_format_length): Add debugging output.
1559 (try_substitute_return_value): Same.
1560 (pass_sprintf_length::handle_gimple_call): Set and use warn_level.
1563 * gimple-ssa-sprintf.c (struct format_result): Remove constant member.
1564 (struct fmtresult, format_integer, format_floating): Adjust.
1565 (fmtresult::fmtresult): Set max correctly in two argument ctor.
1566 (get_string_length, format_string,format_directive): Same.
1567 (pass_sprintf_length::compute_format_length): Same.
1568 (try_substitute_return_value): Simplify slightly.
1571 * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust formatting.
1572 (fmtresult::operator+=): Outlined.
1573 (struct fmtresult): Add ctors.
1574 (struct conversion_spec): Rename...
1575 (struct directive): ...to this. Add and remove data members.
1576 (directive::set_width, directive::set_precision): New functions.
1577 (format_percent): Use fmtresult ctor.
1578 (get_width_and_precision): Remove.
1579 (format_integer): Make naming changes. Avoid computing width and
1581 (format_floating): Same. Adjust indentation.
1582 (format_character, format_none): New functions.
1583 (format_string): Moved character handling to format_character.
1584 (format_directive): Remove arguments, change return type.
1585 (parse_directive): New function.
1586 (pass_sprintf_length::compute_format_length): Move directive
1587 parsing to parse_directive.
1589 2017-01-23 Jakub Jelinek <jakub@redhat.com>
1591 * tree.h (assign_assembler_name_if_neeeded): Rename to ...
1592 (assign_assembler_name_if_needed): ... this.
1593 * tree.c (assign_assembler_name_if_neeeded): Rename to ...
1594 (assign_assembler_name_if_needed): ... this.
1595 (free_lang_data_in_cgraph): Adjust callers.
1596 * cgraphunit.c (cgraph_node::analyze): Likewise.
1597 * omp-expand.c (expand_omp_taskreg, expand_omp_target):
1600 2017-01-23 Richard Biener <rguenther@suse.de>
1602 PR tree-optimization/79088
1603 PR tree-optimization/79188
1604 * tree-ssa-threadupdate.c (mark_threaded_blocks): Move code
1605 resetting loop bounds after last path deletion. Reset loop
1606 bounds of the target loop, make code match the comments.
1607 * tree-ssa-threadbackwards.c (pass_early_thread_jumps::execute):
1608 Make sure loops need no fixups.
1610 2017-01-23 Kelvin Nilsen <kelvin@gcc.gnu.org>
1612 * config/rs6000/rs6000-builtin.def (VSIEDPF): Add scalar insert
1613 exponent support with double type for first argument.
1614 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Changed
1615 type returned by __builtin_vec_extract_sig,
1616 __builtin_vec_extract_sig_sp, and __builtin_vec_extract_sig_dp
1617 functions from "vector int" to "vector unsigned int" or from
1618 "vector long long int" to "vector unsigned long long int".
1619 Changed type returned by __builtin_vec_extract_exp,
1620 __builtin_vec_extract_exp_sp, and __builtin_vec_extract_exp_dp
1621 functions from "vector int" to "vector unsigned int" or from
1622 "vector long long int" to "vector unsigned long long int".
1623 Changed return type of __builtin_vec_test_data_class,
1624 __builtin_vec_test_data_class_sp, and
1625 __builtin_vec_test_data_class_dp from "vector int" to
1626 "vector bool int" or from "vector long long int" to "vector bool
1627 long long int" and changed second argument type from "unsigned
1628 int" to "int". Added new overloaded function forms "vector float
1629 __builtin_vec_insert_exp (vector float, vector unsigned int)" and
1630 "vector float __builtin_vec_insert_exp_sp (vector float, vector
1631 unsigned int)" and "vector double __builtin_vec_insert_exp (vector
1632 double, vector unsigned long long int)" and "vector double
1633 __builtin_vec_insert_exp_dp (vector double, vector unsigned long
1634 long int)". Changed return type of
1635 __builtin_scalar_test_data_class and
1636 __builtin_scalar_test_data_class_sp and
1637 __builtin_scalar_test_data_class_dp from "unsigned int" to "bool
1638 int" and changed second argument from "unsigned int" to "int".
1639 Changed type returned by __builtin_scalar_test_neg,
1640 __builtin_scalar_test_neg_sp, and __builtin_scalar_test_neg_dp
1641 from "int" to "bool int". Added new overloaded function form
1642 "double __builtin_scalar_insert_exp (double, unsigned long long int)".
1643 * config/rs6000/vsx.md (xsiexpdpf): New insn for scalar insert
1644 exponent double-precision with floating point first argument.
1645 * doc/extend.texi (PowerPC AltiVec Built-in Functions): Adjust
1646 documentation of scalar_test_data_class, scalar_test_neg,
1647 scalar_extract_sig, scalar_extract_exp, scalar_insert_exp,
1648 vector_extract_exp, vec_extract_sig, vec_insert_exp, and
1649 vec_test_data_class built-in functions to reflect refinements in
1650 their type signatures.
1652 2017-01-23 Andreas Tobler <andreast@gcc.gnu.org>
1654 * config/aarch64/aarch64.c (aarch64_elf_asm_constructor): Increase
1656 (aarch64_elf_asm_destructor): Likewise.
1658 2017-01-23 Bernd Schmidt <bschmidt@redhat.com>
1660 PR rtl-optimization/78634
1661 * config/i386/i386.c (ix86_max_noce_ifcvt_seq_cost): New function.
1662 (TARGET_MAX_NOCE_IFCVT_SEQ_COST): Define.
1663 * ifcvt.c (noce_try_cmove): Add missing cost check.
1665 PR rtl-optimization/71724
1666 * combine.c (if_then_else_cond): Look for situations where it is
1667 beneficial to undo the work of one of the recursive calls.
1669 2017-01-23 Bin Cheng <bin.cheng@arm.com>
1671 PR tree-optimization/70754
1672 * tree-predcom.c (stmt_combining_refs): New parameter INSERT_BEFORE.
1673 (reassociate_to_the_same_stmt): New parameter INSERT_BEFORE. Insert
1674 combined stmt before it if not NULL.
1675 (combine_chains): Process refs reversely and compute dominance point
1678 2017-01-23 Martin Liska <mliska@suse.cz>
1680 PR tree-optimization/79196
1681 * tree-ssa-strlen.c (fold_strstr_to_memcmp): Rename to ...
1682 (fold_strstr_to_strncmp): ... this. Fold the pattern to strncmp
1684 (strlen_optimize_stmt): Call the renamed function.
1686 2017-01-23 Michael Matz <matz@suse.de>
1688 PR tree-optimization/78384
1689 * tree-ssa-loop-split.c (patch_loop_exit): Use correct edge.
1691 2017-01-23 Richard Biener <rguenther@suse.de>
1693 PR tree-optimization/79186
1694 * tree-vrp.c (register_new_assert_for): Make sure we've seen
1695 both incoming edges before moving an assert.
1697 2017-01-23 Martin Jambor <mjambor@suse.cz>
1699 * ipa-prop.c (load_from_param_1): Removed.
1700 (load_from_unmodified_param): Bits from load_from_param_1 put back
1702 (load_from_param): Removed.
1703 (compute_complex_assign_jump_func): Removed stmt2 and just replaced it
1704 with stmt. Reverted back to use of load_from_unmodified_param.
1706 2017-01-23 Martin Jambor <mjambor@suse.cz>
1709 * ipa-prop.h (ipa_param_descriptor): Anotate with with GTY(()).
1710 (ipa_node_params): Annotate with GTY((for_user)). Make descriptors
1711 field a pointer to garbage collected vector, mark lattices and
1712 ipcp_orig_node with GTY((skip)).
1713 (ipa_get_param_count): Adjust to descriptors being a pointer.
1714 (ipa_get_param): Likewise.
1715 (ipa_get_type): Likewise.
1716 (ipa_get_param_move_cost): Likewise.
1717 (ipa_set_param_used): Likewise.
1718 (ipa_get_controlled_uses): Likewise.
1719 (ipa_set_controlled_uses): Likewise.
1720 (ipa_is_param_used): Likewise.
1721 (ipa_node_params_t): Move into garbage collector. New methods insert
1723 (ipa_node_params_sum): Annotate wth GTY(()).
1724 (ipa_check_create_node_params): Adjust to ipa_node_params_sum being
1726 (ipa_load_from_parm_agg): Adjust declaration.
1727 * ipa-icf.c (param_used_p): Adjust to descriptors being a pointer.
1728 * ipa-profile.c (ipa_profile): Likewise.
1729 * ipa-prop.c (ipa_get_param_decl_index_1): Likewise.
1730 (ipa_populate_param_decls): Make descriptors parameter garbage
1732 (ipa_dump_param): Adjust to descriptors being a pointer.
1733 (ipa_alloc_node_params): Likewise.
1734 (ipa_initialize_node_params): Likewise.
1735 (load_from_param_1): Make descriptors parameter garbage collected.
1736 (load_from_unmodified_param): Likewise.
1737 (load_from_param): Likewise.
1738 (ipa_load_from_parm_agg): Likewise.
1739 (ipa_node_params::~ipa_node_params): Removed.
1740 (ipa_free_all_node_params): Remove call to delete operator.
1741 (ipa_node_params_t::insert): New.
1742 (ipa_node_params_t::remove): Likewise.
1743 (ipa_node_params_t::duplicate): Adjust to descriptors being a pointer,
1744 copy known_csts and known_contexts vectors.
1745 (ipa_read_node_info): Adjust to descriptors being a pointer.
1746 (ipcp_modif_dom_walker): Make m_descriptors field garbage
1748 (ipcp_transform_function): Make descriptors variable garbage
1751 2017-01-23 Andrew Senkevich <andrew.senkevich@intel.com>
1753 * config/i386/avx512bwintrin.h: Add k-mask test, kortest intrinsics.
1754 * config/i386/avx512dqintrin.h: Ditto.
1755 * config/i386/avx512fintrin.h: Ditto.
1756 * gcc/config/i386/i386.c: Handle new builtins.
1757 * config/i386/i386-builtin.def: Add new builtins.
1758 * config/i386/sse.md (ktest<mode>, kortest<mode>): New.
1759 (UNSPEC_KORTEST, UNSPEC_KTEST): New.
1761 2017-01-23 Jakub Jelinek <jakub@redhat.com>
1762 Martin Liska <mliska@suse.cz>
1764 * asan.h: Define ASAN_USE_AFTER_SCOPE_ATTRIBUTE.
1765 * asan.c (asan_expand_poison_ifn): Support stores and use
1766 appropriate ASAN report function.
1767 * internal-fn.c (expand_ASAN_POISON_USE): New function.
1768 * internal-fn.def (ASAN_POISON_USE): Declare.
1769 * tree-into-ssa.c (maybe_add_asan_poison_write): New function.
1770 (maybe_register_def): Create ASAN_POISON_USE when sanitizing.
1771 * tree-ssa-dce.c (eliminate_unnecessary_stmts): Remove
1772 ASAN_POISON calls w/o LHS.
1773 * tree-ssa.c (execute_update_addresses_taken): Create clobber
1774 for ASAN_MARK (UNPOISON, &x, ...) in order to prevent usage of a LHS
1775 from ASAN_MARK (POISON, &x, ...) coming to a PHI node.
1776 * gimplify.c (asan_poison_variables): Add attribute
1777 use_after_scope_memory to variables that really needs to live
1779 * tree-ssa.c (is_asan_mark_p): Do not rewrite into SSA when
1780 having the attribute.
1782 2017-01-23 Martin Liska <mliska@suse.cz>
1784 * asan.c (create_asan_shadow_var): New function.
1785 (asan_expand_poison_ifn): Likewise.
1786 * asan.h (asan_expand_poison_ifn): New declaration.
1787 * internal-fn.c (expand_ASAN_POISON): Likewise.
1788 * internal-fn.def (ASAN_POISON): New builtin.
1789 * sanopt.c (pass_sanopt::execute): Expand
1790 asan_expand_poison_ifn.
1791 * tree-inline.c (copy_decl_for_dup_finish): Make function
1793 * tree-inline.h (copy_decl_for_dup_finish): Likewise.
1794 * tree-ssa.c (is_asan_mark_p): New function.
1795 (execute_update_addresses_taken): Rewrite local variables
1796 (identified just by use-after-scope as addressable) into SSA.
1798 2017-01-22 Gerald Pfeifer <gerald@pfeifer.com>
1800 * doc/install.texi (Specific): opensource.apple.com uses https
1801 now. Remove trailing slash.
1803 2017-01-22 Gerald Pfeifer <gerald@pfeifer.com>
1805 * README.Portability: Remove note on an Irix compatibility issue.
1807 2017-01-22 Dimitry Andric <dim@FreeBSD.org>
1809 * gcov.c (INCLUDE_ALGORITHM): Define.
1810 (INCLUDE_VECTOR): Define.
1811 No longer include <vector> and <algorithm> directly.
1813 2017-01-21 Gerald Pfeifer <gerald@pfeifer.com>
1815 * doc/extend.texi (Thread-Local): Change www.akkadia.org reference
1817 * doc/invoke.texi (Code Gen Options): Ditto.
1819 2017-01-21 Jan Hubicka <hubicka@ucw.cz>
1822 * cfg.c (update_bb_profile_for_threading): Fix updating of probablity.
1824 2017-01-21 Bernd Schmidt <bschmidt@redhat.com>
1826 rtl-optimization/79125
1827 * cprop.c (local_cprop_pass): Handle cases where we make an
1830 2017-01-20 Segher Boessenkool <segher@kernel.crashing.org>
1834 * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Adjust address to
1835 read from, for big endian.
1837 2017-01-20 Jiong Wang <jiong.wang@arm.com>
1839 * config/aarch64/aarch64-builtins.c (aarch64_init_builtins): Register
1840 register pauth builtins for LP64 only.
1842 2017-01-20 Marek Polacek <polacek@redhat.com>
1845 * gimplify.c (should_warn_for_implicit_fallthrough): Handle consecutive
1848 2017-01-20 Alexander Monakov <amonakov@ispras.ru>
1850 * omp-expand.c (expand_omp_simd): Clear PROP_gimple_lomp_dev regardless
1852 * omp-offload.c (pass_omp_device_lower::gate): Use PROP_gimple_lomp_dev.
1853 * passes.c (dump_properties): Handle PROP_gimple_lomp_dev.
1854 * tree-inline.c (expand_call_inline): Propagate PROP_gimple_lomp_dev.
1856 2017-01-20 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
1859 * config/arm/arm.c (neon_valid_immediate): Reject vector constants
1860 in big-endian mode when they are not a single duplicated value.
1862 2017-01-20 Richard Biener <rguenther@suse.de>
1864 * BASE-VER: Bump to 7.0.1.
1866 2017-01-20 Alexander Monakov <amonakov@ispras.ru>
1868 * omp-low.c (omplow_simd_context): New struct. Use it...
1869 (lower_rec_simd_input_clauses): ...here and...
1870 (lower_rec_input_clauses): ...here to hold common data. Adjust all
1871 references to idx, lane, max_vf, is_simt.
1873 2017-01-20 Graham Markall <graham.markall@embecosm.com>
1875 * config/arc/arc.h (LINK_SPEC): Use arclinux_nps emulation when
1878 2017-01-20 Martin Jambor <mjambor@suse.cz>
1880 * hsa.h: Renaed to hsa-common.h. Adjusted a comment.
1881 * hsa.c: Renaed to hsa-common.c. Change include of gt-hsa.h to
1883 * Makefile.in (OBJS): Rename hsa.o to hsa-common.o.
1884 (GTFILES): Rename hsa.c to hsa-common.c.
1885 * hsa-brig.c: Change include of hsa.h to hsa-common.h.
1886 * hsa-dump.c: Likewise.
1887 * hsa-gen.c: Likewise.
1888 * hsa-regalloc.c: Likewise.
1889 * ipa-hsa.c: Likewise.
1890 * omp-expand.c: Likewise.
1891 * omp-low.c: Likewise.
1892 * toplev.c: Likewise.
1894 2017-01-20 Marek Polacek <polacek@redhat.com>
1897 * doc/invoke.texi: Document -Wduplicated-branches.
1898 * fold-const.c (operand_equal_p): Handle MODIFY_EXPR, INIT_EXPR,
1899 COMPOUND_EXPR, PREDECREMENT_EXPR, PREINCREMENT_EXPR,
1900 POSTDECREMENT_EXPR, POSTINCREMENT_EXPR, CLEANUP_POINT_EXPR, EXPR_STMT,
1901 STATEMENT_LIST, and RETURN_EXPR. For non-pure non-const functions
1902 return 0 only when not OEP_LEXICOGRAPHIC.
1903 (fold_build_cleanup_point_expr): Use the expression
1904 location when building CLEANUP_POINT_EXPR.
1905 * tree-core.h (enum operand_equal_flag): Add OEP_LEXICOGRAPHIC.
1906 * tree.c (add_expr): Handle error_mark_node.
1908 2017-01-20 Martin Liska <mliska@suse.cz>
1911 * tree-profile.c (init_ic_make_global_vars): Do not call
1913 (gimple_init_gcov_profiler): Likewise.
1915 2017-01-20 Martin Liska <mliska@suse.cz>
1918 * cgraph.h (maybe_create_reference): Remove argument and
1920 * cgraphclones.c (cgraph_node::create_virtual_clone): Remove one
1922 * ipa-cp.c (create_specialized_node): Likewise.
1923 * symtab.c (symtab_node::maybe_create_reference): Handle
1924 VAR_DECLs and ADDR_EXPRs and select ipa_ref_use type.
1926 2017-01-20 Martin Liska <mliska@suse.cz>
1928 * read-rtl-function.c (function_reader::create_function): Use
1929 build_decl instread of build_decl_stat.
1931 2017-01-20 Andrew Senkevich <andrew.senkevich@intel.com>
1933 * config/i386/avx512bwintrin.h: Add k-mask registers shift intrinsics.
1934 * config/i386/avx512dqintrin.h: Ditto.
1935 * config/i386/avx512fintrin.h: Ditto.
1936 * config/i386/i386-builtin-types.def: Add new types.
1937 * gcc/config/i386/i386.c: Handle new types.
1938 * config/i386/i386-builtin.def (__builtin_ia32_kshiftliqi)
1939 (__builtin_ia32_kshiftlihi, __builtin_ia32_kshiftlisi)
1940 (__builtin_ia32_kshiftlidi, __builtin_ia32_kshiftriqi)
1941 (__builtin_ia32_kshiftrihi, __builtin_ia32_kshiftrisi)
1942 (__builtin_ia32_kshiftridi): New.
1943 * config/i386/sse.md (k<code><mode>): Rename *k<code><mode>.
1945 2017-01-19 Segher Boessenkool <segher@kernel.crashing.org>
1949 * config/rs6000/rs6000.c (TARGET_STACK_PROTECT_GUARD): Unconditionally
1950 define to rs6000_init_stack_protect_guard.
1951 (rs6000_init_stack_protect_guard): New function.
1953 2017-01-19 Matthew Fortune <matthew.fortune@imgtec.com>
1954 Yunqiang Su <yunqiang.su@imgtec.com>
1956 * config.gcc (supported_defaults): Add madd4.
1957 (with_madd4): Add validation.
1958 (all_defaults): Add madd4.
1959 * config/mips/mips.opt (mmadd4): New option.
1960 * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
1962 (TARGET_CPU_CPP_BUILTINS): Add builtin_define for
1964 (ISA_HAS_UNFUSED_MADD4): Gate with mips_madd4.
1965 (ISA_HAS_FUSED_MADD4): Likewise.
1966 * gcc/doc/invoke.texi (-mmadd4): Document the new option.
1967 * gcc/doc/install.texi (--with-madd4): Document the new option.
1969 2017-01-19 Jiong Wang <jiong.wang@arm.com>
1971 * config/aarch64/aarch64-builtins.c (enum aarch64_builtins): New
1972 entries for AARCH64_PAUTH_BUILTIN_XPACLRI,
1973 AARCH64_PAUTH_BUILTIN_PACIA1716, AARCH64_PAUTH_BUILTIN_AUTIA1716.
1974 (aarch64_init_pauth_hint_builtins): New.
1975 (aarch64_init_builtins): Call aarch64_init_pauth_hint_builtins.
1976 (aarch64_expand_builtin): Expand new builtins.
1978 2017-01-19 Jiong Wang <jiong.wang@arm.com>
1980 * reg-notes.def (CFA_TOGGLE_RA_MANGLE): New reg-note.
1981 * combine-stack-adj.c (no_unhandled_cfa): Handle
1982 REG_CFA_TOGGLE_RA_MANGLE.
1983 * dwarf2cfi.c (dwarf2out_frame_debug): Handle REG_CFA_TOGGLE_RA_MANGLE.
1984 * config/aarch64/aarch64.c (aarch64_expand_prologue): Generates DWARF
1985 info for return address signing.
1986 (aarch64_expand_epilogue): Likewise.
1988 2017-01-19 Jiong Wang <jiong.wang@arm.com>
1990 * config/aarch64/aarch64-opts.h (aarch64_function_type): New enum.
1991 * config/aarch64/aarch64-protos.h
1992 (aarch64_return_address_signing_enabled): New declaration.
1993 * config/aarch64/aarch64.c (aarch64_return_address_signing_enabled):
1995 (aarch64_expand_prologue): Sign return address before it's pushed onto
1997 (aarch64_expand_epilogue): Authenticate return address fetched from
1999 (aarch64_override_options): Sanity check for ILP32 and ISA level.
2000 (aarch64_attributes): New function attributes for "sign-return-address".
2001 * config/aarch64/aarch64.md (UNSPEC_AUTI1716, UNSPEC_AUTISP,
2002 UNSPEC_PACI1716, UNSPEC_PACISP, UNSPEC_XPACLRI): New unspecs.
2003 ("*do_return"): Generate combined instructions according to key index.
2004 ("<pauth_mnem_prefix>sp", "<pauth_mnem_prefix1716", "xpaclri"): New.
2005 * config/aarch64/iterators.md (PAUTH_LR_SP, PAUTH_17_16): New integer
2007 (pauth_mnem_prefix, pauth_hint_num_a): New integer attributes.
2008 * config/aarch64/aarch64.opt (msign-return-address=): New.
2009 * doc/extend.texi (AArch64 Function Attributes): Documents
2010 "sign-return-address=".
2011 * doc/invoke.texi (AArch64 Options): Documents "-msign-return-address=".
2013 2017-01-19 Matthew Fortune <matthew.fortune@imgtec.com>
2015 * doc/invoke.texi: Add missing -mlxc1-sxc1 options to
2016 overall option summary.
2018 2017-01-19 Jiong Wang <jiong.wang@arm.com>
2020 * config/aarch64/aarch64-arches.def: New entry for "armv8.3-a".
2021 * config/aarch64/aarch64.h (AARCH64_FL_V8_3, AARCH64_FL_FOR_ARCH8_3,
2022 AARCH64_ISA_V8_3, TARGET_ARMV8_3): New.
2023 * doc/invoke.texi (AArch64 Options): Document "armv8.3-a".
2025 2017-01-19 Michael Meissner <meissner@linux.vnet.ibm.com>
2027 * config/rs6000/rs6000-cpus.def (ISA_3_0_MASKS_SERVER): Enable
2028 -mpower9-minmax by default for -mcpu=power9.
2029 (ISA_3_MASKS_IEEE): Require -mvsx-small-integer to enable IEEE
2030 128-bit floating point.
2032 2017-01-20 Alan Modra <amodra@gmail.com>
2034 * config/rs6000/rs6000.md (cmpstrnsi, cmpstrsi): Fail if
2035 optimizing for size.
2037 2017-01-20 Alan Modra <amodra@gmail.com>
2040 * config/rs6000/rs6000.c (expand_strn_compare): Get the asm name
2041 for strcmp and strncmp from corresponding builtin decl.
2043 2017-01-19 Uros Bizjak <ubizjak@gmail.com>
2045 * config.gcc (x86_64-*-rtems*): Use i386/rtemself.h
2046 instead of i386/rtems-64.h.
2047 * config/i386/rtems-64.h: Remove.
2049 2017-01-19 Uros Bizjak <ubizjak@gmail.com>
2053 2013-11-05 Uros Bizjak <ubizjak@gmail.com>
2055 * config/i386/rtemself.h (LONG_DOUBLE_TYPE_SIZE): New define.
2057 2017-01-19 Tamar Christina <tamar.christina@arm.com>
2059 * config/aarch64/aarch64.c (aarch64_simd_gen_const_vector_dup):
2060 Change int to HOST_WIDE_INT.
2061 * config/aarch64/aarch64-protos.h
2062 (aarch64_simd_gen_const_vector_dup): Likewise.
2063 * config/aarch64/aarch64-simd.md: Add copysign<mode>3.
2065 2017-01-19 David Malcolm <dmalcolm@redhat.com>
2067 * langhooks-def.h (lhd_type_for_size): New decl.
2068 (LANG_HOOKS_TYPE_FOR_SIZE): Define as lhd_type_for_size.
2069 * langhooks.c (lhd_type_for_size): New function, taken from
2072 2017-01-19 Pat Haugen <pthaugen@us.ibm.com>
2074 * config/rs6000/power9.md (power9-alu): Remove 'cmp' type and add
2075 define_bypass for CR latency.
2076 (power9-cracked-alu): Update bypass latency and remove power9-branch.
2077 (power9-alu2): Add define_bypass for CR latency.
2079 (power9-mul): Update insn latency.
2080 (power9-mul-compare): Update insn latency, bypass latency and remove
2083 2016-01-19 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
2085 * config/aarch64/aarch64-protos.h (aarch64_nopcrelative_literal_loads):
2087 * config/aarch64/aarch64.md
2088 (aarch64_reload_movcp<GPF_TF:mode><P:mode>): Delete reference to
2089 aarch64_nopcrelative_literal_loads.
2090 (aarch64_reload_movcp<VALL:mode><P:mode>): Likewise.
2092 2017-01-19 Chenghua Xu <paul.hua.gm@gmail.com>
2094 * config/mips/mips.h (ISA_HAS_FUSED_MADD4): Enable for
2096 (ISA_HAS_UNFUSED_MADD4): Exclude TARGET_LOONGSON_3A.
2098 2017-01-19 Doug Gilmore <doug.gilmore@imgtec.com>
2101 * config.gcc (supported_defaults): Add lxc1-sxc1.
2102 (with_lxc1_sxc1): Add validation.
2103 (all_defaults): Add lxc1-sxc1.
2104 * config/mips/mips.opt (mlxc1-sxc1): New option.
2105 * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
2107 (TARGET_CPU_CPP_BUILTINS): Add builtin_define for
2108 __mips_no_lxc1_sxc1.
2109 (ISA_HAS_LXC1_SXC1): Gate with mips_lxc1_sxc1.
2110 * gcc/doc/invoke.texi (-mlxc1-sxc1): Document the new option.
2111 * doc/install.texi (--with-lxc1-sxc1): Document the new option.
2113 2017-01-19 Richard Biener <rguenther@suse.de>
2115 PR tree-optimization/72488
2116 * tree-ssa-sccvn.c (run_scc_vn): When we abort the VN make
2117 sure to restore SSA info.
2118 * tree-ssa.c (verify_ssa): Verify SSA info is not shared.
2120 2017-01-19 Richard Earnshaw <rearnsha@arm.com>
2122 PR rtl-optimization/79121
2123 * expr.c (expand_expr_real_2, case LSHIFT_EXPR): Look at the signedness
2124 of the inner type when shifting an extended value.
2126 2017-01-17 Jan Hubicka <hubicka@ucw.cz>
2129 * symtab.c (symtab_node::equal_address_to): Fix comparing of
2130 interposable aliases.
2132 2017-01-18 Peter Bergner <bergner@vnet.ibm.com>
2135 * config/rs6000/spe.md (mov_si<mode>_e500_subreg0): Fix constraints.
2136 Use the evmergelohi instruction.
2137 (mov_si<mode>_e500_subreg4_2_le): Likewise.
2138 (mov_sitf_e500_subreg8_2_be): Likewise.
2139 (mov_sitf_e500_subreg12_2_le): Likewise.
2140 (mov_si<mode>_e500_subreg0_2_le): Fix constraints.
2141 (mov_si<mode>_e500_subreg4_2_be): Likewise.
2142 (mov_sitf_e500_subreg8_2_le): Likewise.
2143 (mov_sitf_e500_subreg12_2_be): Likewise.
2145 2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
2147 * config/rs6000/altivec.md (altivec_vbpermq): Change "type"
2148 attribute from vecsimple to vecperm.
2149 (altivec_vbpermq2): Likewise.
2151 2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
2154 * config/rs6000/altivec.h: Fix typo of vec_cntlz to vec_cnttz.
2156 2017-01-18 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
2157 * config/rs6000/rs6000-protos.h (expand_strn_compare): Add arg.
2158 * config/rs6000/rs6000.c (expand_strn_compare): Add ability to expand
2159 strcmp. Fix bug where comparison didn't stop with zero byte. Fix
2160 case where N arg is SIZE_MAX.
2161 * config/rs6000/rs6000.md (cmpstrnsi): Args to expand_strn_compare.
2162 (cmpstrsi): Add pattern.
2164 2017-01-18 Michael Meissner <meissner@linux.vnet.ibm.com>
2166 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add
2167 __builtin_vec_revb builtins.
2168 * config/rs6000/rs6000-builtins.def (P9V_BUILTIN_XXBRQ_V16QI): Add
2169 built-in functions to support generation of the ISA 3.0 XXBR<x>
2170 vector byte reverse instructions.
2171 (P9V_BUILTIN_XXBRQ_V1TI): Likewise.
2172 (P9V_BUILTIN_XXBRD_V2DI): Likewise.
2173 (P9V_BUILTIN_XXBRD_V2DF): Likewise.
2174 (P9V_BUILTIN_XXBGW_V4SI): Likewise.
2175 (P9V_BUILTIN_XXBGW_V4SF): Likewise.
2176 (P9V_BUILTIN_XXBGH_V8HI): Likewise.
2177 (P9V_BUILTIN_VEC_REVB): Likewise.
2178 * config/rs6000/vsx.md (p9_xxbrq_v1ti): New insns/expanders to
2179 generate the ISA 3.0 XXBR<x> vector byte reverse instructions.
2180 (p9_xxbrq_v16qi): Likewise.
2181 (p9_xxbrd_<mode>, VSX_D iterator): Likewise.
2182 (p9_xxbrw_<mode>, VSX_W iterator): Likewise.
2183 (p9_xxbrh_v8hi): Likewise.
2184 * config/rs6000/altivec.h (vec_revb): Define if ISA 3.0.
2185 * doc/extend.texi (RS/6000 Altivec Built-ins): Document the
2186 vec_revb built-in functions.
2188 2017-01-18 Uros Bizjak <ubizjak@gmail.com>
2190 PR rtl-optimization/78952
2191 * config/i386/i386.md (any_extract): New code iterator.
2192 (*insvqi_2): Use any_extract for source operand.
2193 (*insvqi_3): Use any_shiftrt for source operand.
2195 2017-01-18 Wilco Dijkstra <wdijkstr@arm.com>
2197 * config/aarch64/aarch64.c (aarch64_sched_adjust_priority)
2199 (TARGET_SCHED_ADJUST_PRIORITY): Define target hook.
2201 2017-01-18 Matthias Klose <doko@ubuntu.com>
2203 * doc/install.texi: Allow default for --with-target-bdw-gc-include.
2205 2016-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
2207 * config/rs6000/altivec.h (vec_bperm): Change #define.
2208 * config/rs6000/altivec.md (UNSPEC_VBPERMD): New enum constant.
2209 (altivec_vbpermq2): New define_insn.
2210 (altivec_vbpermd): Likewise.
2211 * config/rs6000/rs6000-builtin.def (VBPERMQ2): New monomorphic
2213 (VBPERMD): Likewise.
2214 (VBPERM): New polymorphic function interface.
2215 * config/rs6000/r6000-c.c (altivec_overloaded_builtins_table):
2216 Add entries for P9V_BUILTIN_VEC_VBPERM.
2217 * doc/extend.texi: Add interfaces for vec_bperm.
2219 2017-01-18 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
2221 * config/s390/s390-c.c (s390_expand_overloaded_builtin): Downcase
2222 first letter of error messages.
2223 (s390_resolve_overloaded_builtin): Likewise.
2224 * config/s390/s390.c (s390_expand_builtin): Likewise.
2225 (s390_invalid_arg_for_unprototyped_fn): Likewise.
2226 (s390_valid_target_attribute_inner_p): Likewise.
2227 * config/s390/s390.md ("tabort"): Likewise.
2229 2017-01-18 Toma Tabacu <toma.tabacu@imgtec.com>
2231 * config/mips/mips.h (ISA_HAS_DIV3): Remove unused macro.
2232 (ISA_AVOID_DIV_HILO): New macro.
2233 (ISA_HAS_DIV): Use new ISA_AVOID_DIV_HILO macro.
2234 (ISA_HAS_DDIV): Likewise.
2236 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
2238 * doc/invoke.texi (fabi-version): Correct number of occurrences.
2240 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
2242 * doc/invoke.texi (fabi-version): Spelling fix.
2244 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
2247 * doc/invoke.texi (fabi-version): Mention mangling fix for
2250 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de>
2253 * doc/invoke.texi (fabi-version): Document discriminator mangling.
2255 2017-01-17 Segher Boessenkool <segher@kernel.crashing.org>
2258 * config/rs6000/rs6000-opts.h (stack_protector_guard): New enum.
2259 * config/rs6000/rs6000.c (rs6000_option_override_internal): Handle
2261 * config/rs6000/rs6000.md (stack_protect_set): Handle the new more
2263 (stack_protect_test): Ditto.
2264 * config/rs6000/rs6000.opt (mstack-protector-guard=,
2265 mstack-protector-guard-reg=, mstack-protector-guard-offset=): New
2267 * doc/invoke.texi (Option Summary) [RS/6000 and PowerPC Options]:
2268 Add -mstack-protector-guard=, -mstack-protector-guard-reg=, and
2269 -mstack-protector-guard-offset=.
2270 (RS/6000 and PowerPC Options): Ditto.
2272 2017-01-17 Uros Bizjak <ubizjak@gmail.com>
2274 * config/i386/i386.h (MASK_CLASS_P): New define.
2275 * config/i386/i386.c (inline_secondary_memory_needed): Ensure that
2276 there are no registers from different register sets also when
2277 mask registers are used. Update function comment.
2278 * config/i386/i386.md (*movsi_internal): Split (*k/*krm) alternative
2279 to (*k/*r) and (*k/*km) alternatives.
2281 2017-01-17 Wilco Dijkstra <wdijkstr@arm.com>
2283 * config/aarch64/aarch64.md (eh_return): Remove pattern and splitter.
2284 * config/aarch64/aarch64.h (AARCH64_EH_STACKADJ_REGNUM): Remove.
2285 (EH_RETURN_HANDLER_RTX): New define.
2286 * config/aarch64/aarch64.c (aarch64_frame_pointer_required):
2287 Force frame pointer in EH return functions.
2288 (aarch64_expand_epilogue): Add barrier for eh_return.
2289 (aarch64_final_eh_return_addr): Remove.
2290 (aarch64_eh_return_handler_rtx): New function.
2291 * config/aarch64/aarch64-protos.h (aarch64_final_eh_return_addr):
2293 (aarch64_eh_return_handler_rtx): New prototype.
2295 2017-01-17 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
2297 * config/rs6000/altivec.h (vec_rlmi): New #define.
2298 (vec_vrlnm): Likewise.
2299 (vec_rlnm): Likewise.
2300 * config/rs6000/altivec.md (UNSPEC_VRLMI): New UNSPEC enum value.
2301 (UNSPEC_VRLNM): Likewise.
2302 (VIlong): New mode iterator.
2303 (altivec_vrl<VI_char>mi): New define_insn.
2304 (altivec_vrl<VI_char>nm): Likewise.
2305 * config/rs6000/rs6000-builtin.def (VRLWNM): New monomorphic
2308 (RLNM): New polymorphic function entry.
2309 (VRLWMI): New monomorphic function entry.
2311 (RLMI): New polymorphic function entry.
2312 * config/rs6000/r6000-c.c (altivec_overloaded_builtin_table): Add
2313 new entries for P9V_BUILTIN_VEC_RLMI and P9V_BUILTIN_VEC_RLNM.
2314 * doc/extend.texi: Add description of vec_rlmi, vec_rlnm, and
2317 2017-01-17 Jakub Jelinek <jakub@redhat.com>
2320 * dwarf2out.c (field_byte_offset): Restore the
2321 PCC_BITFIELD_TYPE_MATTERS behavior for INTEGER_CST DECL_FIELD_OFFSET
2322 and DECL_FIELD_BIT_OFFSET. Use fold_build2 instead of build2 + fold.
2323 (analyze_variants_discr, gen_variant_part): Use fold_build2 instead
2326 2017-01-17 Eric Botcazou <ebotcazou@adacore.com>
2329 * config/aarch64/aarch64.c (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Define
2331 2017-01-17 Jakub Jelinek <jakub@redhat.com>
2334 * dwarf2out.c (add_data_member_location_attribute): For constant
2335 offset bitfield emit for -gdwarf-5 DW_AT_data_bit_offset attribute
2336 instead of DW_AT_data_member_location, DW_AT_bit_offset and
2337 DW_AT_byte_size attributes.
2339 2017-01-17 Eric Botcazou <ebotcazou@adacore.com>
2341 * config/rs6000/rs6000.c (rs6000_emit_move): Also use a TOC reference
2342 after forcing to constant memory when the code model is medium.
2344 2017-01-17 Julia Koval <julia.koval@intel.com>
2347 * config/i386/avx512fintrin.h
2348 (_mm512_i32gather_ps): Change __addr type to void const*.
2349 (_mm512_mask_i32gather_ps): Ditto.
2350 (_mm512_i32gather_pd): Ditto.
2351 (_mm512_mask_i32gather_pd): Ditto.
2352 (_mm512_i64gather_ps): Ditto.
2353 (_mm512_mask_i64gather_ps): Ditto.
2354 (_mm512_i64gather_pd): Ditto.
2355 (_mm512_mask_i64gather_pd): Ditto.
2356 (_mm512_i32gather_epi32): Ditto.
2357 (_mm512_mask_i32gather_epi32): Ditto.
2358 (_mm512_i32gather_epi64): Ditto.
2359 (_mm512_mask_i32gather_epi64): Ditto.
2360 (_mm512_i64gather_epi32): Ditto.
2361 (_mm512_mask_i64gather_epi32): Ditto.
2362 (_mm512_i64gather_epi64): Ditto.
2363 (_mm512_mask_i64gather_epi64): Ditto.
2364 (_mm512_i32scatter_ps): Change __addr type to void*.
2365 (_mm512_mask_i32scatter_ps): Ditto.
2366 (_mm512_i32scatter_pd): Ditto.
2367 (_mm512_mask_i32scatter_pd): Ditto.
2368 (_mm512_i64scatter_ps): Ditto.
2369 (_mm512_mask_i64scatter_ps): Ditto.
2370 (_mm512_i64scatter_pd): Ditto.
2371 (_mm512_mask_i64scatter_pd): Ditto.
2372 (_mm512_i32scatter_epi32): Ditto.
2373 (_mm512_mask_i32scatter_epi32): Ditto.
2374 (_mm512_i32scatter_epi64): Ditto.
2375 (_mm512_mask_i32scatter_epi64): Ditto.
2376 (_mm512_i64scatter_epi32): Ditto.
2377 (_mm512_mask_i64scatter_epi32): Ditto.
2378 (_mm512_i64scatter_epi64): Ditto.
2379 (_mm512_mask_i64scatter_epi64): Ditto.
2380 * config/i386/avx512pfintrin.h
2381 (_mm512_mask_prefetch_i32gather_pd): Change __addr type to void const*.
2382 (_mm512_mask_prefetch_i32gather_ps): Ditto.
2383 (_mm512_mask_prefetch_i64gather_pd): Ditto.
2384 (_mm512_mask_prefetch_i64gather_ps): Ditto.
2385 (_mm512_prefetch_i32scatter_pd): Change __addr type to void*.
2386 (_mm512_prefetch_i32scatter_ps): Ditto.
2387 (_mm512_mask_prefetch_i32scatter_pd): Ditto.
2388 (_mm512_mask_prefetch_i32scatter_ps): Ditto.
2389 (_mm512_prefetch_i64scatter_pd): Ditto.
2390 (_mm512_prefetch_i64scatter_ps): Ditto.
2391 (_mm512_mask_prefetch_i64scatter_pd): Ditto.
2392 (_mm512_mask_prefetch_i64scatter_ps): Ditto.
2393 * config/i386/avx512vlintrin.h
2394 (_mm256_mmask_i32gather_ps): Change __addr type to void const*.
2395 (_mm_mmask_i32gather_ps): Ditto.
2396 (_mm256_mmask_i32gather_pd): Ditto.
2397 (_mm_mmask_i32gather_pd): Ditto.
2398 (_mm256_mmask_i64gather_ps): Ditto.
2399 (_mm_mmask_i64gather_ps): Ditto.
2400 (_mm256_mmask_i64gather_pd): Ditto.
2401 (_mm_mmask_i64gather_pd): Ditto.
2402 (_mm256_mmask_i32gather_epi32): Ditto.
2403 (_mm_mmask_i32gather_epi32): Ditto.
2404 (_mm256_mmask_i32gather_epi64): Ditto.
2405 (_mm_mmask_i32gather_epi64): Ditto.
2406 (_mm256_mmask_i64gather_epi32): Ditto.
2407 (_mm_mmask_i64gather_epi32): Ditto.
2408 (_mm256_mmask_i64gather_epi64): Ditto.
2409 (_mm_mmask_i64gather_epi64): Ditto.
2410 (_mm256_i32scatter_ps): Change __addr type to void*.
2411 (_mm256_mask_i32scatter_ps): Ditto.
2412 (_mm_i32scatter_ps): Ditto.
2413 (_mm_mask_i32scatter_ps): Ditto.
2414 (_mm256_i32scatter_pd): Ditto.
2415 (_mm256_mask_i32scatter_pd): Ditto.
2416 (_mm_i32scatter_pd): Ditto.
2417 (_mm_mask_i32scatter_pd): Ditto.
2418 (_mm256_i64scatter_ps): Ditto.
2419 (_mm256_mask_i64scatter_ps): Ditto.
2420 (_mm_i64scatter_ps): Ditto.
2421 (_mm_mask_i64scatter_ps): Ditto.
2422 (_mm256_i64scatter_pd): Ditto.
2423 (_mm256_mask_i64scatter_pd): Ditto.
2424 (_mm_i64scatter_pd): Ditto.
2425 (_mm_mask_i64scatter_pd): Ditto.
2426 (_mm256_i32scatter_epi32): Ditto.
2427 (_mm256_mask_i32scatter_epi32): Ditto.
2428 (_mm_i32scatter_epi32): Ditto.
2429 (_mm_mask_i32scatter_epi32): Ditto.
2430 (_mm256_i32scatter_epi64): Ditto.
2431 (_mm256_mask_i32scatter_epi64): Ditto.
2432 (_mm_i32scatter_epi64): Ditto.
2433 (_mm_mask_i32scatter_epi64): Ditto.
2434 (_mm256_i64scatter_epi32): Ditto.
2435 (_mm256_mask_i64scatter_epi32): Ditto.
2436 (_mm_i64scatter_epi32): Ditto.
2437 (_mm_mask_i64scatter_epi32): Ditto.
2438 (_mm256_i64scatter_epi64): Ditto.
2439 (_mm256_mask_i64scatter_epi64): Ditto.
2440 (_mm_i64scatter_epi64): Ditto.
2441 (_mm_mask_i64scatter_epi64): Ditto.
2442 * config/i386/i386-builtin-types.def (V16SF_V16SF_PCFLOAT_V16SI_HI_INT)
2443 (V8DF_V8DF_PCDOUBLE_V8SI_QI_INT, V8SF_V8SF_PCFLOAT_V8DI_QI_INT)
2444 (V8DF_V8DF_PCDOUBLE_V8DI_QI_INT, V16SI_V16SI_PCINT_V16SI_HI_INT)
2445 (V8DI_V8DI_PCINT64_V8SI_QI_INT, V8SI_V8SI_PCINT_V8DI_QI_INT)
2446 (V8DI_V8DI_PCINT64_V8DI_QI_INT, V2DF_V2DF_PCDOUBLE_V4SI_QI_INT)
2447 (V4DF_V4DF_PCDOUBLE_V4SI_QI_INT, V2DF_V2DF_PCDOUBLE_V2DI_QI_INT)
2448 (V4DF_V4DF_PCDOUBLE_V4DI_QI_INT, V4SF_V4SF_PCFLOAT_V4SI_QI_INT)
2449 (V8SF_V8SF_PCFLOAT_V8SI_QI_INT, V4SF_V4SF_PCFLOAT_V2DI_QI_INT)
2450 (V4SF_V4SF_PCFLOAT_V4DI_QI_INT, V2DI_V2DI_PCINT64_V4SI_QI_INT)
2451 (V4DI_V4DI_PCINT64_V4SI_QI_INT, V2DI_V2DI_PCINT64_V2DI_QI_INT)
2452 (V4DI_V4DI_PCINT64_V4DI_QI_INT, V4SI_V4SI_PCINT_V4SI_QI_INT)
2453 (V8SI_V8SI_PCINT_V8SI_QI_INT, V4SI_V4SI_PCINT_V2DI_QI_INT)
2454 (V4SI_V4SI_PCINT_V4DI_QI_INT, VOID_PFLOAT_HI_V16SI_V16SF_INT)
2455 (VOID_PFLOAT_QI_V8SI_V8SF_INT, VOID_PFLOAT_QI_V4SI_V4SF_INT)
2456 (VOID_PDOUBLE_QI_V8SI_V8DF_INT, VOID_PDOUBLE_QI_V4SI_V4DF_INT)
2457 (VOID_PDOUBLE_QI_V4SI_V2DF_INT, VOID_PFLOAT_QI_V8DI_V8SF_INT)
2458 (VOID_PFLOAT_QI_V4DI_V4SF_INT, VOID_PFLOAT_QI_V2DI_V4SF_INT)
2459 (VOID_PDOUBLE_QI_V8DI_V8DF_INT, VOID_PDOUBLE_QI_V4DI_V4DF_INT)
2460 (VOID_PDOUBLE_QI_V2DI_V2DF_INT, VOID_PINT_HI_V16SI_V16SI_INT)
2461 (VOID_PINT_QI_V8SI_V8SI_INT, VOID_PINT_QI_V4SI_V4SI_INT)
2462 (VOID_PLONGLONG_QI_V8SI_V8DI_INT, VOID_PLONGLONG_QI_V4SI_V4DI_INT)
2463 (VOID_PLONGLONG_QI_V4SI_V2DI_INT, VOID_PINT_QI_V8DI_V8SI_INT)
2464 (VOID_PINT_QI_V4DI_V4SI_INT, VOID_PINT_QI_V2DI_V4SI_INT)
2465 (VOID_PLONGLONG_QI_V8DI_V8DI_INT, VOID_QI_V8SI_PCINT64_INT_INT)
2466 (VOID_PLONGLONG_QI_V4DI_V4DI_INT, VOID_PLONGLONG_QI_V2DI_V2DI_INT)
2467 (VOID_HI_V16SI_PCINT_INT_INT, VOID_QI_V8DI_PCINT64_INT_INT)
2468 (VOID_QI_V8DI_PCINT_INT_INT): Remove.
2469 (V16SF_V16SF_PCVOID_V16SI_HI_INT, V8DF_V8DF_PCVOID_V8SI_QI_INT)
2470 (V8SF_V8SF_PCVOID_V8DI_QI_INT, V8DF_V8DF_PCVOID_V8DI_QI_INT)
2471 (V16SI_V16SI_PCVOID_V16SI_HI_INT, V8DI_V8DI_PCVOID_V8SI_QI_INT)
2472 (V8SI_V8SI_PCVOID_V8DI_QI_INT, V8DI_V8DI_PCVOID_V8DI_QI_INT)
2473 (VOID_PVOID_HI_V16SI_V16SF_INT, VOID_PVOID_QI_V8SI_V8DF_INT)
2474 (VOID_PVOID_QI_V8DI_V8SF_INT, VOID_PVOID_QI_V8DI_V8DF_INT)
2475 (VOID_PVOID_HI_V16SI_V16SI_INT, VOID_PVOID_QI_V8SI_V8DI_INT)
2476 (VOID_PVOID_QI_V8DI_V8SI_INT, VOID_PVOID_QI_V8DI_V8DI_INT)
2477 (V2DF_V2DF_PCVOID_V4SI_QI_INT, V4DF_V4DF_PCVOID_V4SI_QI_INT)
2478 (V2DF_V2DF_PCVOID_V2DI_QI_INT, V4DF_V4DF_PCVOID_V4DI_QI_INT
2479 (V4SF_V4SF_PCVOID_V4SI_QI_INT, V8SF_V8SF_PCVOID_V8SI_QI_INT)
2480 (V4SF_V4SF_PCVOID_V2DI_QI_INT, V4SF_V4SF_PCVOID_V4DI_QI_INT)
2481 (V2DI_V2DI_PCVOID_V4SI_QI_INT, V4DI_V4DI_PCVOID_V4SI_QI_INT)
2482 (V2DI_V2DI_PCVOID_V2DI_QI_INT, V4DI_V4DI_PCVOID_V4DI_QI_INT)
2483 (V4SI_V4SI_PCVOID_V4SI_QI_INT, V8SI_V8SI_PCVOID_V8SI_QI_INT)
2484 (V4SI_V4SI_PCVOID_V2DI_QI_INT, V4SI_V4SI_PCVOID_V4DI_QI_INT)
2485 (VOID_PVOID_QI_V8SI_V8SF_INT, VOID_PVOID_QI_V4SI_V4SF_INT)
2486 (VOID_PVOID_QI_V4SI_V4DF_INT, VOID_PVOID_QI_V4SI_V2DF_INT)
2487 (VOID_PVOID_QI_V4DI_V4SF_INT, VOID_PVOID_QI_V2DI_V4SF_INT)
2488 (VOID_PVOID_QI_V4DI_V4DF_INT, VOID_PVOID_QI_V2DI_V2DF_INT)
2489 (VOID_PVOID_QI_V8SI_V8SI_INT, VOID_PVOID_QI_V4SI_V4SI_INT)
2490 (VOID_PVOID_QI_V4SI_V4DI_INT, VOID_PVOID_QI_V4SI_V2DI_INT)
2491 (VOID_PVOID_QI_V4DI_V4SI_INT, VOID_PVOID_QI_V2DI_V4SI_INT)
2492 (VOID_PVOID_QI_V4DI_V4DI_INT, VOID_PVOID_QI_V2DI_V2DI_INT)
2493 (VOID_QI_V8SI_PCVOID_INT_INT, VOID_HI_V16SI_PCVOID_INT_INT)
2494 (VOID_QI_V8DI_PCVOID_INT_INT): Add.
2495 * config/i386/i386.c (ix86_init_mmx_sse_builtins): Adjust builtin
2496 definitions accordingly.
2498 2017-01-17 Kito Cheng <kito.cheng@gmail.com>
2499 Kuan-Lin Chen <kuanlinchentw@gmail.com>
2502 * internal-fn.c (expand_mul_overflow): Use convert_modes instead of
2505 2017-01-17 Vladimir Makarov <vmakarov@redhat.com>
2508 * ira-conflicts.c (ira_build_conflicts): Update total conflict
2509 hard regs for inner regno.
2511 2017-01-17 Martin Liska <mliska@suse.cz>
2514 * ipa-polymorphic-call.c (contains_type_p): Fix wrong
2515 assumption and add comment.
2517 2017-01-17 Nathan Sidwell <nathan@acm.org>
2519 * ipa-visibility.c (localize_node): New function, broken out of ...
2520 (function_and_variable_visibility): ... here. Call it.
2522 2017-01-17 Jan Hubicka <hubicka@ucw.cz>
2525 * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges):
2526 correctly set frequency of oudgoing edge.
2527 (duplicate_thread_path): Fix profile updating.
2529 2017-01-17 Jakub Jelinek <jakub@redhat.com>
2532 * configure.ac: Add GCC_BASE_VER.
2533 * Makefile.in (version): Use @get_gcc_base_ver@ instead of cat to get
2534 version from BASE-VER file.
2535 (CFLAGS-gcc.o): Add -DBASEVER=$(BASEVER_s).
2536 (gcc.o): Depend on $(BASEVER).
2537 * common.opt (dumpfullversion): New option.
2538 * gcc.c (driver_handle_option): Handle OPT_dumpfullversion.
2539 * doc/invoke.texi: Document -dumpfullversion.
2540 * doc/install.texi: Document --with-gcc-major-version-only.
2541 * configure: Regenerated.
2543 2017-01-17 Richard Biener <rguenther@suse.de>
2545 PR tree-optimization/71433
2546 * tree-vrp.c (register_new_assert_for): Merge same asserts
2547 on all incoming edges.
2548 (process_assert_insertions_for): Handle insertions at the
2551 2017-01-17 Gerald Pfeifer <gerald@pfeifer.com>
2553 * config/i386/cygwin.h (LIBGCJ_SONAME): Remove.
2554 * config/i386/mingw32.h (LIBGCJ_SONAME): Remove.
2556 2017-01-17 Kaz Kojima <kkojima@gcc.gnu.org>
2559 * config/sh/sh.md (cmpeqsi_t+1): Call copy_rtx to avoid invalid
2562 2017-01-17 Alan Modra <amodra@gmail.com>
2565 * config/rs6000/rs6000.md (elf_high, elf_low): Disable when pic.
2566 * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Don't allow
2567 symbolic stack limit when pic.
2569 2017-01-16 Martin Sebor <msebor@redhat.com>
2571 PR tree-optimization/78608
2572 * gimple-ssa-sprintf.c (tree_digits): Avoid negating TYPE_MIN.
2574 2017-01-16 Jeff Law <law@redhat.com>
2577 2016-12-02 Tadek Kijkowski <tkijkowski@gmail.com>
2578 * Makefile.in (PREPROCESSOR_DEFINES): Add a level of indirection
2579 for several include directories that may be relative to sysroot.
2580 * config/i386/x-mingw32 (gplus_includedir): Define.
2581 (gplus_tool_includedir, gplus_backward_include_dir): Likewise.
2582 (native_system_includedir): Likewise.
2583 * config/i386/mingw32.h (STANDARD_STARTFILE_PREFIX_1): Do not
2584 override if TARGET_SYSTEM_ROOT is defined.
2585 (NATIVE_SYSTEM_HEADER_DIR): Likewise.
2587 PR tree-optimization/79090
2588 PR tree-optimization/33562
2589 PR tree-optimization/61912
2590 PR tree-optimization/77485
2591 * tree-ssa-dse.c (compute_trims): Accept STMT argument. Dump STMT
2592 and computed trims into the dump file.
2594 2017-01-17 Uros Bizjak <ubizjak@gmail.com>
2596 * config/i386/i386.h (LIMIT_RELOAD_CLASS): Remove.
2598 2017-01-16 Jakub Jelinek <jakub@redhat.com>
2601 * gimplify.c (gimplify_init_constructor): If want_value and
2602 object == lhs, unshare lhs to avoid invalid tree sharing. Formatting
2606 * loop-doloop.c (doloop_modify): Call unshare_all_rtl_in_chain on
2607 sequence. Formatting fixes.
2608 (doloop_optimize): Formatting fixes.
2611 * gcc.c (debug_level_greater_than_spec_func): New function.
2612 (static_spec_functions): Add debug-level-gt spec function.
2613 (ASM_DEBUG_SPEC, cpp_options): Use %:debug-level-gt(0) instead of
2615 * config/darwin.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
2616 * config/darwin9.h (DSYMUTIL_SPEC, ASM_DEBUG_SPEC): Likewise.
2617 * common.opt (g, gcoff, gdwarf, gdwarf-, ggdb, gno-pubnames,
2618 gpubnames, ggnu-pubnames, gno-record-gcc-switches,
2619 grecord-gcc-switches, gno-strict-dwarf, gstrict-dwarf, gstabs,
2620 gstabs+, gtoggle, gvms, gxcoff, gxcoff+): Add Driver flag.
2622 2017-01-16 Uros Bizjak <ubizjak@gmail.com>
2624 * config/i386/i386.h (HARD_REGNO_CALLER_SAVE_MODE): Apply HImode and
2625 QImode fixups to general and mask registers only.
2627 2017-01-16 Carl Love <cel@us.ibm.com>
2629 * config/rs6000/rs6000-c (altivec_overloaded_builtins): Add support
2630 for built-in functions
2631 vector signed char vec_nabs (vector signed char)
2632 vector signed short vec_nabs (vector signed short)
2633 vector signed int vec_nabs (vector signed int)
2634 vector signed long long vec_nabs (vector signed long long)
2635 vector float vec_nabs (vector float)
2636 vector double vec_nabs (vector double)
2637 * config/rs6000/rs6000-builtin.def: Add definitions for NABS functions
2639 * config/rs6000/altivec.md: New define_expand nabs<mode>2 types
2640 * config/rs6000/altivec.h: New define for vec_nabs built-in function.
2641 * doc/extend.texi: Update the documentation file for the new built-in
2644 2017-01-16 Martin Sebor <msebor@redhat.com>
2646 * gimple-ssa-sprintf.c (format_directive): Correct a typo in a warning
2649 2017-01-16 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
2651 * config/rs6000/rs6000.c (rtx_is_swappable_p): Change
2652 UNSPEC_VSX__XXSPLTD to require special splat handling.
2654 2017-01-16 David Malcolm <dmalcolm@redhat.com>
2657 * system.h: Poison strndup.
2659 2017-01-16 Alan Modra <amodra@gmail.com>
2662 * config/rs6000/rs6000.c (rs6000_legitimate_combined_insn): Don't
2665 2017-01-16 Georg-Johann Lay <avr@gjlay.de>
2667 * config/avr/avr.h (BRANCH_COST) [reload_completed]: Increase by 4.
2669 2017-01-15 Uros Bizjak <ubizjak@gmail.com>
2671 * config/i386/i386.c (ix86_legitimate_combined_insn): Do not
2672 call recog here. Assert that INSN_CODE (insn) is non-negative.
2674 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
2677 * cfgrtl.c (rtl_split_edge): Also patch jump insns that jump to the
2679 * haifa-sched.c (dump_insn_stream): Don't crash if there is a label
2680 in the currently scheduled RTL fragment.
2682 2017-01-15 Segher Boessenkool <segher@kernel.crashing.org>
2684 PR rtl-optimization/78751
2685 * ifcvt.c (find_cond_trap): If we generated a non-existing insn,
2688 2017-01-14 Jeff Law <law@redhat.com>
2690 PR tree-optimization/79090
2691 * tree-ssa-dse.c (valid_ao_ref_for_dse): Reject zero length and
2692 variable length stores.
2693 (compute_trims): Delete dead assignment to *trim_tail.
2694 (dse_dom_walker::dse_optimize_stmt): Optimize mem* calls with
2697 2017-01-14 Bernd Schmidt <bschmidt@redhat.com>
2699 PR rtl-optimization/78626
2700 PR rtl-optimization/78727
2701 * cprop.c (one_cprop_pass): Collect unconditional traps in the middle
2702 of a block, and split such blocks after everything else is finished.
2704 2017-01-14 Alan Modra <amodra@gmail.com>
2707 * combine.c (recog_for_combine_1): Set INSN_CODE before calling
2708 target legitimate_combined_insn.
2709 * config/rs6000/rs6000.c (TARGET_LEGITIMATE_COMBINED_INSN): Define.
2710 (rs6000_legitimate_combined_insn): New function.
2711 * config/rs6000/rs6000.md (UNSPEC_DOLOOP): Delete, and remove
2713 (ctr<mode>_internal3): Rename from *ctr<mode>_internal5.
2714 (ctr<mode>_internal4): Rename from *ctr<mode>_internal6.
2715 (ctr<mode>_internal1, ctr<mode>_internal2): Remove '*' from name.
2717 2017-01-14 Gerald Pfeifer <gerald@pfeifer.com>
2719 * doc/frontends.texi (G++ and GCC): Remove references to Java.
2721 2017-01-13 Jeff Law <law@redhat.com>
2723 PR tree-optimization/33562
2724 PR tree-optimization/61912
2725 PR tree-optimization/77485
2726 * tree-ssa-dse.c (delete_dead_call): Accept gsi rather than
2728 (delete_dead_assignment): Likewise.
2729 (dse_dom_walker::dse_optimize_stmt): Pass in the gsi rather than
2730 statement to delete_dead_call and delete_dead_assignment.
2732 2017-01-13 David Malcolm <dmalcolm@redhat.com>
2735 * substring-locations.c (format_warning_va): Strengthen case 1 so
2736 that both endpoints of the substring must be within the format
2737 range for just the substring to be printed.
2739 2017-01-13 Uros Bizjak <ubizjak@gmail.com>
2741 * config/i386/i386.opt (msgx): Use ix86_isa_flags2 variable.
2742 * config/i386/i386.c (ix86_target_string): Add missing options
2743 to isa_opts and reorder options by implied ISAs. Rename isa_opts2 to
2744 isa2_opts, ix86_flag_opts to flag2_opts, ix86_target_other to
2745 flags_other and ix86_target_other to flags2_other. Display unknown
2747 (ix86_valid_target_attribute_inner_p): Add missing options and
2748 reorder options by implied ISAs, as in ix86_target_string.
2750 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
2752 * hash-table.h (hash_table::too_empty_p): New function.
2753 (hash_table::expand): Use it.
2754 (hash_table::traverse): Likewise.
2755 (hash_table::empty_slot): Use sizeof (value_type) instead of
2756 sizeof (PTR) to convert bytes to elements. Shrink the table
2757 if the current size is excessive for the current number of
2760 2017-01-13 Richard Sandiford <richard.sandiford@arm.com>
2762 * ira-costs.c (record_reg_classes): Break from the inner loop
2763 early once alt_fail is known to be true. Update outer loop
2764 handling accordingly.
2766 2017-01-13 Jeff Law <law@redhat.com>
2768 * tree-ssa-dse.c (decrement_count): New function.
2769 (increment_start_addr, maybe_trim_memstar_call): Likewise.
2770 (dse_dom_walker::optimize_stmt): Call maybe_trim_memstar_call directly
2771 when we know the partially dead statement is a mem* function.
2773 PR tree-optimization/61912
2774 PR tree-optimization/77485
2775 * tree-ssa-dse.c: Include expr.h.
2776 (maybe_trim_constructor_store): New function.
2777 (maybe_trim_partially_dead_store): Call maybe_trim_constructor_store.
2779 PR tree-optimization/33562
2780 PR tree-optimization/61912
2781 PR tree-optimization/77485
2782 * doc/invoke.texi: Document new dse-max-object-size param.
2783 * params.def (PARM_DSE_MAX_OBJECT_SIZE): New PARAM.
2784 * tree-ssa-dse.c: Include params.h.
2785 (dse_store_status): New enum.
2786 (initialize_ao_ref_for_dse): New, partially extracted from
2788 (valid_ao_ref_for_dse, normalize_ref): New.
2789 (setup_live_bytes_from_ref, compute_trims): Likewise.
2790 (clear_bytes_written_by, maybe_trim_complex_store): Likewise.
2791 (maybe_trim_partially_dead_store): Likewise.
2792 (maybe_trim_complex_store): Likewise.
2793 (dse_classify_store): Renamed from dse_possibly_dead_store_p.
2794 Track what bytes live from the original store. Return tri-state
2795 for dead, partially dead or live.
2796 (dse_dom_walker): Add constructor, destructor and new private members.
2797 (delete_dead_call, delete_dead_assignment): New extracted from
2799 (dse_optimize_stmt): Make a member of dse_dom_walker.
2800 Use initialize_ao_ref_for_dse.
2802 PR tree-optimization/33562
2803 PR tree-optimization/61912
2804 PR tree-optimization/77485
2805 * sbitmap.h (bitmap_count_bits): Prototype.
2806 (bitmap_clear_range, bitmap_set_range): Likewise.
2807 * sbitmap.c (bitmap_clear_range): New function.
2808 (bitmap_set_range, sbitmap_popcount, bitmap_count_bits): Likewise.
2810 2017-01-13 Martin Liska <mliska@suse.cz>
2813 * function.c (set_cfun): Add new argument force.
2814 * function.h (set_cfun): Likewise.
2815 * ipa-inline-transform.c (inline_call): Use the function when
2816 strict alising from is dropped for function we inline to.
2818 2017-01-13 Richard Biener <rguenther@suse.de>
2820 * tree-pretty-print.c (dump_generic_node): Fix inverted condition
2821 for dumping GIMPLE INTEGER_CSTs.
2823 2017-01-13 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2825 * config/sol2.h (TARGET_OS_CPP_BUILTINS): Define __STDC_VERSION__
2826 to 201112L since C++17.
2828 2017-01-13 Maxim Ostapenko <m.ostapenko@samsung.com>
2831 * asan.c (asan_needs_odr_indicator_p): Don't emit ODR indicators
2832 if -fsanitize=kernel-address is present.
2834 2017-01-13 Richard Biener <rguenther@suse.de>
2836 * tree-pretty-print.c (dump_generic_node): Dump INTEGER_CSTs
2837 as _Literal ( type ) number in case usual suffixes do not
2838 preserve all information.
2840 2017-01-13 Richard Biener <rguenther@suse.de>
2842 PR tree-optimization/77283
2843 * gimple-ssa-split-paths.c: Include gimple-ssa.h, tree-phinodes.h
2844 and ssa-iterators.h.
2845 (is_feasible_trace): Implement a cost model based on joiner
2848 2017-01-12 Michael Meissner <meissner@linux.vnet.ibm.com>
2851 * config/rs6000/rs6000.md (FP_ISA3): Do not optimize converting
2852 char or short to __float128/_Float128 directly.
2854 2017-01-12 Martin Sebor <msebor@redhat.com>
2856 to -Wformat-overflow.
2857 * gimple-ssa-sprintf.c (pass_sprintf_length::gate): Adjust.
2858 (min_bytes_remaining): Same.
2859 (get_string_length): Same.
2860 (format_string): Same.
2861 (format_directive): Same.
2863 (pass_sprintf_length::handle_gimple_call): Same.
2865 2017-01-12 Jakub Jelinek <jakub@redhat.com>
2867 * gimple-ssa-sprintf.c (try_substitute_return_value): Remove
2868 info.nowrite calls with no lhs that can't throw. Return bool
2869 whether gsi_remove has been called or not.
2870 (pass_sprintf_length::handle_gimple_call): Return bool whether
2871 try_substitute_return_value called gsi_remove. Formatting fix.
2872 (pass_sprintf_length::execute): Don't use gsi_remove if
2873 handle_gimple_call returned true.
2876 * cfgrtl.c (rtl_tidy_fallthru_edge): For any_uncondjump_p that can't
2877 be removed due to side-effects, don't remove following barrier nor
2878 turn the successor edge into fallthru edge.
2880 2017-01-12 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
2883 * config/rs6000/rs6000.c (insn_is_swappable_p): Mark
2884 element-reversing loads and stores as not swappable.
2886 2017-01-12 Nathan Sidwell <nathan@acm.org>
2887 Nicolai Stange <nicstange@gmail.com>
2889 * combine.c (try_combine): Don't ignore result of overlap checking
2890 loop. Combine overlap & asm check into single loop.
2892 2017-01-12 Richard Biener <rguenther@suse.de>
2894 * tree-pretty-print.c (dump_generic_node): Provide -gimple
2895 variant for MEM_REF. Sanitize INTEGER_CST for -gimple.
2897 2017-01-12 Richard Biener <rguenther@suse.de>
2899 * tree.c (initialize_tree_contains_struct): Make TS_OPTIMIZATION
2900 and TS_TARGET_OPTION directly derive from TS_BASE.
2901 * tree-core.h (tree_optimization_option): Derive from tree_base.
2902 (tree_target_option): Likewise.
2904 2017-01-11 Uros Bizjak <ubizjak@gmail.com>
2906 * config/i386/i386.c (memory_address_length): Increase len
2907 only when rip_relative_addr_p returns false.
2909 2017-01-11 Julia Koval <julia.koval@intel.com>
2911 * common/config/i386/i386-common.c (OPTION_MASK_ISA_SGX_UNSET): New.
2912 (OPTION_MASK_ISA_SGX_SET): New.
2913 (ix86_handle_option): Handle OPT_msgx.
2914 * config.gcc: Added sgxintrin.h.
2915 * config/i386/driver-i386.c (host_detect_local_cpu): Detect sgx.
2916 * config/i386/i386-c.c (ix86_target_macros_internal): Define __SGX__.
2917 * config/i386/i386.c (ix86_target_string): Add -msgx.
2919 (ix86_option_override_internal): Handle new options.
2920 (ix86_valid_target_attribute_inner_p): Add sgx.
2921 * config/i386/i386.h (TARGET_SGX, TARGET_SGX_P): New.
2922 * config/i386/i386.opt: Add msgx.
2923 * config/i386/sgxintrin.h: New file.
2924 * config/i386/x86intrin.h: Add sgxintrin.h.
2926 2017-01-11 Jakub Jelinek <jakub@redhat.com>
2929 * fold-const.c (maybe_nonzero_address): Return 1 for function
2931 (tree_single_nonzero_warnv_p): Don't handle function local objects
2935 * gcc.c (default_compilers): Don't add -o %g.s for -S -save-temps
2938 2017-01-11 David Malcolm <dmalcolm@redhat.com>
2941 * opts.c: Include "spellcheck.h"
2942 (struct string_fragment): New struct.
2943 (struct edit_distance_traits<const string_fragment &>): New
2945 (get_closest_sanitizer_option): New function.
2946 (parse_sanitizer_options): Offer suggestions for unrecognized arguments.
2948 2017-01-11 Jakub Jelinek <jakub@redhat.com>
2950 * dwarf2out.c (DWARF_COMPILE_UNIT_HEADER_SIZE): For DWARF5 decrease
2952 (DWARF_COMDAT_TYPE_UNIT_HEADER_SIZE): Always
2953 DWARF_COMPILE_UNIT_HEADER_SIZE plus 12.
2954 (DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE): Define.
2955 (calc_base_type_die_sizes): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE
2956 for initial die_offset if dwarf_split_debug_info.
2957 (output_comp_unit): Use DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE for
2958 initial next_die_offset if dwo_id is non-NULL. Don't emit padding
2960 (output_skeleton_debug_sections): Formatting fix. Use
2961 DWARF_COMPILE_UNIT_SKELETON_HEADER_SIZE instead of
2962 DWARF_COMPILE_UNIT_HEADER_SIZE. Don't emit padding.
2964 2017-01-11 Wilco Dijkstra <wdijkstr@arm.com>
2966 * config/arm/cortex-a53.md: Add bypasses for
2968 (cortex_a53_r2f): Only use for transfers.
2969 (cortex_a53_f2r): Likewise.
2970 (cortex_a53_r2f_cvt): Add reservation for conversions.
2971 (cortex_a53_f2r_cvt): Likewise.
2973 2017-01-11 Tamar Christina <tamar.christina@arm.com>
2975 * config/arm/arm_neon.h: Add __artificial__ and gnu_inline
2976 to all inlined functions, change static to extern.
2978 2017-01-11 Christophe Lyon <christophe.lyon@linaro.org>
2981 * config/arm/arm.c (legitimize_pic_address): Handle reference to
2983 (arm_assemble_integer): Likewise.
2985 2017-01-11 Richard Earnshaw <rearnsha@arm.com>
2987 * config.gcc: Use new awk script to check CPU, FPU and architecture
2988 parameters for --with-... options.
2989 * config/arm/parsecpu.awk: New file
2990 * config/arm/arm-cpus.in: New file.
2991 * config/arm/arm-opts.h: Include arm-cpu.h instead of processing .def
2993 * config/arm/arm.c: Include arm-cpu-data.h instead of processing .def
2995 * config/arm/t-arm: Update dependency rules.
2996 * common/config/arm/arm-common.c: Include arm-cpu-cdata.h instead
2997 of processing .def files.
2998 * config/arm/genopt.sh: Deleted.
2999 * config/arm/gentune.sh: Deleted.
3000 * config/arm/arm-cores.def: Deleted.
3001 * config/arm/arm-arches.def: Deleted.
3002 * config/arm/arm-fpus.def: Deleted.
3003 * config/arm/arm-tune.md: Regenerated.
3004 * config/arm/arm-tables.opt: Regenerated.
3005 * config/arm/arm-cpu.h: New generated file.
3006 * config/arm/arm-cpu-data.h: New generated file.
3007 * config/arm/arm-cpu-cdata.h: New generated file.
3009 2017-01-11 Maxim Ostapenko <m.ostapenko@samsung.com>
3012 * lto-cgraph.c (lto_output_varpool_node): Pack dynamically_initialized
3014 (input_varpool_node): Unpack dynamically_initialized bit.
3016 2017-01-11 Eric Botcazou <ebotcazou@adacore.com>
3018 PR rtl-optimization/79032
3019 * lra-constraints.c (simplify_operand_subreg): In the MEM case, test
3020 the alignment of the adjusted memory reference against that of MODE,
3021 instead of the alignment of the original memory reference.
3023 2017-01-11 Martin Jambor <mjambor@suse.cz>
3025 * hsa.c (hsa_callable_function_p): Revert addition of DECL_ARTIFICIAL
3027 * ipa-hsa.c (process_hsa_functions): Only duplicate non-artificial
3028 decorated functions.
3030 2017-01-11 Richard Biener <rguenther@suse.de>
3032 * tree-vrp.c (evrp_dom_walker::before_dom_children): Also
3033 set range/nonnull info for PHI results. Do not set it on
3034 stmts marked for removal.
3036 2017-01-10 Eric Botcazou <ebotcazou@adacore.com>
3038 * expr.c (store_field): In the bitfield case, fetch the return value
3039 from the registers before applying a single big-endian adjustment.
3040 Always do a final load for a BLKmode value not larger than a word.
3042 2017-01-10 David Malcolm <dmalcolm@redhat.com>
3045 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
3046 that we correctly handle column numbers greater than
3047 LINE_MAP_MAX_COLUMN_NUMBER.
3049 2017-01-10 Martin Sebor <msebor@redhat.com>
3052 * gimple-ssa-sprintf.c (get_destination_size): Call
3053 {init,fini}object_sizes.
3054 * tree-object-size.c (addr_object_size): Adjust.
3055 (pass_through_call): Adjust.
3056 (pass_object_sizes::execute): Adjust.
3057 * tree-object-size.h (fini_object_sizes): Declare.
3059 2017-01-10 Martin Sebor <msebor@redhat.com>
3061 PR tree-optimization/78775
3062 * builtins.c (get_size_range): Move...
3063 * calls.c: ...to here.
3064 (alloc_max_size): Accept zero argument.
3065 (operand_signed_p): Remove.
3066 (maybe_warn_alloc_args_overflow): Call get_size_range.
3067 * calls.h (get_size_range): Declare.
3069 2017-01-10 Joe Seymour <joe.s@somniumtech.com>
3071 * config/msp430/driver-msp430.c (msp430_mcu_data): Sync with data
3072 from TI's devices.csv file as of September 2016.
3073 * config/msp430/msp430.c (msp430_mcu_data): Likewise.
3075 2017-01-10 Sandra Loosemore <sandra@codesourcery.com>
3077 * doc/extend.texi: Tweak formatting to fix overfull hbox warnings.
3078 * doc/invoke.texi: Likewise.
3079 * doc/md.texi: Likewise.
3080 * doc/objc.texi: Likewise.
3082 2017-01-10 Joshua Conner <joshconner@google.com>
3084 * config/arm/fuchsia-elf.h: New file.
3085 * config/fuchsia.h: New file.
3086 * config.gcc (*-*-fuchsia*): Set native_system_header_dir.
3087 (aarch64*-*-fuchsia*, arm*-*-fuchsia*, x86_64-*-fuchsia*): Add to
3089 * config.host: (aarch64*-*-fuchsia*, arm*-*-fuchsia*): Add to hosts.
3091 2016-01-10 Richard Biener <rguenther@suse.de>
3093 PR tree-optimization/79034
3094 * tree-call-cdce.c (shrink_wrap_one_built_in_call_with_conds):
3095 Propagate out degenerate PHIs in the joiner.
3097 2017-01-10 Martin Liska <mliska@suse.cz>
3099 * ipa-icf.c (sort_sem_items_by_decl_uid): New function.
3100 (sort_congruence_classes_by_decl_uid): Likewise.
3101 (sort_congruence_class_groups_by_decl_uid): Likewise.
3102 (sem_item_optimizer::merge_classes): Sort class, groups in these
3103 classes and members in the groups by DECL_UID of declarations.
3104 This would make merge operations stable.
3106 2017-01-10 Martin Liska <mliska@suse.cz>
3108 * ipa-icf.c (sem_item_optimizer::sem_item_optimizer): Remove
3109 usage of m_classes_vec.
3110 (sem_item_optimizer::~sem_item_optimizer): Likewise.
3111 (sem_item_optimizer::get_group_by_hash): Likewise.
3112 (sem_item_optimizer::subdivide_classes_by_equality): Likewise.
3113 (sem_item_optimizer::subdivide_classes_by_sensitive_refs): Likewise.
3114 (sem_item_optimizer::verify_classes): Likewise.
3115 (sem_item_optimizer::process_cong_reduction): Likewise.
3116 (sem_item_optimizer::dump_cong_classes): Likewise.
3117 (sem_item_optimizer::merge_classes): Likewise.
3118 * ipa-icf.h (congruence_class_hash): Rename from
3119 congruence_class_group_hash. Remove declaration of m_classes_vec.
3121 2017-01-10 Andrew Senkevich <andrew.senkevich@intel.com>
3123 * common/config/i386/i386-common.c (OPTION_MASK_ISA_AVX512VPOPCNTDQ_SET,
3124 OPTION_MASK_ISA_AVX512VPOPCNTDQ_UNSET): New.
3125 * config.gcc: Add avx512vpopcntdqintrin.h.
3126 * config/i386/avx512vpopcntdqintrin.h: New.
3127 * config/i386/cpuid.h (bit_AVX512VPOPCNTDQ): New.
3128 * config/i386/i386-builtin-types.def: Add new types.
3129 * config/i386/i386-builtin.def (__builtin_ia32_vpopcountd_v16si,
3130 __builtin_ia32_vpopcountd_v16si_mask, __builtin_ia32_vpopcountq_v8di,
3131 __builtin_ia32_vpopcountq_v8di_mask): New.
3132 * config/i386/i386-c.c (ix86_target_macros_internal): Define
3133 __AVX512VPOPCNTDQ__.
3134 * config/i386/i386.c (ix86_target_string): Add -mavx512vpopcntdq.
3135 (PTA_AVX512VPOPCNTDQ): Define.
3136 * config/i386/i386.h (TARGET_AVX512VPOPCNTDQ,
3137 TARGET_AVX512VPOPCNTDQ_P): Define.
3138 * config/i386/i386.opt: Add mavx512vpopcntdq.
3139 * config/i386/immintrin.h: Include avx512vpopcntdqintrin.h.
3140 * config/i386/sse.md (define_insn "vpopcount<mode><mask_name>"): New.
3142 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
3145 * predict.def (PRED_CALL): Set to 67.
3147 2017-01-09 Eric Botcazou <ebotcazou@adacore.com>
3149 * expr.c (store_field): In the bitfield case, if the value comes from
3150 a function call and is of an aggregate type returned in registers, do
3151 not modify the field mode; extract the value in all cases if the mode
3152 is BLKmode and the size is not larger than a word.
3154 2017-01-09 Dominique d'Humieres <dominiq@lps.ens.fr>
3157 * config/i386/cpuid.h: Fix undefined behavior.
3159 2017-01-04 Jeff Law <law@redhat.com>
3161 PR tree-optimization/79007
3162 PR tree-optimization/67955
3163 * tree-ssa-alias.c (same_addr_size_stores_p): Only need to be
3164 conservative for pt.null when flag_non_call_exceptions is on.
3166 2017-01-09 Jakub Jelinek <jakub@redhat.com>
3168 PR translation/79019
3169 PR translation/79020
3170 * params.def (PARAM_INLINE_MIN_SPEEDUP,
3171 PARAM_IPA_CP_SINGLE_CALL_PENALTY,
3172 PARAM_USE_AFTER_SCOPE_DIRECT_EMISSION_THRESHOLD): Fix typos
3174 * config/avr/avr.opt (maccumulate-args): Likewise.
3175 * config/msp430/msp430.opt (mwarn-mcu): Likewise.
3176 * common.opt (freport-bug): Likewise.
3177 * cif-code.def (CIF_FINAL_ERROR): Likewise.
3178 * doc/invoke.texi (ipa-cp-single-call-penalty): Likewise.
3179 * config/s390/s390.c (s390_invalid_binary_op): Fix spelling in
3180 translatable string.
3181 * config/i386/i386.c (function_value_32): Likewise.
3182 * config/nios2/nios2.c (nios2_valid_target_attribute_rec): Likewise.
3183 * config/msp430/msp430.c (msp430_option_override, msp430_attr):
3185 * config/msp430/driver-msp430.c (msp430_select_hwmult_lib): Likewise.
3186 * common/config/msp430/msp430-common.c (msp430_handle_option):
3188 * symtab.c (symtab_node::verify_base): Likewise.
3189 * opts.c (set_debug_level): Likewise.
3190 * tree.c (verify_type_variant): Likewise. Fix typo in comment.
3191 * config/rs6000/rs6000-c.c (altivec_resolve_overloaded_builtin): Add
3192 missing whitespace to translatable strings.
3193 * config/avr/avr.md (bswapsi2): Fix typo in comment.
3194 * config/sh/superh.h: Likewise.
3195 * config/i386/xopintrin.h: Likewise.
3196 * config/i386/znver1.md: Likewise.
3197 * config/rs6000/rs6000.c (struct rs6000_opt_mask): Likewise.
3198 * ipa-inline-analysis.c (compute_inline_parameters): Likewise.
3199 * double-int.h (struct double_int): Likewise.
3200 * double-int.c (div_and_round_double): Likewise.
3201 * wide-int.cc: Likewise.
3202 * tree-ssa.c (non_rewritable_mem_ref_base): Likewise.
3203 * tree-ssa-sccvn.c (vn_reference_lookup_3): Likewise.
3204 * cfgcleanup.c (crossjumps_occured): Renamed to ...
3205 (crossjumps_occurred): ... this.
3206 (try_crossjump_bb, try_head_merge_bb, try_optimize_cfg, cleanup_cfg):
3209 PR tree-optimization/78899
3210 * tree-if-conv.c (version_loop_for_if_conversion): Instead of
3211 returning bool return struct loop *, NULL for failure and the new
3213 (versionable_outer_loop_p): Don't version outer loop if it has
3214 dont_vectorized bit set.
3215 (tree_if_conversion): When versioning outer loop, ensure
3216 tree_if_conversion is performed also on the inner loop of the
3217 non-vectorizable outer loop copy.
3218 * tree-vectorizer.c (set_uid_loop_bbs): Formatting fix. Fold
3219 LOOP_VECTORIZED in inner loop of the scalar outer loop and
3220 prevent vectorization of it.
3221 (vectorize_loops): For outer + inner LOOP_VECTORIZED, ensure
3222 the outer loop vectorization of the non-scalar version is attempted
3223 before vectorization of the inner loop in scalar version. If
3224 outer LOOP_VECTORIZED guarded loop is not vectorized, prevent
3225 vectorization of its inner loop.
3226 * tree-vect-loop-manip.c (rename_variables_in_bb): If outer_loop
3227 has 2 inner loops, rename also on edges from bb whose single pred
3228 is outer_loop->header. Fix typo in function comment.
3230 2017-01-09 Martin Sebor <msebor@redhat.com>
3233 * asan.c (asan_emit_stack_protection): Increase local buffer size
3234 to avoid snprintf truncation warning.
3236 2017-01-09 Andrew Pinski <apinski@cavium.com>
3238 * config/aarch64/aarch64-cores.def: Add thunderx2t99. Change vulcan
3239 to reference thunderx2t99 for the tuning structure
3240 * config/aarch64/aarch64-cost-tables.h (vulcan_extra_costs):
3242 (thunderx2t99_extra_costs): This.
3243 * config/aarch64/aarch64-tune.md: Regenerate.
3244 * config/aarch64/aarch64.c (vulcan_addrcost_table): Rename to ...
3245 (vulcan_addrcost_table): This.
3246 (vulcan_regmove_cost): Rename to ...
3247 (thunderx2t99_regmove_cost): This.
3248 (vulcan_vector_cost): Rename to ...
3249 (thunderx2t99_vector_cost): this.
3250 (vulcan_branch_cost): Rename to ...
3251 (thunderx2t99_branch_cost): This.
3252 (vulcan_tunings): Rename to ...
3253 (thunderx2t99_tunings): This and s/vulcan/thunderx2t99 .
3254 * doc/invoke.texi (AARCH64/mtune): Add thunderx2t99.
3256 2017-01-09 Martin Jambor <mjambor@suse.cz>
3260 * ipa-prop.h (ipa_jump_func): Swap positions of vr_known and m_vr.
3261 * ipa-cp.c (ipa_vr_operation_and_type_effects): New function.
3262 (propagate_vr_accross_jump_function): Use the above function for all
3263 value range computations for pass-through jump functions and type
3264 converasion from explicit value range values.
3265 (ipcp_propagate_stage): Do not attempt to deduce types of formal
3266 parameters from TYPE_ARG_TYPES.
3267 * ipa-prop.c (ipa_write_jump_function): Remove trailing whitespace.
3268 (ipa_write_node_info): Stream type of the actual argument.
3269 (ipa_read_node_info): Likewise. Also remove trailing whitespace.
3271 2017-01-09 Martin Liska <mliska@suse.cz>
3274 * gcc.c (driver_handle_option): Handle OPT_E and set have_E.
3275 (lookup_compiler): Do not show error message with have_E.
3277 2017-01-09 Jakub Jelinek <jakub@redhat.com>
3279 PR tree-optimization/78938
3280 * tree-vect-stmts.c (vectorizable_condition): For non-masked COND_EXPR
3281 where comp_vectype is VECTOR_BOOLEAN_TYPE_P, use
3282 BIT_{NOT,XOR,AND,IOR}_EXPR on the comparison operands instead of
3283 {EQ,NE,GE,GT,LE,LT}_EXPR directly inside of VEC_COND_EXPR. Formatting
3286 2017-01-09 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
3288 * tree-ssa-address.c (gen_addr_rtx): Don't handle index if it
3291 2017-01-09 Richard Biener <rguenther@suse.de>
3293 PR tree-optimization/78997
3294 * tree-vect-slp.c (vect_mask_constant_operand_p): Handle SSA
3295 name condition properly.
3297 2017-01-09 Richard Biener <rguenther@suse.de>
3300 * dwarf2out.c (is_cxx): New overload with context.
3301 (is_naming_typedef_decl): Use it.
3303 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
3305 * invoke.texi (Option Summary): Correct spacing in option lists
3306 and add line breaks to fix over-long lines.
3308 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
3312 * extend.texi (Common Variable Attributes): Add xref to GCC
3313 Internals manual to explain mode attribute keywords.
3315 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
3318 * doc/invoke.texi (Option Summary): Move -pthread to Linker Options
3319 and Preprocessor Options.
3320 (Options for Linking): Document -pthread here....
3321 (RS/6000 and PowerPC Options): ...not here.
3322 (Solaris 2 Options): ...or here.
3323 * doc/cppopts.texi: Document -pthread.
3325 2017-01-08 Martin Sebor <msebor@redhat.com>
3328 * doc/invoke.texi (Warning Options): Document -Wformat-truncation.
3329 * gimple-ssa-sprintf.c (call_info::reval_used, call_info::warnopt):
3330 New member functions.
3331 (format_directive): Used them.
3333 (pass_sprintf_length::handle_gimple_call): Same.
3334 * graphite-sese-to-poly.c (tree_int_to_gmp): Increase buffer size
3335 to avoid truncation for any argument.
3336 (extract_affine_mul): Same.
3337 * tree.c (get_file_function_name): Same.
3339 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
3342 * predict.def (PRED_INDIR_CALL): Set to 86.
3344 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
3346 PR preprocessor/54124
3347 * doc/cppopts.texi: Reformat -d subtable to list the full name
3348 of the options. Add cross-reference to the docs for the general
3349 compiler -d options.
3350 * doc/invoke.texi (Developer Options): Add cross-reference to the
3351 preprocessor-specific -d option documentation.
3353 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
3355 PR preprocessor/13498
3356 * doc/cpp.texi (Search Path): Rewrite to remove obsolete and
3357 redudant material, and reflect new command-line options.
3358 (System Headers): Likewise.
3360 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
3362 * doc/cppdiropts.texi: Merge documentation of -I, -iquote,
3363 -isystem, and -idirafter. Copy-edit.
3364 * doc/cppopts.texi: Copy-edit. Remove contradiction about
3365 default for -ftrack-macro-expansion. Delete obsolete and
3366 badly-formatted implementation details about -fdebug-cpp output.
3367 * doc/cppwarnopts.texi: Copy-edit.
3369 2017-01-07 David Malcolm <dmalcolm@redhat.com>
3372 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
3373 that the transition from a max line width >= 1<<10 to narrower
3374 lines works correctly.
3376 2017-01-07 Alexandre Oliva <aoliva@redhat.com>
3378 * doc/options.texi (PerFunction): New.
3379 * opt-functions.awk (switch_flags): Map both Optimization and
3380 PerFunction to CL_OPTIMIZATION.
3381 * opth-gen.awk: Test for PerFunction flag along with
3383 * optc-save-gen.awk: Likewise. Introduce var_opt_hash and set
3384 it only when the latter is present. Skip those that don't in
3385 the hash function generator.
3386 * common.opt (fvar-tracking): Mark as PerFunction instead of
3388 (fvar-tracking-assignments): Likewise.
3389 (fvar-tracking-assignments-toggle): Likewise.
3390 (fvar-tracking-uninit): Likewise.
3392 2017-01-07 Jakub Jelinek <jakub@redhat.com>
3394 PR translation/79018
3395 * params.def (PARAM_MAX_STORES_TO_MERGE): Add missing space between
3398 2017-01-06 Mikael Pettersson <mikpelinux@gmail.com>
3401 * config/m68k/m68k.opt (LONG_JUMP_TABLE_OFFSETS): New option.
3402 * config/m68k/linux.h (ASM_RETURN_CASE_JUMP): Handle
3403 TARGET_LONG_JUMP_TABLE_OFFSETS.
3404 * config/m68k/m68kelf.h (ASM_RETURN_CASE_JUMP): Likewise.
3405 * config/m68k/netbsd-elf.h (ASM_RETURN_CASE_JUMP): Likewise.
3406 * config/m68k/m68k.h (CASE_VECTOR_MODE): Likewise.
3407 (ASM_OUTPUT_ADDR_DIFF_ELF): Likewise.
3408 * config/m68k/m68k.md (tablejump expander): Likewise.
3409 (*tablejump_pcrel_hi): Renamed from unnamed insn, reject
3410 TARGET_LONG_JUMP_TABLE_OFFSETS.
3411 (*tablejump_pcrel_si): New insn, handle TARGET_LONG_JUMP_TABLE_OFFSETS.
3412 * doc/invoke.texi (M68K options): Add -mlong-jump-table-offsets.
3414 2017-01-06 Edgar E. Iglesias <edgar.iglesias@xilinx.com>
3415 David Holsgrove <david.holsgrove@xilinx.com>
3417 * common/config/microblaze/microblaze-common.c
3418 (TARGET_EXCEPT_UNWIND_INFO): Remove.
3419 * config/microblaze/microblaze-protos.h (microblaze_eh_return):
3421 * config/microblaze/microblaze.c (microblaze_must_save_register)
3422 (microblaze_expand_epilogue, microblaze_return_addr): Handle
3424 (microblaze_eh_return): New function.
3425 * config/microblaze/microblaze.h (RETURN_ADDR_OFFSET)
3426 (EH_RETURN_DATA_REGNO, MB_EH_STACKADJ_REGNUM)
3427 (EH_RETURN_STACKADJ_RTX, ASM_PREFERRED_EH_DATA_FORMAT): New macros.
3428 * config/microblaze/microblaze.md (eh_return): New pattern.
3430 2017-01-06 Jakub Jelinek <jakub@redhat.com>
3432 * system.h (GCC_DIAGNOSTIC_PUSH_IGNORED, GCC_DIAGNOSTIC_POP,
3433 GCC_DIAGNOSTIC_STRINGIFY): Define.
3435 * read-rtl.c (rtx_reader::read_rtx_code): Avoid -Wsign-compare warning.
3437 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
3439 * config/arm/arm.md (<mcrr>): New.
3441 * config/arm/arm.c (arm_arch5te): New.
3442 (arm_option_override): Set arm_arch5te.
3443 (arm_coproc_builtin_available): Add support for mcrr, mcrr2, mrrc
3445 * config/arm/arm-builtins.c (MCRR_QUALIFIERS): Define to...
3446 (arm_mcrr_qualifiers): ... this. New.
3447 (MRRC_QUALIFIERS): Define to...
3448 (arm_mrrc_qualifiers): ... this. New.
3449 * config/arm/arm_acle.h (__arm_mcrr, __arm_mcrr2, __arm_mrrc,
3451 * config/arm/arm_acle_builtins.def (mcrr, mcrr2, mrrc, mrrc2): New.
3452 * config/arm/iterators.md (MCRRI, mcrr, MCRR): New.
3453 (MRRCI, mrrc, MRRC): New.
3454 * config/arm/unspecs.md (VUNSPEC_MCRR, VUNSPEC_MCRR2, VUNSPEC_MRRC,
3455 VUNSPEC_MRRC2): New.
3457 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
3459 * config/arm/arm.md (<mcr>): New.
3461 * config/arm/arm.c (arm_coproc_builtin_available): Add
3462 support for mcr, mrc, mcr2 and mrc2.
3463 * config/arm/arm-builtins.c (MCR_QUALIFIERS): Define to...
3464 (arm_mcr_qualifiers): ... this. New.
3465 (MRC_QUALIFIERS): Define to ...
3466 (arm_mrc_qualifiers): ... this. New.
3467 (MCR_QUALIFIERS): Define to ...
3468 (arm_mcr_qualifiers): ... this. New.
3469 * config/arm/arm_acle.h (__arm_mcr, __arm_mrc, __arm_mcr2,
3471 * config/arm/arm_acle_builtins.def (mcr, mcr2, mrc, mrc2): New.
3472 * config/arm/iterators.md (MCRI, mcr, MCR, MRCI, mrc, MRC): New.
3473 * config/arm/unspecs.md (VUNSPEC_MCR, VUNSPEC_MCR2, VUNSPEC_MRC,
3476 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
3478 * config/arm/arm.md (*ldc): New.
3482 * config/arm/arm.c (arm_coproc_builtin_available): Add
3483 support for ldc,ldcl,stc,stcl,ldc2,ldc2l,stc2 and stc2l.
3484 (arm_coproc_ldc_stc_legitimate_address): New.
3485 * config/arm/arm-builtins.c (arm_type_qualifiers): Add
3486 'qualifier_const_pointer'.
3487 (LDC_QUALIFIERS): Define to...
3488 (arm_ldc_qualifiers): ... this. New.
3489 (STC_QUALIFIERS): Define to...
3490 (arm_stc_qualifiers): ... this. New.
3491 * config/arm/arm-protos.h
3492 (arm_coproc_ldc_stc_legitimate_address): New.
3493 * config/arm/arm_acle.h (__arm_ldc, __arm_ldcl, __arm_stc,
3494 __arm_stcl, __arm_ldc2, __arm_ldc2l, __arm_stc2, __arm_stc2l): New.
3495 * config/arm/arm_acle_builtins.def (ldc, ldc2, ldcl, ldc2l, stc,
3496 stc2, stcl, stc2l): New.
3497 * config/arm/constraints.md (Uz): New.
3498 * config/arm/iterators.md (LDCI, STCI, ldc, stc, LDC STC): New.
3499 * config/arm/unspecs.md (VUNSPEC_LDC, VUNSPEC_LDC2, VUNSPEC_LDCL,
3500 VUNSPEC_LDC2L, VUNSPEC_STC, VUNSPEC_STC2, VUNSPEC_STCL,
3501 VUNSPEC_STC2L): New.
3503 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
3505 * config/arm/arm.md (<cdp>): New.
3506 * config/arm/arm.c (neon_const_bounds): Rename this ...
3507 (arm_const_bounds): ... this.
3508 (arm_coproc_builtin_available): New.
3509 * config/arm/arm-builtins.c (SIMD_MAX_BUILTIN_ARGS): Increase.
3510 (arm_type_qualifiers): Add 'qualifier_unsigned_immediate'.
3511 (CDP_QUALIFIERS): Define to...
3512 (arm_cdp_qualifiers): ... this. New.
3514 (arm_expand_builtin_args): Add case for 6 arguments.
3515 * config/arm/arm-protos.h (neon_const_bounds): Rename this ...
3516 (arm_const_bounds): ... this.
3517 (arm_coproc_builtin_available): New.
3518 * config/arm/arm_acle.h (__arm_cdp): New.
3520 * config/arm/arm_acle_builtins.def (cdp): New.
3522 * config/arm/iterators.md (CDPI,CDP,cdp): New.
3523 * config/arm/neon.md: Rename all 'neon_const_bounds' to
3525 * config/arm/types.md (coproc): New.
3526 * config/arm/unspecs.md (VUNSPEC_CDP, VUNSPEC_CDP2): New.
3527 * gcc/doc/extend.texi (ACLE): Add a mention of Coprocessor intrinsics.
3528 * gcc/doc/sourcebuild.texi (arm_coproc1_ok, arm_coproc2_ok,
3529 arm_coproc3_ok, arm_coproc4_ok): Document new effective targets.
3531 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
3533 * config/arm/arm-builtins.c (arm_unsigned_binop_qualifiers): New.
3534 (UBINOP_QUALIFIERS): New.
3536 (acle_builtin_data): New. Change comment.
3537 (arm_builtins): Remove ARM_BUILTIN_CRC32B, ARM_BUILTIN_CRC32H,
3538 ARM_BUILTIN_CRC32W, ARM_BUILTIN_CRC32CB, ARM_BUILTIN_CRC32CH,
3539 ARM_BUILTIN_CRC32CW. Add ARM_BUILTIN_ACLE_BASE and include
3540 arm_acle_builtins.def.
3541 (ARM_BUILTIN_ACLE_PATTERN_START): Define.
3542 (arm_init_acle_builtins): New.
3543 (CRC32_BUILTIN): Remove.
3544 (bdesc_2arg): Remove entries for crc32b, crc32h, crc32w,
3545 crc32cb, crc32ch and crc32cw.
3546 (arm_init_crc32_builtins): Remove.
3547 (arm_init_builtins): Use arm_init_acle_builtins rather
3548 than arm_init_crc32_builtins.
3549 (arm_expand_acle_builtin): New.
3550 (arm_expand_builtin): Use 'arm_expand_acle_builtin'.
3551 * config/arm/arm_acle_builtins.def: New.
3553 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
3555 * config/arm/arm-builtins.c (neon_builtin_datum): Rename to ..
3556 (arm_builtin_datum): ... this.
3557 (arm_init_neon_builtin): Rename to ...
3558 (arm_init_builtin): ... this. Add a new parameters PREFIX
3559 and USE_SIG_IN_NAME.
3560 (arm_init_neon_builtins): Replace 'arm_init_neon_builtin' with
3561 'arm_init_builtin'. Replace type 'neon_builtin_datum' with
3562 'arm_builtin_datum'.
3563 (arm_init_vfp_builtins): Likewise.
3564 (builtin_arg): Rename enum's replacing 'NEON_ARG' with
3565 'ARG_BUILTIN' and add a 'ARG_BUILTIN_NEON_MEMORY.
3566 (arm_expand_neon_args): Rename to ...
3567 (arm_expand_builtin_args): ... this. Rename builtin_arg
3568 enum values and differentiate between ARG_BUILTIN_MEMORY
3569 and ARG_BUILTIN_NEON_MEMORY.
3570 (arm_expand_neon_builtin_1): Rename to ...
3571 (arm_expand_builtin_1): ... this. Rename builtin_arg enum
3572 values, arm_expand_builtin_args and add bool parameter NEON.
3573 (arm_expand_neon_builtin): Use arm_expand_builtin_1.
3574 (arm_expand_vfp_builtin): Likewise.
3575 (NEON_MAX_BUILTIN_ARGS): Remove, it was unused.
3577 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
3580 * predict.def (PRED_POLYMORPHIC_CALL): Set to 59.
3581 * predict.c (tree_estimate_probability_bb): Reverse direction of
3582 polymorphic call predictor.
3584 2017-01-06 David Malcolm <dmalcolm@redhat.com>
3586 * passes.c (execute_one_pass): Split out pass-skipping logic into...
3587 (determine_pass_name_match): ...this new function and...
3588 (should_skip_pass_p): ...this new function.
3590 2017-01-06 Nathan Sidwell <nathan@acm.org>
3592 * ipa-visibility.c (function_and_variable_visibility): Reformat
3593 comments and long lines. Remove extrneous if.
3594 * symtab.c (symtab_node::make_decl_local): Fix code format.
3595 (symtab_node::set_section_for_node): Fix comment typo.
3597 2017-01-06 Martin Liska <mliska@suse.cz>
3600 * lra-constraints.c: Rename invariant to lra_invariant.
3601 * predict.c (set_even_probabilities): Initialize e to NULL.
3603 2017-01-05 Martin Sebor <msebor@redhat.com>
3605 PR tree-optimization/78910
3606 * gimple-ssa-sprintf.c (tree_digits): Add an argument.
3607 (format_integer): Correct off-by-one error in the handling
3608 of precision with negative numbers in signed conversions..
3610 2017-01-05 Eric Botcazou <ebotcazou@adacore.com>
3612 * doc/invoke.texi (C Dialect Options): Adjust -fsso-struct entry.
3614 2017-01-05 Jakub Jelinek <jakub@redhat.com>
3616 PR tree-optimization/71016
3617 * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Pass cond_stmt to
3618 factor_out_conditional_conversion. Formatting fix.
3619 (factor_out_conditional_conversion): Add cond_stmt argument.
3620 If arg1 is INTEGER_CST, punt if new_arg0 is not any operand of
3621 cond_stmt and if arg0_def_stmt is not the only stmt in its bb.
3624 2017-01-05 David Malcolm <dmalcolm@redhat.com>
3626 * Makefile.in (OBJS): Add read-md.o, read-rtl.o,
3627 read-rtl-function.o, and selftest-rtl.o.
3628 * config/aarch64/aarch64.c: Include selftest.h and selftest-rtl.h.
3629 (selftest::aarch64_test_loading_full_dump): New function.
3630 (selftest::aarch64_run_selftests): New function.
3631 (TARGET_RUN_TARGET_SELFTESTS): Wire it up to
3632 selftest::aarch64_run_selftests.
3633 * config/i386/i386.c
3634 (selftest::ix86_test_loading_dump_fragment_1): New function.
3635 (selftest::ix86_test_loading_call_insn): New function.
3636 (selftest::ix86_test_loading_full_dump): New function.
3637 (selftest::ix86_test_loading_unspec): New function.
3638 (selftest::ix86_run_selftests): Call the new functions.
3639 * emit-rtl.c (maybe_set_max_label_num): New function.
3640 * emit-rtl.h (maybe_set_max_label_num): New decl.
3641 * function.c (instantiate_decls): Guard call to
3642 instantiate_decls_1 with if (DECL_INITIAL (fndecl)).
3643 * function-tests.c (selftest::verify_three_block_rtl_cfg): Remove
3645 * gensupport.c (gen_reader::gen_reader): Pass "false"
3646 for new "compact" param of rtx_reader.
3647 * print-rtl.c (rtx_writer::print_rtx_operand): Print "(nil)"
3648 rather than an empty string for NULL strings.
3649 * read-md.c: Potentially include config.h rather than bconfig.h.
3650 Wrap include of errors.h with #ifdef GENERATOR_FILE.
3651 (have_error): New global, copied from errors.c.
3652 (md_reader::read_name): Rename to...
3653 (md_reader::read_name_1): ...this, adding "out_loc" param,
3654 and converting "missing name or number" to returning false, rather
3656 (md_reader::read_name): Reimplement in terms of read_name_1.
3657 (md_reader::read_name_or_nil): New function.
3658 (md_reader::read_string): Handle "(nil)" by returning NULL.
3659 (md_reader::md_reader): Add new param "compact".
3660 (md_reader::read_md_files): Wrap with #ifdef GENERATOR_FILE.
3661 (md_reader::read_file): New method.
3662 * read-md.h (md_reader::md_reader): Add new param "compact".
3663 (md_reader::read_file): New method.
3664 (md_reader::is_compact): New accessor.
3665 (md_reader::read_name): Convert return type from void to file_location.
3666 (md_reader::read_name_or_nil): New decl.
3667 (md_reader::read_name_1): New decl.
3668 (md_reader::m_compact): New field.
3669 (noop_reader::noop_reader): Pass "false" for new "compact" param
3671 (rtx_reader::rtx_reader): Add new "compact" param.
3672 (rtx_reader::read_rtx_operand): Make virtual and convert return
3673 type from void to rtx.
3674 (rtx_reader::read_until): New decl.
3675 (rtx_reader::handle_any_trailing_information): New virtual function.
3676 (rtx_reader::postprocess): New virtual function.
3677 (rtx_reader::finalize_string): New virtual function.
3678 (rtx_reader::m_in_call_function_usage): New field.
3679 (rtx_reader::m_reuse_rtx_by_id): New field.
3680 * read-rtl-function.c: New file.
3681 * selftest-rtl.c (selftest::assert_rtx_ptr_eq_at): New function.
3682 * selftest-rtl.h (ASSERT_RTX_PTR_EQ): New macro.
3683 (selftest::verify_three_block_rtl_cfg): New decl.
3684 * read-rtl-function.h: New file.
3685 * read-rtl.c: Potentially include config.h rather than bconfig.h.
3686 For host, include function.h, memmodel.h, and emit-rtl.h.
3687 (one_time_initialization): New function.
3688 (struct compact_insn_name): New struct.
3689 (compact_insn_names): New array.
3690 (find_code): Handle insn codes in compact dumps.
3691 (apply_subst_iterator): Wrap with #ifdef GENERATOR_FILE.
3692 (bind_subst_iter_and_attr): Likewise.
3693 (add_condition_to_string): Likewise.
3694 (add_condition_to_rtx): Likewise.
3695 (apply_attribute_uses): Likewise.
3696 (add_current_iterators): Likewise.
3697 (apply_iterators): Likewise.
3698 (initialize_iterators): Guard usage of apply_subst_iterator with
3699 #ifdef GENERATOR_FILE.
3700 (read_conditions): Wrap with #ifdef GENERATOR_FILE.
3701 (md_reader::read_mapping): Likewise.
3702 (add_define_attr_for_define_subst): Likewise.
3703 (add_define_subst_attr): Likewise.
3704 (read_subst_mapping): Likewise.
3705 (check_code_iterator): Likewise.
3706 (rtx_reader::read_rtx): Likewise. Move one-time initialization
3708 (one_time_initialization): New function.
3709 (rtx_reader::read_until): New method.
3710 (read_flags): New function.
3711 (parse_reg_note_name): New function.
3712 (rtx_reader::read_rtx_code): Initialize "iterator" to NULL.
3713 Handle reuse_rtx ids.
3714 Wrap iterator lookup within #ifdef GENERATOR_FILE.
3715 Add parsing support for RTL dumps, mirroring the special-cases in
3716 print_rtx, by calling read_flags, reading REG_NOTE names, INSN_UID
3717 values, and calling handle_any_trailing_information.
3718 (rtx_reader::read_rtx_operand): Convert return type from void
3719 to rtx, returning return_rtx. Handle case 'e'. Call
3720 finalize_string on XSTR and XTMPL fields.
3721 (rtx_reader::read_nested_rtx): Handle dumps in which trailing
3722 "(nil)" values were omitted. Call the postprocess vfunc on the
3724 (rtx_reader::rtx_reader): Add new "compact" param and pass to base
3725 class ctor. Initialize m_in_call_function_usage. Call
3726 one_time_initialization.
3727 * rtl-tests.c (selftest::test_uncond_jump): Call
3728 set_new_first_and_last_insn.
3729 * rtl.h (read_rtx): Wrap decl with #ifdef GENERATOR_FILE.
3730 * selftest-rtl.c: New file.
3731 * selftest-rtl.h (class selftest::rtl_dump_test): New class.
3732 (selftest::get_insn_by_uid): New decl.
3733 * selftest-run-tests.c (selftest::run_tests): Call
3734 read_rtl_function_c_tests.
3735 * selftest.h (selftest::read_rtl_function_c_tests): New decl.
3736 * tree-dfa.c (ssa_default_def): Return NULL_TREE for rtl function
3739 2017-01-05 Uros Bizjak <ubizjak@gmail.com>
3741 * config/i386/i386.md (*testqi_ext_3): No need to handle memory
3742 operands in a special way. Assert that pos+len <= mode precision.
3744 2017-01-05 Jakub Jelinek <jakub@redhat.com>
3746 * common.opt (fvect-cost-model): Remove RejectNegative flag, use
3747 3 argument Alias with unlimited for the negative form.
3748 (fno-vect-cost-model): Removed.
3750 2017-01-05 Martin Liska <mliska@suse.cz>
3752 * hsa-gen.c (gen_hsa_divmod): New function.
3753 (gen_hsa_insn_for_internal_fn_call): Use the function for IFN_DIVMOD.
3755 2017-01-05 Martin Liska <mliska@suse.cz>
3758 * gcc.c (lookup_compiler): Reject '-' filename for a precompiled
3761 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3763 * config/s390/s390.c (s390_expand_setmem): Unroll the loop for
3764 small constant length operands.
3766 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
3768 * config/s390/s390.c (s390_expand_setmem): Avoid overlapping bytes
3769 between loop iterations.
3771 2017-01-05 Martin Liska <mliska@suse.cz>
3774 * gimplify.c (gimplify_decl_expr): Compare to
3775 asan_poisoned_variables instread of checking flags.
3776 (gimplify_target_expr): Likewise.
3777 (gimplify_expr): Likewise.
3778 (gimplify_function_tree): Conditionally initialize
3779 asan_poisoned_variables.
3781 2017-01-04 Jeff Law <law@redhat.com>
3783 PR tree-optimizatin/78812
3784 * rtl.h (contains_mem_rtx_p): Prototype.
3785 * ifcvt.c (containts_mem_rtx_p): Move from here to...
3786 * rtlanal.c (contains_mem_rtx_p): Here and remove static linkage.
3787 * gcse.c (prune_expressions): Use contains_mem_rtx_p to discover
3788 and prune MEMs that are not at the toplevel of a SET_SRC rtx. Look
3789 through ZERO_EXTEND and SIGN_EXTEND when trying to avoid pruning MEMs.
3791 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
3793 * input.c (assert_char_at_range): Default-initialize actual_range.
3795 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
3797 * df-scan.c (df_ref_create_structure): Make regno unsigned,
3798 to match the caller.
3800 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
3802 * cfgexpand.c (expand_gimple_basic_block): Disregard debug
3803 insns after final jump in test to emit dummy move.
3805 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
3807 * gimple-iterator.h (gsi_one_nondebug_before_end_p): New.
3808 * tree-eh.c (cleanup_empty_eh): Skip more debug stmts.
3810 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
3812 * multiple_target.c (create_dispatcher_calls): Init e_next.
3813 * tree-ssa-loop-split.c (split_loop): Init border.
3814 * tree-vect-loop.c (vect_determine_vectorization_factor): Init
3817 2017-01-04 Michael Meissner <meissner@linux.vnet.ibm.com>
3822 * config/rs6000/predicates.md (sf_subreg_operand): New predicate.
3823 (altivec_register_operand): Do not return true if the operand
3824 contains a SUBREG mixing SImode and SFmode.
3825 (vsx_register_operand): Likewise.
3826 (vsx_reg_sfsubreg_ok): New predicate.
3827 (vfloat_operand): Do not return true if the operand contains a
3828 SUBREG mixing SImode and SFmode.
3829 (vint_operand): Likewise.
3830 (vlogical_operand): Likewise.
3831 (gpc_reg_operand): Likewise.
3832 (int_reg_operand): Likewise.
3833 * config/rs6000/rs6000-protos.h (valid_sf_si_move): Add declaration.
3834 * config/rs6000/rs6000.c (valid_sf_si_move): New function to
3835 determine if a MOVSI or MOVSF operation contains SUBREGs that mix
3837 (rs6000_emit_move_si_sf_subreg): New helper function.
3838 (rs6000_emit_move): Call rs6000_emit_move_si_sf_subreg to possbily
3839 fixup SUBREGs involving SImode and SFmode.
3840 * config/rs6000/vsx.md (SFBOOL_*): New constants that are operand
3841 numbers for the new peephole2 optimization.
3842 (peephole2 for SFmode unions): New peephole2 to optimize cases in
3843 the GLIBC math library that do AND/IOR/XOR operations on single
3844 precision floating point.
3845 * config/rs6000/rs6000.h (TARGET_NO_SF_SUBREG): New internal
3846 target macros to say whether we need to avoid SUBREGs mixing
3848 (TARGET_ALLOW_SF_SUBREG): Likewise.
3849 * config/rs6000/rs6000.md (UNSPEC_SF_FROM_SI): New unspecs.
3850 (UNSPEC_SI_FROM_SF): Likewise.
3851 (iorxor): Change spacing.
3852 (and_ior_xor): New iterator for AND, IOR, and XOR.
3853 (movsi_from_sf): New insns for SImode/SFmode SUBREG support.
3854 (movdi_from_sf_zero_ext): Likewise.
3855 (mov<mode>_hardfloat, FMOVE32 iterator): Use register_operand
3856 instead of gpc_reg_operand. Add SImode/SFmode SUBREG support.
3857 (movsf_from_si): New insn for SImode/SFmode SUBREG support.
3858 (fma<mode>4): Use gpc_reg_operand instead of register_operand.
3859 (fms<mode>4): Likewise.
3860 (fnma<mode>4): Likewise.
3861 (fnms<mode>4): Likewise.
3862 (nfma<mode>4): Likewise.
3863 (nfms<mode>4): Likewise.
3865 2017-01-04 Marek Polacek <polacek@redhat.com>
3868 * doc/invoke.texi: Document -Wpointer-compare.
3870 2017-01-04 Jakub Jelinek <jakub@redhat.com>
3872 * optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without
3875 * dwarf2out.c (output_loc_list): Don't throw away 64K+ location
3876 descriptions for -gdwarf-5 and emit them as uleb128 instead of
3879 2017-01-04 Kelvin Nilsen <kelvin@gcc.gnu.org>
3882 * doc/sourcebuild.texi (PowerPC-specific attributes): Add
3883 documentation of the powerpc_popcntb_ok attribute.
3884 * config/rs6000/rs6000.c (rs6000_option_override_internal): Add
3885 code to issue warning messages if a requested CPU configuration is
3886 not supported by the binary (assembler and loader) toolchain.
3887 (spe_init_builtins): Add two assertions to prevent ICE if attempt is
3888 made to define a built-in function that has been disabled.
3889 (paired_init_builtins): Add assertion to prevent ICE if attempt is
3890 made to define a built-in function that has been disabled.
3891 (altivec_init_builtins): Add comment explaining why definition
3892 of the DST built-in functions is not preceded by an assertion
3893 check. Add assertions to prevent ICE if attempts are made to
3894 define an altivec predicate or an abs* built-in function that has
3896 (htm_init_builtins): Add comment explaining why definition of the
3897 htm built-in functions is not preceded by an assertion check.
3899 2017-01-04 Jeff Law <law@redhat.com>
3901 PR tree-optimizatin/67955
3902 * tree-ssa-alias.c (same_addr_size_stores_p): Check offsets first.
3903 Allow any SSA_VAR_P as the base objects. Use integer_zerop. Verify
3904 the points-to solution does not include pt_null. Use DECL_PT_UID
3907 2017-01-04 Uros Bizjak <ubizjak@gmail.com>
3909 * config/i386/i386.md (HI/SImode test with imm to QImode splitters):
3910 Use gen_int_mode instead of gen_lopwart for const_int operands.
3912 2017-01-04 Jakub Jelinek <jakub@redhat.com>
3914 PR tree-optimization/71563
3915 * match.pd: Simplify X << Y into X if Y is known to be 0 or
3916 out of range value - has low bits known to be zero.
3918 2017-01-04 Alan Modra <amodra@gmail.com>
3920 * Makefile.in (aclocal_deps): Update and order as per aclocal.m4.
3921 * configure: Regenerate.
3922 * config.in: Regenerate.
3924 2017-01-04 Jakub Jelinek <jakub@redhat.com>
3927 * input.c (ebcdic_execution_charset::on_error): Don't use strstr for
3928 a substring of the message, but strcmp with the whole message. Ifdef
3929 ENABLE_NLS, translate the message first using dgettext.
3931 2017-01-03 Jeff Law <law@redhat.com>
3933 PR tree-optimizatin/78856
3934 * tree-ssa-threadupdate.c: Include tree-vectorizer.h.
3935 (mark_threaded_blocks): Remove code to truncate thread paths that
3936 cross multiple loop headers. Instead invalidate the cached loop
3937 iteration information and handle case of a thread path walking
3938 into an irreducible region.
3940 2017-01-03 Michael Meissner <meissner@linux.vnet.ibm.com>
3943 * config/rs6000/rs6000.c (rs6000_split_signbit): Change some
3944 assertions. Add support for doing the signbit if the IEEE 128-bit
3945 floating point value is in a GPR.
3946 * config/rs6000/rs6000.md (Fsignbit): Delete.
3947 (signbit<mode>2_dm): Delete using <Fsignbit> and just use "wa".
3948 Update the length attribute if the value is in a GPR.
3949 (signbit<mode>2_dm_<su>ext): Add combiner pattern to eliminate
3950 the sign or zero extension instruction, since the value is always 0/1.
3951 (signbit<mode>2_dm2): Delete using <Fsignbit>.
3954 * config/rs6000/vsx.md (vsx_extract_<mode>_store_p9): If we are
3955 extracting SImode to a GPR register so that we can generate a
3956 store, limit the vector to be in a traditional Altivec register
3957 for the vextuwrx instruction.
3959 2017-01-03 Ian Lance Taylor <iant@google.com>
3961 * godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.
3963 2017-01-03 Martin Sebor <msebor@redhat.com>
3965 PR tree-optimization/78696
3966 * gimple-ssa-sprintf.c (format_floating): Correct handling of
3967 precision. Use MPFR for %f for greater fidelity. Correct handling
3969 (pass_sprintf_length::compute_format_length): Set width and precision
3970 specified by asrerisk to void_node for vararg functions.
3971 (try_substitute_return_value): Adjust dump output.
3973 2017-01-03 David Edelsohn <dje.gcc@gmail.com>
3975 * doc/invoke.texi (RS6000 options): LRA is enabled by default.
3977 2017-01-03 Eric Botcazou <ebotcazou@adacore.com>
3979 * doc/invoke.texi (SPARC options): Document -mlra as the default.
3980 * config/sparc/sparc.c (sparc_option_override): Force LRA unless
3981 -mlra/-mno-lra was passed to the compiler.
3983 2017-01-03 James Cowgill <James.Cowgill@imgtec.com>
3985 PR rtl-optimization/65618
3986 * emit-rtl.c (try_split): Move initialization of "before" and
3987 "after" to just before the call to emit_insn_after_setloc.
3989 2017-01-03 Gerald Pfeifer <gerald@pfeifer.com>
3991 * doc/md.texi (Standard Names): Remove reference to Java frontend.
3993 2017-01-03 Pierre-Marie de Rodat <derodat@adacore.com>
3995 * dwarf2out.c (gen_enumeration_type_die): When
3996 -gno-strict-dwarf, add a DW_AT_encoding attribute.
3998 2017-01-03 Jakub Jelinek <jakub@redhat.com>
4000 PR tree-optimization/78965
4001 * gimple-ssa-sprintf.c (pass_sprintf_length::compute_format_length):
4002 Change first argument from const call_info & to call_info &. For %n
4003 set info.nowrite to false.
4006 * gimple-ssa-sprintf.c (try_substitute_return_value): Don't change
4007 possibly throwing calls.
4009 * genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME
4010 and exprs_len || fns_len, emit the code for SSA_NAME next to the exprs
4011 and fns handling, rather than in a separate case SSA_NAME.
4013 2017-01-02 Jeff Law <law@redhat.com>
4015 * config/darwin-driver.c (darwin_driver_init): Const-correctness
4016 fixes for first_period and second_period variables.
4018 2017-01-02 Uros Bizjak <ubizjak@gmail.com>
4021 * config/i386/i386.md (UNSPEC_NOREX_MEM): New unspec.
4022 (*insvqi_1): New insn pattern.
4023 (*insvqi_1_mem_rex64): Ditto.
4025 (*insvqi_3): Rename from *insvqi.
4027 (*extzvqi_mem_rex64): Add UNSPEC_NOREX_MEM tag.
4029 2017-01-02 Gerald Pfeifer <gerald@pfeifer.com>
4031 * doc/cfg.texi (Edges): Remove reference to Java.
4032 (Maintaining the CFG): Ditto.
4034 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
4037 * symtab.c (symtab_node::binds_to_current_def_p): Fix handling of
4038 transparent aliases.
4040 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
4043 * predict.def (PRED_CALL): Update hitrate.
4044 (PRED_INDIR_CALL, PRED_POLYMORPHIC_CALL): New predictors.
4045 * predict.c (tree_estimate_probability_bb): Split CALL predictor
4046 into direct/indirect/polymorphic variants.
4048 2017-01-01 Jakub Jelinek <jakub@redhat.com>
4050 Update copyright years.
4052 * gcc.c (process_command): Update copyright notice dates.
4053 * gcov-dump.c (print_version): Ditto.
4054 * gcov.c (print_version): Ditto.
4055 * gcov-tool.c (print_version): Ditto.
4056 * gengtype.c (create_file): Ditto.
4057 * doc/cpp.texi: Bump @copying's copyright year.
4058 * doc/cppinternals.texi: Ditto.
4059 * doc/gcc.texi: Ditto.
4060 * doc/gccint.texi: Ditto.
4061 * doc/gcov.texi: Ditto.
4062 * doc/install.texi: Ditto.
4063 * doc/invoke.texi: Ditto.
4065 Copyright (C) 2017 Free Software Foundation, Inc.
4067 Copying and distribution of this file, with or without modification,
4068 are permitted in any medium without royalty provided the copyright
4069 notice and this notice are preserved.