gcc/testsuite/gcc.target/aarch64/bics_1.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O2 --save-temps -fno-inline" } */
   3
   4 extern void abort (void);
   5
   6 int
   7 bics_si_test1 (int a, int b, int c)
   8 {
   9   int d = a & ~b;
  10
  11   /* { dg-final { scan-assembler-times "bics\tw\[0-9\]+, w\[0-9\]+, w\[0-9\]+" 2 } } */
  12   if (d == 0)
  13     return a + c;
  14   else
  15     return d;
  16 }
  17
  18 int
  19 bics_si_test2 (int a, int b, int c)
  20 {
  21   int d = a & ~(b << 3);
  22
  23   /* { dg-final { scan-assembler "bics\tw\[0-9\]+, w\[0-9\]+, w\[0-9\]+, lsl 3" } } */
  24   if (d == 0)
  25     return a + c;
  26   else
  27     return d;
  28 }
  29
  30 typedef long long s64;
  31
  32 s64
  33 bics_di_test1 (s64 a, s64 b, s64 c)
  34 {
  35   s64 d = a & ~b;
  36
  37   /* { dg-final { scan-assembler-times "bics\tx\[0-9\]+, x\[0-9\]+, x\[0-9\]+" 2 } } */
  38   if (d == 0)
  39     return a + c;
  40   else
  41     return d;
  42 }
  43
  44 s64
  45 bics_di_test2 (s64 a, s64 b, s64 c)
  46 {
  47   s64 d = a & ~(b << 3);
  48
  49   /* { dg-final { scan-assembler "bics\tx\[0-9\]+, x\[0-9\]+, x\[0-9\]+, lsl 3" } } */
  50   if (d == 0)
  51     return a + c;
  52   else
  53     return d;
  54 }
  55
  56 int
  57 main ()
  58 {
  59   int x;
  60   s64 y;
  61
  62   x = bics_si_test1 (29, ~4, 5);
  63   if (x != (29 & 4))
  64     abort ();
  65
  66   x = bics_si_test1 (5, ~2, 20);
  67   if (x != 25)
  68     abort ();
  69
  70   x = bics_si_test2 (35, ~4, 5);
  71   if (x != (35 & ~(~4 << 3)))
  72     abort ();
  73
  74   x = bics_si_test2 (96, ~2, 20);
  75   if (x != 116)
  76     abort ();
  77
  78   y = bics_di_test1 (0x130000029ll,
  79                      ~0x320000004ll,
  80                      0x505050505ll);
  81
  82   if (y != (0x130000029ll & 0x320000004ll))
  83     abort ();
  84
  85   y = bics_di_test1 (0x5000500050005ll,
  86                      ~0x2111211121112ll,
  87                      0x0000000002020ll);
  88   if (y != 0x5000500052025ll)
  89     abort ();
  90
  91   y = bics_di_test2 (0x130000029ll,
  92                      ~0x064000008ll,
  93                      0x505050505ll);
  94   if (y != (0x130000029ll & ~(~0x064000008ll << 3)))
  95     abort ();
  96
  97   y = bics_di_test2 (0x130002900ll,
  98                      ~0x088000008ll,
  99                      0x505050505ll);
 100   if (y != (0x130002900ll + 0x505050505ll))
 101     abort ();
 102
 103   return 0;
 104 }