Lines Matching full:vbits_t
23 } vbits_t;
39 void print_vbits(FILE *, vbits_t);
40 vbits_t undefined_vbits(unsigned num_bits);
41 vbits_t defined_vbits(unsigned num_bits);
42 int equal_vbits(vbits_t, vbits_t);
43 vbits_t truncate_vbits(vbits_t, unsigned num_bits);
44 vbits_t left_vbits(vbits_t, unsigned num_bits);
45 vbits_t or_vbits(vbits_t, vbits_t);
46 vbits_t and_vbits(vbits_t, vbits_t);
47 vbits_t concat_vbits(vbits_t, vbits_t);
48 vbits_t upper_vbits(vbits_t);
49 vbits_t sextend_vbits(vbits_t, unsigned num_bits);
50 vbits_t zextend_vbits(vbits_t, unsigned num_bits);
51 vbits_t onehot_vbits(unsigned bitno, unsigned num_bits);
52 vbits_t shl_vbits(vbits_t, unsigned amount);
53 vbits_t shr_vbits(vbits_t, unsigned amount);
54 vbits_t sar_vbits(vbits_t, unsigned amount);
55 int completely_defined_vbits(vbits_t);
56 vbits_t cmpord_vbits(unsigned v1_num_bits, unsigned v2_num_bits);
