More instructions: moves, and conditional jumps.

git-svn-id: svn://svn.valgrind.org/vex/trunk@760

Change a couple of panics into decode failures, which is what they
should be.

git-svn-id: svn://svn.valgrind.org/vex/trunk@759

Mess around a bit with icc's (jolly useful) collection of
ultra-paranoid flags.

git-svn-id: svn://svn.valgrind.org/vex/trunk@758

Fix various type inconsistencies picked up by icc running in
ultra-paranoid mode.

git-svn-id: svn://svn.valgrind.org/vex/trunk@757

Do more insns: inc idiv imul

git-svn-id: svn://svn.valgrind.org/vex/trunk@756

Cleaned up and filled out:
Added some clean helper functions to calculate CR0 and XER flags
Made a start on add and branch ops (mostly to get a feel, will prob have
to redo)

git-svn-id: svn://svn.valgrind.org/vex/trunk@755

amd64 front end marches ever onwards.

git-svn-id: svn://svn.valgrind.org/vex/trunk@754

Hack on through the undergrowth.  Still a long way from anything
working.

git-svn-id: svn://svn.valgrind.org/vex/trunk@753

Add a folding rule for a very common idiom of the amd64 front end.

git-svn-id: svn://svn.valgrind.org/vex/trunk@752

Sync with ./Makefile changes

git-svn-id: svn://svn.valgrind.org/vex/trunk@751

Fix spelling error in error msg.  Duh.

git-svn-id: svn://svn.valgrind.org/vex/trunk@750

Try and get the amd64 address mode mess sorted out a bit.

git-svn-id: svn://svn.valgrind.org/vex/trunk@749

Verify that the x86 address mode decoder is really right, and reword a
failure message.

git-svn-id: svn://svn.valgrind.org/vex/trunk@748

changed all occurences of ppc to ppc32 (filenames and text)

git-svn-id: svn://svn.valgrind.org/vex/trunk@747

oops, more cpustate stuff

git-svn-id: svn://svn.valgrind.org/vex/trunk@746

updated cpustate

git-svn-id: svn://svn.valgrind.org/vex/trunk@745

Mucho baseline hacking to get amd64 front end to work.  No luck so far :-)

git-svn-id: svn://svn.valgrind.org/vex/trunk@744

Don't do anything special with "rep nop".  The former behaviour was to
notify the scheduler that this thread wants to yield, but that gives
such huge delays as to mess up spin-wait loops using "rep nop".  New
behaviour is to simply treat it as a no-op, with no scheduling
consequences.

git-svn-id: svn://svn.valgrind.org/vex/trunk@743

Initial file setup for guest-ppc

git-svn-id: svn://svn.valgrind.org/vex/trunk@742

Test hackery for chasing across conditional branches.  Experimental
and currently disabled.

git-svn-id: svn://svn.valgrind.org/vex/trunk@741

This commit does multiple things (bad, I know):
* Rearranged the order of functions in ghelpers.c to be cleaner and
  tidier
* Improved the %eflags-profiling machinery in ghelpers.c, so I can
  better understand the numbers it produces
* Using that, add some more eflags specialisation cases
* Make calculate_eflags_c into a regparm(3) function, since it can
  get called quite a lot.

git-svn-id: svn://svn.valgrind.org/vex/trunk@740

Increase the number of top-bbs in a profile to a useful number.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3228

More tuning of the eflags machinery.

git-svn-id: svn://svn.valgrind.org/vex/trunk@739

Another speedup case resulting from profiled runs of bzip2.

git-svn-id: svn://svn.valgrind.org/vex/trunk@738

Paranoia in enum.

git-svn-id: svn://svn.valgrind.org/vex/trunk@737

Add more gcc paranoia flags in Makefile, and fix a resulting warning.

git-svn-id: svn://svn.valgrind.org/vex/trunk@736

Fix various compilation warnings emitted by icc, mostly to do with
dead code -- it is better at spotting it than gcc is.

git-svn-id: svn://svn.valgrind.org/vex/trunk@735

Bring this up to date.

git-svn-id: svn://svn.valgrind.org/vex/trunk@734

First pass at doing amd64 address mode decoding.

git-svn-id: svn://svn.valgrind.org/vex/trunk@733

Lots of grunge for dealing with amd64 integer registers.

git-svn-id: svn://svn.valgrind.org/vex/trunk@732

Add stub definitions for amd64 front end functions.

git-svn-id: svn://svn.valgrind.org/vex/trunk@731

Add a dummy AMD64 front end, as a completely commented-out version of
the x86 equivalents.

git-svn-id: svn://svn.valgrind.org/vex/trunk@730

Fix comment.

git-svn-id: svn://svn.valgrind.org/vex/trunk@729

Program for making bootstrap .orig files from 'as -a' output.

git-svn-id: svn://svn.valgrind.org/vex/trunk@728

Put a ret (0xC3) after each insn, to keep the decoder happy.

git-svn-id: svn://svn.valgrind.org/vex/trunk@727

A bunch of insns to get the amd64 front end hackery started.

git-svn-id: svn://svn.valgrind.org/vex/trunk@726

New directory, for messing with the amd64 front end.

git-svn-id: svn://svn.valgrind.org/vex/trunk@725

Basic Block Profiler Roolz OK !

git-svn-id: svn://svn.valgrind.org/vex/trunk@724

Fix performance hole exposed by profiling gzip.

git-svn-id: svn://svn.valgrind.org/vex/trunk@723

Reinstate "cmps" (without rep).  gzip seems to require it.

git-svn-id: svn://svn.valgrind.org/vex/trunk@722

First fruits from using new bb profiler: improve handling of guest x86
floating point comparisons.  A lot.  There is more to be done here.

git-svn-id: svn://svn.valgrind.org/vex/trunk@721

AMD64 build fixes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3227

Complete rewrite (I think this is the 4th incarnation) of translation
table/cache management.  Two main changes.  (1) Translation areas are
recorded using VexGuestExtents, so that Vex is now properly supported
and code deletion works correctly.  (2) Low overhead BB profiling,
enabled by the --profile-flags=<XXXXXXXX> option.  This finds the top
N bbs at exit and shows them, so as to give a basis from which to do
performane tuning.

To support this, the way tt/tc work is changed.  It is still a
sectored arrangement, but now each sector has its own hash table.
This simplifies a lot of things.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3226

Proper support for translation cache management: when a translation is
made, record precisely the areas of guest address space from which the
translation was made.  This is needed to be sure we can later discard
translations accurately.  The new info is record in a structure called
VexGuestExtents.

git-svn-id: svn://svn.valgrind.org/vex/trunk@720

fixed shift_immed & branch

git-svn-id: svn://svn.valgrind.org/vex/trunk@719

Track VEX API changes introduced in Vex rev 718.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3225

Rename some functions and types in the top level interface to be more
consistent.  Also make private some functions that Valgrind never
used.

git-svn-id: svn://svn.valgrind.org/vex/trunk@718

Also test 64-bit add/sub insns (paddq/psubq), although these only
appeared in sse2.

git-svn-id: svn://svn.valgrind.org/vex/trunk@717

Handle Add64/Sub64 (naively).

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3224

Instruction selection/emission for Add64 and Sub64.

git-svn-id: svn://svn.valgrind.org/vex/trunk@716

Add support for 64-bit SIMD primops.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3223

Add new IR primops: Iop_CmpNEZ8x8, Iop_CmpNEZ16x4, Iop_CmpNEZ32x2 and
isel support for them in the x86 back end.  They are used for Memcheck
annotation of 64-bit SIMD code.

git-svn-id: svn://svn.valgrind.org/vex/trunk@715

Fix typos in comment.

git-svn-id: svn://svn.valgrind.org/vex/trunk@714

Comment-only change: record code generation conventions and
limitations for x86.

git-svn-id: svn://svn.valgrind.org/vex/trunk@713

On x86 host and guest, re-implement the way MMX instructions are done,
to bring them into line with how SSE works.  Previously, MMX was done
using helper functions calls inserted by the front end.  This meant
proper MMX instrumentation was impossible (unlike SSE).  Now it works
the way all other code does: the front end does not insert calls to
helper functions, but rather builds expression trees using 64-bit
vector primops.  These are instrumented as the 128-bit vector primops
already are, and passed to the back ends.

Because emitting combined x87 and MMX code together is too complex,
the x86 back end generates calls to the same helpers as before --
except they are invisible to the front end.  And, of course, some of
those calls may now be running instrumentation operations rather than
real-value operations.

git-svn-id: svn://svn.valgrind.org/vex/trunk@712

Add some starting-off material for PPC32.

git-svn-id: svn://svn.valgrind.org/vex/trunk@711

Rename ...

git-svn-id: svn://svn.valgrind.org/vex/trunk@710

For holding 32-bit PPC originals.

git-svn-id: svn://svn.valgrind.org/vex/trunk@709

This is no longer useful.

git-svn-id: svn://svn.valgrind.org/vex/trunk@708

Handle another PSLLDQ sub-case.

git-svn-id: svn://svn.valgrind.org/vex/trunk@707

Re-enable regression tests for PSLLDQ.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3222

Update some expected regtest outputs.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3221

Implement --log-file-exactly= for when the user wants to specify
*exactly* the log file name.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3220

Partial implementation of pslldq (SSE2).

git-svn-id: svn://svn.valgrind.org/vex/trunk@706

Add a new variant for --gen-suppressions: --gen-suppressions=all,
which just prints a suppression for all reported errors without asking
questions.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3219

Run x86 host with FPU in 53-bit precision mode (non default).

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3218

x86 floating point accuracy improvements.  The aim is to make x86 FP
behave more consistently like an 64-bit implementation.  Mostly this
means running the host with the FPU set to 64-bit precision, not
80-bit.

Requires corresponding changes on the Valgrind side of the fence.

git-svn-id: svn://svn.valgrind.org/vex/trunk@705

Program to check values of x87 constants.

git-svn-id: svn://svn.valgrind.org/vex/trunk@704

Program for investigating FP rounding error effects.

git-svn-id: svn://svn.valgrind.org/vex/trunk@703

Observe the memory fencing properties of CPUID.

git-svn-id: svn://svn.valgrind.org/vex/trunk@702

Fix printing of various instructions when disassembling.

git-svn-id: svn://svn.valgrind.org/vex/trunk@701

Fix some minor things to do with memory fences and the Elan3 drivers.
Also recognise "lock addl $0,0(%esp)" as a memory fence.

git-svn-id: svn://svn.valgrind.org/vex/trunk@700

SSE2 fixes for mfence-ing.

git-svn-id: svn://svn.valgrind.org/vex/trunk@699

Machinery for investigation of LOCK prefixes.

git-svn-id: svn://svn.valgrind.org/vex/trunk@698

Handle IRStmt_MFence in the tools.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3217

Add a trivial new IR construction: a memory fence statement.  Connect
up to x86 front and back ends.

git-svn-id: svn://svn.valgrind.org/vex/trunk@697

Make the Quadrics Elan3 clone-hack be controllable by a command-line
flag.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3216

Make it a more effective test.

git-svn-id: svn://svn.valgrind.org/vex/trunk@696

Darn; fix stupid copy-n-paste bug introduced in previous fsave/frstor
fix.  Thanks to 'make regtest' for finding it.

git-svn-id: svn://svn.valgrind.org/vex/trunk@695

* x86 guest: fix bug in stmxcsr -- rounding mode field set wrongly
* x86 guest: fix longstanding bug in fsave/frstor -- they dumped
             FP registers in physical order, instead of ST order
* x86 guest: implement fxsave

git-svn-id: svn://svn.valgrind.org/vex/trunk@694

Improve these test programs.

git-svn-id: svn://svn.valgrind.org/vex/trunk@693

Test program for x86 fxsave insn.

git-svn-id: svn://svn.valgrind.org/vex/trunk@692

Add crude 'minidist' target (not yet entirely satisfactory).

git-svn-id: svn://svn.valgrind.org/vex/trunk@691

Remove old CPUID stuff that wasn't being used.

git-svn-id: svn://svn.valgrind.org/vex/trunk@690

Appalling hack which may or may not help making Quadrics Elan 3
drivers work until such time proper support for sys_clone is added.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3215

Push subarchitecture stuff through the x86 parts.

git-svn-id: svn://svn.valgrind.org/vex/trunk@689

Error message cosmetics.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3214

gcc-2.96 build fixes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3213

C89 police (make buildable with gcc-2.96)

git-svn-id: svn://svn.valgrind.org/vex/trunk@688

No longer try to build the attached Valgrind snapshots.

git-svn-id: svn://svn.valgrind.org/vex/trunk@687

Finishing installing PaulM's improved accuracy handling for Add/Sub,
and also do better for CmpEQ/CmpNE.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3212

Make --dump-error= work properly.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3211

Update the memcheck instrumenter embedded herein.

git-svn-id: svn://svn.valgrind.org/vex/trunk@686

Rename some variables and types, to make it easier to read.  No
functionality changes.

git-svn-id: svn://svn.valgrind.org/vex/trunk@685

Remove register preferencing mechanism; does not seem to help.

git-svn-id: svn://svn.valgrind.org/vex/trunk@684

In iropt, try and call flatten_BB less.  Enhance the sanity checker
so that it does check for flatness at the relevant places.

git-svn-id: svn://svn.valgrind.org/vex/trunk@683

Fix nonsensical assertion.

git-svn-id: svn://svn.valgrind.org/vex/trunk@682

Oops.  Track arch/subarch changes.

git-svn-id: svn://svn.valgrind.org/vex/trunk@681

Sanity check re support for precise exceptions, resulting in more
comments.  No functionality change.

git-svn-id: svn://svn.valgrind.org/vex/trunk@680

Looks like major changes, but in fact are just rearrangements and
further commenting of code.  Rearrange sequence of procedures to
better reflect the flow of data through iropt.  Add documentation at
the start explaining more precisely what it does.

The only functional change is to do initial flattening even at
optimisation level 0, so we can disable most of iropt for debugging
purposes and still have a functioning Valgrind.

git-svn-id: svn://svn.valgrind.org/vex/trunk@679