77    const opnd_t *opnd2  = &data->opnds[1];  in check_result_for_binary()  local
92       expected_vbits = left_vbits(or_vbits(opnd1->vbits, opnd2->vbits),  in check_result_for_binary()
97       assert(opnd1->vbits.num_bits == opnd2->vbits.num_bits);  in check_result_for_binary()
101       expected_vbits = or_vbits(opnd1->vbits, opnd2->vbits);  in check_result_for_binary()
105       assert(opnd1->vbits.num_bits == opnd2->vbits.num_bits);  in check_result_for_binary()
107       expected_vbits = concat_vbits(opnd1->vbits, opnd2->vbits);  in check_result_for_binary()
113       if (! completely_defined_vbits(opnd2->vbits)) {  in check_result_for_binary()
116          assert(opnd2->vbits.num_bits == 8);  in check_result_for_binary()
117          unsigned shift_amount = opnd2->value.u8;  in check_result_for_binary()
126       if (! completely_defined_vbits(opnd2->vbits)) {  in check_result_for_binary()
129          assert(opnd2->vbits.num_bits == 8);  in check_result_for_binary()
130          unsigned shift_amount = opnd2->value.u8;  in check_result_for_binary()
139       if (! completely_defined_vbits(opnd2->vbits)) {  in check_result_for_binary()
142          assert(opnd2->vbits.num_bits == 8);  in check_result_for_binary()
143          unsigned shift_amount = opnd2->value.u8;  in check_result_for_binary()
158       term1 = and_vbits(opnd1->vbits, opnd2->vbits);  in check_result_for_binary()
159       term2 = and_combine(opnd1->vbits, opnd2->vbits, opnd2->value, 0);  in check_result_for_binary()
160       term3 = and_combine(opnd2->vbits, opnd1->vbits, opnd1->value, 0);  in check_result_for_binary()
174       term1 = and_vbits(opnd1->vbits, opnd2->vbits);  in check_result_for_binary()
175       term2 = and_combine(opnd1->vbits, opnd2->vbits, opnd2->value, 1);  in check_result_for_binary()
176       term3 = and_combine(opnd2->vbits, opnd1->vbits, opnd1->value, 1);  in check_result_for_binary()
187                                     opnd2->vbits.num_bits);  in check_result_for_binary()