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