Searched refs:x_union_2_state_64 (Results 1 – 4 of 4) sorted by relevance
639 svBitVecVal x_union_2_state_64[2]; in check_exports() local851 e_union_2_state_64(x_union_2_state_64); in check_exports()852 if (x_union_2_state_64[1] != 0xffffffff >> n) stop(); in check_exports()853 if (x_union_2_state_64[0] != 0xffffffff) stop(); in check_exports()864 if (x_union_2_state_64[0] != 0xffffffff) stop(); in check_exports()
841 svBitVecVal x_union_2_state_64[2]; in check_exports() local1145 x_union_2_state_64[1] = 0xffffffff >> n; in check_exports()1146 x_union_2_state_64[0] = 0xffffffff; in check_exports()1163 e_union_2_state_64(x_union_2_state_64); in check_exports()1164 if (x_union_2_state_64[1] != 0xffffffff) stop(); in check_exports()1165 if (x_union_2_state_64[0] != 0xffffffff << n) stop(); in check_exports()
936 union_2_state_64 x_union_2_state_64; register1039 …x_union_2_state_64 = ~64'd0 << i; i_union_2_state_64(x_union_2_state_64); if (x_union_2_state_…
850 union_2_state_64 x_union_2_state_64; register953 i_union_2_state_64(x_union_2_state_64); if (x_union_2_state_64 !== ~64'd0 << i) $stop;