1  /* { dg-do run } */
       2  /* { dg-require-effective-target ia32 } */
       3  /* { dg-options "-mstackrealign -O2" } */
       4  
       5  extern void abort (void);
       6  
       7  __attribute__((noinline)) static void foo (int i1, int i2, int i3)
       8  {
       9    if (i3 != 3)
      10      abort ();
      11  }
      12  
      13  int main (int argc, char **argv)
      14  {
      15    foo (1, 2, 3);
      16    return 0;
      17  }