53    const opnd_t *opnd2  = &data->opnds[1];  in check_result_for_binary()  local
68       expected_vbits = left_vbits(or_vbits(opnd1->vbits, opnd2->vbits),  in check_result_for_binary()
73       assert(opnd1->vbits.num_bits == opnd2->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()
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()
92          assert(opnd2->vbits.num_bits == 8);  in check_result_for_binary()
93          unsigned shift_amount = opnd2->value.u8;  in check_result_for_binary()
102       if (! completely_defined_vbits(opnd2->vbits)) {  in check_result_for_binary()
105          assert(opnd2->vbits.num_bits == 8);  in check_result_for_binary()
106          unsigned shift_amount = opnd2->value.u8;  in check_result_for_binary()
115       if (! completely_defined_vbits(opnd2->vbits)) {  in check_result_for_binary()
118          assert(opnd2->vbits.num_bits == 8);  in check_result_for_binary()
119          unsigned shift_amount = opnd2->value.u8;  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()
163                                     opnd2->vbits.num_bits);  in check_result_for_binary()