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

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