Searched refs:cnt_bits0_63 (Results 1 – 1 of 1) sorted by relevance
13834 IRTemp cnt_bits0_63 = newTemp(Ity_I64); in dis_av_count_bitTranspose() local13841 cnt_bits0_63 = gen_POPCOUNT(ty, bits0_63, DWORD); in dis_av_count_bitTranspose()13846 mkexpr( cnt_bits0_63 ) ) ); in dis_av_count_bitTranspose()13853 IRTemp cnt_bits0_63 = newTemp(Ity_I64); in dis_av_count_bitTranspose() local13859 cnt_bits0_63 = gen_vpopcntd_mode32(bits0_31, bits32_63); in dis_av_count_bitTranspose()13864 mkexpr( cnt_bits0_63 ) ) ); in dis_av_count_bitTranspose()