gcc/testsuite/gcc.dg/pr90838.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-forwprop2-details" } */
   3 /* { dg-additional-options "-mbmi" { target { { i?86-*-* x86_64-*-* } && { ! { ia32 } } } } } */
   4 /* { dg-additional-options "-march=rv64gc_zbb" { target { rv64 } } } */
   5 /* { dg-additional-options "-march=rv32gc_zbb" { target { rv32 } } } */
   6 /* { dg-require-effective-target int32plus } */
   7
   8 int ctz1 (unsigned x)
   9 {
  10   static const char table[32] = "\x00\x01\x1c\x02\x1d\x0e\x18\x03\x1e\x16\x14"
  11     "\x0f\x19\x11\x04\b\x1f\x1b\r\x17\x15\x13\x10\x07\x1a\f\x12\x06\v\x05\n\t";
  12
  13   return table[((unsigned)((x & -x) * 0x077CB531U)) >> 27];
  14 }
  15
  16 int ctz2 (unsigned x)
  17 {
  18 #define u 0
  19   static short table[64] =
  20     {
  21       32, 0, 1,12, 2, 6, u,13, 3, u, 7, u, u, u, u,14,
  22       10, 4, u, u, 8, u, u,25, u, u, u, u, u,21,27,15,
  23       31,11, 5, u, u, u, u, u, 9, u, u,24, u, u,20,26,
  24       30, u, u, u, u,23, u,19,29, u,22,18,28,17,16, u
  25     };
  26
  27   x = (x & -x) * 0x0450FBAF;
  28   return table[x >> 26];
  29 }
  30
  31 int ctz3 (unsigned x)
  32 {
  33   static int table[32] =
  34     {
  35       0, 1, 2,24, 3,19, 6,25, 22, 4,20,10,16, 7,12,26,
  36       31,23,18, 5,21, 9,15,11,30,17, 8,14,29,13,28,27
  37     };
  38
  39   if (x == 0) return 32;
  40   x = (x & -x) * 0x04D7651F;
  41   return table[x >> 27];
  42 }
  43
  44 static const unsigned long long magic = 0x03f08c5392f756cdULL;
  45
  46 static const char table[64] = {
  47      0,  1, 12,  2, 13, 22, 17,  3,
  48     14, 33, 23, 36, 18, 58, 28,  4,
  49     62, 15, 34, 26, 24, 48, 50, 37,
  50     19, 55, 59, 52, 29, 44, 39,  5,
  51     63, 11, 21, 16, 32, 35, 57, 27,
  52     61, 25, 47, 49, 54, 51, 43, 38,
  53     10, 20, 31, 56, 60, 46, 53, 42,
  54      9, 30, 45, 41,  8, 40,  7,  6,
  55 };
  56
  57 int ctz4 (unsigned long x)
  58 {
  59   unsigned long lsb = x & -x;
  60   return table[(lsb * magic) >> 58];
  61 }
  62
  63 /* { dg-final { scan-tree-dump-times {= \.CTZ} 4 "forwprop2" { target { { i?86-*-* x86_64-*-* } && { ! { ia32 } } } } } } */
  64 /* { dg-final { scan-assembler-times "tzcntq\t" 1 { target { { i?86-*-* x86_64-*-* } && { ! { ia32 } } } } } } */
  65 /* { dg-final { scan-assembler-times "tzcntl\t" 3 { target { { i?86-*-* x86_64-*-* } && { ! { ia32 } } } } } } */
  66 /* { dg-final { scan-assembler-times "andl\t" 2 { target { { i?86-*-* x86_64-*-* } && { ! { ia32 } } } } } } */
  67 /* { dg-final { scan-assembler-not "negq" { target { { i?86-*-* x86_64-*-* } && { ! { ia32 } } } } } } */
  68 /* { dg-final { scan-assembler-not "imulq" { target { { i?86-*-* x86_64-*-* } && { ! { ia32 } } } } } } */
  69 /* { dg-final { scan-assembler-not "shrq" { target { { i?86-*-* x86_64-*-* } && { ! { ia32 } } } } } } */
  70
  71 /* { dg-final { scan-tree-dump-times {= \.CTZ} 4 "forwprop2" { target aarch64*-*-* } } } */
  72 /* { dg-final { scan-assembler-times "clz\t" 4 { target aarch64*-*-* } } } */
  73 /* { dg-final { scan-assembler-times "and\t" 2 { target aarch64*-*-* } } } */
  74 /* { dg-final { scan-assembler-not "cmp\t.*0" { target aarch64*-*-* } } } */
  75
  76 /* { dg-final { scan-tree-dump-times {= \.CTZ} 4 "forwprop2" { target { rv64 } } } } */
  77 /* { dg-final { scan-assembler-times "ctz\t"  1 { target { rv64 } } } } */
  78 /* { dg-final { scan-assembler-times "ctzw\t" 3 { target { rv64 } } } } */
  79 /* { dg-final { scan-assembler-times "andi\t" 2 { target { rv64 } } } } */
  80 /* { dg-final { scan-assembler-not "mul" { target { rv64 } } } } */
  81
  82 /* { dg-final { scan-tree-dump-times {= \.CTZ} 3 "forwprop2" { target { rv32 } } } } */
  83 /* { dg-final { scan-assembler-times "ctz\t" 3 { target { rv32 } } } } */
  84 /* { dg-final { scan-assembler-times "andi\t" 1 { target { rv32 } } } } */
  85 /* { dg-final { scan-assembler-times "mul\t" 1 { target { rv32 } } } } */