gcc/testsuite/gcc.dg/tree-ssa/20030530-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-dom3" } */
   3
   4
   5 typedef struct rs6000_stack {
   6   int first_gp_reg_save;
   7 } rs6000_stack_t;
   8 extern char regs_ever_live[113];
   9 extern rs6000_stack_t *rs6000_stack_info (void);
  10 void
  11 rs6000_emit_prologue (int i, rs6000_stack_t *info)
  12 {
  13   if (regs_ever_live[info->first_gp_reg_save + i] || i+info->first_gp_reg_save)
  14     gen_rtx_REG (info->first_gp_reg_save + i);
  15 }
  16
  17 /* There should be precisely one load of first_gp_reg_save.  If there is
  18    more than one, then the dominator optimizations failed.  */
  19 /* { dg-final { scan-tree-dump-times "first_gp_reg_save" 1 "dom3"} } */
  20
  21 /* There should be precisely one addition.  If there is more than one, then
  22    the dominator optimizations failed, most likely due to not handling
  23    commutative operands correctly.  */
  24 /* { dg-final { scan-tree-dump-times "\\+" 1 "dom3"} } */
  25
  26