blob: 35b1c9de05b9f385b8488954db5bb46139942ff6 [file] [log] [blame]
// Try to check that registers are preserved when the stack is unwound.
// { dg-do run }
// { dg-options -O2 }
extern "C" void exit(int);
extern "C" void abort();
// This test case triggers up to DEPTH recursive calls to function
// foo(), These calls are numbered so that 0 is the innermost, 1 the
// second innermost, and so on. Each call caches NUM_VARS elements of
// both DOUBLE_SRC and INT_SRC and applies a trivial operation to each
// cached value. The innermost foo() call will throw an integer call
// number. The specified call should store its cached values in
// DOUBLE_DEST and INT_DEST, which int main() will check.
const int num_vars = 16;
const int depth = 3;
float float_src[num_vars * depth];
float float_dest[num_vars];
int int_src[num_vars * depth];
int int_dest[num_vars];
void foo (int level, int throw_to)
{
float *fsrc = &float_src[level * num_vars];
float f00 = *fsrc++ + 1.0f;
float f01 = *fsrc++ + 1.0f;
float f02 = *fsrc++ + 1.0f;
float f03 = *fsrc++ + 1.0f;
float f04 = *fsrc++ + 1.0f;
float f05 = *fsrc++ + 1.0f;
float f06 = *fsrc++ + 1.0f;
float f07 = *fsrc++ + 1.0f;
float f08 = *fsrc++ + 1.0f;
float f09 = *fsrc++ + 1.0f;
float f10 = *fsrc++ + 1.0f;
float f11 = *fsrc++ + 1.0f;
float f12 = *fsrc++ + 1.0f;
float f13 = *fsrc++ + 1.0f;
float f14 = *fsrc++ + 1.0f;
float f15 = *fsrc++ + 1.0f;
int *isrc = &int_src[level * num_vars];
int i00 = *isrc++ + 1;
int i01 = *isrc++ + 1;
int i02 = *isrc++ + 1;
int i03 = *isrc++ + 1;
int i04 = *isrc++ + 1;
int i05 = *isrc++ + 1;
int i06 = *isrc++ + 1;
int i07 = *isrc++ + 1;
int i08 = *isrc++ + 1;
int i09 = *isrc++ + 1;
int i10 = *isrc++ + 1;
int i11 = *isrc++ + 1;
int i12 = *isrc++ + 1;
int i13 = *isrc++ + 1;
int i14 = *isrc++ + 1;
int i15 = *isrc++ + 1;
try
{
if (level == 0)
throw throw_to;
else
foo (level - 1, throw_to);
}
catch (int i)
{
if (i == level)
{
float *fdest = float_dest;
*fdest++ = f00;
*fdest++ = f01;
*fdest++ = f02;
*fdest++ = f03;
*fdest++ = f04;
*fdest++ = f05;
*fdest++ = f06;
*fdest++ = f07;
*fdest++ = f08;
*fdest++ = f09;
*fdest++ = f10;
*fdest++ = f11;
*fdest++ = f12;
*fdest++ = f13;
*fdest++ = f14;
*fdest++ = f15;
int *idest = int_dest;
*idest++ = i00;
*idest++ = i01;
*idest++ = i02;
*idest++ = i03;
*idest++ = i04;
*idest++ = i05;
*idest++ = i06;
*idest++ = i07;
*idest++ = i08;
*idest++ = i09;
*idest++ = i10;
*idest++ = i11;
*idest++ = i12;
*idest++ = i13;
*idest++ = i14;
*idest++ = i15;
}
else
{
throw;
}
}
}
int main ()
{
for (int i = 0; i < depth * num_vars; i++)
{
int_src[i] = i * i;
float_src[i] = i * 2.0f;
}
for (int level = 0; level < depth; level++)
for (int throw_to = 0; throw_to <= level; throw_to++)
{
foo (level, throw_to);
float *fsrc = &float_src[throw_to * num_vars];
int *isrc = &int_src[throw_to * num_vars];
for (int i = 0; i < num_vars; i++)
{
if (int_dest[i] != isrc[i] + 1)
abort ();
if (float_dest[i] != fsrc[i] + 1.0f)
abort ();
}
}
exit (0);
}