History log of /external/valgrind/memcheck/tests/vbit-test/vbits.c
Revision Date Author Comments (<<< Hide modified files) (Show modified files >>>)
45ee036d5512d088f138c143e8be8c1002e452e4 06-Feb-2015 florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Fix undefined behaviours when shifting.
Found by libubsan.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14913 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/tests/vbit-test/vbits.c
c3b29ca08d17132be95cf6526d5189a991fb7404 15-Jan-2013 florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Minor code cleanup. These cases cannot occur.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13230 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/tests/vbit-test/vbits.c
686b17f4e39e143dd75528e032aee405af86cd8c 16-Nov-2012 carll <carll@a5019735-40e9-0310-863c-91ae7b9d1cf9> Valgrind, V-bit tester: Add support for Iop_CmpORD class iops

The Iop_CmpORD class of iops support the POWER specific comparison
instructions. The instructions take two 32-bit or 64-bit operands
and produce a result of the same size. However, only the lower bits
of the result are set by the instruction. The bits are set by the instruction
to indicate if the comparison is "less then", "greater then", or "equal".

This patch adds support to the V-bit tester to verify the propagation
of the undefined bits in the inputs to the output for the Iop_CmpORd iops.
The output bits are always set to undefined if any of the input bits are not
defined.

This patch is for bugzilla 310169

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13123 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/tests/vbit-test/vbits.c
909e0fc928ddb0b04ba301a4895d653f3a91d114 30-Aug-2012 florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Fix build on Darwin. Patch by Rich Coe (rcoe@wi.rr.com).


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12917 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/tests/vbit-test/vbits.c
504f829bfb9dbf2258edbbe6ad892f1605d679fb 29-Aug-2012 florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Fix printf formats for uint64_t values.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12913 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/tests/vbit-test/vbits.c
bb913cd4cc1e56d7d7798a8b754361a05d01f916 28-Aug-2012 florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 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
/external/valgrind/memcheck/tests/vbit-test/vbits.c