54    switch (v.num_bits) {  in get_bits64()
71    switch (v.num_bits) {  in print_vbits()
107 undefined_vbits(unsigned num_bits)  in undefined_vbits()  argument
109    vbits_t new = { .num_bits = num_bits };  in undefined_vbits()
111    switch (num_bits) {  in undefined_vbits()
134 defined_vbits(unsigned num_bits)  in defined_vbits()  argument
136    vbits_t new = { .num_bits = num_bits };  in defined_vbits()
138    switch (num_bits) {  in defined_vbits()
163    assert(v1.num_bits == v2.num_bits);  in equal_vbits()
165    switch (v1.num_bits) {  in equal_vbits()
185 truncate_vbits(vbits_t v, unsigned num_bits)  in truncate_vbits()  argument
187    assert(num_bits <= v.num_bits);  in truncate_vbits()
189    if (num_bits == v.num_bits) return v;  in truncate_vbits()
191    vbits_t new = { .num_bits = num_bits };  in truncate_vbits()
193    if (num_bits <= 64) {  in truncate_vbits()
196       if (v.num_bits <= 64)  in truncate_vbits()
198       else if (v.num_bits == 128)  in truncate_vbits()
203       else if (v.num_bits == 256)  in truncate_vbits()
211       switch (num_bits) {  in truncate_vbits()
223    if (num_bits == 128) {  in truncate_vbits()
224       assert(v.num_bits == 256);  in truncate_vbits()
251 left_vbits(vbits_t v, unsigned num_bits)  in left_vbits()  argument
253    assert(num_bits >= v.num_bits);  in left_vbits()
255    vbits_t new = { .num_bits = num_bits };  in left_vbits()
257    if (v.num_bits <= 64) {  in left_vbits()
260       switch (num_bits) {  in left_vbits()
313    if (v.num_bits == 128) {  in left_vbits()
339       if (num_bits == 128) return new;  in left_vbits()
341       assert(num_bits == 256);  in left_vbits()
382    assert(v1.num_bits == v2.num_bits);  in or_vbits()
384    vbits_t new = { .num_bits = v1.num_bits };  in or_vbits()
386    switch (v1.num_bits) {  in or_vbits()
410    assert(v1.num_bits == v2.num_bits);  in and_vbits()
412    vbits_t new = { .num_bits = v1.num_bits };  in and_vbits()
414    switch (v1.num_bits) {  in and_vbits()
438    assert(v1.num_bits == v2.num_bits);  in concat_vbits()
440    vbits_t new = { .num_bits = v1.num_bits * 2 };  in concat_vbits()
442    switch (v1.num_bits) {  in concat_vbits()
483    vbits_t new = { .num_bits = v.num_bits / 2 };  in upper_vbits()
485    switch (v.num_bits) {  in upper_vbits()
514 zextend_vbits(vbits_t v, unsigned num_bits)  in zextend_vbits()  argument
516    assert(num_bits >= v.num_bits);  in zextend_vbits()
518    if (num_bits == v.num_bits) return v;  in zextend_vbits()
520    vbits_t new = { .num_bits = num_bits };  in zextend_vbits()
522    if (v.num_bits <= 64) {  in zextend_vbits()
525       switch (num_bits) {  in zextend_vbits()
558    if (v.num_bits == 128) {  in zextend_vbits()
559       assert(num_bits == 256);  in zextend_vbits()
581 sextend_vbits(vbits_t v, unsigned num_bits)  in sextend_vbits()  argument
583    assert(num_bits >= v.num_bits);  in sextend_vbits()
587    switch (v.num_bits) {  in sextend_vbits()
599    return sextend ? left_vbits(v, num_bits) : zextend_vbits(v, num_bits);  in sextend_vbits()
604 onehot_vbits(unsigned bitno, unsigned num_bits)  in onehot_vbits()  argument
606    assert(bitno < num_bits);  in onehot_vbits()
608    vbits_t new = { .num_bits = num_bits };  in onehot_vbits()
610    switch (num_bits) {  in onehot_vbits()
692    return equal_vbits(v, defined_vbits(v.num_bits));  in completely_defined_vbits()
699    assert(shift_amount < v.num_bits);  in shl_vbits()
703    switch (v.num_bits) {  in shl_vbits()
721    assert(shift_amount < v.num_bits);  in shr_vbits()
725    switch (v.num_bits) {  in shr_vbits()
743    assert(shift_amount < v.num_bits);  in sar_vbits()
748    switch (v.num_bits) {  in sar_vbits()
772       new = left_vbits(new, new.num_bits);  in sar_vbits()
780    vbits_t new = { .num_bits = v1_num_bits };  in cmpord_vbits()