66 lines · cpp
1// Check code generation2// RUN: %clang_cc1 -verify -triple x86_64-pc-linux-gnu -fopenmp -emit-llvm %s -o - | FileCheck %s --check-prefix=IR3 4// Check same results after serialization round-trip5// RUN: %clang_cc1 -verify -triple x86_64-pc-linux-gnu -fopenmp -emit-pch -o %t %s6// RUN: %clang_cc1 -verify -triple x86_64-pc-linux-gnu -fopenmp -include-pch %t -emit-llvm %s -o - | FileCheck %s --check-prefix=IR7// expected-no-diagnostics8 9#ifndef HEADER10#define HEADER11 12// placeholder for loop body code.13extern "C" void body(...) {}14 15 16// IR-LABEL: @func(17// IR-NEXT: [[ENTRY:.*]]:18// IR-NEXT: %[[START_ADDR:.+]] = alloca i32, align 419// IR-NEXT: %[[END_ADDR:.+]] = alloca i32, align 420// IR-NEXT: %[[STEP_ADDR:.+]] = alloca i32, align 421// IR-NEXT: %[[I:.+]] = alloca i32, align 422// IR-NEXT: store i32 %[[START:.+]], ptr %[[START_ADDR]], align 423// IR-NEXT: store i32 %[[END:.+]], ptr %[[END_ADDR]], align 424// IR-NEXT: store i32 %[[STEP:.+]], ptr %[[STEP_ADDR]], align 425// IR-NEXT: %[[TMP0:.+]] = load i32, ptr %[[START_ADDR]], align 426// IR-NEXT: store i32 %[[TMP0]], ptr %[[I]], align 427// IR-NEXT: br label %[[FOR_COND:.+]]28// IR-EMPTY:29// IR-NEXT: [[FOR_COND]]:30// IR-NEXT: %[[TMP1:.+]] = load i32, ptr %[[I]], align 431// IR-NEXT: %[[TMP2:.+]] = load i32, ptr %[[END_ADDR]], align 432// IR-NEXT: %[[CMP:.+]] = icmp slt i32 %[[TMP1]], %[[TMP2]]33// IR-NEXT: br i1 %[[CMP]], label %[[FOR_BODY:.+]], label %[[FOR_END:.+]]34// IR-EMPTY:35// IR-NEXT: [[FOR_BODY]]:36// IR-NEXT: %[[TMP3:.+]] = load i32, ptr %[[START_ADDR]], align 437// IR-NEXT: %[[TMP4:.+]] = load i32, ptr %[[END_ADDR]], align 438// IR-NEXT: %[[TMP5:.+]] = load i32, ptr %[[STEP_ADDR]], align 439// IR-NEXT: %[[TMP6:.+]] = load i32, ptr %[[I]], align 440// IR-NEXT: call void (...) @body(i32 noundef %[[TMP3]], i32 noundef %[[TMP4]], i32 noundef %[[TMP5]], i32 noundef %[[TMP6]])41// IR-NEXT: br label %[[FOR_INC:.+]]42// IR-EMPTY:43// IR-NEXT: [[FOR_INC]]:44// IR-NEXT: %[[TMP7:.+]] = load i32, ptr %[[STEP_ADDR]], align 445// IR-NEXT: %[[TMP8:.+]] = load i32, ptr %[[I]], align 446// IR-NEXT: %[[ADD:.+]] = add nsw i32 %[[TMP8]], %[[TMP7]]47// IR-NEXT: store i32 %[[ADD]], ptr %[[I]], align 448// IR-NEXT: br label %[[FOR_COND]], !llvm.loop ![[LOOP2:[0-9]+]]49// IR-EMPTY:50// IR-NEXT: [[FOR_END]]:51// IR-NEXT: ret void52// IR-NEXT: }53extern "C" void func(int start, int end, int step) {54 #pragma omp unroll partial(4)55 for (int i = start; i < end; i+=step)56 body(start, end, step, i);57}58 59#endif /* HEADER */60 61 62// IR: ![[LOOP2]] = distinct !{![[LOOP2]], ![[LOOPPROP3:[0-9]+]], ![[LOOPPROP4:[0-9]+]], ![[LOOPPROP5:[0-9]+]]}63// IR: ![[LOOPPROP3]] = !{!"llvm.loop.mustprogress"}64// IR: ![[LOOPPROP4]] = !{!"llvm.loop.unroll.count", i32 4}65// IR: ![[LOOPPROP5]] = !{!"llvm.loop.unroll.enable"}66