24 static void set_vbits(V128 *addr, V128 vbits)  in set_vbits()  argument
28       (void)VALGRIND_SET_VBITS(&addr->w64[i], &vbits.w64[i], sizeof(vbits.w64[i]));  in set_vbits()
32 static void print(V128 vbits, V128 val, int bit, int result)  in print()  argument
35           vbits.w64[1], vbits.w64[0], val.w64[1], val.w64[0],  in print()
54    V128 vbits = { { vbits_lo, vbits_hi } };  in doit()  local
61    set_vbits(&val, vbits);  in doit()
65    int vbits_mask = getMSBs16x8(vbits);  in doit()
68    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
72    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
76    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
80    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
84    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
88    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
92    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
96    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
100    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
104    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
108    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
112    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
116    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
120    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
124    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()
128    if ((vbits_mask & mask) == 0) print(vbits, val_copy, bit, result & mask);  in doit()