gcc/testsuite/gcc.target/arm/long-calls-1.c

   1 /* Check that long calls to different sections are not optimized to "bl".  */
   2 /* { dg-do compile { target { arm32 && nonpic } } } */
   3 /* { dg-options "-O2" } */
   4
   5 #define section(S) __attribute__((section(S)))
   6 #define weak __attribute__((weak))
   7 #define noinline __attribute__((noinline))
   8 #define long_call __attribute__((long_call))
   9 #define short_call __attribute__((short_call))
  10
  11 #define REMOTE_CALL(ID, TARGET_ATTRS, CALL_ATTRS)                       \
  12   const char *TARGET_ATTRS ID (void);                                   \
  13   const char *CALL_ATTRS call_##ID (void) { return ID () + 1; }
  14
  15 #define EXTERN_CALL(ID, TARGET_ATTRS, CALL_ATTRS)                       \
  16   const char *TARGET_ATTRS noinline ID (void) { return #ID; }           \
  17   const char *CALL_ATTRS call_##ID (void) { return ID () + 1; }         \
  18   const char *CALL_ATTRS sibcall_##ID (void) { return ID (); }
  19
  20 #define STATIC_CALL(ID, TARGET_ATTRS, CALL_ATTRS)                       \
  21   static const char *TARGET_ATTRS noinline ID (void) { return #ID; }    \
  22   const char *CALL_ATTRS call_##ID (void) { return ID () + 1; }         \
  23   const char *CALL_ATTRS sibcall_##ID (void) { return ID (); }
  24
  25 #define DO_TESTS_SECTION(ID, TEST, TARGET_ATTRS)                        \
  26   TEST (ID##1, TARGET_ATTRS, )                                          \
  27   TEST (ID##2, TARGET_ATTRS section (".test.a"), section (".test.b"))   \
  28   TEST (ID##3, TARGET_ATTRS section (".test.c"), section (".test.c"))
  29
  30 #define DO_TESTS_CALL_ATTR(ID, TEST, TARGET_ATTRS)                      \
  31   DO_TESTS_SECTION (ID##n, TEST, TARGET_ATTRS)                          \
  32   DO_TESTS_SECTION (ID##l, TEST, TARGET_ATTRS long_call)                \
  33   DO_TESTS_SECTION (ID##s, TEST, TARGET_ATTRS short_call)
  34
  35 DO_TESTS_CALL_ATTR (remote_, REMOTE_CALL,)
  36 DO_TESTS_CALL_ATTR (strong_, EXTERN_CALL,)
  37 DO_TESTS_CALL_ATTR (weak_, EXTERN_CALL, weak)
  38 DO_TESTS_CALL_ATTR (static_, STATIC_CALL,)
  39
  40
  41 /* Calls to remote_* should honor the call type attribute,
  42    with "short" being the default.
  43
  44    In the regular expressions below:
  45
  46    * We allow both "b" and "bl" in some cases to allow for the
  47      possibility of sibling calls.  As of this writing, GCC does not
  48      use sibling calls in Thumb-2 mode.  */
  49
  50 /* { dg-final { scan-assembler "\tbl\tremote_n1\n" } } */
  51 /* { dg-final { scan-assembler "\tbl\tremote_n2\n" } } */
  52 /* { dg-final { scan-assembler "\tbl\tremote_n3\n" } } */
  53
  54 /* { dg-final { scan-assembler-not "\tbl\tremote_l1\n" } } */
  55 /* { dg-final { scan-assembler-not "\tbl\tremote_l2\n" } } */
  56 /* { dg-final { scan-assembler-not "\tbl\tremote_l3\n" } } */
  57
  58 /* { dg-final { scan-assembler "\tbl\tremote_s1\n" } } */
  59 /* { dg-final { scan-assembler "\tbl\tremote_s2\n" } } */
  60 /* { dg-final { scan-assembler "\tbl\tremote_s3\n" } } */
  61
  62
  63 /* Calls to strong_*2 calls should honor the call type attribute,
  64    with "short" being the default.  Calls to other strong_* functions
  65    should be short.  */
  66
  67 /* { dg-final { scan-assembler "\tbl\tstrong_n1\n" } } */
  68 /* { dg-final { scan-assembler "\tbl?\tstrong_n1\n" } } */
  69 /* { dg-final { scan-assembler "\tbl\tstrong_n2\n" } } */
  70 /* { dg-final { scan-assembler "\tbl?\tstrong_n2\n" } } */
  71 /* { dg-final { scan-assembler "\tbl\tstrong_n3\n" } } */
  72 /* { dg-final { scan-assembler "\tbl?\tstrong_n3\n" } } */
  73
  74 /* { dg-final { scan-assembler "\tbl\tstrong_l1\n" } } */
  75 /* { dg-final { scan-assembler "\tbl?\tstrong_l1\n" } } */
  76 /* { dg-final { scan-assembler-not "\tbl?\tstrong_l2\n" } } */
  77 /* { dg-final { scan-assembler "\tbl\tstrong_l3\n" } } */
  78 /* { dg-final { scan-assembler "\tbl?\tstrong_l3\n" } } */
  79
  80 /* { dg-final { scan-assembler "\tbl\tstrong_s1\n" } } */
  81 /* { dg-final { scan-assembler "\tbl?\tstrong_s1\n" } } */
  82 /* { dg-final { scan-assembler "\tbl\tstrong_s2\n" } } */
  83 /* { dg-final { scan-assembler "\tbl?\tstrong_s2\n" } } */
  84 /* { dg-final { scan-assembler "\tbl\tstrong_s3\n" } } */
  85 /* { dg-final { scan-assembler "\tbl?\tstrong_s3\n" } } */
  86
  87
  88 /* Calls to weak_* should honor the call type attribute,
  89    with "short" being the default.  */
  90
  91 /* { dg-final { scan-assembler "\tbl\tweak_n1\n" } } */
  92 /* { dg-final { scan-assembler "\tbl?\tweak_n1\n" } } */
  93 /* { dg-final { scan-assembler "\tbl\tweak_n2\n" } } */
  94 /* { dg-final { scan-assembler "\tbl?\tweak_n2\n" } } */
  95 /* { dg-final { scan-assembler "\tbl\tweak_n3\n" } } */
  96 /* { dg-final { scan-assembler "\tbl?\tweak_n3\n" } } */
  97
  98 /* { dg-final { scan-assembler-not "\tbl?\tweak_l1\n" } } */
  99 /* { dg-final { scan-assembler-not "\tbl?\tweak_l2\n" } } */
 100 /* { dg-final { scan-assembler-not "\tbl?\tweak_l3\n" } } */
 101
 102 /* { dg-final { scan-assembler "\tbl\tweak_s1\n" } } */
 103 /* { dg-final { scan-assembler "\tbl?\tweak_s1\n" } } */
 104 /* { dg-final { scan-assembler "\tbl\tweak_s2\n" } } */
 105 /* { dg-final { scan-assembler "\tbl?\tweak_s2\n" } } */
 106 /* { dg-final { scan-assembler "\tbl\tweak_s3\n" } } */
 107 /* { dg-final { scan-assembler "\tbl?\tweak_s3\n" } } */
 108
 109
 110 /* Calls to static_*2 calls should honor the call type attribute,
 111    with "short" being the default.  Calls to other static_* functions
 112    should be short.  */
 113
 114 /* { dg-final { scan-assembler "\tbl\tstatic_n1\n" } } */
 115 /* { dg-final { scan-assembler "\tbl?\tstatic_n1\n" } } */
 116 /* { dg-final { scan-assembler "\tbl\tstatic_n2\n" } } */
 117 /* { dg-final { scan-assembler "\tbl?\tstatic_n2\n" } } */
 118 /* { dg-final { scan-assembler "\tbl\tstatic_n3\n" } } */
 119 /* { dg-final { scan-assembler "\tbl?\tstatic_n3\n" } } */
 120
 121 /* { dg-final { scan-assembler "\tbl\tstatic_l1\n" } } */
 122 /* { dg-final { scan-assembler "\tbl?\tstatic_l1\n" } } */
 123 /* { dg-final { scan-assembler-not "\tbl?\tstatic_l2\n" } } */
 124 /* { dg-final { scan-assembler "\tbl\tstatic_l3\n" } } */
 125 /* { dg-final { scan-assembler "\tbl?\tstatic_l3\n" } } */
 126
 127 /* { dg-final { scan-assembler "\tbl\tstatic_s1\n" } } */
 128 /* { dg-final { scan-assembler "\tbl?\tstatic_s1\n" } } */
 129 /* { dg-final { scan-assembler "\tbl\tstatic_s2\n" } } */
 130 /* { dg-final { scan-assembler "\tbl?\tstatic_s2\n" } } */
 131 /* { dg-final { scan-assembler "\tbl\tstatic_s3\n" } } */
 132 /* { dg-final { scan-assembler "\tbl?\tstatic_s3\n" } } */