Add a tester for V-bit propagation through IROps.
authorflorian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9>
Tue, 28 Aug 2012 16:50:39 +0000 (16:50 +0000)
committerflorian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9>
Tue, 28 Aug 2012 16:50:39 +0000 (16:50 +0000)
commit11ba2d3e9c8b59e7efc0c9670301cc3e8595141b
tree132c6faba9f24c2b94a0d744d2eef420f0c00ff6
parentcb3cef7c006969625fa84c572323051e39c9ffc7
Add a tester for V-bit propagation through IROps.
The tester is located in memcheck/tests/vbit-test.
It needs the following support on the valgrind / VEX side:
(1) a new client request VG_USERREQ__VEX_INIT_FOR_IRI
(2) a new "special instruction" on all architectures inserted via
    VALGRIND_VEX_INJECT_IR
(3) VEX changes to detect the special insn and insert IR (ir_inject.c)

The README file in vbit-test has some more information.
See also VEX r2490.  Fixes bugzilla #300102.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12906 a5019735-40e9-0310-863c-91ae7b9d1cf9
22 files changed:
Makefile.am
Makefile.vex.am
configure.in
coregrind/m_scheduler/scheduler.c
include/valgrind.h
memcheck/tests/vbit-test/Makefile.am [new file with mode: 0644]
memcheck/tests/vbit-test/README [new file with mode: 0644]
memcheck/tests/vbit-test/TODO [new file with mode: 0644]
memcheck/tests/vbit-test/binary.c [new file with mode: 0644]
memcheck/tests/vbit-test/filter_stderr [new file with mode: 0755]
memcheck/tests/vbit-test/irops.c [new file with mode: 0644]
memcheck/tests/vbit-test/main.c [new file with mode: 0644]
memcheck/tests/vbit-test/qernary.c [new file with mode: 0644]
memcheck/tests/vbit-test/ternary.c [new file with mode: 0644]
memcheck/tests/vbit-test/unary.c [new file with mode: 0644]
memcheck/tests/vbit-test/util.c [new file with mode: 0644]
memcheck/tests/vbit-test/valgrind.c [new file with mode: 0644]
memcheck/tests/vbit-test/vbit-test.stderr.exp [new file with mode: 0644]
memcheck/tests/vbit-test/vbit-test.vgtest [new file with mode: 0644]
memcheck/tests/vbit-test/vbits.c [new file with mode: 0644]
memcheck/tests/vbit-test/vbits.h [new file with mode: 0644]
memcheck/tests/vbit-test/vtest.h [new file with mode: 0644]