local_count_leading_zeros 102 test/correctness/bit_counting.cpp if (ctlz_result(i) != local_count_leading_zeros(input(i))) { local_count_leading_zeros 106 test/correctness/bit_counting.cpp local_count_leading_zeros(input(i)));