gcc/testsuite/gcc.target/s390/morestack.c

   1 /* Checks proper behavior of __morestack function - specifically, GPR
   2    values surviving, stack parameters being copied, and vararg
   3    pointer being correct.  */
   4
   5 /* { dg-do run } */
   6 /* { dg-options "" } */
   7
   8 #include <stdlib.h>
   9
  10 void *orig_r15;
  11
  12 /* 1. Function "test" saves registers, makes a stack frame, puts known
  13  *    values in registers, and calls __morestack, telling it to jump to
  14  *    testinner, with return address pointing to "testret".
  15  * 2. "testinner" checks that parameter registers match what has been
  16  *    passed from "test", stack parameters were copied properly to
  17  *    the new stack, and the argument pointer matches the calling
  18  *    function's stack pointer.  It then leaves new values in volatile
  19  *    registers (including return value registers) and returns.
  20  * 3. "testret" checks that return value registers contain the expected
  21  *    return value, callee-saved GPRs match the values from "test",
  22  *    and then returns to main. */
  23
  24 extern unsigned long testparams[3];
  25
  26 #ifdef __s390x__
  27
  28 asm(
  29   ".global test\n"
  30   "test:\n"
  31   ".type test, @function\n"
  32   /* Save registers.  */
  33   "stmg %r6, %r15, 0x30(%r15)\n"
  34   /* Save original sp in a global.  */
  35   "larl %r1, orig_r15\n"
  36   "stg %r15, 0(%r1)\n"
  37   /* Make a stack frame.  */
  38   "aghi %r15, -168\n"
  39   /* A stack parameter.  */
  40   "lghi %r1, 0x1240\n"
  41   "stg %r1, 160(%r15)\n"
  42   /* Registers.  */
  43   "lghi %r0, 0x1230\n"
  44   "lghi %r2, 0x1232\n"
  45   "lghi %r3, 0x1233\n"
  46   "lghi %r4, 0x1234\n"
  47   "lghi %r5, 0x1235\n"
  48   "lghi %r6, 0x1236\n"
  49   "lghi %r7, 0x1237\n"
  50   "lghi %r8, 0x1238\n"
  51   "lghi %r9, 0x1239\n"
  52   "lghi %r10, 0x123a\n"
  53   "lghi %r11, 0x123b\n"
  54   "lghi %r12, 0x123c\n"
  55   "lghi %r13, 0x123d\n"
  56   /* Fake return address.  */
  57   "larl %r14, testret\n"
  58   /* Call morestack.  */
  59   "larl %r1, testparams\n"
  60   "jg __morestack\n"
  61
  62   /* Entry point.  */
  63   "testinner:\n"
  64   /* Check registers.  */
  65   "cghi %r0, 0x1230\n"
  66   "jne testerr\n"
  67   "cghi %r2, 0x1232\n"
  68   "jne testerr\n"
  69   "cghi %r3, 0x1233\n"
  70   "jne testerr\n"
  71   "cghi %r4, 0x1234\n"
  72   "jne testerr\n"
  73   "cghi %r5, 0x1235\n"
  74   "jne testerr\n"
  75   "cghi %r6, 0x1236\n"
  76   "jne testerr\n"
  77   /* Check stack param.  */
  78   "lg %r0, 0xa0(%r15)\n"
  79   "cghi %r0, 0x1240\n"
  80   "jne testerr\n"
  81   /* Check argument pointer.  */
  82   "aghi %r1, 8\n"
  83   "larl %r2, orig_r15\n"
  84   "cg %r1, 0(%r2)\n"
  85   "jne testerr\n"
  86   /* Modify volatile registers.  */
  87   "lghi %r0, 0x1250\n"
  88   "lghi %r1, 0x1251\n"
  89   "lghi %r2, 0x1252\n"
  90   "lghi %r3, 0x1253\n"
  91   "lghi %r4, 0x1254\n"
  92   "lghi %r5, 0x1255\n"
  93   /* Return.  */
  94   "br %r14\n"
  95
  96   /* Returns here.  */
  97   "testret:\n"
  98   /* Check return registers.  */
  99   "cghi %r2, 0x1252\n"
 100   "jne testerr\n"
 101   /* Check callee-saved registers.  */
 102   "cghi %r6, 0x1236\n"
 103   "jne testerr\n"
 104   "cghi %r7, 0x1237\n"
 105   "jne testerr\n"
 106   "cghi %r8, 0x1238\n"
 107   "jne testerr\n"
 108   "cghi %r9, 0x1239\n"
 109   "jne testerr\n"
 110   "cghi %r10, 0x123a\n"
 111   "jne testerr\n"
 112   "cghi %r11, 0x123b\n"
 113   "jne testerr\n"
 114   "cghi %r12, 0x123c\n"
 115   "jne testerr\n"
 116   "cghi %r13, 0x123d\n"
 117   "jne testerr\n"
 118   /* Return.  */
 119   "lmg %r6, %r15, 0xd8(%r15)\n"
 120   "br %r14\n"
 121
 122   /* Parameters block.  */
 123   ".section .data\n"
 124   ".align 8\n"
 125   "testparams:\n"
 126   ".quad 160\n"
 127   ".quad 8\n"
 128   ".quad testinner-testparams\n"
 129   ".text\n"
 130 );
 131
 132 #else
 133
 134 asm(
 135   ".global test\n"
 136   "test:\n"
 137   ".type test, @function\n"
 138   /* Save registers.  */
 139   "stm %r6, %r15, 0x18(%r15)\n"
 140   /* Save original sp in a global.  */
 141   "larl %r1, orig_r15\n"
 142   "st %r15, 0(%r1)\n"
 143   /* Make a stack frame.  */
 144   "ahi %r15, -0x68\n"
 145   /* A stack parameter.  */
 146   "lhi %r1, 0x1240\n"
 147   "st %r1, 0x60(%r15)\n"
 148   "lhi %r1, 0x1241\n"
 149   "st %r1, 0x64(%r15)\n"
 150   /* Registers.  */
 151   "lhi %r0, 0x1230\n"
 152   "lhi %r2, 0x1232\n"
 153   "lhi %r3, 0x1233\n"
 154   "lhi %r4, 0x1234\n"
 155   "lhi %r5, 0x1235\n"
 156   "lhi %r6, 0x1236\n"
 157   "lhi %r7, 0x1237\n"
 158   "lhi %r8, 0x1238\n"
 159   "lhi %r9, 0x1239\n"
 160   "lhi %r10, 0x123a\n"
 161   "lhi %r11, 0x123b\n"
 162   "lhi %r12, 0x123c\n"
 163   "lhi %r13, 0x123d\n"
 164   /* Fake return address.  */
 165   "larl %r14, testret\n"
 166   /* Call morestack.  */
 167   "larl %r1, testparams\n"
 168   "jg __morestack\n"
 169
 170   /* Entry point.  */
 171   "testinner:\n"
 172   /* Check registers.  */
 173   "chi %r0, 0x1230\n"
 174   "jne testerr\n"
 175   "chi %r2, 0x1232\n"
 176   "jne testerr\n"
 177   "chi %r3, 0x1233\n"
 178   "jne testerr\n"
 179   "chi %r4, 0x1234\n"
 180   "jne testerr\n"
 181   "chi %r5, 0x1235\n"
 182   "jne testerr\n"
 183   "chi %r6, 0x1236\n"
 184   "jne testerr\n"
 185   /* Check stack param.  */
 186   "l %r0, 0x60(%r15)\n"
 187   "chi %r0, 0x1240\n"
 188   "jne testerr\n"
 189   "l %r0, 0x64(%r15)\n"
 190   "chi %r0, 0x1241\n"
 191   "jne testerr\n"
 192   /* Check argument pointer.  */
 193   "ahi %r1, 8\n"
 194   "larl %r2, orig_r15\n"
 195   "c %r1, 0(%r2)\n"
 196   "jne testerr\n"
 197   /* Modify volatile registers.  */
 198   "lhi %r0, 0x1250\n"
 199   "lhi %r1, 0x1251\n"
 200   "lhi %r2, 0x1252\n"
 201   "lhi %r3, 0x1253\n"
 202   "lhi %r4, 0x1254\n"
 203   "lhi %r5, 0x1255\n"
 204   /* Return.  */
 205   "br %r14\n"
 206
 207   /* Returns here.  */
 208   "testret:\n"
 209   /* Check return registers.  */
 210   "chi %r2, 0x1252\n"
 211   "jne testerr\n"
 212   "chi %r3, 0x1253\n"
 213   "jne testerr\n"
 214   /* Check callee-saved registers.  */
 215   "chi %r6, 0x1236\n"
 216   "jne testerr\n"
 217   "chi %r7, 0x1237\n"
 218   "jne testerr\n"
 219   "chi %r8, 0x1238\n"
 220   "jne testerr\n"
 221   "chi %r9, 0x1239\n"
 222   "jne testerr\n"
 223   "chi %r10, 0x123a\n"
 224   "jne testerr\n"
 225   "chi %r11, 0x123b\n"
 226   "jne testerr\n"
 227   "chi %r12, 0x123c\n"
 228   "jne testerr\n"
 229   "chi %r13, 0x123d\n"
 230   "jne testerr\n"
 231   /* Return.  */
 232   "lm %r6, %r15, 0x80(%r15)\n"
 233   "br %r14\n"
 234
 235   /* Parameters block.  */
 236   ".section .data\n"
 237   ".align 4\n"
 238   "testparams:\n"
 239   ".long 96\n"
 240   ".long 8\n"
 241   ".long testinner-testparams\n"
 242   ".text\n"
 243 );
 244
 245 #endif
 246
 247 _Noreturn void testerr (void) {
 248   exit(1);
 249 }
 250
 251 extern void test (void);
 252
 253 int main (void) {
 254   test();
 255   /* Now try again, with huge stack frame requested - to exercise
 256      both paths in __morestack (new allocation needed or not).  */
 257   testparams[0] = 1000000;
 258   test();
 259   return 0;
 260 }