[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / add-mul-overflow-1.c

/* { dg-options "-O -fdump-tree-optimized" } */

int res[4];

void
f1 (int x, int y)
{
  res[2] = __builtin_add_overflow (x, y, res + 0);
  res[3] = __builtin_add_overflow (y, x, res + 1);
}

void
f2 (int x, int y)
{
  res[2] = __builtin_sub_overflow (x, y, res + 0);
  res[3] = __builtin_sub_overflow (y, x, res + 1);
}

void
f3 (int x, int y)
{
  res[2] = __builtin_mul_overflow (x, y, res + 0);
  res[3] = __builtin_mul_overflow (y, x, res + 1);
}

/* { dg-final { scan-tree-dump-times {\.ADD_OVERFLOW} 1 "optimized" } } */
/* { dg-final { scan-tree-dump-times {\.SUB_OVERFLOW} 2 "optimized" } } */
/* { dg-final { scan-tree-dump-times {\.MUL_OVERFLOW} 1 "optimized" } } */
Commit	Line	Data
b1d15146 RS	1	/* { dg-options "-O -fdump-tree-optimized" } */
	2
	3	int res[4];
	4
	5	void
	6	f1 (int x, int y)
	7	{
	8	res[2] = __builtin_add_overflow (x, y, res + 0);
	9	res[3] = __builtin_add_overflow (y, x, res + 1);
	10	}
	11
	12	void
	13	f2 (int x, int y)
	14	{
	15	res[2] = __builtin_sub_overflow (x, y, res + 0);
	16	res[3] = __builtin_sub_overflow (y, x, res + 1);
	17	}
	18
	19	void
	20	f3 (int x, int y)
	21	{
	22	res[2] = __builtin_mul_overflow (x, y, res + 0);
	23	res[3] = __builtin_mul_overflow (y, x, res + 1);
	24	}
	25
	26	/* { dg-final { scan-tree-dump-times {\.ADD_OVERFLOW} 1 "optimized" } } */
	27	/* { dg-final { scan-tree-dump-times {\.SUB_OVERFLOW} 2 "optimized" } } */
	28	/* { dg-final { scan-tree-dump-times {\.MUL_OVERFLOW} 1 "optimized" } } */