72 lines · plain
1// RUN: fir-opt --lower-workdistribute %s | FileCheck %s2 3// CHECK-LABEL: func.func @test_fission_workdistribute(4// CHECK: %[[VAL_0:.*]] = arith.constant 0 : index5// CHECK: %[[VAL_1:.*]] = arith.constant 1 : index6// CHECK: %[[VAL_2:.*]] = arith.constant 9 : index7// CHECK: %[[VAL_3:.*]] = arith.constant 5.000000e+00 : f328// CHECK: fir.store %[[VAL_3]] to %[[ARG2:.*]] : !fir.ref<f32>9// CHECK: omp.teams {10// CHECK: omp.parallel {11// CHECK: omp.distribute {12// CHECK: omp.wsloop {13// CHECK: omp.loop_nest (%[[VAL_4:.*]]) : index = (%[[VAL_0]]) to (%[[VAL_2]]) inclusive step (%[[VAL_1]]) {14// CHECK: %[[VAL_5:.*]] = fir.coordinate_of %[[ARG0:.*]], %[[VAL_4]] : (!fir.ref<!fir.array<10xf32>>, index) -> !fir.ref<f32>15// CHECK: %[[VAL_6:.*]] = fir.load %[[VAL_5]] : !fir.ref<f32>16// CHECK: %[[VAL_7:.*]] = fir.coordinate_of %[[ARG1:.*]], %[[VAL_4]] : (!fir.ref<!fir.array<10xf32>>, index) -> !fir.ref<f32>17// CHECK: fir.store %[[VAL_6]] to %[[VAL_7]] : !fir.ref<f32>18// CHECK: omp.yield19// CHECK: }20// CHECK: } {omp.composite}21// CHECK: } {omp.composite}22// CHECK: omp.terminator23// CHECK: } {omp.composite}24// CHECK: omp.terminator25// CHECK: }26// CHECK: fir.call @regular_side_effect_func(%[[ARG2:.*]]) : (!fir.ref<f32>) -> ()27// CHECK: fir.call @my_fir_parallel_runtime_func(%[[ARG3:.*]]) : (!fir.ref<f32>) -> ()28// CHECK: fir.do_loop %[[VAL_8:.*]] = %[[VAL_0]] to %[[VAL_2]] step %[[VAL_1]] {29// CHECK: %[[VAL_9:.*]] = fir.coordinate_of %[[ARG0]], %[[VAL_8]] : (!fir.ref<!fir.array<10xf32>>, index) -> !fir.ref<f32>30// CHECK: fir.store %[[VAL_3]] to %[[VAL_9]] : !fir.ref<f32>31// CHECK: }32// CHECK: %[[VAL_10:.*]] = fir.load %[[ARG2:.*]] : !fir.ref<f32>33// CHECK: fir.store %[[VAL_10]] to %[[ARG3:.*]] : !fir.ref<f32>34// CHECK: return35// CHECK: }36module {37func.func @regular_side_effect_func(%arg0: !fir.ref<f32>) {38 return39}40func.func @my_fir_parallel_runtime_func(%arg0: !fir.ref<f32>) attributes {fir.runtime} {41 return42}43func.func @test_fission_workdistribute(%arr1: !fir.ref<!fir.array<10xf32>>, %arr2: !fir.ref<!fir.array<10xf32>>, %scalar_ref1: !fir.ref<f32>, %scalar_ref2: !fir.ref<f32>) {44 %c0_idx = arith.constant 0 : index45 %c1_idx = arith.constant 1 : index46 %c9_idx = arith.constant 9 : index47 %float_val = arith.constant 5.0 : f3248 omp.teams {49 omp.workdistribute {50 fir.store %float_val to %scalar_ref1 : !fir.ref<f32>51 fir.do_loop %iv = %c0_idx to %c9_idx step %c1_idx unordered {52 %elem_ptr_arr1 = fir.coordinate_of %arr1, %iv : (!fir.ref<!fir.array<10xf32>>, index) -> !fir.ref<f32>53 %loaded_val_loop1 = fir.load %elem_ptr_arr1 : !fir.ref<f32>54 %elem_ptr_arr2 = fir.coordinate_of %arr2, %iv : (!fir.ref<!fir.array<10xf32>>, index) -> !fir.ref<f32>55 fir.store %loaded_val_loop1 to %elem_ptr_arr2 : !fir.ref<f32>56 }57 fir.call @regular_side_effect_func(%scalar_ref1) : (!fir.ref<f32>) -> ()58 fir.call @my_fir_parallel_runtime_func(%scalar_ref2) : (!fir.ref<f32>) -> ()59 fir.do_loop %jv = %c0_idx to %c9_idx step %c1_idx {60 %elem_ptr_ordered_loop = fir.coordinate_of %arr1, %jv : (!fir.ref<!fir.array<10xf32>>, index) -> !fir.ref<f32>61 fir.store %float_val to %elem_ptr_ordered_loop : !fir.ref<f32>62 }63 %loaded_for_hoist = fir.load %scalar_ref1 : !fir.ref<f32>64 fir.store %loaded_for_hoist to %scalar_ref2 : !fir.ref<f32>65 omp.terminator 66 }67 omp.terminator68 }69 return70}71}72