| /* { dg-do compile } */ |
| /* { dg-options "-O2 -fdump-tree-forwprop2-details -Wno-shift-count-negative" } */ |
| |
| int ctz_ice1 (int x) |
| { |
| static const char table[32] = |
| { |
| 0, 1, 28, 2, 29, 14, 24, 3, 30, 22, 20, 15, 25, 17, 4, 8, |
| 31, 27, 13, 23, 21, 19, 16, 7, 26, 12, 18, 6, 11, 5, 10, 9 |
| }; |
| |
| return table[((int)((x & -x) * -0x077CB531)) >> 27]; |
| } |
| |
| int ctz_ice2 (unsigned x) |
| { |
| static const char table[32] = |
| { |
| 0, 1, 28, 2, 29, 14, 24, 3, 30, 22, 20, 15, 25, 17, 4, 8, |
| 31, 27, 13, 23, 21, 19, 16, 7, 26, 12, 18, 6, 11, 5, 10, 9 |
| }; |
| |
| return table[((unsigned)((x & -x) * 0x077CB531U)) >> -27]; |
| } |
| |
| // This should never match |
| int ctz_fail (unsigned x) |
| { |
| static const unsigned short int table[32] = |
| u"\x0100\x021c\x0e1d\x0318\x161e\x0f14\x1119\x0804\x1b1f\x170d\x1315\x0710\x0c1a\x0612\x050b\x090a"; |
| |
| return table[((x & -x) * 0x077CB531) >> 27]; |
| } |
| |
| /* { dg-final { scan-tree-dump-not {= \.CTZ} "forwprop2" } } */ |