Tidy up ir_opt.c aspects relating to the 'grail' work. In particular:
commit202184079b7539450a99d7cdbd07b0af4874d3de
authorJulian Seward <jseward@acm.org>
Thu, 21 Nov 2019 19:03:47 +0000 (21 20:03 +0100)
committerJulian Seward <jseward@acm.org>
Thu, 2 Jan 2020 05:42:21 +0000 (2 06:42 +0100)
treebea90db468790b9b79942aa2517adae0d240bb59
parent0c4d8bd04a7fc773a2d01d390d2cc6a97d493bde
Tidy up ir_opt.c aspects relating to the 'grail' work.  In particular:

* Rewrite do_minimal_initial_iropt_BB so it doesn't do full constant folding;
  that is unnecessary expense at this point, and later passes will do it
  anyway

* do_iropt_BB: don't flatten the incoming block, because
  do_minimal_initial_iropt_BB will have run earlier and done so.  But at least
  for the moment, assert that it really is flat.

* VEX/priv/guest_generic_bb_to_IR.c create_self_checks_as_needed: generate
  flat IR so as not to fail the abovementioned assertion.

I believe this completes the target-independent aspects of this work, and also
the x86_64 specifics (of which there are very few).
VEX/priv/guest_generic_bb_to_IR.c
VEX/priv/ir_defs.c
VEX/priv/ir_opt.c
VEX/pub/libvex_ir.h