109 lines · cpp
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --check-attributes --include-generated-funcs --version 62// RUN: %clang_cc1 -x c++ -O1 -fopenmp-version=45 -disable-llvm-optzns -verify -fopenmp -triple x86_64-unknown-linux -emit-llvm %s -o - | FileCheck %s --check-prefix=CHECK3// RUN: %clang_cc1 -x c++ -O1 -fopenmp-version=45 -disable-llvm-optzns -verify -fopenmp -triple x86_64-unknown-linux -emit-llvm -fno-inline %s -o - | FileCheck %s --check-prefix=CHECK-NOINLINE4// expected-no-diagnostics5 6#ifndef HEADER7#define HEADER8 9void foo() {10#pragma omp parallel if(0)11 ;12#pragma omp parallel13 ;14}15 16#endif17// CHECK: Function Attrs: mustprogress nounwind18// CHECK-LABEL: define dso_local void @_Z3foov(19// CHECK-SAME: ) #[[ATTR0:[0-9]+]] {20// CHECK-NEXT: [[ENTRY:.*:]]21// CHECK-NEXT: [[DOTTHREADID_TEMP_:%.*]] = alloca i32, align 422// CHECK-NEXT: [[DOTBOUND_ZERO_ADDR:%.*]] = alloca i32, align 423// CHECK-NEXT: [[TMP0:%.*]] = call i32 @__kmpc_global_thread_num(ptr @[[GLOB1:[0-9]+]])24// CHECK-NEXT: call void @__kmpc_serialized_parallel(ptr @[[GLOB1]], i32 [[TMP0]])25// CHECK-NEXT: store i32 [[TMP0]], ptr [[DOTTHREADID_TEMP_]], align 4, !tbaa [[INT_TBAA3:![0-9]+]]26// CHECK-NEXT: store i32 0, ptr [[DOTBOUND_ZERO_ADDR]], align 427// CHECK-NEXT: call void @_Z3foov.omp_outlined(ptr [[DOTTHREADID_TEMP_]], ptr [[DOTBOUND_ZERO_ADDR]]) #[[ATTR2:[0-9]+]]28// CHECK-NEXT: call void @__kmpc_end_serialized_parallel(ptr @[[GLOB1]], i32 [[TMP0]])29// CHECK-NEXT: call void (ptr, i32, ptr, ...) @__kmpc_fork_call(ptr @[[GLOB1]], i32 0, ptr @_Z3foov.omp_outlined.1)30// CHECK-NEXT: ret void31//32//33// CHECK: Function Attrs: noinline norecurse nounwind34// CHECK-LABEL: define internal void @_Z3foov.omp_outlined(35// CHECK-SAME: ptr noalias noundef [[DOTGLOBAL_TID_:%.*]], ptr noalias noundef [[DOTBOUND_TID_:%.*]]) #[[ATTR1:[0-9]+]] {36// CHECK-NEXT: [[ENTRY:.*:]]37// CHECK-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca ptr, align 838// CHECK-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca ptr, align 839// CHECK-NEXT: store ptr [[DOTGLOBAL_TID_]], ptr [[DOTGLOBAL_TID__ADDR]], align 8, !tbaa [[INTPTR_TBAA7:![0-9]+]]40// CHECK-NEXT: store ptr [[DOTBOUND_TID_]], ptr [[DOTBOUND_TID__ADDR]], align 8, !tbaa [[INTPTR_TBAA7]]41// CHECK-NEXT: ret void42//43//44// CHECK: Function Attrs: alwaysinline norecurse nounwind45// CHECK-LABEL: define internal void @_Z3foov.omp_outlined.1(46// CHECK-SAME: ptr noalias noundef [[DOTGLOBAL_TID_:%.*]], ptr noalias noundef [[DOTBOUND_TID_:%.*]]) #[[ATTR3:[0-9]+]] {47// CHECK-NEXT: [[ENTRY:.*:]]48// CHECK-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca ptr, align 849// CHECK-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca ptr, align 850// CHECK-NEXT: store ptr [[DOTGLOBAL_TID_]], ptr [[DOTGLOBAL_TID__ADDR]], align 8, !tbaa [[INTPTR_TBAA7]]51// CHECK-NEXT: store ptr [[DOTBOUND_TID_]], ptr [[DOTBOUND_TID__ADDR]], align 8, !tbaa [[INTPTR_TBAA7]]52// CHECK-NEXT: ret void53//54//55// CHECK-NOINLINE: Function Attrs: mustprogress noinline nounwind56// CHECK-NOINLINE-LABEL: define dso_local void @_Z3foov(57// CHECK-NOINLINE-SAME: ) #[[ATTR0:[0-9]+]] {58// CHECK-NOINLINE-NEXT: [[ENTRY:.*:]]59// CHECK-NOINLINE-NEXT: [[DOTTHREADID_TEMP_:%.*]] = alloca i32, align 460// CHECK-NOINLINE-NEXT: [[DOTBOUND_ZERO_ADDR:%.*]] = alloca i32, align 461// CHECK-NOINLINE-NEXT: [[TMP0:%.*]] = call i32 @__kmpc_global_thread_num(ptr @[[GLOB1:[0-9]+]])62// CHECK-NOINLINE-NEXT: call void @__kmpc_serialized_parallel(ptr @[[GLOB1]], i32 [[TMP0]])63// CHECK-NOINLINE-NEXT: store i32 [[TMP0]], ptr [[DOTTHREADID_TEMP_]], align 4, !tbaa [[INT_TBAA3:![0-9]+]]64// CHECK-NOINLINE-NEXT: store i32 0, ptr [[DOTBOUND_ZERO_ADDR]], align 465// CHECK-NOINLINE-NEXT: call void @_Z3foov.omp_outlined(ptr [[DOTTHREADID_TEMP_]], ptr [[DOTBOUND_ZERO_ADDR]]) #[[ATTR2:[0-9]+]]66// CHECK-NOINLINE-NEXT: call void @__kmpc_end_serialized_parallel(ptr @[[GLOB1]], i32 [[TMP0]])67// CHECK-NOINLINE-NEXT: call void (ptr, i32, ptr, ...) @__kmpc_fork_call(ptr @[[GLOB1]], i32 0, ptr @_Z3foov.omp_outlined.1)68// CHECK-NOINLINE-NEXT: ret void69//70//71// CHECK-NOINLINE: Function Attrs: noinline norecurse nounwind72// CHECK-NOINLINE-LABEL: define internal void @_Z3foov.omp_outlined(73// CHECK-NOINLINE-SAME: ptr noalias noundef [[DOTGLOBAL_TID_:%.*]], ptr noalias noundef [[DOTBOUND_TID_:%.*]]) #[[ATTR1:[0-9]+]] {74// CHECK-NOINLINE-NEXT: [[ENTRY:.*:]]75// CHECK-NOINLINE-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca ptr, align 876// CHECK-NOINLINE-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca ptr, align 877// CHECK-NOINLINE-NEXT: store ptr [[DOTGLOBAL_TID_]], ptr [[DOTGLOBAL_TID__ADDR]], align 8, !tbaa [[INTPTR_TBAA7:![0-9]+]]78// CHECK-NOINLINE-NEXT: store ptr [[DOTBOUND_TID_]], ptr [[DOTBOUND_TID__ADDR]], align 8, !tbaa [[INTPTR_TBAA7]]79// CHECK-NOINLINE-NEXT: ret void80//81//82// CHECK-NOINLINE: Function Attrs: alwaysinline norecurse nounwind83// CHECK-NOINLINE-LABEL: define internal void @_Z3foov.omp_outlined.1(84// CHECK-NOINLINE-SAME: ptr noalias noundef [[DOTGLOBAL_TID_:%.*]], ptr noalias noundef [[DOTBOUND_TID_:%.*]]) #[[ATTR3:[0-9]+]] {85// CHECK-NOINLINE-NEXT: [[ENTRY:.*:]]86// CHECK-NOINLINE-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca ptr, align 887// CHECK-NOINLINE-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca ptr, align 888// CHECK-NOINLINE-NEXT: store ptr [[DOTGLOBAL_TID_]], ptr [[DOTGLOBAL_TID__ADDR]], align 8, !tbaa [[INTPTR_TBAA7]]89// CHECK-NOINLINE-NEXT: store ptr [[DOTBOUND_TID_]], ptr [[DOTBOUND_TID__ADDR]], align 8, !tbaa [[INTPTR_TBAA7]]90// CHECK-NOINLINE-NEXT: ret void91//92//.93// CHECK: [[INT_TBAA3]] = !{[[META4:![0-9]+]], [[META4]], i64 0}94// CHECK: [[META4]] = !{!"int", [[META5:![0-9]+]], i64 0}95// CHECK: [[META5]] = !{!"omnipotent char", [[META6:![0-9]+]], i64 0}96// CHECK: [[META6]] = !{!"Simple C++ TBAA"}97// CHECK: [[INTPTR_TBAA7]] = !{[[META8:![0-9]+]], [[META8]], i64 0}98// CHECK: [[META8]] = !{!"p1 int", [[META9:![0-9]+]], i64 0}99// CHECK: [[META9]] = !{!"any pointer", [[META5]], i64 0}100//.101// CHECK-NOINLINE: [[INT_TBAA3]] = !{[[META4:![0-9]+]], [[META4]], i64 0}102// CHECK-NOINLINE: [[META4]] = !{!"int", [[META5:![0-9]+]], i64 0}103// CHECK-NOINLINE: [[META5]] = !{!"omnipotent char", [[META6:![0-9]+]], i64 0}104// CHECK-NOINLINE: [[META6]] = !{!"Simple C++ TBAA"}105// CHECK-NOINLINE: [[INTPTR_TBAA7]] = !{[[META8:![0-9]+]], [[META8]], i64 0}106// CHECK-NOINLINE: [[META8]] = !{!"p1 int", [[META9:![0-9]+]], i64 0}107// CHECK-NOINLINE: [[META9]] = !{!"any pointer", [[META5]], i64 0}108//.109