[PATCH 0/3] ppc64: branch insn only checking 32 bits

[Kimplul]

Found a bug where the branch instructions on ppc64 only check
the lower 32 bits, which also hid a bug in ldxr_i and ldxi_i w.r.t.
sign extension.

I added checks for this situation in branch.tst and patched both
the branch bug and the ldx* bug.

Tested branch checks on Linux x86_64 and ppc64le, bug patches only on ppc64le.

Kimplul (3):
  ppc64: add 64bit branch tests
  ppc64: fix comparisons on ppc64
  ppc64: fix ppc64 ldxr_i and ldxi_i

 check/branch.tst  | 381 ++++++++++++++++++++++++++++++----------------
 lib/jit_ppc-cpu.c | 148 +++++++++---------
 2 files changed, 329 insertions(+), 200 deletions(-)

-- 
2.35.1