gcc/ChangeLog

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