/* { dg-do compile } */
|
/* { dg-do compile } */
|
/* { dg-options "-O1 -fdump-tree-dom2" } */
|
/* { dg-options "-O1 -fdump-tree-dom2" } */
|
|
|
|
|
typedef struct rs6000_stack {
|
typedef struct rs6000_stack {
|
int first_gp_reg_save;
|
int first_gp_reg_save;
|
} rs6000_stack_t;
|
} rs6000_stack_t;
|
extern char regs_ever_live[113];
|
extern char regs_ever_live[113];
|
extern rs6000_stack_t *rs6000_stack_info (void);
|
extern rs6000_stack_t *rs6000_stack_info (void);
|
void
|
void
|
rs6000_emit_prologue (int i, rs6000_stack_t *info)
|
rs6000_emit_prologue (int i, rs6000_stack_t *info)
|
{
|
{
|
if (regs_ever_live[info->first_gp_reg_save + i] || i+info->first_gp_reg_save)
|
if (regs_ever_live[info->first_gp_reg_save + i] || i+info->first_gp_reg_save)
|
gen_rtx_REG (info->first_gp_reg_save + i);
|
gen_rtx_REG (info->first_gp_reg_save + i);
|
}
|
}
|
|
|
/* There should be precisely one load of first_gp_reg_save. If there is
|
/* There should be precisely one load of first_gp_reg_save. If there is
|
more than one, then the dominator optimizations failed. */
|
more than one, then the dominator optimizations failed. */
|
/* { dg-final { scan-tree-dump-times "first_gp_reg_save" 1 "dom2"} } */
|
/* { dg-final { scan-tree-dump-times "first_gp_reg_save" 1 "dom2"} } */
|
|
|
/* There should be precisely one addition. If there is more than one, then
|
/* There should be precisely one addition. If there is more than one, then
|
the dominator optimizations failed, most likely due to not handling
|
the dominator optimizations failed, most likely due to not handling
|
commutative operands correctly. */
|
commutative operands correctly. */
|
/* { dg-final { scan-tree-dump-times "\\+" 1 "dom2"} } */
|
/* { dg-final { scan-tree-dump-times "\\+" 1 "dom2"} } */
|
|
|
/* { dg-final { cleanup-tree-dump "dom2" } } */
|
/* { dg-final { cleanup-tree-dump "dom2" } } */
|
|
|
|
|