Looks like I forgot to tell memcheck not to bother to track
definedness of the sse rounding mode info.  Fixed.

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

More paranoia

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

amd64 front/back end stuff needed to support x87 extended-real
loads/stores.

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

Fix comment.

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

Move some conversion functions (IEEE double <-> x87 extended-real
format) into their own module, so they can be shared by the x86 and
amd64 front ends.

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

Generate IRStmt_IMark so that cachegrind et al work on amd64.

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

Move an assertion to a better place.

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

Update the embedded memcheck instrumenter so it works again.

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

Update comment.

Stare at sanity checks but still fail to figure out how to make them
cheaper.  The register allocator's sanity checks consume 15%-20% of
the total running time of Vex.

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

icc -Wall cleanups

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

reinstate test_misc()

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

Fix bug? in do_put_x87 which would have resulting in FLDENV setting to
zero registers which the to-be-loaded tag word indicates are empty.

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

The helper for FXAM wasn't setting the C1 flag correctly.  This bug
is more-or-less undetectable at least if you use fstsw to examine
the results of FXAM, since fstsw doesn't copy C1.

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

Do a sane level of testing.

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

Put some ULLs at the end of 64-bit constants for good measure.

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

icc -Wall fixes

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

icc -Wall fixes

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

Implement %ffree.

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

Update stuff in test harness.

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

Very inadequate test program for fxam.

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

Placate icc -Wall.  Required hand-to-hand combat with icc, and I may
have broken something.

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

Placate icc -Wall.

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

Icc typechecker police.

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

Fix some isel cases pertaining to 1-bit values.  This makes lackey
work on amd64.  Yay!

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

Don't shout about kludged rdtsc

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

Reinstate 'xadd' instruction.

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

Re-enable a few cases.

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

Make rdtsc return 1 instead of 0, to stop glibc's resolver looping.

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

Deal more rationally with LOCK prefixes, correct at least in the way
Valgrind-3.0 intends to use Vex.  This should be applied to the x86 line
too.

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

* widening (u)mulq from memory operand
* movb imm8,%bh (untested)

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

Fix silly bug introduced in r1066.

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

We don't need two copies of this -- there's another in orig_x86.

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

Turns out the recent IRStmt_NoOp hackery broke the IR optimiser quite
seriously.  It was still transforming correctly, but many of the
transformations had been hampered by no longer being able to recognise
no-ops properly.  This hopefully fixes it.

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

amd64 back end: deal with (ignore) Ist_IMark and Ist_NoOp

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

Generate offsets needed for V on amd64.

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

Make several more files compile cleanly with icc -Wall.  Hopefully
this doesn't break anything.

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

The "icc -Wall" placation project rumbles onward ...

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

The Icc typechecker police have been round banging on our doors again.
Placating icc -Wall is a Herculean task; I don't know if it will ever
get completed.

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

Bring up-to-date.

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

A small API change: pass both the guest and host word sizes to the
instrumentatation functions.

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

Add a new IR statement kind: IRStmt_NoOp, to denote a no-operation.
These are generated by the IR optimiser.  The use of no-ops replaces
the old practice of allowing a BB to contain NULL pointers in its
statement array as a way of denoting no-ops.  NULL stmts are now no
longer allowed under any circumstances, and the IR sanity checker will
reject any BB containing them.

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

Fix copy-n-paste-o spotted by Ceri.

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

This commit looks big but it is really quite small.  Fixes some
matters arising from the first-pass attempt at IRifying cachegrind:

* Make all library-user visible functions have names that
  match either LibVEX_* or *IR[A-Z]*.

* Put a comment at the top of libvex_ir.h explaining the
  naming scheme a little.

* Make a previously-private function public, giving eqIRAtom.

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

The party never stops in x86-land: implement 'fstsw' as cachegrind's
regression tests require it.

Also tighten up assertion checking in putIReg, and update some
copyright notices.

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

More insns: ftst, movupd

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

Move this file to the right place.

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

Test for the x87 'tst' instruction.  In the wrong place unfortunately.

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

Framework for front-end floating point disassembly

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

Fill in missing pinsrw memory-to-xmm case.

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

Quieten down gcc

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

Use ULong instead of Int for stopAfter and n_bbs_done - shouldn't run out of bbs for a while now...

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

handy test wrapper

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

stop compiler errors on fp regs, add possibily of setting xer_ca, clearly choose what tests to run

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

Print IMarks a bit more visibly.

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

We no longer need a complete spare copy of V hanging off the Vex tree.

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

Add a new kind of IR stmt: "instruction marks" (IRStmt_IMark), so as
to support profiling.  It is the responsibility of front ends (toIR.c)
to generate these.  For each instruction, the first IR stmt emitted
should be an IMark, stating the guest address and length of the guest
instruction represented by the IR that follows.  All IR stmts
following the IMark but before the next IMark are then assumed to
'belong to' the guest insn described by the first IMark.  IMarks do
not denote executable code and can be ignored at any point in the
proceedings; they are an optional addition which help
profiling-annotators to navigate the IR stmt stream.

This commit adds IR level infrastructure for IMarks and IMark
generation in the x86 front end.  The amd64 and ppc32 front end are
not yet done.

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

Revert to doing x86->x86 (utterly trivial change)

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

Fixed front-end srawi carry flag calc

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

Add guest_TISTART and guest_TILEN fields to all guest state structs,
since eventually users of the library will refer to them, and unless
they exist in all guest states, compilation failure will result.

These fields contain the size and length of an area of icache
invalidated by any icache-flushing instruction encountered.  On x86
and amd64 there is no such insn and so they are zeroed at startup and
play no further role at all.  But on ppc32 they are written to as a
result of executing an 'icbi' instruction.

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

Add %EBP/%RBP to the set of registers for which redundant-PUT
elimination is not done.  This is needed so that Valgrind can
construct correct stack traces on x86/amd64.  Curiously enough old
UCode valgrind didn't do this correctly, but because it doesn't
optimise as aggressively as Vex, we didn't notice this.  Overall
result is that Vex-based valgrind now produces more accurate stack
traces, at least on x86, than valgrind-2.4.X will.

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

small fix to rlwnm_cb loop

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

Fixed xer_ca flag calc for subfze,
Cleaned up ghelpers.c: calc_xer_ca, calc_xer_ov
Cleaned up toIR.c dis_int_arith, dis_int_cmp, dis_int_logic, dis_int_shift

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

Be a bit more paranoid about icbi.

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

Improved method for discarding invalidated translations.

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

Support for vex-directed instruction-cache invalidation, needed for
PowerPC icbi instruction support.

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

Brain-dead (but working) support for Vex-directed translation-cache
invalidates.

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

Somewhat reduce the number of immediate values in test-with-immediate
style tests.

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

Fix backend cntlzw

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

Cleanup backend: var name chages like src1,2 -> srcL,R etc

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

Build fixes for gcc-2.96 (be more ANSI C compliant wrt placement
of local variable declarations).

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

Fixed ghelper mullwo overflow calc

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

Fixed front-end slw for sh_amt of 32 to 64

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

Fill in missing memory case for pinsrw.

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

The IR sanity checker quite rightly jumps up and down on the ill-typed
IR that this can generate.  Get it right this time.

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

Reenable mov imm,$reg.  Curious this never happened before.

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

So what if we are ignoring a branch hint?  No need to shout about it.

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

Deal with Group 8 immediates (bt, btl, btr, btc).

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

Deal better with x86 'rep nop' (P4 pause hint).

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

Reenable cmpsw/cmpsl.

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

Make suitable for initial test run.

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

Fixed front-end xer reg access

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

Change license on switchback/test_ppc_jm1.c as per Jocelyn's
instructions.

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

rm QEMU references; the derivation is now so distant its barely
relevant.

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

Apparently we're a .net, not merely a .co.uk.

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

Fix typo

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

Statement about copyright.

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

Add a copy of GNU GPL v2.

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

Clean up for public availability.

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

Added test_ppc to Makefile

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

Another test commit

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

A second test commit.

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

Remove something old (really, a test commit for the new repo location)

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

Jocelyn Mayer's fabulous ppc test program.

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

As part of the build process, generate pub/libvex_guest_offsets.h holding
guest state offsets.

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

A place to put auxiliary programs used as part of the build process.

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

Cleaned up front end a fair bit.
Consolidated spr (non-gpr/fpr) register interface
Brought together separate guest XER flags to single word
 + fixed up switchback (latter slighly broken since r1002)
Few more comments, vasserts etc.
Updated page refs to PPC32 docs

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

fix cmd call of switchback, and deal with return err 256

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

A couple more flags-specialisation cases, derived from profiling FP
code.

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

guest state padding wibble

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

Cleaning up frontend
 - inc. changing all guest-state UChars to UInts

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