URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gcc.c-torture/] [execute/] [compare-2.c] - Blame information for rev 801

Go to most recent revision | Details | Compare with Previous | View Log


/* Copyright (C) 2002 Free Software Foundation.
 
   Ensure that the composite comparison optimization doesn't misfire
   and attempt to combine a signed comparison with an unsigned one.
 
   Written by Roger Sayle, 3rd June 2002.  */
 
extern void abort (void);
 
int
foo (int x, int y)
{
  /* If miscompiled the following may become "x == y".  */
  return (x<=y) && ((unsigned int)x >= (unsigned int)y);
}
 
int
main ()
{
  if (! foo (-1,0))
    abort ();
  return 0;
}
 

Line No.	Rev	Author	Line
1	688	jeremybenn	`/* Copyright (C) 2002 Free Software Foundation.`
2
3			`Ensure that the composite comparison optimization doesn't misfire`
4			`and attempt to combine a signed comparison with an unsigned one.`
5
6			`Written by Roger Sayle, 3rd June 2002. */`
7
8			`extern void abort (void);`
9
10			`int`
11			`foo (int x, int y)`
12			`{`
13			`/* If miscompiled the following may become "x == y". */`
14			`return (x<=y) && ((unsigned int)x >= (unsigned int)y);`
15			`}`
16
17			`int`
18			`main ()`
19			`{`
20			`if (! foo (-1,0))`
21			`abort ();`
22			`return 0;`
23			`}`
24

Browse

Tools

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gcc.c-torture/] [execute/] [compare-2.c] - Blame information for rev 801