[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / overflow-1.c

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

#if __SIZEOF_INT__ < 4
  __extension__ typedef __UINT32_TYPE__ uint32_t;
#else
  typedef unsigned uint32_t;
#endif

int f(uint32_t a){
    uint32_t b=5;
    uint32_t c=a-b;
    return c>a;
}
int g(uint32_t a){
    uint32_t b=32;
    uint32_t c=a+b;
    return c<a;
}

/* { dg-final { scan-tree-dump "a_\[0-9\]+.D. <= 4;" "optimized" } } */
/* { dg-final { scan-tree-dump "a_\[0-9\]+.D. > 4294967263;" "optimized" } } */
Commit	Line	Data
ca1206be MG	1	/* { dg-do compile } */
	2	/* { dg-options "-O -fdump-tree-optimized" } */
	3
54eb90fe SKS	4	#if __SIZEOF_INT__ < 4
	5	__extension__ typedef __UINT32_TYPE__ uint32_t;
	6	#else
	7	typedef unsigned uint32_t;
	8	#endif
	9
	10	int f(uint32_t a){
	11	uint32_t b=5;
	12	uint32_t c=a-b;
ca1206be MG	13	return c>a;
ca1206be MG	14	}
54eb90fe SKS	15	int g(uint32_t a){
	16	uint32_t b=32;
	17	uint32_t c=a+b;
ca1206be MG	18	return c<a;
	19	}
	20
	21	/* { dg-final { scan-tree-dump "a_\[0-9\]+.D. <= 4;" "optimized" } } */
	22	/* { dg-final { scan-tree-dump "a_\[0-9\]+.D. > 4294967263;" "optimized" } } */