builtin_21_ctz_high.c (89B)
1 int test_main(void) { 2 unsigned v = 0x80000000u; 3 return __builtin_ctz(v) - 31 + 42; 4 }