[PATCH v2 00/21] target/sparc: Cleanup condition codes etc

[Richard Henderson <richard.henderson@linaro.org>]

This was part of my guess for some of the performance problems.

I saw compute_all_sub quite high in the profile at some point, and I
believe that the test case has a partially rotated loop such that "cmp"
is in a delay slot, and so the gen_compare fast path for CC_OP_SUB is
not visible to the conditional branch that uses the output of the compare.
Which means that helper_compute_psr gets called more often that we'd like.

Since almost all Sparc instructions that set cc also have a version of
the instruction that does not set cc, we can trust that the compiler
has only used the cc-setting version when it is actually required.
Thus, unlike CISC processors, there is very little scope for optimization
of the flags -- we might as well compute them immediately.

Move away from CC_OP to explicit computation of conditions.  This is
modeled on target/arm for the (mostly) separate representation of the bits.
We can pack icc.[NV] and xcc.[NV] into the same target_ulong, but Z and C
cannot share.  (For "normal" setting of Z, we could share, but it is
possible to set xcc.Z and !icc.Z via explicit write to %ccr, and for
that we have to have two variables.)

After removing CC_OP, clean up the handling of conditions so that we can
minimize additional setcond required for env->cond.

Finally, inline some division, which can make use of the new out-of-line
exception path, which means we can expand UDIVX and SDIVX with very few
host insns.  The 64/32 UDIV insn needs only a few more.  Leave UDIVcc and
SDIV* out of line, as the overflow and saturation computation in these
cases is really too large to inline.


r~


Richard Henderson (21):
  target/sparc: Introduce cpu_put_psr_icc
  target/sparc: Split psr and xcc into components
  target/sparc: Remove CC_OP_LOGIC
  target/sparc: Remove CC_OP_DIV
  target/sparc: Remove CC_OP_ADD, CC_OP_ADDX, CC_OP_TADD
  target/sparc: Remove CC_OP_SUB, CC_OP_SUBX, CC_OP_TSUB
  target/sparc: Remove CC_OP_TADDTV, CC_OP_TSUBTV
  target/sparc: Remove CC_OP leftovers
  target/sparc: Remove DisasCompare.is_bool
  target/sparc: Change DisasCompare.c2 to int
  target/sparc: Always copy conditions into a new temporary
  target/sparc: Do flush_cond in advance_jump_cond
  target/sparc: Merge gen_branch2 into advance_pc
  target/sparc: Merge advance_jump_uncond_{never,always} into
    advance_jump_cond
  target/sparc: Pass displacement to advance_jump_cond
  target/sparc: Merge gen_op_next_insn into only caller
  target/sparc: Record entire jump condition in DisasContext
  target/sparc: Discard cpu_cond at the end of each insn
  target/sparc: Implement UDIVX and SDIVX inline
  target/sparc: Implement UDIV inline
  target/sparc: Check for invalid cond in gen_compare_reg

 linux-user/sparc/target_cpu.h |   17 +-
 target/sparc/cpu.h            |   58 +-
 target/sparc/helper.h         |   12 +-
 target/sparc/insns.decode     |    7 +-
 linux-user/sparc/cpu_loop.c   |   11 +-
 linux-user/sparc/signal.c     |    2 +-
 target/sparc/cc_helper.c      |  471 ------------
 target/sparc/cpu.c            |    1 -
 target/sparc/helper.c         |  171 ++---
 target/sparc/int32_helper.c   |    5 -
 target/sparc/int64_helper.c   |    5 -
 target/sparc/machine.c        |   45 +-
 target/sparc/translate.c      | 1333 ++++++++++++++-------------------
 target/sparc/win_helper.c     |   56 +-
 target/sparc/meson.build      |    1 -
 15 files changed, 789 insertions(+), 1406 deletions(-)
 delete mode 100644 target/sparc/cc_helper.c

-- 
2.34.1