Lines Matching defs:qi
82 signed int qi = (ii < 5) ? vali[ii] : (rng.rand() & ((1 << i) - 1));
85 if (qi & (1 << (i - 1))) {
86 qi = (qi << (32 - i)) >> (32 - i);
92 x = qi;
93 sc_assert( x == qi );
96 sc_assert((x == qj) == (qi == qj));
98 sc_assert((x != qj) == (qi != qj));
100 sc_assert((x < qj) == (qi < qj));
102 sc_assert((x <= qj) == (qi <= qj));
104 sc_assert((x > qj) == (qi > qj));
106 sc_assert((x >= qj) == (qi >= qj));
110 (qi + qj) );
111 check_string( z, qi + qj );
114 (qi - qj) );
115 check_string( z, qi - qj );
118 (qi * qj) );
119 check_string( z, qi * qj );
123 (qi / qj) );
124 check_string( z, qi / qj );
127 (qi % qj) );
128 check_string( z, qi % qj );
132 (qi & qj) );
133 check_string( z, qi & qj );
136 (qi | qj) );
137 check_string( z, qi | qj );
140 (qi ^ qj) );
141 check_string( z, qi ^ qj );
145 sc_assert( (bool) z[r] == !!((qi << jj) & (1 << r)) );
149 sc_assert( (bool) z[r] == !!((qi >> jj) & (1 << r)) );