Lines Matching refs:vbits_t
47 } vbits_t;
63 void print_vbits(FILE *, vbits_t);
64 vbits_t undefined_vbits(unsigned num_bits);
65 vbits_t defined_vbits(unsigned num_bits);
66 int equal_vbits(vbits_t, vbits_t);
67 vbits_t truncate_vbits(vbits_t, unsigned num_bits);
68 vbits_t left_vbits(vbits_t, unsigned num_bits);
69 vbits_t or_vbits(vbits_t, vbits_t);
70 vbits_t and_vbits(vbits_t, vbits_t);
71 vbits_t concat_vbits(vbits_t, vbits_t);
72 vbits_t upper_vbits(vbits_t);
73 vbits_t sextend_vbits(vbits_t, unsigned num_bits);
74 vbits_t zextend_vbits(vbits_t, unsigned num_bits);
75 vbits_t onehot_vbits(unsigned bitno, unsigned num_bits);
76 vbits_t shl_vbits(vbits_t, unsigned amount);
77 vbits_t shr_vbits(vbits_t, unsigned amount);
78 vbits_t sar_vbits(vbits_t, unsigned amount);
79 int completely_defined_vbits(vbits_t);
80 vbits_t cmpord_vbits(unsigned v1_num_bits, unsigned v2_num_bits);
