clang/test/CodeGenCXX/fno-unroll-loops-metadata.cpp

   1 // RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++11 -emit-llvm -o - %s -O0 -disable-llvm-optzns -fno-unroll-loops | FileCheck --check-prefix=NO_UNROLL_MD %s
   2 // RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++11 -emit-llvm -o - %s -O1 -disable-llvm-optzns -fno-unroll-loops | FileCheck --check-prefix=UNROLL_DISABLED_MD %s
   3 // RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++11 -emit-llvm -o - %s -O2 -disable-llvm-optzns -fno-unroll-loops | FileCheck --check-prefix=UNROLL_DISABLED_MD %s
   4 // RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++11 -emit-llvm -o - %s -O3 -disable-llvm-optzns -fno-unroll-loops | FileCheck --check-prefix=UNROLL_DISABLED_MD %s
   5 // RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++11 -emit-llvm -o - %s -O3 -disable-llvm-optzns | FileCheck --check-prefix=NO_UNROLL_MD %s
   6
   7 // NO_UNROLL_MD-NOT: llvm.loop.unroll.disable
   8
   9 // Verify unroll.disable metadata is added to while loop with -fno-unroll-loops
  10 // and optlevel > 0.
  11 void while_test(int *List, int Length) {
  12   // UNROLL_DISABLED_MD: define {{.*}} @_Z10while_test
  13   int i = 0;
  14
  15   while (i < Length) {
  16     // UNROLL_DISABLED_MD: br label {{.*}}, !llvm.loop [[LOOP_1:![0-9]+]]
  17     List[i] = i * 2;
  18     i++;
  19   }
  20 }
  21
  22 // Verify unroll.disable metadata is added to do-while loop with
  23 // -fno-unroll-loops and optlevel > 0.
  24 void do_test(int *List, int Length) {
  25   // UNROLL_DISABLED_MD: define {{.*}} @_Z7do_test
  26   int i = 0;
  27
  28   do {
  29     // UNROLL_DISABLED_MD: br i1 {{.*}}, label {{.*}}, label {{.*}}, !llvm.loop [[LOOP_2:![0-9]+]]
  30     List[i] = i * 2;
  31     i++;
  32   } while (i < Length);
  33 }
  34
  35 // Verify unroll.disable metadata is added to while loop with -fno-unroll-loops
  36 // and optlevel > 0.
  37 void for_test(int *List, int Length) {
  38   // UNROLL_DISABLED_MD: define {{.*}} @_Z8for_test
  39   for (int i = 0; i < Length; i++) {
  40     // UNROLL_DISABLED_MD: br label {{.*}}, !llvm.loop [[LOOP_3:![0-9]+]]
  41     List[i] = i * 2;
  42   }
  43 }
  44
  45 // UNROLL_DISABLED_MD: [[LOOP_1]] = distinct !{[[LOOP_1]], [[MP:![0-9]+]], [[UNROLL_DISABLE:![0-9]+]]}
  46 // UNROLL_DISABLED_MD: [[MP]] = !{!"llvm.loop.mustprogress"}
  47 // UNROLL_DISABLED_MD: [[UNROLL_DISABLE]] = !{!"llvm.loop.unroll.disable"}
  48 // UNROLL_DISABLED_MD: [[LOOP_2]] = distinct !{[[LOOP_2]], [[MP]], [[UNROLL_DISABLE]]}
  49 // UNROLL_DISABLED_MD: [[LOOP_3]] = distinct !{[[LOOP_3]], [[MP]], [[UNROLL_DISABLE]]}