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

Cleaned up backend a little

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

Dealt properly with immediates in the backend - reduces emmitted code by ~1/3

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

comments only: guest-state offsets

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

Cleaned up isel for instns taking an RI arg
 - limiting imms to 15 bits, so don't get inappropriately sign-extended.

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

printout stderr msg on abnormal switchback exit

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

Fixed sign-extend bug for compares (just putting imm in a reg, for now) - test_bzip works now!
Load small imm's more simply in mk_iMOVds_RRI (move RI to R).

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

Simplified sraw a little

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

* toIR.c: Handle a few more insns needed to run simple X applications
  (xfontsel, xedit)
* iropt.c: add a folding rule for Xor16.

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

Deal with last_bad == given_last_good
Some printout changes
Ignore vex output in output test

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

Small backend printout changes only

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

Add a constant folding rule for MullS32.

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

Front end bug: bad arg order for MuxOX of srw

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

Backend bug: mkFormD wasn't smallifying the imm
(plus not-quite-right vassert)
Small change to front-end cmp DIP

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

perl script to run a binary search with switchback

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

Front-end fix for slw - _record_ the result...

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

Gradually move popular translations towards the start of the
table, so they can be found more quickly on subsequent lookups.

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

Get rid of assertion which, as gcc points out, is useless.

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

Placate Icc in the usual way.

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

A few more 64-bit folding rules.

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

Comment-only change.

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

Oops!  The whole point of rev 980 was to get rid of eregOfRM and
gregOfRM.  This commit actually does get rid of them :-)

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

A major overhaul of the way integer register decoding is done on
amd64.

The presence of REX bytes -- whilst apparently a simple change --
significantly complicates instruction decoding.  The main problem is
that integer register numbers are now split into two pieces, one bit
from the REX byte and three bits from the modrm byte (or wherever).
The tricky bit is to always ensure that the correct pieces are
reassembled to form 4-bit register numbers.  Prior to this commit, it
was easy to make that kind of error -- eg, conjoining the REX.B bit
with the 'g' modrm field to produce a nonsense register number.  This
commit rearranges the handling functions for integer registers to make
that kind of error much less likely, basically by not allowing you to
deal in fragments of register fields unless absolutely necessary.

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

Icc typechecker police.

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

More icc-related cleanups.

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

Icc typechecker police.

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

Fix some register-field decoding bugs for SSE.  Nasty.  There has to
be a more foolproof way of doing this.

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

Fixed some front end with-zero loads

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

Fixed isel::load of small imm to reg - these are UInts: we don't want sign extension.
Fixed frontend addi DIP

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

Add toUInt.

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

Icc typechecker fixes.

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

Another round of placating icc's typechecker.

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

Simplified front-end IR encoding for some subtracts

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

Alu32::SUB was broken in the backend.
Moved Alu32::SUB to it's own instruction: Sub32
---
PPC32 only implements subf (= sub from), which takes form
subf(ic) regD, regA, regB|immB  => rD = rB|immB - rA
Hence Iop_Sub32 is given an RI as the left arg...
---

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

Even more amd64 floating point bits and pieces.

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

Fix flags define & printout last run translation after all...

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

Fixes to getReg_field, putReg_field

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

Fill in a bunch more amd64 floating point cases.  Some non-trivial
FP programs are beginning to work now.

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

Re-arranged switchback::run_simulator a little, so can print translation of current bb (so if test breaks @ N, we can switchback @ N and N gets printed)

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

Correction to iselCC::IexTmp

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

Added a couple of unhandled isel instrs:
IselStmt::Ist_Tmp::Ity_I1
iselCondCode::Iex_Tmp

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

Fix to guest-ppc32 subfic

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

Fill in a huge number of amd64 floating point cases, and start to
reinstate the old x87 instruction decoder.

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

Fixed a backend shift bug: src/dst were swapped in emitted code.
Also fixed an assembly printf for Set32.

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

Another go at fixing the rotate mask

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

Fixed a rotate bug: IBM bit labelling got me again

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

Some simplifying of guest register access in toIR.c
getReg_masked no longer calls getReg_bit for XER

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

Added front-end code for conditional register logic instrs
Cleaned up the register access interface a little.

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

Just some assembly printout changes

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

Cleaning up the x86 back end: get rid of instruction variants which
the instruction selector will never generate.  I guess this
demonstrates that the majority of operations are sufficiently rare
that it is not worth going to much effort to generate good code for
them.

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