aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2017-11-15introduce TDF_compare_debug, omit OBJ_TYPE_REF casts with itAlexandre Oliva4-2/+17
for gcc/ChangeLog * dumpfile.h (TDF_COMPARE_DEBUG): New. * final.c (rest_of_clean_state): Set it for the -fcompare-debug dump. * tree-pretty-print.c (dump_generic_node): Omit OBJ_TYPE_REF class when TDF_COMPARE_DEBUG is set. From-SVN: r254751
2017-11-15Use compare-debug for bootstrap-debug-lean to ignore != DW_AT_producerAlexandre Oliva4-0/+12
Unlike bootstrap-debug, bootstrap-debug-lean used to pass compare using the traditional compare command, because it compiled both stage2 and stage3 with options that used to generate identical output (-fcompare-debug= in stage2 vs -fcompare-debug in stage3). Since we started adding relevant command-line flags to DW_AT_producer, this is no longer the case, and stages 2 and 3 object files that differ in nothing but the DW_AT_producer strings. -fcompare-debug is short for -fcompare-debug=-gtoggle, so stage3 compiles twice, once with the normal options, once with toggled -g, to then compare the temporary final dumps. When enabled, both compilations get from the driver an additional -frandom-seed flag (if none is given explicitly). -fcompare-debug= is short for -fno-compare-debug, disabling the second compilation. The difference between the DW_AT_producer lines are the different -fcompare-debug flags, and the presence of the -frandom-seed flag in the stage3 compilation. It is easy and sensible enough to filter the -fcompare-debug flags out of the DW_AT_producer string. This option should never affect the compilation output, it just determines whether or not to perform an additional compilation that should produce the same executable output. However, dropping -frandom-seed is not quite correct, in that it might have other consequences on the compilation. So, it makes little sense to make the effort to drop it when it's implicit; for those comparing compiler output differences, it might even hint at what causes, and could fix, difficult to explain differences, namely, explicitly supplying -frandom-seed options. They don't seem to matter for compiler bootstraps, though, at least for now, so we can safely refrain from issuing -frandom-seed (or maybe we already issue it where needed :-), and then, for bootstrap-debug-lean, use the compare-debug script, that strips out debug information before comparing the object files. for config/ChangeLog * bootstrap-debug-lean.mk (do-compare): Use the contrib/compare-debug script. for gcc/ChangeLog * dwarf2out.c (gen_producer_string): Discard OPT_fcompare_debug. From-SVN: r254750
2017-11-15Add __builtin_tgmath for better tgmath.h implementation (bug 81156).Joseph Myers15-63/+1441
Various implementations of C99/C11 <tgmath.h> have the property that their macro expansions contain many copies of the macro arguments, so resulting in exponential blowup of the size of macro expansions where a call to such a macro contains other such calls in the macro arguments. This patch adds a (C-only) language feature __builtin_tgmath designed to avoid this problem by implementing the <tgmath.h> function selection rules directly in the compiler. The effect is that type-generic macros can be defined simply as #define pow(a, b) __builtin_tgmath (powf, pow, powl, \ cpowf, cpow, cpowl, a, b) as in the example added to the manual, with each macro argument expanded exactly once. The details of __builtin_tgmath are as described in the manual. This is C-only since C++ uses function overloading and just defines <ctgmath> to include <ccomplex> and <cmath>. __builtin_tgmath handles C99/C11 type-generic macros, and _FloatN, _FloatNx and decimal floating-point types (following the proposed resolution to the floating-point TS DR#9 that makes the rules for finding a common type from arguments to a type-generic macro follow the usual arithmetic conversions after adjustment of integer arguments to _Decimal64 or double - or to _Complex double in the case of GNU complex integer arguments). Type-generic macros for functions from TS 18661 that round their results to a narrower type are handled, but there are still some unresolved questions regarding such macros so further changes in that regard may be needed in future. The current implementation follows an older version of the DR#13 resolution (allowing a function for a wide-enough argument type to be selected if no exactly-matching function is available), but with appropriate calls to __builtin_tgmath is still fully compatible with the latest version of the resolution (not yet in the DR log), and allowing such not-exactly-matching argument types to be chosen in that case avoids needing another special case to treat integers as _Float64 instead of double in certain cases. Regarding other possible language/library features, not currently implemented in GCC: * Imaginary types could be naturally supported by allowing cases where the type-generic type is an imaginary type T and arguments or return types may be T (as at present), or the corresponding real type to T (as at present), or (new) the corresponding real type if T is real or imaginary but T if T is complex. (tgmath.h would need a series of functions such as static inline _Imaginary double __sin_imag (_Imaginary double __x) { return _Imaginary_I * sinh (__imag__ __x); } to be used in __builtin_tgmath calls.) * __builtin_tgmath would use the constant rounding direction in the presence of support for the FENV_ROUND / FENV_DEC_ROUND pragmas. Support for those would also require a new __builtin_<something> to cause a non-type-generic call to use the constant rounding direction (it seems cleaner to add a new __builtin_<something> when required than to make __builtin_tgmath handle a non-type-generic case with only one function argument). * TS 18661-5 __STDC_TGMATH_OPERATOR_EVALUATION__ would require new __builtin_<something> that evaluates with excess range and precision like arithmetic operators do. * The proposed C bindings for IEEE 754-2018 augmented arithmetic operations involve struct return types. As currently implemented __builtin_tgmath does not handle those, but support could be added. There are many error cases that the implementation diagnoses. I've tried to ensure reasonable error messages for erroneous uses of __builtin_tgmath, but the errors for erroneous uses of the resulting type-generic macros (that is, when the non-function arguments have inappropriate types) are more important as they are more likely to be seen by users. GCC's own tgmath.h, as used for some targets, is updated in this patch. I've tested those changes minimally, via adjusting gcc.dg/c99-tgmath-* locally to use that tgmath.h version. I've also run the glibc testsuite (which has much more thorough tests of correctness of tgmath.h function selection) with a glibc patch to use __builtin_tgmath in glibc's tgmath.h. Bootstrapped with no regressions on x86_64-pc-linux-gnu. PR c/81156 gcc: * doc/extend.texi (Other Builtins): Document __builtin_tgmath. * ginclude/tgmath.h (__tg_cplx, __tg_ldbl, __tg_dbl, __tg_choose) (__tg_choose_2, __tg_choose_3, __TGMATH_REAL_1_2) (__TGMATH_REAL_2_3): Remove macros. (__TGMATH_CPLX, __TGMATH_CPLX_2, __TGMATH_REAL, __TGMATH_REAL_2) (__TGMATH_REAL_3, __TGMATH_CPLX_ONLY): Define using __builtin_tgmath. (frexp, ldexp, nexttoward, scalbn, scalbln): Define using __TGMATH_REAL_2. (remquo): Define using __TGMATH_REAL_3. gcc/c: * c-parser.c (check_tgmath_function): New function. (enum tgmath_parm_kind): New enum. (c_parser_postfix_expression): Handle __builtin_tgmath. gcc/c-family: * c-common.c (c_common_reswords): Add __builtin_tgmath. * c-common.h (enum rid): Add RID_BUILTIN_TGMATH. gcc/testsuite: * gcc.dg/builtin-tgmath-1.c, gcc.dg/builtin-tgmath-2.c, gcc.dg/builtin-tgmath-err-1.c, gcc.dg/builtin-tgmath-err-2.c, gcc.dg/dfp/builtin-tgmath-dfp-err.c, gcc.dg/dfp/builtin-tgmath-dfp.c: New tests. From-SVN: r254749
2017-11-15compiler: remove LHS/RHS context determination for var exprsThan McIntosh11-154/+34
Remove the code that determined LHS/RHS context for var expressions (was needed previously for some instances of the back end). LHS/RHS context is computed by the back end in all cases, so no need to have this code in the front end any more. Reviewed-on: https://go-review.googlesource.com/77510 * go-gcc.cc (var_expression): Remove Varexpr_context parameter. From-SVN: r254748
2017-11-14vr-values.c: New file with contents extracted from tree-vrp.c.Jeff Law5-4196/+4315
* vr-values.c: New file with contents extracted from tree-vrp.c. * Makefile.in (OBJS): Add vr-values.o * tree-vrp.h (set_value_range_to_nonnull): Prototype. (set_value_range, set_and_canonicalize_value_range): Likewise. (vrp_bitmap_equal_p, range_is_nonnull): Likewise. (value_range_constant_singleton, symbolic_range_p): Likewise. (compare_values, compare_values_warnv, vrp_val_is_min): Likewise. (vrp_val_is_max, copy_value_range, set_value_range_to_value): Likewise. (extract_range_from_binary_expr_1, vrp_val_min, vrp_val_max): Likewise. (set_value_range_to_null, range_int_cst_p, opreand_less_p): Likewise. (find_case_label_range, find_case_label_index): Likewise. (zero_nonzero_bits_from_vr, overflow_comparison_p): Likewise. (range_int_cst_singleton_p, value_inside_range): Likewise. (get_single_symbol): Likewise. (switch_update): Move structure definition here. (to_remove_edges, to_update_switch_stmts): Provide externs. * tree-vrp.c: Move all methods for vr-values class to vr-values.c (vrp_val_max, vrp_val_min, vrp_val_is_max): Make externally visible. (vrp_val_is_min, set_value_range): Likewise. (set_and_canonicalize_value_range, copy_value_range): Likewise. (set_value_range_to_value, set_value_range_to_nonnull): Likewise. (set_value_range_to_null, vrp_bitmap_equal_p): Likewise. (range_is_nonnull, range_int_cst_p): Likewwise. (range_int_cst_singleton_p, symbolic_range_p): Likewise. (get_single_symbol, operand_less_p): Likewise (compare_values_warnv, compare_values): Likewise. (value_inside_range, value_range_constant_singleton): Likewise. (zero_nonzero_bitgs_from_vr): Likewise. (extract_range_from_binary_expr_1): Likewise. (overflow_comparison_p): Likewise. (to_remove_edges, to_update_switch_stmts): Likewise. (find_case_label-index, find_case_label_range): Likewise. (switch_update, set_value_range_to_nonnegative): Remove. (set_value_range_to_truthvalue): Likewise. (symbolic_range_based_on_p, gimple_assign_nonzero_p): Likewise. (gimple_stmt_nonzero_p, compare_ranges): Likewise. (compare_range_with_value, vrp_valueize, vrp_valueize_1): Likewise. (find_case_label_ranges, test_for_singularity): Likewise. (range_fits_type_p, simplify_conversion_using_ranges): LIkewise. (x_vr_values): Move to its remaining use site. From-SVN: r254747
2017-11-15Daily bump.GCC Administrator1-1/+1
From-SVN: r254746
2017-11-14rs6000.md (bswapdi2): On 32-bit ISA 3.0, don't generate the XXBRD instruction.Michael Meissner2-6/+3
2017-11-14 Michael Meissner <meissner@linux.vnet.ibm.com> * config/rs6000/rs6000.md (bswapdi2): On 32-bit ISA 3.0, don't generate the XXBRD instruction. From-SVN: r254742
2017-11-14rs6000-c.c (is_float128_p): New helper function.Michael Meissner7-131/+325
[gcc] 2017-11-14 Michael Meissner <meissner@linux.vnet.ibm.com> * config/rs6000/rs6000-c.c (is_float128_p): New helper function. (rs6000_builtin_type_compatible): Treat _Float128 and long double as being compatible if -mabi=ieeelongdouble. * config/rs6000/rs6000-builtin.def (BU_FLOAT128_HW_1): New macros to setup float128 built-ins with hardware support. (BU_FLOAT128_HW_2): Likewise. (BU_FLOAT128_HW_3): Likewise. (BU_FLOAT128_HW_VSX_1): Likewise. (BU_FLOAT128_HW_VSX_2): Likewise. (scalar_extract_expq): Change float128 built-in functions to accommodate having both KFmode and TFmode functions. Use the KFmode variant as the default. (scalar_extract_sigq): Likewise. (scalar_test_neg_qp): Likewise. (scalar_insert_exp_q): Likewise. (scalar_insert_exp_qp): Likewise. (scalar_test_data_class_qp): Likewise. (sqrtf128_round_to_odd): Delete processing the round to odd built-in functions as special built-in functions, and define them as float128 built-ins. Use the KFmode variant as the default. (truncf128_round_to_odd): Likewise. (addf128_round_to_odd): Likewise. (subf128_round_to_odd): Likewise. (mulf128_round_to_odd): Likewise. (divf128_round_to_odd): Likewise. (fmaf128_round_to_odd): Likewise. * config/rs6000/rs6000.c (rs6000_expand_binop_builtin): Add support for KFmode and TFmode xststdcqp calls. (rs6000_expand_builtin): If long double is IEEE 128-bit floating point, switch the built-in handlers for the get/set float128 exponent, get float128 mantissa, float128 test built-ins, and the float128 round to odd built-in functions. Eliminate creating the float128 round to odd built-in functions as special built-ins. (rs6000_init_builtins): Eliminate special creation of the float128 round to odd built-in functions. * config/rs6000/vsx.md (xsxexpqp_<mode>): Change float128 built-in function insns to support both TFmode and KFmode variants. (xsxsigqp_<mode>): Likewise. (xsiexpqpf_<mode>): Likewise. (xsiexpqp_<mode>): Likewise. (xststdcqp_<mode>): Likewise. (xststdcnegqp_<mode>): Likewise. (xststdcqp_<mode>): Likewise. [gcc/testsuite] 2017-11-14 Michael Meissner <meissner@linux.vnet.ibm.com> * gcc.target/powerpc/float128-hw4.c: New test. From-SVN: r254740
2017-11-14tree-ssa-threadupdate.c (compute_path_counts): Remove unused ↵Jan Hubicka2-12/+8
path_in_freq_ptr parameter. * tree-ssa-threadupdate.c (compute_path_counts): Remove unused path_in_freq_ptr parameter. (ssa_fix_duplicate_block_edges): Do not pass around path_in_freq From-SVN: r254739
2017-11-14ipa-inline.c (edge_badness): Dump sreal frequency.Jan Hubicka3-5/+10
* ipa-inline.c (edge_badness): Dump sreal frequency. (compute_inlined_call_time): Match natural implementaiton ... * ipa-fnsummary.c (estimate_edge_size_and_time): ... here; remove forgotten division by CGRAPH_FREQ_BASE. From-SVN: r254738
2017-11-14Adapt Solaris 12 referencesRainer Orth14-19/+41
libgcc: * config.host (*-*-solaris2*): Adapt comment for Solaris 12 renaming. * config/sol2/crtpg.c (__start_crt_compiler): Likewise. * configure.ac (libgcc_cv_solaris_crts): Likewise. * configure: Regenerate. gcc: * config.gcc (*-*-solaris2*): Enable default_use_cxa_atexit since Solaris 11. Update comment. * configure.ac (gcc_cv_ld_pid): Adapt comment for Solaris 12 renaming. * config/sol2.h (STARTFILE_SPEC): Likewise. * configure: Regenerate. gcc/testsuite: * lib/target-supports.exp (check_effective_target_pie): Adapt comment for Solaris 12 renaming. * gcc.dg/torture/pr60092.c: Remove *-*-solaris2.11* dg-xfail-run-if. From-SVN: r254737
2017-11-14Implement LWG 2733 and LWG 2759Ville Voutilainen5-21/+69
* include/experimental/numeric (gcd): Reject cv-qualified bool. (lcm): Likewise. * include/std/numeric (gcd): Likewise. (lcm): Likewise. * testsuite/26_numerics/gcd/gcd_neg.cc: Add tests and adjust. * testsuite/26_numerics/lcm/lcm_neg.cc: Likewise. From-SVN: r254736
2017-11-14Fix typo in std::wbuffer_convertJonathan Wakely3-1/+64
* include/bits/locale_conv.h (wbuffer_convert::_M_conv_get): Fix typo. * testsuite/22_locale/conversions/buffer/3.cc: New test. From-SVN: r254735
2017-11-14rs6000.c (swap_endian_selector_for_mode): Remove le_ and be_ prefixes to ↵Carl Love5-98/+75
swap* variables. gcc/ChangeLog: 2017-11-14 Carl Love <cel@us.ibm.com> * config/rs6000/rs6000.c (swap_endian_selector_for_mode): Remove le_ and be_ prefixes to swap* variables. Remove if (VECTOR_ELT_ORDER_BIG) statement. Remove E_V16QImode case statements. gcc/testsuite/ChangeLog: 2017-11-14 Carl Love <cel@us.ibm.com> * builtins-revb-runnable.c (dg-do run): Add lp64 directive. Fix indentation of printf and abort statements. * p9-xxbr-1.c (dg-do compile): Add lp64 && p9vector_h directives. From-SVN: r254732
2017-11-14Support GTY((cache)) on hash_map.Jason Merrill12-53/+96
gcc/ * hash-traits.h (ggc_remove): Add ggc_maybe_mx member function. (ggc_cache_remove): Override it instead of ggc_mx. * hash-table.h (gt_ggc_mx): Call it instead of ggc_mx. (gt_cleare_cache): Call ggc_mx instead of gt_ggc_mx. * hash-map-traits.h (simple_hashmap_traits): Add maybe_mx member. (simple_cache_map_traits): Override maybe_mx. * hash-map.h (hash_entry): Add ggc_maybe_mx and keep_cache_entry. (hash_map): Friend gt_cleare_cache. (gt_cleare_cache): New. * tree.h (tree_cache_traits): New hash_map traits class. (tree_cache_map): New typedef. gcc/cp/ * decl.c (decomp_type_table): Use tree_cache_map. * init.c (nsdmi_inst): Likewise. * pt.c (defarg_ints): Likewise. * cp-objcp-common.c (cp_get_debug_type): Likewise. From-SVN: r254731
2017-11-14tree-cfgcleanup.c (cleanup_control_expr_graph): Remove first_p paramter and ↵Richard Biener2-34/+65
handling. 2017-11-14 Richard Biener <rguenther@suse.de> * tree-cfgcleanup.c (cleanup_control_expr_graph): Remove first_p paramter and handling. (cleanup_control_flow_bb): Likewise. (cleanup_control_flow_pre): New helper performing a DFS walk to call cleanup_control_flow_bb in PRE order. (cleanup_tree_cfg_1): Do the first phase of cleanup_control_flow_bb via cleanup_control_flow_pre. From-SVN: r254730
2017-11-14libgo: adapt Solaris 12 referencesIan Lance Taylor6-12/+12
With the change in the Solaris release model (no more major releases like Solaris 12 but only minor ones like 11.4), the Solaris 12 references in GCC need to be adapted. Patch by Rainer Orth. Reviewed-on: https://go-review.googlesource.com/77490 From-SVN: r254729
2017-11-14[Patch AArch64] Stop generating BSL for simple integer codeJames Greenhalgh5-14/+222
Turn aarch64_simd_bsldi_internal in to an insn_and_split that knows to split back to integer operations if the register allocation falls that way. Do this to avoid having to move between integer and Advanced SIMD register files just for a single BSL. --- gcc/ * config/aarch64/aarch64-simd.md (aarch64_simd_bsl<mode>_internal): Remove DImode. (*aarch64_simd_bsl<mode>_alt): Likewise. (aarch64_simd_bsldi_internal): New. (aarch64_simd_bsldi_alt): Likewise. gcc/testsuite/ * gcc.target/aarch64/bsl-idiom.c: New. * gcc.target/aarch64/copysign-bsl.c: New. From-SVN: r254727
2017-11-14tracer.c (better_p): Do not compare frequencies.Jan Hubicka4-16/+16
* tracer.c (better_p): Do not compare frequencies. * reg-stack.c (better_edge): Likewise. * shrink-wrap.c (try_shrink_wrapping): Do not convert to gcov counts and back. From-SVN: r254726
2017-11-14auto-profile.c (afdo_annotate_cfg): Use update_max_bb_count.Jan Hubicka11-60/+85
* auto-profile.c (afdo_annotate_cfg): Use update_max_bb_count. * cgraphunit.c (cgraph_node::expand_thunk): Use update_max_bb_count. * ipa-utils.c (ipa_merge_profiles): Use update_max_bb_count. * lto-streamer-in.c (input_function): Use update_max_bb_count. * omp-expand.c (expand_omp_taskreg): Use update_max_bb_count. * predict.c (maybe_hot_frequency_p): Inline to ... (maybe_hot_count_p): ... here; rewrite to counts. (counts_to_freqs): Rename to ... (update_max_bb_count): ... this one. (expensive_function_p): Use counts. (estimate_bb_frequencies): Update. (rebuild_frequencies): Update. * predict.h (counts_to_freqs): Rename to ... (update_max_bb_count): ... this one. * profile.c (compute_branch_probabilities): Add debug info * tree-inline.c (expand_call_inline): Update debug info. (optimize_inline_calls): Use update_max_bb_count.. (tree_function_versioning): Use update_max_bb_count.. * value-prof.c (gimple_value_profile_transformations): Do not use update_max_bb_count. From-SVN: r254725
2017-11-14ipa-inline.c (compute_uninlined_call_time, [...]): always use frequencies.Jan Hubicka2-8/+6
* ipa-inline.c (compute_uninlined_call_time, compute_inlined_call_time): always use frequencies. From-SVN: r254724
2017-11-14Allow asyncwait-1.c to run for non-nvidia devicesTom de Vries2-2/+19
2017-11-14 Tom de Vries <tom@codesourcery.com> * testsuite/libgomp.oacc-c-c++-common/asyncwait-1.c: Allow to run for non-nvidia devices. From-SVN: r254723
2017-11-14Require alloca for c-c++-common/Wstringop-truncation.cTom de Vries2-1/+6
2017-11-14 Tom de Vries <tom@codesourcery.com> * c-c++-common/Wstringop-truncation.c: Require effective target alloca. From-SVN: r254722
2017-11-14bb-reorder.c: Remove frequencies from comments.Jan Hubicka2-49/+76
* bb-reorder.c: Remove frequencies from comments. (better_edge_p): Use profile counts. (find_traces): Dump profile counts. (rotate_loop): Use profile counts. (find_traces_1_round): Likewise. (connect_better_edge_p): Use counts instead of probabilities for reverse walk. (copy_bb_p): Drop early check for non-0 frequency. (sanitize_hot_paths): Update comments. From-SVN: r254721
2017-11-14ipa-split.c (struct split_point): Add count.Jan Hubicka5-17/+71
* ipa-split.c (struct split_point): Add count. (consider_split): Do not compute incoming frequency; compute incoming count and store it to split_point. (split_function): Set count of the call to split part correctly. * testsuite/gcc.dg/tree-ssa/fnsplit-2.c: New testcase. From-SVN: r254720
2017-11-14re PR fortran/78240 (ICE in match_clist_expr, at fortran/decl.c:728)Fritz Reese6-14/+70
2017-11-13 Fritz Reese <fritzoreese@gmail.com> PR fortran/78240 gcc/fortran/ChangeLog: PR fortran/78240 * decl.c (match_clist_expr): Replace gcc_assert with proper handling of bad result from spec_size(). * resolve.c (check_data_variable): Avoid NULL dereference when passing locus to gfc_error. gcc/testsuite/ChangeLog: PR fortran/78240 * gfortran.dg/dec_structure_23.f90: New. * gfortran.dg/pr78240.f90: New. From-SVN: r254718
2017-11-14Daily bump.GCC Administrator1-1/+1
From-SVN: r254717
2017-11-13altivec.md (altivec_vsumsws_be): Add define_expand.Carl Love4-0/+25
gcc/ChangeLog: 2017-11-13 Carl Love <cel@us.ibm.com> * config/rs6000/altivec.md (altivec_vsumsws_be): Add define_expand. gcc/testsuite/ChangeLog: 2017-11-13 Carl Love <cel@us.ibm.com> * gcc.target/powerpc/builtin-vec-sums-be-int.c: New test file. From-SVN: r254714
2017-11-13Capture adjustments for P0588R1.Jason Merrill10-150/+68
* semantics.c (process_outer_var_ref): Capture variables when they are named; complain about non-capture uses when odr-used. * expr.c (mark_use): Rvalue use looks through capture proxy. * constexpr.c (potential_constant_expression_1): Improve error about use of captured variable. * lambda.c (need_generic_capture, dependent_capture_r) (do_dependent_capture, processing_nonlambda_template): Remove. * call.c (build_this): Remove uses of the above. * decl.c (cp_finish_decl): Likewise. * semantics.c (maybe_cleanup_point_expr) (maybe_cleanup_point_expr_void, finish_goto_stmt) (maybe_convert_cond): Likewise. * typeck.c (check_return_expr): Likewise. From-SVN: r254713
2017-11-13Defer folding of *&.Jason Merrill14-66/+94
* typeck.c (cp_build_fold_indirect_ref): New. (cp_build_indirect_ref_1): Split out from cp_build_indirect_ref. Add 'fold' parameter. * cp-tree.h: Declare cp_build_fold_indirect_ref. * call.c, class.c, cp-ubsan.c, decl.c, except.c, init.c, lambda.c, parser.c, rtti.c, tree.c, typeck.c, typeck2.c: Use it. * parser.c (do_range_for_auto_deduction): Use RO_UNARY_STAR. (cp_convert_range_for): Likewise. * typeck2.c (build_x_arrow): Use RO_ARROW. From-SVN: r254712
2017-11-13Fix cp-ubsan typo.Jason Merrill2-1/+4
* cp-ubsan.c (cp_ubsan_check_member_access_r): Fix handling of INDIRECT_REF of ADDR_EXPR. From-SVN: r254711
2017-11-13PR c++/82360 - ICE with static_cast in template.Jason Merrill4-1/+45
* call.c (perform_direct_initialization_if_possible): Check processing_template_decl. * typeck.c (build_static_cast_1): Likewise. From-SVN: r254710
2017-11-13Implement __VA_OPT__Tom Tromey14-34/+369
This implements __VA_OPT__, a new preprocessor feature added in C++2A. The paper can be found here: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0306r4.html gcc/ChangeLog * doc/cpp.texi (Variadic Macros): Document __VA_OPT__. gcc/testsuite/ChangeLog * c-c++-common/cpp/va-opt-pedantic.c: New file. * c-c++-common/cpp/va-opt.c: New file. * c-c++-common/cpp/va-opt-error.c: New file. libcpp/ChangeLog * pch.c (cpp_read_state): Set n__VA_OPT__. * macro.c (vaopt_state): New class. (_cpp_arguments_ok): Check va_opt flag. (replace_args, create_iso_definition): Use vaopt_state. * lex.c (lex_identifier_intern): Possibly issue errors for __VA_OPT__. (lex_identifier): Likewise. (maybe_va_opt_error): New function. * internal.h (struct lexer_state) <va_args_ok>: Update comment. (struct spec_nodes) <n__VA_OPT__>: New field. * init.c (struct lang_flags) <va_opt>: New field. (lang_defaults): Add entries for C++2A. Update all entries for va_opt. (cpp_set_lang): Initialize va_opt. * include/cpplib.h (struct cpp_options) <va_opt>: New field. * identifiers.c (_cpp_init_hashtable): Initialize n__VA_OPT__. From-SVN: r254707
2017-11-13rs6000-c.c (altivec_overloaded_builtins): Add support for builtins...Carl Love9-6/+1369
gcc/ChangeLog: 2017-11-13 Carl Love <cel@us.ibm.com> * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add support for builtins: unsigned int vec_first_{,miss}_match_{,or_eos}index, vector {un,}signed {char,int,short}, vector {un,}signed {char,int,short}) arguments. * config/rs6000/rs6000-builtin.def (VFIRSTMATCHINDEX, VFIRSTMATCHOREOSINDEX, VFIRSTMISMATCHINDEX, VFIRSTMISMATCHOREOSINDEX): Add BU_P9V_AV_2 expansions for the builtins. * config/rs6000/altivec.h (vec_first_match_index, vec_first_mismatch_index, vec_first_match_or_eos_index, vec_first_mismatch_or_eos_index): Add #defines for the builtins. * config/rs6000/rs6000-protos.h (bytes_in_mode): Add new extern declaration. * config/rs6000/rs6000.c (bytes_in_mode): Add new function. * config/rs6000/vsx.md (first_match_index_<mode>, first_match_or_eos_index_<mode>, first_mismatch_index_<mode>, first_mismatch_or_eos_index_<mode>): Add define expand. (vctzlsbb_<mode>): Add mode field to define_insn for vctzlsbb. * doc/extend.texi: Update the built-in documenation file for the new built-in functions. gcc/testsuite/ChangeLog: 2017-11-13 Carl Love <cel@us.ibm.com> * gcc.target/powerpc/builtins-6-p9-runnable.c: Add new runnable test. * gcc.target/powerpc/vsu/vec-cnttz-lsbb-2.c: Update expected error message. From-SVN: r254704
2017-11-13libcpp: move line typedef and column-numbering comment to top of fileDavid Malcolm2-23/+28
The description of our 1-based column-numbering convention was in a non-obvious place withn line-map.h; this patch moves it to the top of that header. libcpp/ChangeLog: * include/line-map.h (linenum_type): Move this typedef and the comment describing column numbering to near the top of the file. From-SVN: r254703
2017-11-13match.pd: Convert fminf<N>...Michael Meissner4-4/+34
[gcc] 2017-11-13 Michael Meissner <meissner@linux.vnet.ibm.com> * match.pd: Convert fminf<N>, fminf<N>x, fmax<N>, and fmax<N>x into the min/max operations for _Float<N> and _Float<N>X types. [gcc/testsuite] 2017-11-13 Michael Meissner <meissner@linux.vnet.ibm.com> * gcc.target/powerpc/float128-minmax.c: New test. From-SVN: r254702
2017-11-13re PR lto/81351 (Many LTO testcases FAIL)Eric Botcazou2-1/+15
PR lto/81351 * dwarf2out.c (do_eh_frame): New static variable. (dwarf2out_begin_prologue): Set it. (dwarf2out_frame_finish): Test it instead of dwarf2out_do_eh_frame. From-SVN: r254700
2017-11-13* tree-ssa-coalesce.c (coalesce_cost): Fix formating.Jan Hubicka2-1/+4
From-SVN: r254699
2017-11-13* tree-ssa-sink.c (select_best_block): Do not use frequencies.Jan Hubicka2-2/+8
From-SVN: r254698
2017-11-13re PR lto/81351 (Many LTO testcases FAIL)Eric Botcazou6-82/+38
PR lto/81351 * debug.h (dwarf2out_do_eh_frame): Declare. * dwarf2cfi.c (dwarf2out_do_eh_frame): New predicate. (dwarf2out_do_frame): Use it. (dwarf2out_do_cfi_asm): Likewise. * dwarf2out.c (dwarf2out_frame_finish): Likewise. (dwarf2out_assembly_start): Likewise. (dwarf2out_begin_prologue): Fix comment. * toplev.c (compile_file): Always call dwarf2out_frame_finish if the target needs either debug or unwind DWARF2 info. * lto-opts.c (lto_write_options): Do not save -fexceptions, -fnon-call-exceptions, -ffp-contract, -fmath-errno, -fsigned-zeros, -ftrapping-math, -ftrapv and -fwrapv. From-SVN: r254697
2017-11-13cgraph.c (cgraph_edge::sreal_frequency): New function.Jan Hubicka7-15/+79
* cgraph.c (cgraph_edge::sreal_frequency): New function. * cgraph.h (cgraph_edge::sreal_frequency): Declare. * ipa-fnsummary.c (dump_ipa_call_summary): Use sreal_frequency. (estimate_edge_size_and_time): Likewise. (ipa_merge_fn_summary_after_inlining): Likewise. * ipa-inline.c (cgraph_freq_base_rec): Remove. (compute_uninlined_call_time): Use sreal_frequency. (compute_inlined_call_time): Likewise. (ipa_inline): Do not initialize cgraph_freq_base_rec. * profile-count.c: Include sreal.h. (profile_count::to_sreal_scale): New. * profile-count.h: Forward declare sreal. (profile_count::to_sreal_scale): Declare. From-SVN: r254696
2017-11-13Remove the null check from placement new in all modesVille Voutilainen7-10/+39
gcc/cp/ Remove the null check from placement new in all modes * init.c (build_new_1): Don't do a null check for a namespace-scope non-replaceable placement new in any mode unless -fcheck-new is provided. testsuite/ Remove the null check from placement new in all modes * g++.dg/init/pr35878_1.C: Adjust. * g++.dg/init/pr35878_4.C: New. * g++.dg/torture/pr48695.C: Adjust. * g++.dg/tree-ssa/pr31146-2.C: Likewise. * g++.dg/tree-ssa/pr41428.C: Adjust. From-SVN: r254694
2017-11-13[ARM] Fix more -Wreturn-type fallout (gcc.target/arm/pr67989.C).Christophe Lyon2-1/+7
2017-11-13 Christophe Lyon <christophe.lyon@linaro.org> * gcc.target/arm/pr67989.C: Add -Wno-return-type to dg-additional-options. From-SVN: r254692
2017-11-13[Diagnostic Patch] don't print column zeroNathan Sidwell51-438/+520
https://gcc.gnu.org/ml/gcc-patches/2017-10/msg01911.html * diagnostic.c (maybe_line_and_column): New. (diagnostic_get_location_text): Use it. (diagnostic_report_current_module): Likewise. (test_diagnostic_get_location_text): Add tests. * lib/gcc-dg.exp (process-message): Use -: for no column. * c-c++-common/cilk-plus/CK/cilk_for_grain_errors.c: Mark elided column messages. * c-c++-common/cpp/pr58844-1.c: Likewise. * c-c++-common/cpp/pr58844-2.c: Likewise. * c-c++-common/cpp/warning-zero-location.c: Likewise. * g++.dg/diagnostic/pr77949.C: Likewise. * g++.dg/gomp/macro-4.C: Likewise. * gcc.dg/Wunknownprag.c: Likewise. * gcc.dg/builtin-redefine.c: Likewise. * gcc.dg/cpp/Wunknown-pragmas-1.c: Likewise. * gcc.dg/cpp/Wunused.c: Likewise. * gcc.dg/cpp/misspelled-directive-1.c: Likewise. * gcc.dg/cpp/redef2.c: Likewise. * gcc.dg/cpp/redef3.c: Likewise. * gcc.dg/cpp/redef4.c: Likewise. * gcc.dg/cpp/trad/Wunused.c: Likewise. * gcc.dg/cpp/trad/argcount.c: Likewise. * gcc.dg/cpp/trad/comment-3.c: Likewise. * gcc.dg/cpp/trad/comment.c: Likewise. * gcc.dg/cpp/trad/defined.c: Likewise. * gcc.dg/cpp/trad/directive.c: Likewise. * gcc.dg/cpp/trad/funlike-3.c: Likewise. * gcc.dg/cpp/trad/funlike.c: Likewise. * gcc.dg/cpp/trad/literals-2.c: Likewise. * gcc.dg/cpp/trad/macro.c: Likewise. * gcc.dg/cpp/trad/pr65238-4.c: Likewise. * gcc.dg/cpp/trad/recurse-1.c: Likewise. * gcc.dg/cpp/trad/recurse-2.c: Likewise. * gcc.dg/cpp/trad/redef2.c: Likewise. * gcc.dg/cpp/ucnid-11.c: Likewise. * gcc.dg/cpp/unc1.c: Likewise. * gcc.dg/cpp/unc2.c: Likewise. * gcc.dg/cpp/unc3.c: Likewise. * gcc.dg/cpp/unc4.c: Likewise. * gcc.dg/cpp/undef2.c: Likewise. * gcc.dg/cpp/warn-redefined-2.c: Likewise. * gcc.dg/cpp/warn-redefined.c: Likewise. * gcc.dg/cpp/warn-unused-macros-2.c: Likewise. * gcc.dg/cpp/warn-unused-macros.c: Likewise. * gcc.dg/empty-source-2.c: Likewise. * gcc.dg/empty-source-3.c: Likewise. * gcc.dg/gomp/macro-4.c: Likewise. * gcc.dg/noncompile/pr35447-1.c: Likewise. * gcc.dg/plugin/location-overflow-test-1.c: Likewise. * gcc.dg/pr20245-1.c: Likewise. * gcc.dg/pr28419.c: Likewise. * gcc.dg/rtl/truncated-rtl-file.c: Likewise. * gcc.dg/unclosed-init.c: Likewise. From-SVN: r254691
2017-11-13ieee_8.f90: xfail for aarch64*-*-gnu*Charles Baylis2-1/+5
gcc/testsuite/ChangeLog: 2017-11-13 Charles Baylis <charles.baylis@linaro.org> * gfortran.dg/ieee/ieee_8.f90: xfail for aarch64*-*-gnu* From-SVN: r254689
2017-11-13[Documentation] Fix latency in pipeline description exampleLuis Machado2-2/+7
2017-11-09 Luis Machado <luis.machado@linaro.org> gcc/ * doc/md.texi (Specifying processor pipeline description): Fix incorrect latency for the div instruction example. From-SVN: r254680
2017-11-13re PR tree-optimization/78821 (GCC7: Copying whole 32 bits structure field ↵Jakub Jelinek4-18/+175
by field not optimised into copying whole 32 bits at once) PR tree-optimization/78821 * gimple-ssa-store-merging.c (compatible_load_p): Don't require that bit_not_p is the same. (imm_store_chain_info::coalesce_immediate_stores): Likewise. (split_group): Count precisely bit_not_p bits in each statement. (invert_op): New function. (imm_store_chain_info::output_merged_store): Use invert_op to emit BIT_XOR_EXPR with a xor_mask instead of BIT_NOT_EXPR if some but not all orig_stores have BIT_NOT_EXPR in the corresponding spots. * gcc.dg/store_merging_15.c: New test. From-SVN: r254679
2017-11-13GCOV: remove typedef of coverage_t.Martin Liska2-12/+22
2017-11-13 Martin Liska <mliska@suse.cz> * gcov.c (struct coverage_info): Remove typedef of coverage_t. (struct source_info): Likewise. (add_branch_counts): Likewise. (add_line_counts): Likewise. (function_summary): Likewise. (output_intermediate_line): Likewise. (generate_results): Likewise. From-SVN: r254678
2017-11-13GCOV: remove typedef for block_tMartin Liska2-26/+43
2017-11-13 Martin Liska <mliska@suse.cz> * gcov.c (struct block_info): Remove typedef for block_t. (struct line_info): Likewise. (line_info::has_block): Likewise. (EXIT_BLOCK): Likewise. (unblock): Likewise. (circuit): Likewise. (get_cycles_count): Likewise. (process_file): Likewise. (read_graph_file): Likewise. (solve_flow_graph): Likewise. (find_exception_blocks): Likewise. (add_line_counts): Likewise. (accumulate_line_info): Likewise. (output_line_details): Likewise. From-SVN: r254677
2017-11-13GCOV: remove typedef for arc_tMartin Liska2-29/+46
2017-11-13 Martin Liska <mliska@suse.cz> * gcov.c (struct arc_info): Remove typedef for arc_t. (struct line_info): Likewise. (add_branch_counts): Likewise. (output_branch_count): Likewise. (function_info::~function_info): Likewise. (circuit): Likewise. (output_intermediate_line): Likewise. (read_graph_file): Likewise. (solve_flow_graph): Likewise. (find_exception_blocks): Likewise. (add_line_counts): Likewise. (accumulate_line_info): Likewise. (output_line_details): Likewise. (output_function_details): Likewise. From-SVN: r254676
generated by cgit v1.1 at 2025-09-20 22:34:20 +0000