'grail' fixes for MIPS:
commit61a634b6077e9f0481e6b9a9d636ad3ee24faf6f
authorJulian Seward <jseward@acm.org>
Sun, 15 Dec 2019 19:14:37 +0000 (15 20:14 +0100)
committerJulian Seward <jseward@acm.org>
Thu, 2 Jan 2020 05:45:02 +0000 (2 06:45 +0100)
tree3322314f0fa5f4c9bf1f18281d22ea599106eb75
parent8d510c468a20b7528e2fca870f3236b4e2cb965f
'grail' fixes for MIPS:

This isn't a good result.  It merely disables the new functionality on MIPS
because enabling it causes segfaults, even with --tool=none, the cause of
which are not obvious.  It is only chasing through conditional branches that
is disabled, though.  Chasing through unconditional branches (jumps and calls
to known destinations) is still enabled.

* guest_generic_bb_to_IR.c bb_to_IR(): Disable, hopefully temporarily, the key
  &&-recovery transformation on MIPS.

* VEX/priv/host_mips_isel.c iselWordExpr_R_wrk(), iselCondCode_wrk():

  - add support for Iop_And1, Iop_Or1, and IRConst_U1.  This code is my best
    guess about what is correct, but is #if 0'd for now.

  - Properly guard some Iex_Binop cases that lacked a leading check that the
    expression actually was a Binop.
VEX/priv/guest_generic_bb_to_IR.c
VEX/priv/host_mips_isel.c