clang/test/CodeGenCXX/pragma-loop-licm.cpp

// RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++11 -emit-llvm -o - %s | FileCheck %s

void while_test(int *List, int Length, int *List2, int Length2) {
  // CHECK: define {{.*}} @_Z10while_test
  int i = 0;

#pragma clang loop licm(disable)
  while (i < Length) {
    // CHECK: br label {{.*}}, !llvm.loop ![[LOOP_1:.*]]
    List[i] = i * 2;
    i++;
  }

  i = 0;
  while (i < Length2) {
    // CHECK: br label {{.*}}, !llvm.loop [[LOOP_2:![0-9]+]]
    List2[i] = i * 2;
    i++;
  }
}

// CHECK: ![[LOOP_1]] = distinct !{![[LOOP_1]], [[MP:![0-9]+]], ![[LICM_DISABLE:.*]]}
// CHECK: ![[LICM_DISABLE]] = !{!"llvm.licm.disable"}
// CHECK: [[LOOP_2]] = distinct !{[[LOOP_2]], [[MP]]}