Home | History | Annotate | Download | only in vbit-test

Lines Matching full:bits

5 bits in the result are undefined that we expect to be undefined. That way
6 we can detect false positives (there are bits in the result that are
7 undefined but shouldn't) and false negatives (there are defined bits in
18 (1) use VALGRIND_SET_VBITS to set the V-bits of the operands of an IROp
20 (3) use VALGRIND_GET_VBITS to obtain the V-bits of the result
22 Do that for all IROps and for all input bits of their operands.
50 List of IROps. For each operator it defines how undefined input bits
60 bits of the single operand. For each such bit, the corresponding V-bit will
61 be set to undefined, the IROps is executed and the resulting V-bits will
63 The function check_result_for_unary will check the V-bits for correctness.
70 (1) set the V-bits of the operands using the VALGRIND_SET_VBITS mechanism,
72 (3) obtain the V-bits of the result using the VALGRIND_GET_VBITS mechanism.