Fix PRE wrapper for sys_exit.

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

Fix broken xml tags.

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

These files are no longer needed.  Bye!

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

Merge in changes from the 2.4.0 line.  This basically brings in the
overhaul of the thread support.  Many things are now probably broken,
but at least with --tool=none, simple and not-so-simple threaded and
non-thread programs work.

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

Add new files resulting from merging in the 2.4.0 line.  Many of these
seem to be simply duplication of the x86 instruction set tests into
the addrcheck and helgrind trees.  I'm not sure what this duplication
achieves.

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

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

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

Test commit (whitespace-only change).

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

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

Test commit for new repo.

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

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

Fix enough syscall stuff so that simple X applications run (xfontsel,
xedit).

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

A place to record notes on how to clean up the structure.  This is
stuff that I discover as I go along.

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

Minimal, horrible hacks needed to make vsyscalls work on amd64.

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

Fix struct ume_auxv so that auxc walking on 64-bit platforms works.

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

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

Clean up handling of socket system calls on amd64-linux, so that the
code for them is shared between amd64-linux and x86-linux.

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

Factor out all the socket-related syscall handlers into their own
functions, so the same handlers can be used on amd64-linux as
x86-linux without tons of code duplications.

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

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

Fix more RES-is-not-set assertions, and move a couple of comments to
their correct homes.

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

perl script to run a binary search with switchback

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

When handling syscalls, don't try to figure out if the pre-handler set
the syscall result by inspecting RES after the pre-handler has run.
Instead, give each thread a syscall_result_set Bool, and make
SET_RESULT set it.  Inspect that Bool.

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

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

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

Various cleanups to revised low-level memory manager.

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

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

On AMD64 it's valid to access up to 128 bytes below %rsp.  Or to be
more accurate, on the amd64-linux ABI that is allowable.  Anyway,
parameterise the signal handler so it isn't confused by such accesses.

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

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

Fix wrong comments (comment-only change)

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

Many amd64 FP cases, including conversion to/from int (tedious stuff).

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

Rearrange debug printing a bit.

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

Fix to run_translation: need to save LR on _caller's_ stack, and leave a hole for a callee to do the same on our stack.

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

Added new instruction RdWrLR to read/write link register.
The LR is saved in ISelEnv at the start of every bb
The LR is restored before any Goto.
This is needed because LR is a caller-saved register on PPC32, so helper functions may kill it.
(Could save/restore around each helper call, but not efficient)

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

Coupl'a front-end load / save bugs

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

Make the switchbacker work on ppc32.

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

Better assembly printouts, and added iselCondCode 1:Bit Const

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

Gotcha!

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

just turned off some debug printfs

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

coupl'a small fixes for ppc32

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

Fixes to host_ppc32:
 - correct assembly printouts for goto, load
 - emit_instrn
   - cmp: 7-crfD (f'ing ibm)
   - added mkLoadImm(), mkMoveReg()
   - call: 'target >> 2'
   - call,goto,cmov: fixed conditional jumps
   - goto: return correctly
   - set32: fix src,dst regs for flag rotate

 - isel:
   mk_iMOVds_RRI(): ORi, not ANDi

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

Corrected some mistakes in guest_ppc32
 - getReg(): bad mask
 - incorrect instr decode for addi, addic, addic.
 - compares: set bad compare flags: 8,4
 - andi: 'And', not 'Add' !
 - branches: deal properly with negative offsets/addresses

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

finished off switchback code for ppc32

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

More amd64 SSE/FP bits and pieces.

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