gcc/testsuite/gcc.target/arm/pr37780_1.c

   1 /* Test that we can remove the conditional move due to CLZ
   2    being defined at zero.  */
   3
   4 /* { dg-do compile } */
   5 /* { dg-require-effective-target arm_arch_v6t2_ok } */
   6 /* { dg-options "-O2" } */
   7 /* { dg-add-options arm_arch_v6t2 } */
   8
   9 int
  10 fooctz (int i)
  11 {
  12   return (i == 0) ? 32 : __builtin_ctz (i);
  13 }
  14
  15 int
  16 fooctz2 (int i)
  17 {
  18   return (i != 0) ? __builtin_ctz (i) : 32;
  19 }
  20
  21 unsigned int
  22 fooctz3 (unsigned int i)
  23 {
  24   return (i > 0) ?  __builtin_ctz (i) : 32;
  25 }
  26
  27 /* { dg-final { scan-assembler-times "rbit\t*" 3 } } */
  28
  29 int
  30 fooclz (int i)
  31 {
  32   return (i == 0) ? 32 : __builtin_clz (i);
  33 }
  34
  35 int
  36 fooclz2 (int i)
  37 {
  38   return (i != 0) ? __builtin_clz (i) : 32;
  39 }
  40
  41 unsigned int
  42 fooclz3 (unsigned int i)
  43 {
  44   return (i > 0) ? __builtin_clz (i) : 32;
  45 }
  46
  47 /* { dg-final { scan-assembler-times "clz\t" 6 } } */
  48 /* { dg-final { scan-assembler-not "cmp\t.*0" } } */