1 // RUN: %clang_cc1 -triple x86_64 -target-cpu x86-64 -S -O1 -funroll-loops -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK-ENABLE-UNROLL
2 // RUN: %clang_cc1 -triple x86_64 -target-cpu x86-64 -S -O1 -fno-unroll-loops -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK-DISABLE-UNROLL
3 // RUN: %clang_cc1 -triple x86_64 -target-cpu x86-64 -fexperimental-new-pass-manager -S -O1 -funroll-loops -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK-ENABLE-UNROLL
4 // RUN: %clang_cc1 -triple x86_64 -target-cpu x86-64 -fexperimental-new-pass-manager -S -O1 -fno-unroll-loops -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK-DISABLE-UNROLL
5 // REQUIRES: x86-registered-target
6 
7 // CHECK-ENABLE-UNROLL-LABEL: @for_test()
8 // CHECK-ENABLE-UNROLL: br label %[[FORBODY:[a-z0-9_\.]+]]
9 // CHECK-ENABLE-UNROLL: [[FORBODY]]:
10 // CHECK-ENABLE-UNROLL: store
11 // CHECK-ENABLE-UNROLL: store
12 // CHECK-ENABLE-UNROLL: br i1 %[[EXITCOND:[a-z0-9_\.]+]], label %[[FORBODY5:[a-z0-9_\.]+]], label %[[FORBODY]]
13 // CHECK-ENABLE-UNROLL: [[FORBODY5]]:
14 // CHECK-ENABLE-UNROLL: fmul
15 // CHECK-ENABLE-UNROLL: fadd
16 // CHECK-ENABLE-UNROLL: store
17 // CHECK-ENABLE-UNROLL: fmul
18 // CHECK-ENABLE-UNROLL: fadd
19 // CHECK-ENABLE-UNROLL: store
20 // CHECK-ENABLE-UNROLL: fmul
21 // CHECK-ENABLE-UNROLL: fadd
22 // CHECK-ENABLE-UNROLL: store
23 
24 // CHECK-DISABLE-UNROLL-LABEL: @for_test()
25 // CHECK-DISABLE-UNROLL: br label %[[FORBODY:[a-z0-9_\.]+]]
26 // CHECK-DISABLE-UNROLL: [[FORBODY]]:
27 // CHECK-DISABLE-UNROLL: store
28 // CHECK-DISABLE-UNROLL-NOT: store
29 // CHECK-DISABLE-UNROLL: br i1 %[[EXITCOND:[a-z0-9_\.]+]], label %[[FORBODY5:[a-z0-9_\.]+]], label %[[FORBODY]]
30 // CHECK-DISABLE-UNROLL: [[FORBODY5]]:
31 // CHECK-DISABLE-UNROLL: fmul
32 // CHECK-DISABLE-UNROLL: fadd
33 // CHECK-DISABLE-UNROLL: store
34 // CHECK-DISABLE-UNROLL: fmul
35 // CHECK-DISABLE-UNROLL: fadd
36 // CHECK-DISABLE-UNROLL: store
37 // CHECK-DISABLE-UNROLL-NOT: fmul
38 // CHECK-DISABLE-UNROLL-NOT: fadd
39 // CHECK-DISABLE-UNROLL-NOT: store
40 // Limit scope of checking so this does not match "fadd" within git version string
41 // CHECK-DISABLE-UNROLL: !0 =
42 
43 int printf(const char * restrict format, ...);
44 
45 void for_test() {
46   double A[1000], B[1000];
47   int L = 500;
48   for (int i = 0; i < L; i++) {
49     A[i] = i;
50   }
51   for (int i = 0; i < L; i++) {
52     B[i] = A[i]*5;
53     B[i]++;
54     A[i] *= 7;
55     A[i]++;
56   }
57   printf("%lf %lf\n", A[0], B[0]);
58 }
59