1 /* -*- mode: C; c-basic-offset: 3; -*- */ 2 3 #include <assert.h> 4 #include "vtest.h" 5 6 7 /* Check the result of a ternary operation. */ 8 static void 9 check_result_for_ternary(const irop_t *op, const test_data_t *data) 10 { 11 const opnd_t *result = &data->result; 12 const opnd_t *opnd1 = &data->opnds[0]; 13 const opnd_t *opnd2 = &data->opnds[1]; 14 const opnd_t *opnd3 = &data->opnds[2]; 15 vbits_t expected_vbits; 16 17 /* Only handle those undef-kinds that actually occur. */ 18 switch (op->undef_kind) { 19 case UNDEF_ALL: 20 expected_vbits = undefined_vbits(result->vbits.num_bits); 21 break; 22 23 case UNDEF_SAME: 24 // SAME with respect to the 1-bits in all operands 25 expected_vbits = or_vbits(or_vbits(opnd1->vbits, opnd2->vbits), 26 opnd3->vbits); 27 break; 28 29 default: 30 panic(__func__); 31 } 32 33 if (! equal_vbits(result->vbits, expected_vbits)) 34 complain(op, data, expected_vbits); 35 } 36 37 38 int 39 test_ternary_op(const irop_t *op, test_data_t *data) 40 { 41 unsigned num_input_bits, i, bitpos; 42 opnd_t *opnds = data->opnds; 43 int tests_done = 0; 44 45 /* For each operand, set a single bit to undefined and observe how 46 that propagates to the output. Do this for all bits in each 47 operand. */ 48 for (i = 0; i < 3; ++i) { 49 num_input_bits = bitsof_irtype(opnds[i].type); 50 51 opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type)); 52 opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type)); 53 opnds[2].vbits = defined_vbits(bitsof_irtype(opnds[2].type)); 54 55 for (bitpos = 0; bitpos < num_input_bits; ++bitpos) { 56 opnds[i].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[i].type)); 57 58 valgrind_execute_test(op, data); 59 60 check_result_for_ternary(op, data); 61 62 tests_done++; 63 } 64 } 65 return tests_done; 66 } 67
