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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
/* { dg-do compile { target i?86-*-* x86_64-*-* } } */
/* { dg-options "-O2 -fno-omit-frame-pointer -fshrink-wrap-frame-pointer -fdump-rtl-ira-details-blocks" } */
/* { dg-final { scan-assembler-times "lea\[^\n\r\]*bp" 1 } } */
/* { dg-final { scan-rtl-dump "loop 1\[^\n\r\]*fp" "ira" } } */
/* { dg-final { scan-rtl-dump-not "loop 2\[^\n\r\]*fp" "ira" } } */
/* { dg-final { cleanup-rtl-dump "ira" } } */
/* Check loop1 should set fp_is_free and loop2 should not. */
int a[1000], b[1000], cond1, cond2, x, y;
unsigned M, N;
extern void goo();
int *p;
void foo() {
int r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r13, r14, r15;
unsigned i, j;
for (i = 0; i < M; i++) {
r1 = a[1];
r2 = a[2];
r3 = a[3];
r4 = a[4];
r5 = a[5];
r6 = a[6];
r7 = a[7];
r8 = a[8];
r9 = a[9];
r10 = a[10];
r11 = a[11];
r12 = a[12];
r13 = a[13];
r14 = a[14];
r15 = a[15];
*p = 3;
b[1] = r1;
b[2] = r2;
b[3] = r3;
b[4] = r4;
b[5] = r5;
b[6] = r6;
b[7] = r7;
b[8] = r8;
b[9] = r9;
b[10] = r10;
b[11] = r11;
b[12] = r12;
b[13] = r13;
b[14] = r14;
b[15] = r15;
if (cond1) {
for (j = 0; j < N; j++) {
r2 = a[j];
goo();
b[j] = r2;
}
}
}
}
|
