Searched refs:x_bit_t (Results 1 – 4 of 4) sorted by relevance
916 bit_t x_bit_t; register1016 x_bit_t = ~i[0]; i_bit_t(x_bit_t); if (x_bit_t !== i[0]) $stop;
619 svBit x_bit_t; in check_exports() local780 e_bit_t(&x_bit_t); in check_exports()781 if (x_bit_t != (n % 2)) stop(); in check_exports()
830 bit_t x_bit_t; register930 i_bit_t(x_bit_t); if (x_bit_t !== ~i[0]) $stop;
821 svBit x_bit_t; in check_exports() local1054 x_bit_t = n % 2; in check_exports()1055 e_bit_t(&x_bit_t); in check_exports()1056 if (x_bit_t != !(n % 2)) stop(); in check_exports()