clarify debugging instructions

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

Make these compile again following renaming of some types/fields.

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

Give dirty helper calls a guard field (IRExpr* of type Ity_Bit) which
gates whether or not the call really happens.  Push this through
iropt.  Has no effect at the instruction selectors yet.

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

Rename some types and data fields in a more logical way.  No change of
functionality.

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

unbreak compilation...

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

wibble

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

Make ESZ less public.

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

Don't need to use addr_t anymore, use Addr instead, for consistency.

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

- Make find_auxv() word-size independent.
- Introduced a new file, basic_types.h, for the basic types (eg. Int, Word).

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

Make sure source-location mapping entries of size zero are converted
to size one even if verbose more is off.

BUG: 92528

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

64-bit cleanness tweaks.

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

format wibble

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

Do 'struct termios' properly.

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

64-bit cleanness tweaks.

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

Ignore generated makefiles.

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

Really add AM_PROG_CC_C_O this time, rather than AC_PROG_CC_C_O.

BUG: 92331

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

Enhance sanity checking pertaining to IRCallees -- make sure
# regparms <= # actual args :-) Also, properly check clean helper calls.

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

Restore the core/tool interface to what it was, by removing the
findhelper routines.

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

Make this compile again.

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

Use new functions for helper-call-construction.

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

Modified/new convenience functions for constructing helper calls.

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

Fix broken alternative output.

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

Removed unused junk:
- tests for header files that are never utilised
- stupid long and bogus X version test that we ignored anyway

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

Must remember to edit the original file, not the generated one...

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

Arch-abstraction:
- Added include/x86-linux/ and include/linux/ subdirectories, with Makefile.am
  files.

- Overhauled the definitions of kernel types.  include/vg_kerneliface.h is now
  three files, include/linux/vki.h, include/x86-linux/vki_arch.h, and
  include/x86-linux/vki_arch_posixtypes.h.  These files separate the
  common/Linux and x86/Linux parts cleanly.  All code is copied verbatim from
  the relevant kernel headers, except that VKI_/vki_ prefixes are added as
  necessary to distinguish them from glibc types.  (This is done consistently,
  unlike previously when some types did not have the prefixes.)

  All code is clearly marked to show which particular header file it came from,
  and the Linux version used.  (I used 2.6.8.1, the most recent stable release,
  for all of them.)

  A few of the types changed;  this is because they changed between the older
  versions of Linux and the current 2.6.8.1.  I checked that all these changes
  were ok with respect to backwards compatibility for our purposes.

- vg_unsafe.h has been removed;  we are no longer including any kernel headers,
  as we have our own copies for everything.  This is because installed kernel
  headers are not reliable, and often cause compilation problems. (bug
  #92420 is a recent example)

- Removed some no-longer-needed header-presence tests from configure.in.

- Some code in the rest of Valgrind was changed to account for some slight
  changes in the names of our VKI_/vki_ kernel constants and types.

- Updated README_MISSING_SYSCALL_OR_IOCTL accordingly.

- Fixed off-by-one error with VKI_GDT_ENTRY_TLS_MAX (merged from stable branch)

The end result is that the kernel types situation should be much clearer, and
similar files can be created relatively easily for other architectures as
necessary.

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

-fomit-frame-pointer is helpul for addrcheck.

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

Reinstate esp-update pass (now renamed sp-update).  Does not work as
well as before, because IR's SSA-property makes it more difficult to
decide on a 'chosen one' virtual register to follow around, and so
sometimes misses out some pretty obvious cases.  ToDo: improve.

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

Add some alternate test results for glibc 2.2.5 systems.

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

Added some extra data race suppressions for glibc 2.3.2.

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

Add some more data race suppressions for glibc 2.2.5.

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

Add a mini-version of the addrcheck instrumenter so as to help refine
the reg-allocator in the presence of lots of helper calls.

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

Add code to do register preferencing (moves from vreg to rreg cause
the vreg to be preferenced to rreg).  However, this is disabled as it
usually makes things worse.

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

Fix bogus assertion in doHelperCall and generally tidy up.  I think it
works, but could still be wrong and might need a rewrite.

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

Make addrcheck work again, including regparm.

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

Suppress data race in glibc 2.2.4.

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

Implement regparm (1 to 3) in the x86 back end.

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

Instead of denoting helper call targets by their names, add a new type
IRCallee to carry the name (for printing), the actual address, and the
"regparm" number if relevant.  This gets rid of the need to pass
around helper-lookup callbacks all over the place, and also lays the
groundwork for a generic "regparm" mechanism for the back end.

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

Add and use a new version of the register allocator, which is simpler
and produces much less spill code around real-reg live ranges
(a.k.a. calls to helper functions)

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

Debug printing wibble.

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

Remove unused fields in VRegInfo, and change live-range numbers to 16
bits.  This reduces the amount of heap allocated by about 6% for
nulgrinding.

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

Much-improved method for configuring test-driver program: copy
test_main.h.base to test_main.h, and edit.

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

Implement pthread_condattr_setpshared and pthread_condattr_getpshared.

BUG: 92264

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

Add AM_PROG_CC_C_O to configure.in to check for cc -c -o support as this
is needed for some of the constructs we now use in the Makefile's.

BUG: 92331

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

whoops

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

Fix typo that meant --signal-polltime was not being accepted.

MERGE TO STABLE

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

Extend applicability of register preferencing scheme.

This all needs to be re-considered properly.

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

Allow --trace-codegen to take 8 bits, and pass to Vex.

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

Clear out old junk.

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

Majorly improve debug printing.  Now vex_traceflags contains 8 bits
which control phase printing.

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

Track API changes.

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

Make these compile again.

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

Misc hacks to get Addrcheck working.

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

* Add a minimal Vex-ified version of the esp update pass.
* Track todays LibVEX API changes.

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

Vex-ify.

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

Various changes needed to get Addrcheck supported:

* Rearrange iropt pipeline so that tree-building is
  no longer anything to do with optimisation, but is
  instead done post-instrumentation

* Allow two instrumentation functions to be passed to
  LibVEX_Translate, not one, so that valgrind can also
  do an sp-update pass

* Add a type VexGuestLayoutInfo for describing the guest
  state, for the benefit of instrumenters.

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

When a thread is cancelled only abort pending system calls if
the thread is set for asynchronous cancellation and cancellation
is enabled. This fixes a long standing occasional failure in
the pth_cancel2 test.

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

Update expected output for pth_once in memcheck tests.

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

Add -fno-omit-frame-pointer when building libpthread.so as that gets
loaded into the user's program and we want to be able to trace the
stack properly. Also add -fpic given that the code is going into a
shared library.

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

Remove the thread numbers from the messages output by pth_once so that
the order the threads run in doesn't affect the output.

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

Finally make VG_(bbs_done) agree exactly with what Lackey measures.

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

(Unsuccessfully) try and make the BB counter give the same
results as what Lackey says.

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

Merge skiplist fix from Tom.

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

Fixed get_height to ensure that SK_MAXHEIGHT-1 is the maximum level we
will allocate for a skip list entry as many routines use arrays of
size SK_MAXHEIGHT to hold a set of level pointers which means that a
level of SK_MAXHEIGHT is not valid due to C arrays being zero based.

This led to a number of subtle and hard to locate problems caused by
stack based arrays being overflowed by one entry when a node was
allocated with the maximum level. As each node only has a one in two
million or so chance of getting a level of SK_MAXHEIGHT this didn't
actually happen all that often.

BUG: 91028

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

Make this test marginally more useful.

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

Track LibVEX API changes.

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

Infrastructural grunge for connecting to Vex.

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

Vexify (partially, in Lackey's case).  Seems to work tho.

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

Changes pertaining to supporting instrumentation:

* Constructors for easier construction thereof, and also of
  argument vectors for both clean and dirty helpers.

* Allow/require instrumenters to supply helper-lookup functions.

* Clarify situation re whether or not dirty helpers get passed
  a pointer to the guest state.

* Sanity check IR after instrumentation.

Myriad other changes to make this all work.

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

Fix yet another bug pertaining to muddy thinking on the meaning of
dead-after numbers.  This one was causing the "Post-instruction
actions for fixed rreg uses" section to free up rregs emerging from
HLRs one insn too late, and causing the sanity-check stuff for the
next insn to fail.

As a result, also properly fix an assertion in the sanity-check
section.

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

Make exec-sigmask more robust.

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

Jump through a hoop to make vgtest_ume work again on PIE-supporting systems.

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

whitespace change only

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

Update stated version to 437 (for snapshotting).

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

Add a crude preferencing scheme used when selecting a real register to
use.  The effect of a scheme is to favour real regs which don't have
any hard live ranges over those that do, if we have a choice.  The
former group are preferable since using them guarantees we will not
have to spill them across their HLRs.  This reduces code size on x86
by 1 to 2 percent.

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

Use gcc, not 'gcc341'.

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

Fix bad undefined value error, thanks to Tom.

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

Make as_shm less brittle.

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

Tweak as_mmap for the possibility of a PIE-supporting system with a 4GB user
space.

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

Leave frame pointers in for the code in lib_replace_malloc.a as
valgrind likes to be able to trace the stack out of malloc etc.

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

whoops, unbreak build

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

64-bit cleanness tweaks.

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

Code formatting improvement.

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

x86 guest: Bite the bullet and update %EIP before each insn

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

Make the tree-builder observe the precise-exceptions requirement
properly.  ToDo: less pessimistically

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

Hacks du jour

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

Code formatting changes only.

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

Comment cleanups only.

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

Get rid of a couple of unneeded typedefs.

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

64-bit cleanness tweaks.

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

comment wibble

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

Arch-abstraction:
- move some asm things into x86/
- also added a check at the start of init_tt_tc() to make sure that
  VG_CODE_OFFSET is correct.

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

64-bit cleanness tweaks.

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

Comment fix only

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

Arch-abstraction:
- removed some x86-specific var/function names

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

Simulate bit 21 of eflags (ID), so that CPUID tests work properly.

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

Get rid of debug printing.

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

Use the new baseblock layout scheme.

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

Increase size of hacky allocation space.  Sigh.

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

New regime for baseblock layout, as described in comment in
pub/libvex.h.  Now the client has to go along with LibVEX's baseblock
layout decisions and is essentially powerless to make its own
decisions on the matter.

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

Arch-abstraction:
- use less x86-specific var names

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