158f93264SJoseph Huber; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --include-generated-funcs 258f93264SJoseph Huber; RUN: opt -S -passes=openmp-opt < %s | FileCheck %s 358f93264SJoseph Huber 4aa8e9facSNikita Popov%struct.ident_t = type { i32, i32, i32, i32, ptr } 510068cd6SShilei Tian%struct.KernelEnvironmentTy = type { %struct.ConfigurationEnvironmentTy, ptr, ptr } 63de645efSJohannes Doerfert%struct.ConfigurationEnvironmentTy = type { i8, i8, i8, i32, i32, i32, i32, i32, i32 } 758f93264SJoseph Huber 858f93264SJoseph Huber@0 = private unnamed_addr constant [23 x i8] c";unknown;unknown;0;0;;\00", align 1 9aa8e9facSNikita Popov@1 = private unnamed_addr constant %struct.ident_t { i32 0, i32 2, i32 0, i32 0, ptr @0 }, align 8 1058f93264SJoseph Huber@_ZL6Device = internal global double 0.000000e+00, align 8 113de645efSJohannes Doerfert@__omp_offloading_fd02_85283c04_main_l11_kernel_environment = local_unnamed_addr constant %struct.KernelEnvironmentTy { %struct.ConfigurationEnvironmentTy { i8 0, i8 0, i8 1, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0 }, ptr @1, ptr null } 1258f93264SJoseph Huber 13*07ed8187SAlex MacLeandefine weak ptx_kernel void @__omp_offloading_fd02_85283c04_main_l11(ptr %dyn, ptr nonnull align 8 dereferenceable(8) %X) local_unnamed_addr "kernel" { 1458f93264SJoseph Huberentry: 15b8cbc5c0SJohannes Doerfert %0 = tail call i32 @__kmpc_target_init(ptr @__omp_offloading_fd02_85283c04_main_l11_kernel_environment, ptr %dyn) #0 1658f93264SJoseph Huber %exec_user_code = icmp eq i32 %0, -1 1758f93264SJoseph Huber br i1 %exec_user_code, label %user_code.entry, label %common.ret 1858f93264SJoseph Huber 1958f93264SJoseph Hubercommon.ret: 2058f93264SJoseph Huber ret void 2158f93264SJoseph Huber 2258f93264SJoseph Huberuser_code.entry: 23aa8e9facSNikita Popov %1 = load double, ptr @_ZL6Device, align 8, !tbaa !11 2458f93264SJoseph Huber %2 = tail call i32 @__kmpc_get_hardware_thread_id_in_block() #0 2558f93264SJoseph Huber %3 = icmp eq i32 %2, 0 2658f93264SJoseph Huber br i1 %3, label %region.guarded, label %region.barrier 2758f93264SJoseph Huber 2858f93264SJoseph Huberregion.guarded: 29aa8e9facSNikita Popov store double %1, ptr %X, align 8, !tbaa !11 3058f93264SJoseph Huber br label %region.barrier 3158f93264SJoseph Huber 3258f93264SJoseph Huberregion.barrier: 33aa8e9facSNikita Popov tail call void @__kmpc_barrier_simple_spmd(ptr nonnull @1, i32 %2) 3410068cd6SShilei Tian tail call void @__kmpc_target_deinit() #0 3558f93264SJoseph Huber br label %common.ret 3658f93264SJoseph Huber} 3758f93264SJoseph Huber 38b8cbc5c0SJohannes Doerfertdeclare i32 @__kmpc_target_init(ptr, ptr) local_unnamed_addr 3958f93264SJoseph Huber 4010068cd6SShilei Tiandeclare void @__kmpc_target_deinit() local_unnamed_addr 4158f93264SJoseph Huber 42*07ed8187SAlex MacLeandefine weak ptx_kernel void @__omp_offloading__fd02_85283c04_Device_l6_ctor() "kernel" { 4358f93264SJoseph Huberentry: 4458f93264SJoseph Huber %call.i = tail call double @__nv_log(double noundef 2.000000e+00) #1 4558f93264SJoseph Huber %call.i2 = tail call double @__nv_log(double noundef 2.000000e+00) #1 4658f93264SJoseph Huber %div = fdiv double %call.i, %call.i2 47aa8e9facSNikita Popov store double %div, ptr @_ZL6Device, align 8, !tbaa !11 4858f93264SJoseph Huber ret void 4958f93264SJoseph Huber} 5058f93264SJoseph Huber 5158f93264SJoseph Huberdeclare double @__nv_log(double) 5258f93264SJoseph Huber 5358f93264SJoseph Huberdeclare i32 @__kmpc_get_hardware_thread_id_in_block() 5458f93264SJoseph Huber 55aa8e9facSNikita Popovdeclare void @__kmpc_barrier_simple_spmd(ptr, i32) 5658f93264SJoseph Huber 5758f93264SJoseph Huberattributes #0 = { nounwind } 5858f93264SJoseph Huberattributes #1 = { convergent nounwind } 5958f93264SJoseph Huber 6058f93264SJoseph Huber!omp_offload.info = !{!0, !1, !2} 6158f93264SJoseph Huber!llvm.module.flags = !{!5, !6, !7, !8, !9} 6258f93264SJoseph Huber!llvm.ident = !{!10} 6358f93264SJoseph Huber 6458f93264SJoseph Huber!0 = !{i32 0, i32 64770, i32 -2060960764, !"__omp_offloading__fd02_85283c04_Device_l6_ctor", i32 6, i32 1} 6558f93264SJoseph Huber!1 = !{i32 0, i32 64770, i32 -2060960764, !"main", i32 11, i32 2} 6658f93264SJoseph Huber!2 = !{i32 1, !"_ZL6Device", i32 0, i32 0} 6758f93264SJoseph Huber!5 = !{i32 1, !"wchar_size", i32 4} 6858f93264SJoseph Huber!6 = !{i32 7, !"openmp", i32 50} 6958f93264SJoseph Huber!7 = !{i32 7, !"openmp-device", i32 50} 7058f93264SJoseph Huber!8 = !{i32 7, !"PIC Level", i32 2} 7158f93264SJoseph Huber!9 = !{i32 7, !"frame-pointer", i32 2} 7258f93264SJoseph Huber!10 = !{!"clang version 14.0.0"} 7358f93264SJoseph Huber!11 = !{!12, !12, i64 0} 7458f93264SJoseph Huber!12 = !{!"double", !13, i64 0} 7558f93264SJoseph Huber!13 = !{!"omnipotent char", !14, i64 0} 7658f93264SJoseph Huber!14 = !{!"Simple C++ TBAA"} 7758f93264SJoseph Huber; CHECK-LABEL: define {{[^@]+}}@__omp_offloading_fd02_85283c04_main_l11 78b8cbc5c0SJohannes Doerfert; CHECK-SAME: (ptr [[DYN:%.*]], ptr nonnull align 8 dereferenceable(8) [[X:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] { 7958f93264SJoseph Huber; CHECK-NEXT: entry: 80b8cbc5c0SJohannes Doerfert; CHECK-NEXT: [[TMP0:%.*]] = tail call i32 @__kmpc_target_init(ptr @__omp_offloading_fd02_85283c04_main_l11_kernel_environment, ptr [[DYN]]) #[[ATTR1:[0-9]+]] 8158f93264SJoseph Huber; CHECK-NEXT: [[EXEC_USER_CODE:%.*]] = icmp eq i32 [[TMP0]], -1 8258f93264SJoseph Huber; CHECK-NEXT: br i1 [[EXEC_USER_CODE]], label [[USER_CODE_ENTRY:%.*]], label [[COMMON_RET:%.*]] 8358f93264SJoseph Huber; CHECK: common.ret: 8458f93264SJoseph Huber; CHECK-NEXT: ret void 8558f93264SJoseph Huber; CHECK: user_code.entry: 86*07ed8187SAlex MacLean; CHECK-NEXT: [[TMP1:%.*]] = load double, ptr @_ZL6Device, align 8, !tbaa [[TBAA9:![0-9]+]] 878f4fadd1SJohannes Doerfert; CHECK-NEXT: [[TMP2:%.*]] = tail call i32 @__kmpc_get_hardware_thread_id_in_block() #[[ATTR1]] 8858f93264SJoseph Huber; CHECK-NEXT: [[TMP3:%.*]] = icmp eq i32 [[TMP2]], 0 8958f93264SJoseph Huber; CHECK-NEXT: br i1 [[TMP3]], label [[REGION_GUARDED:%.*]], label [[REGION_BARRIER:%.*]] 9058f93264SJoseph Huber; CHECK: region.guarded: 91*07ed8187SAlex MacLean; CHECK-NEXT: store double [[TMP1]], ptr [[X]], align 8, !tbaa [[TBAA9]] 9258f93264SJoseph Huber; CHECK-NEXT: br label [[REGION_BARRIER]] 9358f93264SJoseph Huber; CHECK: region.barrier: 9410068cd6SShilei Tian; CHECK-NEXT: tail call void @__kmpc_barrier_simple_spmd(ptr nonnull @[[GLOB1:[0-9]+]], i32 [[TMP2]]) #[[ATTR1]] 9510068cd6SShilei Tian; CHECK-NEXT: tail call void @__kmpc_target_deinit() #[[ATTR1]] 9658f93264SJoseph Huber; CHECK-NEXT: br label [[COMMON_RET]] 9758f93264SJoseph Huber; 9890609fb6SJohannes Doerfert; 998f4fadd1SJohannes Doerfert; CHECK-LABEL: define {{[^@]+}}@__omp_offloading__fd02_85283c04_Device_l6_ctor 1008f4fadd1SJohannes Doerfert; CHECK-SAME: () #[[ATTR0]] { 10190609fb6SJohannes Doerfert; CHECK-NEXT: entry: 1028f4fadd1SJohannes Doerfert; CHECK-NEXT: [[CALL_I:%.*]] = tail call double @__nv_log(double noundef 2.000000e+00) #[[ATTR2:[0-9]+]] 1038f4fadd1SJohannes Doerfert; CHECK-NEXT: [[CALL_I2:%.*]] = tail call double @__nv_log(double noundef 2.000000e+00) #[[ATTR2]] 10490609fb6SJohannes Doerfert; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[CALL_I]], [[CALL_I2]] 105*07ed8187SAlex MacLean; CHECK-NEXT: store double [[DIV]], ptr @_ZL6Device, align 8, !tbaa [[TBAA9]] 10690609fb6SJohannes Doerfert; CHECK-NEXT: ret void 10790609fb6SJohannes Doerfert; 108