amd64 guest/host floating point square root (easy) and comparisons
(difficult)

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

Make a start on floating point for AMD64 (really part of rev 936 but I
missed it for some reason).

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

Make a start on floating point for AMD64.

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

Add %xmm0 .. %xmm15 to the amd64 guest state.

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

Add to-do note (comment-only change)

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

Folding rule for Shr64.

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

Fix various front-end anomalies found by the amd64 test program.

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

Test a few more bits and pieces.

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

More amd64 system calls.

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

Deal correctly with out-of-range shifts/rotates.

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

Fix many amd64 guest/host cases required to run test/test-amd64.c.

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

This is the same as the test-x86*.[ch] but modified for AMD64.

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

Clean up startup grunge a bit.

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

Make ELF symbol reading work on both 32 and 64 bit platforms.

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

Further cleanups to low-level memory management.  It's still a
conceptual mess and needs a redesign, but this is a start.  Most stuff
now works again.

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

Advance ppc32 to the point where we can hope to start the program.

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

Handle some ppc32 relocation types.

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

correction to branch instr for ppc hack

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

surely it couldn't be still more ppc hacks...

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

Even more ppc32 hacks

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

More ppc hacks

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

ppc32 hacks

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

first ppc32 assembly attempts...

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

Fix enough syscalls to get through 'hello world' on amd64.

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

Fix comment.

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

Fix enough stuff to get through 'hello world' on amd64.

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

Tidy up the constant folder and add some more rules.

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

Cleaned up a little more
Set Pin_Goto to use GPR3 for the return register (holding next address for dispacher)

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

Fixed silly bug (and->add ahem.)
Fixed up some DIPs
Took out bypasses for floating point and a bad instr.

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

Fixed emit_PPC32Instr::Pin_Goto

All other changes are cleanup only.

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

Emitted Div, fixed mul... that's the lot for return0.orig\!

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

hdefs
-----
Sorted out Mul
 - removed from Alu32
 - replaced with proper Pin_MulL

More instr emitting
 - cmp32, unary32, mulL, cmov, set32, mfence

isel
----
Added a couple of handy funcs:
 - mk_FitRI16, mk_RItoR
Reworked div, mul, mfence

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

More instr emitting:
 - most 'forms' done
 - had a go at Pin_Call, Pin_Goto

Changed CondTest & added invertCondTest()

Fixed Div - only takes reg operands

Fixed iselIntExpr_R_wrk: alu32, div, shft - dtrt with large immediates

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

... and forgetful :-)

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

I admit it, I'm lazy.

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

spacing/comment cleanup only

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

Turn off tons of debug printing.

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

Duh; mmap doesn't work if you don't use the post-mmap wrapper too.

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

Major rewrite of the machinery which keeps track of segments:

* remove initialisation-time circularities by not using the
  skiplist mechanism and therefore not using any dynamically
  allocated memory in support of this mechanism

* Add comments about how it works (it is pretty opaque) so as
  to help future maintainers/bug-fixers

It only just works and many things are still broken.  That should
improve rapidly however.

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

Sorted out the condcode stuff - hopefully correctly...
 - (for Call, Goto, Mux0X)

Gave compares their own instr struct (was in alu32)
Took out Pin_Test32 - no such op for ppc32
 - replaced with Pin_Cmp32

Sorted out shifts
 - shift l|r only take reg args, but sar takes imm (groan)

Done isMove_PPC32Instr()

Some work on instr emitting.
 - Pin_Alu32, Pin_Sh32,...

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

un-break compilation on x86

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

Print stats at exit, and minor changes

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

Make this test a bit more demanding.

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

Fill in enough cases to run switchback/test_bzip2.c on amd64.

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

sigh; on amd64 do not place common symbols high in the address space
as they cannot be referenced in 32-bit relocations.  This is really
a hack needed to run test_bzip2.o on the switchback simulator.

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

Allow the service function to handle free() as well as malloc().

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

A self-contained, hacked version of bzip2 which can run on the
switchback simulator.

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

Remove more debug printing.

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

Remove misc debug printing.

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

Change signature of thread_syscall a bit.

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

Debugging hacks (switchback routine -- unused)

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

Debug printing at startup.

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

Debug hacks (currently unused)

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

Fix bug causing __NR_read on amd64-linux to always be considered to have
failed -- because __NR_read == 0.

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

amd64-linux syscall support.

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

Fix printf format string.

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

Make it easy to print the symbol table.

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

Fill in many amd64 integer cases.

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

Fold Iop_Sub64.

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

Don't redefine offsetof if it is already defined.

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

minor changes

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

Deal with amd64-specific relocations.

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

Heavily modified emfloat benchmark from bytemark, changed to be
self-contained so that switchback can run it.

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

Resuscitate a linker that knows how to do relocations, so we can
actually run real programs.

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

Add amd64 support.

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

Remove file which shouldn't have been added in the first place.

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

A very simple dynamic translator built on Vex, for the purpose of
debugging Vex using the binary-search-switchback technique

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

cleaned up guest-ppc32 assembly printouts

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

and now emit instrs big-endianly... :-)

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

increased N_HREG_USAGE for host-ppc32

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

Added the first instrs (load,store) to emit_PPC32Instr()

Corrected some assembly printouts

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

Added Div32 - that's the last for this .orig file!

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

Added CLZ
Fixed Unary32
Added genSpill_PPC32, genReload_PPC32

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

hdefs: MulL, MFence
isel:
  Iop_64HIto32
  Iop_64to32
  iselInt64Expr:
    Iop_MullU32
    Iop_MullS32
  Ist_MFence

Had a go at implementing long multiplies (last shortcut was wrong)

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

hdefs: CMov32, Set32
isel:
  Iex_LDle
  match for 64HIto32(MullU32(expr,expr))
  1Uto32, 1Uto8
  Iex_Mux0X
  Iop_Cmp*
  Ist_Exit

Changed Unary32 to use hreg only (no imm for this on ppc32)
Fixed a reg usage mistake with call/goto

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

Dealt with some cases where imm > 0xFFFF

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

Fill in many amd64 front end and back end cases.

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

Changed the register setup a little

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

Print useful diagnostics if reg-alloc bombs due to bogus live ranges
in the input code.

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

A whole bunch more ppc32 backend code
- just the isel stuff so far, no assembly

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

keeping arm .orig files

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

More amd64 back end bits and pieces.

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

A first swing at getting ppc32 backend working.
Done: tmp, get, put, load, store

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

removed host=bigendian assertion for now.

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

More amd64 instruction set support.  This includes (in toIR) more stuff
to make %rip-relative addressing work properly.

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

Make amd64 signal returns work.

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

Add a new IR type -- 128-bit integral (I128) and a small collection of
primops operating on it.  Use this to implement amd64 64x64->128
multiplies (will also be useful for divides).

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

This belonged with last nights changes... r868

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

Another attempt at abstracting the register access... not certain i've
succeeded... would like to abstract the 'setFlags_' functions too...
I want C++! boohoo...

Also tidied up dis_int_arith() & co., setting flags at function end.

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

Track renaming of Vex's Iop_*128* primops to Iop_*V128*.

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

Consistently rename all existing IROps which operate on 128-bit values
to make it clear they operate on 128-bit *vector* values.  This is so
as to facilitate introduction of a 128-bit *scalar* type into IR
without causing confusion.

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

Make rflag-thunk evaluation work (ghelpers); fix various missing cases
(toIR, isel).

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

Fix assembly of amd64 amodes: the special cases that apply to %rsp on
x86 also (sometimes) also apply to %r12 on amd64; ditto %rbp and %r13.
Just for everybody's maximum confusion.

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

Fix %rip-relative addressing, which uses the address of the _next_
instruction, not the current one.  Grrr.  This is inconvenient since
it means we sometimes need to know how long an insn is before it is
decoded, and that information is only available after is is decoded.

Currently we make guesses about insn length when a %rip-relative
address appears.  If such a guess is made, it is then checked for
correctness after the decode, so at least all errors should get picked
up.

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

Fix guest-state layout descriptor.

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

Typechecker police.

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

More typechecker police.  Hopefully this doesn't break anything.

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

Suppress another warning.

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

Typechecker police (a big commit, but all harmless).

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

Typechecker police.  There are a couple of unresolved warnings which
actually point out some interesting inconsistencies.

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