1/* { dg-do run } */
2/* { dg-require-effective-target ilp32 } */
3/* { dg-options "-mstackrealign -O2" } */
4
5extern 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
13int main (int argc, char **argv)
14{
15  foo (1, 2, 3);
16  return 0;
17}
18