[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 14/20] target/sparc: Merge advance_jump_uncond_{never, always} in
|
From: |
Richard Henderson |
|
Subject: |
[PATCH 14/20] target/sparc: Merge advance_jump_uncond_{never, always} into advance_jump_cond |
|
Date: |
Mon, 16 Oct 2023 23:41:03 -0700 |
Handle these via TCG_COND_{ALWAYS,NEVER}.
Allow dc->npc to be variable, using gen_mov_pc_npc.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
---
target/sparc/translate.c | 73 ++++++++++++++++------------------------
1 file changed, 29 insertions(+), 44 deletions(-)
diff --git a/target/sparc/translate.c b/target/sparc/translate.c
index 4c52425702..53a755874e 100644
--- a/target/sparc/translate.c
+++ b/target/sparc/translate.c
@@ -2286,37 +2286,36 @@ static bool advance_pc(DisasContext *dc)
* Major opcodes 00 and 01 -- branches, call, and sethi
*/
-static bool advance_jump_uncond_never(DisasContext *dc, bool annul)
-{
- if (annul) {
- dc->pc = dc->npc + 4;
- dc->npc = dc->pc + 4;
- } else {
- dc->pc = dc->npc;
- dc->npc = dc->pc + 4;
- }
- return true;
-}
-
-static bool advance_jump_uncond_always(DisasContext *dc, bool annul,
- target_ulong dest)
-{
- if (annul) {
- dc->pc = dest;
- dc->npc = dest + 4;
- } else {
- dc->pc = dc->npc;
- dc->npc = dest;
- tcg_gen_mov_tl(cpu_pc, cpu_npc);
- }
- return true;
-}
-
static bool advance_jump_cond(DisasContext *dc, DisasCompare *cmp,
bool annul, target_ulong dest)
{
target_ulong npc = dc->npc;
+ if (cmp->cond == TCG_COND_ALWAYS) {
+ if (annul) {
+ dc->pc = dest;
+ dc->npc = dest + 4;
+ } else {
+ gen_mov_pc_npc(dc);
+ dc->npc = dest;
+ }
+ return true;
+ }
+
+ if (cmp->cond == TCG_COND_NEVER) {
+ if (npc & 3) {
+ gen_mov_pc_npc(dc);
+ if (annul) {
+ tcg_gen_addi_tl(cpu_pc, cpu_pc, 4);
+ }
+ tcg_gen_addi_tl(cpu_npc, cpu_pc, 4);
+ } else {
+ dc->pc = npc + (annul ? 4 : 0);
+ dc->npc = dc->pc + 4;
+ }
+ return true;
+ }
+
flush_cond(dc);
if (annul) {
@@ -2388,15 +2387,8 @@ static bool do_bpcc(DisasContext *dc, arg_bcc *a)
if (unlikely(AM_CHECK(dc))) {
target &= 0xffffffffULL;
}
- switch (a->cond) {
- case 0x0:
- return advance_jump_uncond_never(dc, a->a);
- case 0x8:
- return advance_jump_uncond_always(dc, a->a, target);
- default:
- gen_compare(&cmp, a->cc, a->cond, dc);
- return advance_jump_cond(dc, &cmp, a->a, target);
- }
+ gen_compare(&cmp, a->cc, a->cond, dc);
+ return advance_jump_cond(dc, &cmp, a->a, target);
}
TRANS(BPcc, 64, do_bpcc, a)
@@ -2413,15 +2405,8 @@ static bool do_fbpfcc(DisasContext *dc, arg_bcc *a)
if (unlikely(AM_CHECK(dc))) {
target &= 0xffffffffULL;
}
- switch (a->cond) {
- case 0x0:
- return advance_jump_uncond_never(dc, a->a);
- case 0x8:
- return advance_jump_uncond_always(dc, a->a, target);
- default:
- gen_fcompare(&cmp, a->cc, a->cond);
- return advance_jump_cond(dc, &cmp, a->a, target);
- }
+ gen_fcompare(&cmp, a->cc, a->cond);
+ return advance_jump_cond(dc, &cmp, a->a, target);
}
TRANS(FBPfcc, 64, do_fbpfcc, a)
--
2.34.1
- [PATCH 18/20] target/sparc: Discard cpu_cond at the end of each insn, (continued)
- [PATCH 18/20] target/sparc: Discard cpu_cond at the end of each insn, Richard Henderson, 2023/10/17
- [PATCH 16/20] target/sparc: Merge gen_op_next_insn into only caller, Richard Henderson, 2023/10/17
- [PATCH 19/20] target/sparc: Implement UDIVX and SDIVX inline, Richard Henderson, 2023/10/17
- [PATCH 20/20] target/sparc: Implement UDIV inline, Richard Henderson, 2023/10/17
- [PATCH 13/20] target/sparc: Merge gen_branch2 into advance_pc, Richard Henderson, 2023/10/17
- [PATCH 15/20] target/sparc: Use DISAS_EXIT in do_wrpsr, Richard Henderson, 2023/10/17
- [PATCH 17/20] target/sparc: Record entire jump condition in DisasContext, Richard Henderson, 2023/10/17
- [PATCH 06/20] target/sparc: Remove CC_OP_SUB, CC_OP_SUBX, CC_OP_TSUB, Richard Henderson, 2023/10/17
- [PATCH 10/20] target/sparc: Change DisasCompare.c2 to int, Richard Henderson, 2023/10/17
- [PATCH 11/20] target/sparc: Always copy conditions into a new temporary, Richard Henderson, 2023/10/17
- [PATCH 14/20] target/sparc: Merge advance_jump_uncond_{never, always} into advance_jump_cond,
Richard Henderson <=