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