void test_ternary_op(const irop_t *op, test_data_t *data) { unsigned num_input_bits, i, bitpos; opnd_t *opnds = data->opnds; /* For each operand, set a single bit to undefined and observe how that propagates to the output. Do this for all bits in each operand. */ for (i = 0; i < 3; ++i) { num_input_bits = bitsof_irtype(opnds[i].type); opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type)); opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type)); opnds[2].vbits = defined_vbits(bitsof_irtype(opnds[2].type)); for (bitpos = 0; bitpos < num_input_bits; ++bitpos) { opnds[i].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[i].type)); valgrind_execute_test(op, data); check_result_for_ternary(op, data); } } }
int test_qernary_op(const irop_t *op, test_data_t *data) { unsigned num_input_bits, i, bitpos; opnd_t *opnds = data->opnds; int tests_done = 0; /* Immediate operands are currently not supported here */ assert(op->immediate_index == 0); /* For each operand, set a single bit to undefined and observe how that propagates to the output. Do this for all bits in each operand. */ for (i = 0; i < 4; ++i) { num_input_bits = bitsof_irtype(opnds[i].type); opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type)); opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type)); opnds[2].vbits = defined_vbits(bitsof_irtype(opnds[2].type)); opnds[3].vbits = defined_vbits(bitsof_irtype(opnds[3].type)); for (bitpos = 0; bitpos < num_input_bits; ++bitpos) { opnds[i].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[i].type)); valgrind_execute_test(op, data); check_result_for_qernary(op, data); tests_done++; } } return tests_done; }
void print_opnd(FILE *fp, const opnd_t *opnd) { fprintf(fp, "vbits = "); print_vbits(fp, opnd->vbits); /* Write the value only if it is defined. Otherwise, there will be error messages about it being undefined */ if (equal_vbits(opnd->vbits, defined_vbits(opnd->vbits.num_bits))) { fprintf(fp, " value = "); print_value(fp, opnd->value, opnd->vbits.num_bits); } }