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

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