File: ira-loop-pressure.c

package info (click to toggle)
gcc-riscv64-unknown-elf 8.3.0.2019.08%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 680,956 kB
  • sloc: ansic: 3,237,715; cpp: 896,882; ada: 772,854; f90: 144,254; asm: 68,788; makefile: 67,456; sh: 29,743; exp: 28,045; objc: 15,273; fortran: 11,885; python: 7,369; pascal: 5,375; awk: 3,725; perl: 2,872; yacc: 316; xml: 311; ml: 285; lex: 198; haskell: 122
file content (31 lines) | stat: -rw-r--r-- 919 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 
/* Loop2_invariants pass should distinguish register pressures of different
   register classes.  In this case, register pressue of INT is high.  But
   we can still move the FP invariant out of the loop.  */

/* { dg-do compile { target { { i?86-*-* x86_64-*-* } && lp64 } } } */
/* { dg-options "-O2 -fira-loop-pressure -fdump-rtl-loop2_invariant " } */

float tt;
extern void foo2 (int *, int *, int *, int *, int *, int *);
extern int foo3 (int, int, int, int, int, int);
int foo (int a, int b, int c, int d)
{
   int i = a;
   int t1, t2, t3, t4, t5, t6;
   t1 = t2 = t3 = t4 = t5 = t6 = 0;

   for (; i > 0; i += c)
    {
      tt += 123456.0;
      if (d > t1 + t2)
	tt = 3.0;
      foo2 (&t1, &t2, &t3, &t4, &t5, &t6);
      t1 += t3 + t4 + a + b;
      t2 -= t5 - t6 - c - d;
    }

 return foo3 (t1, t2, t3, t4, t5, t6);
}

/* { dg-final { scan-rtl-dump "Decided to move invariant" "loop2_invariant"  } } */