gcc/ChangeLog

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