gcc/testsuite/gcc.target/aarch64/long_branch_1.c

   1 /* { dg-do assemble } */
   2 /* { dg-timeout-factor 2.0 } */
   3 /* { dg-options "-O1 -fno-reorder-blocks -fno-tree-cselim --save-temps" } */
   4
   5
   6 __attribute__((noinline, noclone)) int
   7 restore (int a, int b)
   8 {
   9   return a * b;
  10 }
  11
  12 __attribute__((noinline, noclone)) void
  13 do_nothing (int *input)
  14 {
  15   *input = restore (*input, 1);
  16   return;
  17 }
  18 #define ENTRY_SUM(n, x) \
  19     sum = sum / ((n) + (x)); \
  20     sum = restore (sum, (n) + (x));
  21
  22 #define ENTRY_SUM2(n, x) ENTRY_SUM ((n), (x)) ENTRY_SUM ((n), (x)+1)
  23 #define ENTRY_SUM4(n, x) ENTRY_SUM2 ((n), (x)) ENTRY_SUM2 ((n), (x)+2)
  24 #define ENTRY_SUM8(n, x) ENTRY_SUM4 ((n), (x)) ENTRY_SUM4 ((n), (x)+4)
  25 #define ENTRY_SUM16(n, x) ENTRY_SUM8 ((n), (x)) ENTRY_SUM8 ((n), (x)+8)
  26 #define ENTRY_SUM32(n, x) ENTRY_SUM16 ((n), (x)) ENTRY_SUM16 ((n), (x)+16)
  27 #define ENTRY_SUM64(n, x) ENTRY_SUM32 ((n), (x)) ENTRY_SUM32 ((n), (x)+32)
  28 #define ENTRY_SUM128(n, x) ENTRY_SUM64 ((n), (x)) ENTRY_SUM64 ((n), (x)+64)
  29
  30 #define CASE_ENTRY(n) \
  31   case n: \
  32     sum = sum / (n + 1); \
  33     sum = restore (sum, n + 1); \
  34     if (sum == (n + addend)) \
  35       break;\
  36     ENTRY_SUM128 ((n), 2) \
  37     ENTRY_SUM16 ((n), 130) \
  38     break;
  39
  40 #define CASE_ENTRY2(n) CASE_ENTRY ((n)) CASE_ENTRY ((n)+1)
  41 #define CASE_ENTRY4(n) CASE_ENTRY2 ((n)) CASE_ENTRY2 ((n)+2)
  42 #define CASE_ENTRY8(n) CASE_ENTRY4 ((n)) CASE_ENTRY4 ((n)+4)
  43 #define CASE_ENTRY16(n) CASE_ENTRY8 ((n)) CASE_ENTRY8 ((n)+8)
  44 #define CASE_ENTRY32(n) CASE_ENTRY16 ((n)) CASE_ENTRY16 ((n)+16)
  45 #define CASE_ENTRY64(n) CASE_ENTRY32 ((n)) CASE_ENTRY32 ((n)+32)
  46 #define CASE_ENTRY128(n) CASE_ENTRY64 ((n)) CASE_ENTRY64 ((n)+64)
  47
  48 __attribute__((noinline, noclone)) long long
  49 test_and_branch (int selector, int addend, int cond)
  50 {
  51   long long sum = selector + 1;
  52
  53   if (selector > 200)
  54     {
  55 start0:
  56       return sum - 1;
  57 start3:
  58       return sum - 2;
  59     }
  60   else
  61     {
  62       switch (selector)
  63         {
  64 start1:
  65 start2:
  66           CASE_ENTRY128 (1)
  67           CASE_ENTRY64 (129)
  68           CASE_ENTRY16 (193)
  69         }
  70
  71       do_nothing ((int *)&sum);
  72
  73       if (cond == 0)
  74         goto start0;
  75       else if (cond < 0)
  76         goto start1;
  77       else if ((cond & 0x010) != 0)
  78         goto start2;
  79       else if (cond >= 14)
  80         goto start3;
  81
  82     }
  83
  84   return -1;
  85 }
  86
  87 /* { dg-final { scan-assembler "Lbcond" } } */
  88 /* { dg-final { scan-assembler "Lcb" } } */
  89 /* { dg-final { scan-assembler "Ltb" } } */