diff options
author | Jakub Jelinek <jakub@gcc.gnu.org> | 2014-03-18 12:31:04 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2014-03-18 12:31:04 +0100 |
commit | ed9c79e1ea5c0f74b25b5ec978be1e1a3672c1d1 (patch) | |
tree | f01461267c50ab3ebcbf136cd84fd5629973931c /gcc/predict.def | |
parent | e33da4a1131dd198a2fc13b1a839a06397763855 (diff) | |
download | gcc-ed9c79e1ea5c0f74b25b5ec978be1e1a3672c1d1.tar.gz |
re PR ipa/58721 (The subroutine perdida is no longer inlined in fatigue.f90)
PR ipa/58721
gcc/
* internal-fn.c: Include diagnostic-core.h.
(expand_BUILTIN_EXPECT): New function.
* gimplify.c (gimplify_call_expr): Use false instead of FALSE.
(gimplify_modify_expr): Gimplify 3 argument __builtin_expect into
IFN_BUILTIN_EXPECT call instead of __builtin_expect builtin call.
* ipa-inline-analysis.c (find_foldable_builtin_expect): Handle
IFN_BUILTIN_EXPECT.
* predict.c (expr_expected_value_1): Handle IFN_BUILTIN_EXPECT.
Revert 3 argument __builtin_expect code.
(strip_predict_hints): Handle IFN_BUILTIN_EXPECT.
* gimple-fold.c (gimple_fold_call): Likewise.
* tree.h (fold_builtin_expect): New prototype.
* builtins.c (build_builtin_expect_predicate): Add predictor
argument, if non-NULL, create 3 argument __builtin_expect.
(fold_builtin_expect): No longer static. Add ARG2 argument,
pass it through to build_builtin_expect_predicate.
(fold_builtin_2): Adjust caller.
(fold_builtin_3): Handle BUILT_IN_EXPECT.
* internal-fn.def (BUILTIN_EXPECT): New.
gcc/fortran/
* trans.c (gfc_unlikely, gfc_likely): Don't add __builtin_expect
if !optimize.
2014-03-18 Tobias Burnus <burnus@net-b.de>
PR ipa/58721
gcc/
* predict.def (PRED_FORTRAN_OVERFLOW, PRED_FORTRAN_FAIL_ALLOC,
PRED_FORTRAN_FAIL_IO, PRED_FORTRAN_WARN_ONCE, PRED_FORTRAN_SIZE_ZERO,
PRED_FORTRAN_INVALID_BOUND, PRED_FORTRAN_ABSENT_DUMMY): Add.
gcc/fortran/
* trans.h (gfc_unlikely, gfc_likely): Add predictor as argument.
(gfc_trans_io_runtime_check): Remove.
* trans-io.c (gfc_trans_io_runtime_check): Make static; add has_iostat
as argument, add predictor to block.
(set_parameter_value, gfc_trans_open, gfc_trans_close, build_filepos,
gfc_trans_inquire, gfc_trans_wait, build_dt): Update calls.
* trans.c (gfc_unlikely, gfc_likely): Add predictor as argument.
(gfc_trans_runtime_check, gfc_allocate_using_malloc,
gfc_allocate_allocatable, gfc_deallocate_with_status): Set explicitly
branch predictor.
* trans-expr.c (gfc_conv_procedure_call): Ditto.
* trans-stmt.c (gfc_trans_allocate): Ditto.
* trans-array.c (gfc_array_init_size, gfc_array_allocate): Ditto.
2014-03-18 Jan Hubicka <hubicka@ucw.cz>
PR ipa/58721
gcc/
* predict.c (combine_predictions_for_bb): Fix up formatting.
(expr_expected_value_1, expr_expected_value): Add predictor argument,
fill what it points to if non-NULL.
(tree_predict_by_opcode): Adjust caller, use the predictor.
* predict.def (PRED_COMPARE_AND_SWAP): Add.
From-SVN: r208641
Diffstat (limited to 'gcc/predict.def')
-rw-r--r-- | gcc/predict.def | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/gcc/predict.def b/gcc/predict.def index f4eddc5f8a8..145330cbed0 100644 --- a/gcc/predict.def +++ b/gcc/predict.def @@ -57,6 +57,11 @@ DEF_PREDICTOR (PRED_UNCONDITIONAL, "unconditional jump", PROB_ALWAYS, DEF_PREDICTOR (PRED_LOOP_ITERATIONS, "loop iterations", PROB_ALWAYS, PRED_FLAG_FIRST_MATCH) +/* Assume that any given atomic operation has low contention, + and thus the compare-and-swap operation succeeds. */ +DEF_PREDICTOR (PRED_COMPARE_AND_SWAP, "compare and swap", PROB_VERY_LIKELY, + PRED_FLAG_FIRST_MATCH) + /* Hints dropped by user via __builtin_expect feature. Note: the probability of PROB_VERY_LIKELY is now overwritten by param builtin_expect_probability with a default value of HITRATE(90). @@ -133,3 +138,41 @@ DEF_PREDICTOR (PRED_HOT_LABEL, "hot label", HITRATE (85), 0) /* Branches to cold labels are extremely unlikely. */ DEF_PREDICTOR (PRED_COLD_LABEL, "cold label", PROB_VERY_LIKELY, PRED_FLAG_FIRST_MATCH) + + +/* The following predictors are used in Fortran. */ + +/* Branch leading to an integer overflow are extremely unlikely. */ +DEF_PREDICTOR (PRED_FORTRAN_OVERFLOW, "overflow", PROB_ALWAYS, + PRED_FLAG_FIRST_MATCH) + +/* Branch leading to a failure status are unlikely. This can occur for out + of memory or when trying to allocate an already allocated allocated or + deallocating an already deallocated allocatable. This predictor only + occurs when the user explicitly asked for a return status. By default, + the code aborts, which is handled via PRED_NORETURN. */ +DEF_PREDICTOR (PRED_FORTRAN_FAIL_ALLOC, "fail alloc", PROB_VERY_LIKELY, 0) + +/* Branch leading to an I/O failure status are unlikely. This predictor is + used for I/O failures such as for invalid unit numbers. This predictor + only occurs when the user explicitly asked for a return status. By default, + the code aborts, which is handled via PRED_NORETURN. */ +DEF_PREDICTOR (PRED_FORTRAN_FAIL_IO, "fail alloc", HITRATE(85), 0) + +/* Branch leading to a run-time warning message which is printed only once + are unlikely. The print-warning branch itself can be likely or unlikely. */ +DEF_PREDICTOR (PRED_FORTRAN_WARN_ONCE, "warn once", HITRATE (75), 0) + +/* Branch belonging to a zero-sized array. */ +DEF_PREDICTOR (PRED_FORTRAN_SIZE_ZERO, "zero-sized array", HITRATE(70), 0) + +/* Branch belonging to an invalid bound index, in a context where it is + standard conform and well defined but rather pointless and, hence, rather + unlikely to occur. */ +DEF_PREDICTOR (PRED_FORTRAN_INVALID_BOUND, "zero-sized array", HITRATE(90), 0) + +/* Branch belonging to the handling of absent optional arguments. This + predictor is used when an optional dummy argument, associated with an + absent argument, is passed on as actual argument to another procedure, + which in turn has an optional argument. */ +DEF_PREDICTOR (PRED_FORTRAN_ABSENT_DUMMY, "absent dummy", HITRATE(60), 0) |