59    case 64: return v.bits.u64;  in get_bits64()
76    case 64:  fprintf(fp, "%016"PRIx64, v.bits.u64); break;  in print_vbits()
116    case  64: new.bits.u64 = ~0ull;  break;  in undefined_vbits()
143    case  64: new.bits.u64 = 0x0; break;  in defined_vbits()
170    case 64:  return v1.bits.u64 == v2.bits.u64;  in equal_vbits()
216       case 64:  new.bits.u64 = bits & ~0ll;   break;  in truncate_vbits()
264       case 64:  new.bits.u64 = bits & ~0ll;   break;  in left_vbits()
390    case 64:  new.bits.u64 = v1.bits.u64 | v2.bits.u64; break;  in or_vbits()
418    case 64:  new.bits.u64 = v1.bits.u64 & v2.bits.u64; break;  in and_vbits()
447    case 32:  new.bits.u64 = v1.bits.u32;  in concat_vbits()
448              new.bits.u64 = (new.bits.u64 << 32) | v2.bits.u32; break;  in concat_vbits()
451          new.bits.u128[0] = v2.bits.u64;  in concat_vbits()
452          new.bits.u128[1] = v1.bits.u64;  in concat_vbits()
454          new.bits.u128[0] = v1.bits.u64;  in concat_vbits()
455          new.bits.u128[1] = v2.bits.u64;  in concat_vbits()
488    case 64:  new.bits.u32 = v.bits.u64 >> 32; break;  in upper_vbits()
491          new.bits.u64 = v.bits.u128[1];  in upper_vbits()
493          new.bits.u64 = v.bits.u128[0];  in upper_vbits()
529       case 64:  new.bits.u64 = bits; break;  in zextend_vbits()
591    case 64:  if (v.bits.u64 == (1ull << 63))     sextend = 1; break;  in sextend_vbits()
615    case 64:  new.bits.u64 = 1ull << bitno; break;  in onehot_vbits()
707    case 64: new.bits.u64 <<= shift_amount; break;  in shl_vbits()
729    case 64: new.bits.u64 >>= shift_amount; break;  in shr_vbits()
762       new.bits.u64 >>= shift_amount;  in sar_vbits()
763       msb = (v.bits.u64 & (1ull << 63)) != 0;  in sar_vbits()
794       new.bits.u64 = 0xE;  in cmpord_vbits()