1 2017-01-09 Jakub Jelinek <jakub@redhat.com>
3 PR tree-optimization/78938
4 * tree-vect-stmts.c (vectorizable_condition): For non-masked COND_EXPR
5 where comp_vectype is VECTOR_BOOLEAN_TYPE_P, use
6 BIT_{NOT,XOR,AND,IOR}_EXPR on the comparison operands instead of
7 {EQ,NE,GE,GT,LE,LT}_EXPR directly inside of VEC_COND_EXPR. Formatting
10 2017-01-09 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
12 * tree-ssa-address.c (gen_addr_rtx): Don't handle index if it
15 2017-01-09 Richard Biener <rguenther@suse.de>
17 PR tree-optimization/78997
18 * tree-vect-slp.c (vect_mask_constant_operand_p): Handle SSA
19 name condition properly.
21 2017-01-09 Richard Biener <rguenther@suse.de>
24 * dwarf2out.c (is_cxx): New overload with context.
25 (is_naming_typedef_decl): Use it.
27 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
29 * invoke.texi (Option Summary): Correct spacing in option lists
30 and add line breaks to fix over-long lines.
32 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
36 * extend.texi (Common Variable Attributes): Add xref to GCC
37 Internals manual to explain mode attribute keywords.
39 2017-01-08 Sandra Loosemore <sandra@codesourcery.com>
43 * doc/invoke.texi (Option Summary): Move -pthread to Linker Options
44 and Preprocessor Options.
45 (Options for Linking): Document -pthread here....
46 (RS/6000 and PowerPC Options): ...not here.
47 (Solaris 2 Options): ...or here.
48 * doc/cppopts.texi: Document -pthread.
50 2017-01-08 Martin Sebor <msebor@redhat.com>
53 * doc/invoke.texi (Warning Options): Document -Wformat-truncation.
54 * gimple-ssa-sprintf.c (call_info::reval_used, call_info::warnopt):
56 (format_directive): Used them.
58 (pass_sprintf_length::handle_gimple_call): Same.
59 * graphite-sese-to-poly.c (tree_int_to_gmp): Increase buffer size
60 to avoid truncation for any argument.
61 (extract_affine_mul): Same.
62 * tree.c (get_file_function_name): Same.
64 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
67 * predict.def (PRED_INDIR_CALL): Set to 86.
69 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
73 * doc/cppopts.texi: Reformat -d subtable to list the full name
74 of the options. Add cross-reference to the docs for the general
76 * doc/invoke.texi (Developer Options): Add cross-reference to the
77 preprocessor-specific -d option documentation.
79 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
83 * doc/cpp.texi (Search Path): Rewrite to remove obsolete and
84 redudant material, and reflect new command-line options.
85 (System Headers): Likewise.
87 2017-01-07 Sandra Loosemore <sandra@codesourcery.com>
89 * doc/cppdiropts.texi: Merge documentation of -I, -iquote,
90 -isystem, and -idirafter. Copy-edit.
91 * doc/cppopts.texi: Copy-edit. Remove contradiction about
92 default for -ftrack-macro-expansion. Delete obsolete and
93 badly-formatted implementation details about -fdebug-cpp output.
94 * doc/cppwarnopts.texi: Copy-edit.
96 2017-01-07 David Malcolm <dmalcolm@redhat.com>
99 * input.c (selftest::test_accessing_ordinary_linemaps): Verify
100 that the transition from a max line width >= 1<<10 to narrower
101 lines works correctly.
103 2017-01-07 Alexandre Oliva <aoliva@redhat.com>
105 * doc/options.texi (PerFunction): New.
106 * opt-functions.awk (switch_flags): Map both Optimization and
107 PerFunction to CL_OPTIMIZATION.
108 * opth-gen.awk: Test for PerFunction flag along with
110 * optc-save-gen.awk: Likewise. Introduce var_opt_hash and set
111 it only when the latter is present. Skip those that don't in
112 the hash function generator.
113 * common.opt (fvar-tracking): Mark as PerFunction instead of
115 (fvar-tracking-assignments): Likewise.
116 (fvar-tracking-assignments-toggle): Likewise.
117 (fvar-tracking-uninit): Likewise.
119 2017-01-07 Jakub Jelinek <jakub@redhat.com>
122 * params.def (PARAM_MAX_STORES_TO_MERGE): Add missing space between
125 2017-01-06 Mikael Pettersson <mikpelinux@gmail.com>
128 * config/m68k/m68k.opt (LONG_JUMP_TABLE_OFFSETS): New option.
129 * config/m68k/linux.h (ASM_RETURN_CASE_JUMP): Handle
130 TARGET_LONG_JUMP_TABLE_OFFSETS.
131 * config/m68k/m68kelf.h (ASM_RETURN_CASE_JUMP): Likewise.
132 * config/m68k/netbsd-elf.h (ASM_RETURN_CASE_JUMP): Likewise.
133 * config/m68k/m68k.h (CASE_VECTOR_MODE): Likewise.
134 (ASM_OUTPUT_ADDR_DIFF_ELF): Likewise.
135 * config/m68k/m68k.md (tablejump expander): Likewise.
136 (*tablejump_pcrel_hi): Renamed from unnamed insn, reject
137 TARGET_LONG_JUMP_TABLE_OFFSETS.
138 (*tablejump_pcrel_si): New insn, handle TARGET_LONG_JUMP_TABLE_OFFSETS.
139 * doc/invoke.texi (M68K options): Add -mlong-jump-table-offsets.
141 2017-01-06 Edgar E. Iglesias <edgar.iglesias@xilinx.com>
142 David Holsgrove <david.holsgrove@xilinx.com>
144 * common/config/microblaze/microblaze-common.c
145 (TARGET_EXCEPT_UNWIND_INFO): Remove.
146 * config/microblaze/microblaze-protos.h (microblaze_eh_return):
148 * config/microblaze/microblaze.c (microblaze_must_save_register)
149 (microblaze_expand_epilogue, microblaze_return_addr): Handle
151 (microblaze_eh_return): New function.
152 * config/microblaze/microblaze.h (RETURN_ADDR_OFFSET)
153 (EH_RETURN_DATA_REGNO, MB_EH_STACKADJ_REGNUM)
154 (EH_RETURN_STACKADJ_RTX, ASM_PREFERRED_EH_DATA_FORMAT): New macros.
155 * config/microblaze/microblaze.md (eh_return): New pattern.
157 2017-01-06 Jakub Jelinek <jakub@redhat.com>
159 * system.h (GCC_DIAGNOSTIC_PUSH_IGNORED, GCC_DIAGNOSTIC_POP,
160 GCC_DIAGNOSTIC_STRINGIFY): Define.
162 * read-rtl.c (rtx_reader::read_rtx_code): Avoid -Wsign-compare
165 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
167 * config/arm/arm.md (<mcrr>): New.
169 * config/arm/arm.c (arm_arch5te): New.
170 (arm_option_override): Set arm_arch5te.
171 (arm_coproc_builtin_available): Add support for mcrr, mcrr2, mrrc
173 * config/arm/arm-builtins.c (MCRR_QUALIFIERS): Define to...
174 (arm_mcrr_qualifiers): ... this. New.
175 (MRRC_QUALIFIERS): Define to...
176 (arm_mrrc_qualifiers): ... this. New.
177 * config/arm/arm_acle.h (__arm_mcrr, __arm_mcrr2, __arm_mrrc,
179 * config/arm/arm_acle_builtins.def (mcrr, mcrr2, mrrc, mrrc2): New.
180 * config/arm/iterators.md (MCRRI, mcrr, MCRR): New.
181 (MRRCI, mrrc, MRRC): New.
182 * config/arm/unspecs.md (VUNSPEC_MCRR, VUNSPEC_MCRR2, VUNSPEC_MRRC,
185 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
187 * config/arm/arm.md (<mcr>): New.
189 * config/arm/arm.c (arm_coproc_builtin_available): Add
190 support for mcr, mrc, mcr2 and mrc2.
191 * config/arm/arm-builtins.c (MCR_QUALIFIERS): Define to...
192 (arm_mcr_qualifiers): ... this. New.
193 (MRC_QUALIFIERS): Define to ...
194 (arm_mrc_qualifiers): ... this. New.
195 (MCR_QUALIFIERS): Define to ...
196 (arm_mcr_qualifiers): ... this. New.
197 * config/arm/arm_acle.h (__arm_mcr, __arm_mrc, __arm_mcr2,
199 * config/arm/arm_acle_builtins.def (mcr, mcr2, mrc, mrc2): New.
200 * config/arm/iterators.md (MCRI, mcr, MCR, MRCI, mrc, MRC): New.
201 * config/arm/unspecs.md (VUNSPEC_MCR, VUNSPEC_MCR2, VUNSPEC_MRC,
204 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
206 * config/arm/arm.md (*ldc): New.
210 * config/arm/arm.c (arm_coproc_builtin_available): Add
211 support for ldc,ldcl,stc,stcl,ldc2,ldc2l,stc2 and stc2l.
212 (arm_coproc_ldc_stc_legitimate_address): New.
213 * config/arm/arm-builtins.c (arm_type_qualifiers): Add
214 'qualifier_const_pointer'.
215 (LDC_QUALIFIERS): Define to...
216 (arm_ldc_qualifiers): ... this. New.
217 (STC_QUALIFIERS): Define to...
218 (arm_stc_qualifiers): ... this. New.
219 * config/arm/arm-protos.h
220 (arm_coproc_ldc_stc_legitimate_address): New.
221 * config/arm/arm_acle.h (__arm_ldc, __arm_ldcl, __arm_stc,
222 __arm_stcl, __arm_ldc2, __arm_ldc2l, __arm_stc2, __arm_stc2l): New.
223 * config/arm/arm_acle_builtins.def (ldc, ldc2, ldcl, ldc2l, stc,
224 stc2, stcl, stc2l): New.
225 * config/arm/constraints.md (Uz): New.
226 * config/arm/iterators.md (LDCI, STCI, ldc, stc, LDC STC): New.
227 * config/arm/unspecs.md (VUNSPEC_LDC, VUNSPEC_LDC2, VUNSPEC_LDCL,
228 VUNSPEC_LDC2L, VUNSPEC_STC, VUNSPEC_STC2, VUNSPEC_STCL,
231 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
233 * config/arm/arm.md (<cdp>): New.
234 * config/arm/arm.c (neon_const_bounds): Rename this ...
235 (arm_const_bounds): ... this.
236 (arm_coproc_builtin_available): New.
237 * config/arm/arm-builtins.c (SIMD_MAX_BUILTIN_ARGS): Increase.
238 (arm_type_qualifiers): Add 'qualifier_unsigned_immediate'.
239 (CDP_QUALIFIERS): Define to...
240 (arm_cdp_qualifiers): ... this. New.
242 (arm_expand_builtin_args): Add case for 6 arguments.
243 * config/arm/arm-protos.h (neon_const_bounds): Rename this ...
244 (arm_const_bounds): ... this.
245 (arm_coproc_builtin_available): New.
246 * config/arm/arm_acle.h (__arm_cdp): New.
248 * config/arm/arm_acle_builtins.def (cdp): New.
250 * config/arm/iterators.md (CDPI,CDP,cdp): New.
251 * config/arm/neon.md: Rename all 'neon_const_bounds' to
253 * config/arm/types.md (coproc): New.
254 * config/arm/unspecs.md (VUNSPEC_CDP, VUNSPEC_CDP2): New.
255 * gcc/doc/extend.texi (ACLE): Add a mention of Coprocessor intrinsics.
256 * gcc/doc/sourcebuild.texi (arm_coproc1_ok, arm_coproc2_ok,
257 arm_coproc3_ok, arm_coproc4_ok): Document new effective targets.
259 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
261 * config/arm/arm-builtins.c (arm_unsigned_binop_qualifiers): New.
262 (UBINOP_QUALIFIERS): New.
264 (acle_builtin_data): New. Change comment.
265 (arm_builtins): Remove ARM_BUILTIN_CRC32B, ARM_BUILTIN_CRC32H,
266 ARM_BUILTIN_CRC32W, ARM_BUILTIN_CRC32CB, ARM_BUILTIN_CRC32CH,
267 ARM_BUILTIN_CRC32CW. Add ARM_BUILTIN_ACLE_BASE and include
268 arm_acle_builtins.def.
269 (ARM_BUILTIN_ACLE_PATTERN_START): Define.
270 (arm_init_acle_builtins): New.
271 (CRC32_BUILTIN): Remove.
272 (bdesc_2arg): Remove entries for crc32b, crc32h, crc32w,
273 crc32cb, crc32ch and crc32cw.
274 (arm_init_crc32_builtins): Remove.
275 (arm_init_builtins): Use arm_init_acle_builtins rather
276 than arm_init_crc32_builtins.
277 (arm_expand_acle_builtin): New.
278 (arm_expand_builtin): Use 'arm_expand_acle_builtin'.
279 * config/arm/arm_acle_builtins.def: New.
281 2017-01-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
283 * config/arm/arm-builtins.c (neon_builtin_datum): Rename to ..
284 (arm_builtin_datum): ... this.
285 (arm_init_neon_builtin): Rename to ...
286 (arm_init_builtin): ... this. Add a new parameters PREFIX
288 (arm_init_neon_builtins): Replace 'arm_init_neon_builtin' with
289 'arm_init_builtin'. Replace type 'neon_builtin_datum' with
291 (arm_init_vfp_builtins): Likewise.
292 (builtin_arg): Rename enum's replacing 'NEON_ARG' with
293 'ARG_BUILTIN' and add a 'ARG_BUILTIN_NEON_MEMORY.
294 (arm_expand_neon_args): Rename to ...
295 (arm_expand_builtin_args): ... this. Rename builtin_arg
296 enum values and differentiate between ARG_BUILTIN_MEMORY
297 and ARG_BUILTIN_NEON_MEMORY.
298 (arm_expand_neon_builtin_1): Rename to ...
299 (arm_expand_builtin_1): ... this. Rename builtin_arg enum
300 values, arm_expand_builtin_args and add bool parameter NEON.
301 (arm_expand_neon_builtin): Use arm_expand_builtin_1.
302 (arm_expand_vfp_builtin): Likewise.
303 (NEON_MAX_BUILTIN_ARGS): Remove, it was unused.
305 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
308 * predict.def (PRED_POLYMORPHIC_CALL): Set to 59.
309 * predict.c (tree_estimate_probability_bb): Reverse direction of
310 polymorphic call predictor.
312 2017-01-06 David Malcolm <dmalcolm@redhat.com>
314 * passes.c (execute_one_pass): Split out pass-skipping logic
316 (determine_pass_name_match): ...this new function and...
317 (should_skip_pass_p): ...this new function.
319 2017-01-06 Nathan Sidwell <nathan@acm.org>
321 * ipa-visibility.c (function_and_variable_visibility): Reformat
322 comments and long lines. Remove extrneous if.
323 * symtab.c (symtab_node::make_decl_local): Fix code format.
324 (symtab_node::set_section_for_node): Fix comment typo.
326 2017-01-06 Martin Liska <mliska@suse.cz>
329 * lra-constraints.c: Rename invariant to lra_invariant.
330 * predict.c (set_even_probabilities): Initialize e to NULL.
332 2017-01-05 Martin Sebor <msebor@redhat.com>
334 PR tree-optimization/78910
335 * gimple-ssa-sprintf.c (tree_digits): Add an argument.
336 (format_integer): Correct off-by-one error in the handling
337 of precision with negative numbers in signed conversions..
339 2017-01-05 Eric Botcazou <ebotcazou@adacore.com>
341 * doc/invoke.texi (C Dialect Options): Adjust -fsso-struct entry.
343 2017-01-05 Jakub Jelinek <jakub@redhat.com>
345 PR tree-optimization/71016
346 * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Pass cond_stmt to
347 factor_out_conditional_conversion. Formatting fix.
348 (factor_out_conditional_conversion): Add cond_stmt argument.
349 If arg1 is INTEGER_CST, punt if new_arg0 is not any operand of
350 cond_stmt and if arg0_def_stmt is not the only stmt in its bb.
353 2017-01-05 David Malcolm <dmalcolm@redhat.com>
355 * Makefile.in (OBJS): Add read-md.o, read-rtl.o,
356 read-rtl-function.o, and selftest-rtl.o.
357 * config/aarch64/aarch64.c: Include selftest.h and
359 (selftest::aarch64_test_loading_full_dump): New function.
360 (selftest::aarch64_run_selftests): New function.
361 (TARGET_RUN_TARGET_SELFTESTS): Wire it up to
362 selftest::aarch64_run_selftests.
364 (selftest::ix86_test_loading_dump_fragment_1): New function.
365 (selftest::ix86_test_loading_call_insn): New function.
366 (selftest::ix86_test_loading_full_dump): New function.
367 (selftest::ix86_test_loading_unspec): New function.
368 (selftest::ix86_run_selftests): Call the new functions.
369 * emit-rtl.c (maybe_set_max_label_num): New function.
370 * emit-rtl.h (maybe_set_max_label_num): New decl.
371 * function.c (instantiate_decls): Guard call to
372 instantiate_decls_1 with if (DECL_INITIAL (fndecl)).
373 * function-tests.c (selftest::verify_three_block_rtl_cfg): Remove
375 * gensupport.c (gen_reader::gen_reader): Pass "false"
376 for new "compact" param of rtx_reader.
377 * print-rtl.c (rtx_writer::print_rtx_operand): Print "(nil)"
378 rather than an empty string for NULL strings.
379 * read-md.c: Potentially include config.h rather than bconfig.h.
380 Wrap include of errors.h with #ifdef GENERATOR_FILE.
381 (have_error): New global, copied from errors.c.
382 (md_reader::read_name): Rename to...
383 (md_reader::read_name_1): ...this, adding "out_loc" param,
384 and converting "missing name or number" to returning false, rather
386 (md_reader::read_name): Reimplement in terms of read_name_1.
387 (md_reader::read_name_or_nil): New function.
388 (md_reader::read_string): Handle "(nil)" by returning NULL.
389 (md_reader::md_reader): Add new param "compact".
390 (md_reader::read_md_files): Wrap with #ifdef GENERATOR_FILE.
391 (md_reader::read_file): New method.
392 * read-md.h (md_reader::md_reader): Add new param "compact".
393 (md_reader::read_file): New method.
394 (md_reader::is_compact): New accessor.
395 (md_reader::read_name): Convert return type from void to
397 (md_reader::read_name_or_nil): New decl.
398 (md_reader::read_name_1): New decl.
399 (md_reader::m_compact): New field.
400 (noop_reader::noop_reader): Pass "false" for new "compact" param
402 (rtx_reader::rtx_reader): Add new "compact" param.
403 (rtx_reader::read_rtx_operand): Make virtual and convert return
404 type from void to rtx.
405 (rtx_reader::read_until): New decl.
406 (rtx_reader::handle_any_trailing_information): New virtual
408 (rtx_reader::postprocess): New virtual function.
409 (rtx_reader::finalize_string): New virtual function.
410 (rtx_reader::m_in_call_function_usage): New field.
411 (rtx_reader::m_reuse_rtx_by_id): New field.
412 * read-rtl-function.c: New file.
413 * selftest-rtl.c (selftest::assert_rtx_ptr_eq_at): New function.
414 * selftest-rtl.h (ASSERT_RTX_PTR_EQ): New macro.
415 (selftest::verify_three_block_rtl_cfg): New decl.
416 * read-rtl-function.h: New file.
417 * read-rtl.c: Potentially include config.h rather than bconfig.h.
418 For host, include function.h, memmodel.h, and emit-rtl.h.
419 (one_time_initialization): New function.
420 (struct compact_insn_name): New struct.
421 (compact_insn_names): New array.
422 (find_code): Handle insn codes in compact dumps.
423 (apply_subst_iterator): Wrap with #ifdef GENERATOR_FILE.
424 (bind_subst_iter_and_attr): Likewise.
425 (add_condition_to_string): Likewise.
426 (add_condition_to_rtx): Likewise.
427 (apply_attribute_uses): Likewise.
428 (add_current_iterators): Likewise.
429 (apply_iterators): Likewise.
430 (initialize_iterators): Guard usage of apply_subst_iterator with
431 #ifdef GENERATOR_FILE.
432 (read_conditions): Wrap with #ifdef GENERATOR_FILE.
433 (md_reader::read_mapping): Likewise.
434 (add_define_attr_for_define_subst): Likewise.
435 (add_define_subst_attr): Likewise.
436 (read_subst_mapping): Likewise.
437 (check_code_iterator): Likewise.
438 (rtx_reader::read_rtx): Likewise. Move one-time initialization
440 (one_time_initialization): New function.
441 (rtx_reader::read_until): New method.
442 (read_flags): New function.
443 (parse_reg_note_name): New function.
444 (rtx_reader::read_rtx_code): Initialize "iterator" to NULL.
445 Handle reuse_rtx ids.
446 Wrap iterator lookup within #ifdef GENERATOR_FILE.
447 Add parsing support for RTL dumps, mirroring the special-cases in
448 print_rtx, by calling read_flags, reading REG_NOTE names, INSN_UID
449 values, and calling handle_any_trailing_information.
450 (rtx_reader::read_rtx_operand): Convert return type from void
451 to rtx, returning return_rtx. Handle case 'e'. Call
452 finalize_string on XSTR and XTMPL fields.
453 (rtx_reader::read_nested_rtx): Handle dumps in which trailing
454 "(nil)" values were omitted. Call the postprocess vfunc on the
456 (rtx_reader::rtx_reader): Add new "compact" param and pass to base
457 class ctor. Initialize m_in_call_function_usage. Call
458 one_time_initialization.
459 * rtl-tests.c (selftest::test_uncond_jump): Call
460 set_new_first_and_last_insn.
461 * rtl.h (read_rtx): Wrap decl with #ifdef GENERATOR_FILE.
462 * selftest-rtl.c: New file.
463 * selftest-rtl.h (class selftest::rtl_dump_test): New class.
464 (selftest::get_insn_by_uid): New decl.
465 * selftest-run-tests.c (selftest::run_tests): Call
466 read_rtl_function_c_tests.
467 * selftest.h (selftest::read_rtl_function_c_tests): New decl.
468 * tree-dfa.c (ssa_default_def): Return NULL_TREE for rtl function
471 2017-01-05 Uros Bizjak <ubizjak@gmail.com>
473 * config/i386/i386.md (*testqi_ext_3): No need to handle memory
474 operands in a special way. Assert that pos+len <= mode precision.
476 2017-01-05 Jakub Jelinek <jakub@redhat.com>
478 * common.opt (fvect-cost-model): Remove RejectNegative flag, use
479 3 argument Alias with unlimited for the negative form.
480 (fno-vect-cost-model): Removed.
482 2017-01-05 Martin Liska <mliska@suse.cz>
484 * hsa-gen.c (gen_hsa_divmod): New function.
485 (gen_hsa_insn_for_internal_fn_call): Use the function for IFN_DIVMOD.
487 2017-01-05 Martin Liska <mliska@suse.cz>
490 * gcc.c (lookup_compiler): Reject '-' filename for a precompiled
493 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
495 * config/s390/s390.c (s390_expand_setmem): Unroll the loop for
496 small constant length operands.
498 2017-01-05 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
500 * config/s390/s390.c (s390_expand_setmem): Avoid overlapping bytes
501 between loop iterations.
503 2017-01-05 Martin Liska <mliska@suse.cz>
506 * gimplify.c (gimplify_decl_expr): Compare to
507 asan_poisoned_variables instread of checking flags.
508 (gimplify_target_expr): Likewise.
509 (gimplify_expr): Likewise.
510 (gimplify_function_tree): Conditionally initialize
511 asan_poisoned_variables.
513 2017-01-04 Jeff Law <law@redhat.com>
515 PR tree-optimizatin/78812
516 * rtl.h (contains_mem_rtx_p): Prototype.
517 * ifcvt.c (containts_mem_rtx_p): Move from here to...
518 * rtlanal.c (contains_mem_rtx_p): Here and remove static linkage.
519 * gcse.c (prune_expressions): Use contains_mem_rtx_p to discover
520 and prune MEMs that are not at the toplevel of a SET_SRC rtx. Look
521 through ZERO_EXTEND and SIGN_EXTEND when trying to avoid pruning MEMs.
523 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
525 * input.c (assert_char_at_range): Default-initialize actual_range.
527 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
529 * df-scan.c (df_ref_create_structure): Make regno unsigned,
532 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
534 * cfgexpand.c (expand_gimple_basic_block): Disregard debug
535 insns after final jump in test to emit dummy move.
537 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
539 * gimple-iterator.h (gsi_one_nondebug_before_end_p): New.
540 * tree-eh.c (cleanup_empty_eh): Skip more debug stmts.
542 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
544 * multiple_target.c (create_dispatcher_calls): Init e_next.
545 * tree-ssa-loop-split.c (split_loop): Init border.
546 * tree-vect-loop.c (vect_determine_vectorization_factor): Init
549 2017-01-04 Michael Meissner <meissner@linux.vnet.ibm.com>
554 * config/rs6000/predicates.md (sf_subreg_operand): New predicate.
555 (altivec_register_operand): Do not return true if the operand
556 contains a SUBREG mixing SImode and SFmode.
557 (vsx_register_operand): Likewise.
558 (vsx_reg_sfsubreg_ok): New predicate.
559 (vfloat_operand): Do not return true if the operand contains a
560 SUBREG mixing SImode and SFmode.
561 (vint_operand): Likewise.
562 (vlogical_operand): Likewise.
563 (gpc_reg_operand): Likewise.
564 (int_reg_operand): Likewise.
565 * config/rs6000/rs6000-protos.h (valid_sf_si_move): Add declaration.
566 * config/rs6000/rs6000.c (valid_sf_si_move): New function to
567 determine if a MOVSI or MOVSF operation contains SUBREGs that mix
569 (rs6000_emit_move_si_sf_subreg): New helper function.
570 (rs6000_emit_move): Call rs6000_emit_move_si_sf_subreg to possbily
571 fixup SUBREGs involving SImode and SFmode.
572 * config/rs6000/vsx.md (SFBOOL_*): New constants that are operand
573 numbers for the new peephole2 optimization.
574 (peephole2 for SFmode unions): New peephole2 to optimize cases in
575 the GLIBC math library that do AND/IOR/XOR operations on single
576 precision floating point.
577 * config/rs6000/rs6000.h (TARGET_NO_SF_SUBREG): New internal
578 target macros to say whether we need to avoid SUBREGs mixing
580 (TARGET_ALLOW_SF_SUBREG): Likewise.
581 * config/rs6000/rs6000.md (UNSPEC_SF_FROM_SI): New unspecs.
582 (UNSPEC_SI_FROM_SF): Likewise.
583 (iorxor): Change spacing.
584 (and_ior_xor): New iterator for AND, IOR, and XOR.
585 (movsi_from_sf): New insns for SImode/SFmode SUBREG support.
586 (movdi_from_sf_zero_ext): Likewise.
587 (mov<mode>_hardfloat, FMOVE32 iterator): Use register_operand
588 instead of gpc_reg_operand. Add SImode/SFmode SUBREG support.
589 (movsf_from_si): New insn for SImode/SFmode SUBREG support.
590 (fma<mode>4): Use gpc_reg_operand instead of register_operand.
591 (fms<mode>4): Likewise.
592 (fnma<mode>4): Likewise.
593 (fnms<mode>4): Likewise.
594 (nfma<mode>4): Likewise.
595 (nfms<mode>4): Likewise.
597 2017-01-04 Marek Polacek <polacek@redhat.com>
600 * doc/invoke.texi: Document -Wpointer-compare.
602 2017-01-04 Jakub Jelinek <jakub@redhat.com>
604 * optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without
607 * dwarf2out.c (output_loc_list): Don't throw away 64K+ location
608 descriptions for -gdwarf-5 and emit them as uleb128 instead of
611 2017-01-04 Kelvin Nilsen <kelvin@gcc.gnu.org>
614 * doc/sourcebuild.texi (PowerPC-specific attributes): Add
615 documentation of the powerpc_popcntb_ok attribute.
616 * config/rs6000/rs6000.c (rs6000_option_override_internal): Add
617 code to issue warning messages if a requested CPU configuration is
618 not supported by the binary (assembler and loader) toolchain.
619 (spe_init_builtins): Add two assertions to prevent ICE if attempt is
620 made to define a built-in function that has been disabled.
621 (paired_init_builtins): Add assertion to prevent ICE if attempt is
622 made to define a built-in function that has been disabled.
623 (altivec_init_builtins): Add comment explaining why definition
624 of the DST built-in functions is not preceded by an assertion
625 check. Add assertions to prevent ICE if attempts are made to
626 define an altivec predicate or an abs* built-in function that has
628 (htm_init_builtins): Add comment explaining why definition of the
629 htm built-in functions is not preceded by an assertion check.
631 2017-01-04 Jeff Law <law@redhat.com>
633 PR tree-optimizatin/67955
634 * tree-ssa-alias.c (same_addr_size_stores_p): Check offsets first.
635 Allow any SSA_VAR_P as the base objects. Use integer_zerop. Verify
636 the points-to solution does not include pt_null. Use DECL_PT_UID
639 2017-01-04 Uros Bizjak <ubizjak@gmail.com>
641 * config/i386/i386.md (HI/SImode test with imm to QImode splitters):
642 Use gen_int_mode instead of gen_lopwart for const_int operands.
644 2017-01-04 Jakub Jelinek <jakub@redhat.com>
646 PR tree-optimization/71563
647 * match.pd: Simplify X << Y into X if Y is known to be 0 or
648 out of range value - has low bits known to be zero.
650 2017-01-04 Alan Modra <amodra@gmail.com>
652 * Makefile.in (aclocal_deps): Update and order as per aclocal.m4.
653 * configure: Regenerate.
654 * config.in: Regenerate.
656 2017-01-04 Jakub Jelinek <jakub@redhat.com>
659 * input.c (ebcdic_execution_charset::on_error): Don't use strstr for
660 a substring of the message, but strcmp with the whole message. Ifdef
661 ENABLE_NLS, translate the message first using dgettext.
663 2017-01-03 Jeff Law <law@redhat.com>
665 PR tree-optimizatin/78856
666 * tree-ssa-threadupdate.c: Include tree-vectorizer.h.
667 (mark_threaded_blocks): Remove code to truncate thread paths that
668 cross multiple loop headers. Instead invalidate the cached loop
669 iteration information and handle case of a thread path walking
670 into an irreducible region.
672 2017-01-03 Michael Meissner <meissner@linux.vnet.ibm.com>
675 * config/rs6000/rs6000.c (rs6000_split_signbit): Change some
676 assertions. Add support for doing the signbit if the IEEE 128-bit
677 floating point value is in a GPR.
678 * config/rs6000/rs6000.md (Fsignbit): Delete.
679 (signbit<mode>2_dm): Delete using <Fsignbit> and just use "wa".
680 Update the length attribute if the value is in a GPR.
681 (signbit<mode>2_dm_<su>ext): Add combiner pattern to eliminate
682 the sign or zero extension instruction, since the value is always 0/1.
683 (signbit<mode>2_dm2): Delete using <Fsignbit>.
686 * config/rs6000/vsx.md (vsx_extract_<mode>_store_p9): If we are
687 extracting SImode to a GPR register so that we can generate a
688 store, limit the vector to be in a traditional Altivec register
689 for the vextuwrx instruction.
691 2017-01-03 Ian Lance Taylor <iant@google.com>
693 * godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.
695 2017-01-03 Martin Sebor <msebor@redhat.com>
697 PR tree-optimization/78696
698 * gimple-ssa-sprintf.c (format_floating): Correct handling of
699 precision. Use MPFR for %f for greater fidelity. Correct handling
701 (pass_sprintf_length::compute_format_length): Set width and precision
702 specified by asrerisk to void_node for vararg functions.
703 (try_substitute_return_value): Adjust dump output.
705 2017-01-03 David Edelsohn <dje.gcc@gmail.com>
707 * doc/invoke.texi (RS6000 options): LRA is enabled by default.
709 2017-01-03 Eric Botcazou <ebotcazou@adacore.com>
711 * doc/invoke.texi (SPARC options): Document -mlra as the default.
712 * config/sparc/sparc.c (sparc_option_override): Force LRA unless
713 -mlra/-mno-lra was passed to the compiler.
715 2017-01-03 James Cowgill <James.Cowgill@imgtec.com>
717 PR rtl-optimization/65618
718 * emit-rtl.c (try_split): Move initialization of "before" and
719 "after" to just before the call to emit_insn_after_setloc.
721 2017-01-03 Gerald Pfeifer <gerald@pfeifer.com>
723 * doc/md.texi (Standard Names): Remove reference to Java frontend.
725 2017-01-03 Pierre-Marie de Rodat <derodat@adacore.com>
727 * dwarf2out.c (gen_enumeration_type_die): When
728 -gno-strict-dwarf, add a DW_AT_encoding attribute.
730 2017-01-03 Jakub Jelinek <jakub@redhat.com>
732 PR tree-optimization/78965
733 * gimple-ssa-sprintf.c (pass_sprintf_length::compute_format_length):
734 Change first argument from const call_info & to call_info &. For %n
735 set info.nowrite to false.
738 * gimple-ssa-sprintf.c (try_substitute_return_value): Don't change
739 possibly throwing calls.
741 * genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME
742 and exprs_len || fns_len, emit the code for SSA_NAME next to the exprs
743 and fns handling, rather than in a separate case SSA_NAME.
745 2017-01-02 Jeff Law <law@redhat.com>
747 * config/darwin-driver.c (darwin_driver_init): Const-correctness
748 fixes for first_period and second_period variables.
750 2017-01-02 Uros Bizjak <ubizjak@gmail.com>
753 * config/i386/i386.md (UNSPEC_NOREX_MEM): New unspec.
754 (*insvqi_1): New insn pattern.
755 (*insvqi_1_mem_rex64): Ditto.
757 (*insvqi_3): Rename from *insvqi.
759 (*extzvqi_mem_rex64): Add UNSPEC_NOREX_MEM tag.
761 2017-01-02 Gerald Pfeifer <gerald@pfeifer.com>
763 * doc/cfg.texi (Edges): Remove reference to Java.
764 (Maintaining the CFG): Ditto.
766 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
769 * symtab.c (symtab_node::binds_to_current_def_p): Fix handling of
772 2017-01-01 Jan Hubicka <hubicka@ucw.cz>
775 * predict.def (PRED_CALL): Update hitrate.
776 (PRED_INDIR_CALL, PRED_POLYMORPHIC_CALL): New predictors.
777 * predict.c (tree_estimate_probability_bb): Split CALL predictor
778 into direct/indirect/polymorphic variants.
780 2017-01-01 Jakub Jelinek <jakub@redhat.com>
782 Update copyright years.
784 * gcc.c (process_command): Update copyright notice dates.
785 * gcov-dump.c (print_version): Ditto.
786 * gcov.c (print_version): Ditto.
787 * gcov-tool.c (print_version): Ditto.
788 * gengtype.c (create_file): Ditto.
789 * doc/cpp.texi: Bump @copying's copyright year.
790 * doc/cppinternals.texi: Ditto.
791 * doc/gcc.texi: Ditto.
792 * doc/gccint.texi: Ditto.
793 * doc/gcov.texi: Ditto.
794 * doc/install.texi: Ditto.
795 * doc/invoke.texi: Ditto.
797 Copyright (C) 2017 Free Software Foundation, Inc.
799 Copying and distribution of this file, with or without modification,
800 are permitted in any medium without royalty provided the copyright
801 notice and this notice are preserved.