| /* { dg-do compile } */ |
| /* { dg-options "-O2 -fdump-tree-cddce2" } */ |
| |
| struct rtx_def; |
| typedef struct rtx_def *rtx; |
| union tree_node; |
| typedef union tree_node *tree; |
| typedef struct mem_attrs |
| { |
| int foo; |
| |
| } mem_attrs; |
| union rtunion_def |
| { |
| mem_attrs *rtmem; |
| }; |
| typedef union rtunion_def rtunion; |
| struct rtx_def |
| { |
| rtunion fld[1]; |
| }; |
| struct tree_decl |
| { |
| rtx rtl; |
| }; |
| union tree_node |
| { |
| struct tree_decl decl; |
| }; |
| void * |
| get_alias_set (t) |
| tree t; |
| { |
| long set; |
| if (t->decl.rtl) |
| return (t->decl.rtl->fld[1].rtmem |
| ? 0 |
| : (((t->decl.rtl ? t->decl.rtl: (make_decl_rtl (t, 0), t->decl.rtl)))->fld[1]).rtmem); |
| return (void*)-1; |
| } |
| |
| /* There should be precisely one load of ->decl.rtl. If there is |
| more than, then the dominator optimizations failed. */ |
| /* { dg-final { scan-tree-dump-times "->decl\\.rtl" 1 "cddce2"} } */ |
| |
| /* There should be no loads of .rtmem since the complex return statement |
| is just "return 0". */ |
| /* { dg-final { scan-tree-dump-times ".rtmem" 0 "cddce2"} } */ |
| |
| /* There should be one IF statement (the complex return statement should |
| collapse down to a simple return 0 without any conditionals). */ |
| /* { dg-final { scan-tree-dump-times "if " 1 "cddce2"} } */ |
| |
| /* { dg-final { cleanup-tree-dump "cddce2" } } */ |