Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/20030710-1.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
/* { dg-do compile } */ /* { dg-options "-O1 -fdump-tree-copyprop2" } */ extern void abort (void); extern void blah (void); union tree_node; typedef union tree_node *tree; struct tree_vec { int length; tree a[1]; }; struct tree_type { tree binfo; }; union tree_node { struct tree_type type; struct tree_vec vec; }; void record_component_aliases (type) tree type; { if (type->type.binfo->vec.length) abort (); for (; (( { const tree __z = type->type.binfo; if (type->type.binfo->vec.length) abort (); type->type.binfo->vec.a[4];} )->vec.length);) { if (4 >= type->type.binfo->vec.length) abort (); blah (); } } /* The call to blah should have been eliminated. If the call is not eliminated, then dominator optimizations failed and it'll be impossible to delete other unnecessary code. */ /* { dg-final { scan-tree-dump-not "blah \\(\\)" "copyprop2" } } */ /* There should be two IF conditionals. */ /* { dg-final { scan-tree-dump-times "if " 2 "copyprop2"} } */ /* There should be a single load of type.binfo. */ /* { dg-final { scan-tree-dump-times "type\\.binfo" 1 "copyprop2"} } */ /* There should be two loads of vec.length. */ /* { dg-final { scan-tree-dump-times "vec.length" 2 "copyprop2"} } */