diff options
| author | Lulu Cheng <chenglulu@loongson.cn> | 2023-06-07 10:21:58 +0800 |
|---|---|---|
| committer | Lulu Cheng <chenglulu@loongson.cn> | 2023-06-15 16:26:02 +0800 |
| commit | f829733b5c92877247727347246d9f927372f0c1 (patch) | |
| tree | 6b69b17ece9ca9d28730431623b1b113a74c9512 /gcc | |
| parent | 523dc26b63938024ed2e90f2f32f847b52f147be (diff) | |
| download | gcc-f829733b5c92877247727347246d9f927372f0c1.zip gcc-f829733b5c92877247727347246d9f927372f0c1.tar.gz gcc-f829733b5c92877247727347246d9f927372f0c1.tar.bz2 | |
LoongArch: Avoid non-returning indirect jumps through $ra [PR110136]
Micro-architecture unconditionally treats a "jr $ra" as "return from subroutine",
hence doing "jr $ra" would interfere with both subroutine return prediction and
the more general indirect branch prediction.
Therefore, a problem like PR110136 can cause a significant increase in branch error
prediction rate and affect performance. The same problem exists with "indirect_jump".
gcc/ChangeLog:
PR target/110136
* config/loongarch/loongarch.md: Modify the register constraints for template
"jumptable" and "indirect_jump" from "r" to "e".
Co-authored-by: Andrew Pinski <apinski@marvell.com>
(cherry picked from commit 5430c86e71927492399129f3df80824c6c334ddf)
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/config/loongarch/loongarch.md | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/config/loongarch/loongarch.md b/gcc/config/loongarch/loongarch.md index 3509c3c..43c3578 100644 --- a/gcc/config/loongarch/loongarch.md +++ b/gcc/config/loongarch/loongarch.md @@ -2854,6 +2854,10 @@ } [(set_attr "type" "branch")]) +;; Micro-architecture unconditionally treats a "jr $ra" as "return from subroutine", +;; non-returning indirect jumps through $ra would interfere with both subroutine +;; return prediction and the more general indirect branch prediction. + (define_expand "indirect_jump" [(set (pc) (match_operand 0 "register_operand"))] "" @@ -2864,7 +2868,7 @@ }) (define_insn "@indirect_jump<mode>" - [(set (pc) (match_operand:P 0 "register_operand" "r"))] + [(set (pc) (match_operand:P 0 "register_operand" "e"))] "" "jr\t%0" [(set_attr "type" "jump") @@ -2887,7 +2891,7 @@ (define_insn "@tablejump<mode>" [(set (pc) - (match_operand:P 0 "register_operand" "r")) + (match_operand:P 0 "register_operand" "e")) (use (label_ref (match_operand 1 "" "")))] "" "jr\t%0" |