diffblue-cbmc/regression/cbmc/gcc_clz1
Michael Tautschnig a139e2abda Model GCC's __builtin_clz{,l,ll}
Implement counting leading zeros based on algorithms described in
Hacker's Delight.
2019-04-09 11:00:21 +01:00
..
main.c Model GCC's __builtin_clz{,l,ll} 2019-04-09 11:00:21 +01:00
test.desc Model GCC's __builtin_clz{,l,ll} 2019-04-09 11:00:21 +01:00