| /* | |
| * libgcc/__clzdi2.c | |
| * | |
| * Returns the leading number of 0 bits in the argument | |
| */ | |
| #include <stdint.h> | |
| #include <stddef.h> | |
| uint64_t __clzdi2(uint64_t v) | |
| { | |
| uint32_t vhi = (uint32_t) (v >> 32); | |
| uint32_t vx; | |
| int dp; | |
| if (vhi) { | |
| vx = vhi; | |
| dp = 0; | |
| } else { | |
| vx = (uint32_t) v; | |
| dp = 32; | |
| } | |
| return dp + __builtin_clz(vx); | |
| } |