1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-rtl-ira" } */
       3  /* ia32 PIC prevents tail-calling, which forces bar's arg to be pushed, which
       4     drops the equivalence.  */
       5  /* { dg-additional-options "-fno-PIE" { target ia32 } } */
       6  
       7  /* { dg-final { scan-rtl-dump "Adding REG_EQUIV to insn \[0-9\]+ for source of insn \[0-9\]+" "ira" } } */
       8  
       9  typedef float XFtype __attribute__ ((mode (XF)));
      10  
      11  void bar (XFtype);
      12  
      13  void
      14  foo (XFtype a, XFtype c)
      15  {
      16    XFtype ac = a * c;
      17  
      18    bar (ac);
      19  }