59       expected_vbits = defined_vbits(result->vbits.num_bits);  in check_result_for_binary()
63       expected_vbits = undefined_vbits(result->vbits.num_bits);  in check_result_for_binary()
68       expected_vbits = left_vbits(or_vbits(opnd1->vbits, opnd2->vbits),  in check_result_for_binary()
69                                   result->vbits.num_bits);  in check_result_for_binary()
73       assert(opnd1->vbits.num_bits == opnd2->vbits.num_bits);  in check_result_for_binary()
74       assert(opnd1->vbits.num_bits == result->vbits.num_bits);  in check_result_for_binary()
77       expected_vbits = or_vbits(opnd1->vbits, opnd2->vbits);  in check_result_for_binary()
81       assert(opnd1->vbits.num_bits == opnd2->vbits.num_bits);  in check_result_for_binary()
82       assert(result->vbits.num_bits == 2 * opnd1->vbits.num_bits);  in check_result_for_binary()
83       expected_vbits = concat_vbits(opnd1->vbits, opnd2->vbits);  in check_result_for_binary()
89       if (! completely_defined_vbits(opnd2->vbits)) {  in check_result_for_binary()
90          expected_vbits = undefined_vbits(result->vbits.num_bits);  in check_result_for_binary()
92          assert(opnd2->vbits.num_bits == 8);  in check_result_for_binary()
95          expected_vbits = shl_vbits(opnd1->vbits, shift_amount);  in check_result_for_binary()
102       if (! completely_defined_vbits(opnd2->vbits)) {  in check_result_for_binary()
103          expected_vbits = undefined_vbits(result->vbits.num_bits);  in check_result_for_binary()
105          assert(opnd2->vbits.num_bits == 8);  in check_result_for_binary()
108          expected_vbits = shr_vbits(opnd1->vbits, shift_amount);  in check_result_for_binary()
115       if (! completely_defined_vbits(opnd2->vbits)) {  in check_result_for_binary()
116          expected_vbits = undefined_vbits(result->vbits.num_bits);  in check_result_for_binary()
118          assert(opnd2->vbits.num_bits == 8);  in check_result_for_binary()
121          expected_vbits = sar_vbits(opnd1->vbits, shift_amount);  in check_result_for_binary()
134       term1 = and_vbits(opnd1->vbits, opnd2->vbits);  in check_result_for_binary()
135       term2 = and_combine(opnd1->vbits, opnd2->vbits, opnd2->value, 0);  in check_result_for_binary()
136       term3 = and_combine(opnd2->vbits, opnd1->vbits, opnd1->value, 0);  in check_result_for_binary()
150       term1 = and_vbits(opnd1->vbits, opnd2->vbits);  in check_result_for_binary()
151       term2 = and_combine(opnd1->vbits, opnd2->vbits, opnd2->value, 1);  in check_result_for_binary()
152       term3 = and_combine(opnd2->vbits, opnd1->vbits, opnd1->value, 1);  in check_result_for_binary()
162       expected_vbits = cmpord_vbits(opnd1->vbits.num_bits,  in check_result_for_binary()
163                                     opnd2->vbits.num_bits);  in check_result_for_binary()
170    if (! equal_vbits(result->vbits, expected_vbits))  in check_result_for_binary()
191          opnds[0].vbits = onehot_vbits(i, bitsof_irtype(opnds[0].type));  in test_shift()
192          opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type));  in test_shift()
209       opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type));  in test_shift()
210       opnds[1].vbits = onehot_vbits(i, bitsof_irtype(opnds[1].type));  in test_shift()
271       opnds[0].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[0].type));  in test_and()
272       opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type));  in test_and()
285       opnds[1].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[1].type));  in test_and()
286       opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type));  in test_and()
303       opnds[0].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[0].type));  in test_and()
304       opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type));  in test_and()
317       opnds[1].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[1].type));  in test_and()
318       opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type));  in test_and()
344    opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type));  in test_or()
345    opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type));  in test_or()
349       opnds[0].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[0].type));  in test_or()
360    opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type));  in test_or()
361    opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type));  in test_or()
365       opnds[1].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[1].type));  in test_or()
380    opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type));  in test_or()
381    opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type));  in test_or()
385       opnds[0].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[0].type));  in test_or()
396    opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type));  in test_or()
397    opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type));  in test_or()
401       opnds[1].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[1].type));  in test_or()
446       opnds[0].vbits = defined_vbits(bitsof_irtype(opnds[0].type));  in test_binary_op()
447       opnds[1].vbits = defined_vbits(bitsof_irtype(opnds[1].type));  in test_binary_op()
459          opnds[i].vbits = onehot_vbits(bitpos, bitsof_irtype(opnds[i].type));  in test_binary_op()