gcc/ChangeLog

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