40 lines
855 B
C
40 lines
855 B
C
/* { dg-do compile } */
|
|
/* { dg-options "-O1 -fdump-tree-dom2" } */
|
|
|
|
extern void abort (void);
|
|
struct rtx_def;
|
|
typedef struct rtx_def *rtx;
|
|
|
|
|
|
struct rtx_def
|
|
{
|
|
|
|
int code;
|
|
unsigned int unchanging:1;
|
|
|
|
};
|
|
static rtx current_sym_addr;
|
|
|
|
int
|
|
foo ()
|
|
{
|
|
if (current_sym_addr->code == 42
|
|
&& (({
|
|
rtx _rtx = current_sym_addr;
|
|
if (((_rtx)->code) != 42)
|
|
abort ();
|
|
_rtx;}
|
|
)->unchanging))
|
|
return 0;
|
|
}
|
|
|
|
/* There should be precisely one load of ->code. If there is
|
|
more than, then the dominator optimizations failed. */
|
|
/* { dg-final { scan-tree-dump-times "->code" 1 "dom2"} } */
|
|
|
|
/* There should be two IF statements. One for 'current_sym_addr->code == 42'.
|
|
The other one for '(EXPR)->unchanging'. */
|
|
/* { dg-final { scan-tree-dump-times "if " 2 "dom2"} } */
|
|
|
|
/* { dg-final { cleanup-tree-dump "dom2" } } */
|