mlir/test/Target/LLVMIR/omptarget-region-parallel-llvm.mlir

   1 // RUN: mlir-translate -mlir-to-llvmir %s | FileCheck %s
   2
   3 module attributes {omp.is_target_device = false} {
   4   llvm.func @omp_target_region_() {
   5     %0 = llvm.mlir.constant(20 : i32) : i32
   6     %1 = llvm.mlir.constant(10 : i32) : i32
   7     %2 = llvm.mlir.constant(1 : i64) : i64
   8     %3 = llvm.alloca %2 x i32 {bindc_name = "a", in_type = i32, operandSegmentSizes = array<i32: 0, 0>, uniq_name = "_QFomp_target_regionEa"} : (i64) -> !llvm.ptr
   9     %4 = llvm.mlir.constant(1 : i64) : i64
  10     %5 = llvm.alloca %4 x i32 {bindc_name = "b", in_type = i32, operandSegmentSizes = array<i32: 0, 0>, uniq_name = "_QFomp_target_regionEb"} : (i64) -> !llvm.ptr
  11     %6 = llvm.mlir.constant(1 : i64) : i64
  12     %7 = llvm.alloca %6 x i32 {bindc_name = "c", in_type = i32, operandSegmentSizes = array<i32: 0, 0>, uniq_name = "_QFomp_target_regionEc"} : (i64) -> !llvm.ptr
  13     llvm.store %1, %3 : i32, !llvm.ptr
  14     llvm.store %0, %5 : i32, !llvm.ptr
  15     %map1 = omp.map.info var_ptr(%3 : !llvm.ptr, i32)   map_clauses(tofrom) capture(ByRef) -> !llvm.ptr {name = ""}
  16     %map2 = omp.map.info var_ptr(%5 : !llvm.ptr, i32)   map_clauses(tofrom) capture(ByRef) -> !llvm.ptr {name = ""}
  17     %map3 = omp.map.info var_ptr(%7 : !llvm.ptr, i32)   map_clauses(tofrom) capture(ByRef) -> !llvm.ptr {name = ""}
  18     omp.target map_entries( %map1 -> %arg0, %map2 -> %arg1, %map3 -> %arg2 : !llvm.ptr, !llvm.ptr, !llvm.ptr) {
  19       omp.parallel {
  20         %8 = llvm.load %arg0 : !llvm.ptr -> i32
  21         %9 = llvm.load %arg1 : !llvm.ptr -> i32
  22         %10 = llvm.add %8, %9  : i32
  23         llvm.store %10, %arg2 : i32, !llvm.ptr
  24         omp.terminator
  25         }
  26       omp.terminator
  27     }
  28     llvm.return
  29   }
  30 }
  31
  32 // CHECK: call void @__omp_offloading_[[DEV:.*]]_[[FIL:.*]]_omp_target_region__l[[LINE:.*]](ptr %{{.*}}, ptr %{{.*}}, ptr %{{.*}})
  33 // CHECK: define internal void @__omp_offloading_[[DEV]]_[[FIL]]_omp_target_region__l[[LINE]](ptr %[[ADDR_A:.*]], ptr %[[ADDR_B:.*]], ptr %[[ADDR_C:.*]])
  34 // CHECK:  %[[STRUCTARG:.*]] = alloca { ptr, ptr, ptr }, align 8
  35 // CHECK: %[[GEP1:.*]] = getelementptr { ptr, ptr, ptr }, ptr %[[STRUCTARG]], i32 0, i32 0
  36 // CHECK: store ptr %[[ADDR_A]], ptr %[[GEP1]], align 8
  37 // CHECK: %[[GEP2:.*]] = getelementptr { ptr, ptr, ptr }, ptr %[[STRUCTARG]], i32 0, i32 1
  38 // CHECK: store ptr %[[ADDR_B]], ptr %[[GEP2]], align 8
  39 // CHECK: %[[GEP3:.*]] = getelementptr { ptr, ptr, ptr }, ptr %[[STRUCTARG]], i32 0, i32 2
  40 // CHECK: store ptr %[[ADDR_C]], ptr %[[GEP3]], align 8
  41 // CHECK: call void (ptr, i32, ptr, ...) @__kmpc_fork_call(ptr @{{.*}}, i32 1, ptr @__omp_offloading_[[DEV]]_[[FIL]]_omp_target_region__l[[LINE]]..omp_par, ptr %[[STRUCTARG]])
  42
  43
  44 // CHECK: define internal void @__omp_offloading_[[DEV]]_[[FIL]]_omp_target_region__l[[LINE]]..omp_par(ptr noalias %tid.addr, ptr noalias %zero.addr, ptr %[[STRUCTARG2:.*]]) #0 {
  45 // CHECK: %[[GEP4:.*]] = getelementptr { ptr, ptr, ptr }, ptr %[[STRUCTARG2]], i32 0, i32 0
  46 // CHECK: %[[LOADGEP1:.*]] = load ptr, ptr %[[GEP4]], align 8
  47 // CHECK: %[[GEP5:.*]] = getelementptr { ptr, ptr, ptr }, ptr %0, i32 0, i32 1
  48 // CHECK: %[[LOADGEP2:.*]] = load ptr, ptr %[[GEP5]], align 8
  49 // CHECK: %[[GEP6:.*]] = getelementptr { ptr, ptr, ptr }, ptr %0, i32 0, i32 2
  50 // CHECK: %[[LOADGEP3:.*]] = load ptr, ptr %[[GEP6]], align 8
  51
  52 // CHECK: %[[VAL_A:.*]] = load i32, ptr %[[LOADGEP1]], align 4
  53 // CHECK: %[[VAL_B:.*]] = load i32, ptr %[[LOADGEP2]], align 4
  54 // CHECK: %[[SUM:.*]] = add i32 %[[VAL_A]], %[[VAL_B]]
  55 // CHECK: store i32 %[[SUM]], ptr %[[LOADGEP3]], align 4