92 lines · plain
1// RUN: mlir-translate -mlir-to-llvmir %s -split-input-file -verify-diagnostics2 3// Checking translation when the update is carried out by using more than one op4// in the region.5llvm.func @omp_atomic_update_multiple_step_update(%x: !llvm.ptr, %expr: i32) {6 omp.atomic.update %x : !llvm.ptr {7 ^bb0(%xval: i32):8 %t1 = llvm.mul %xval, %expr : i329 %t2 = llvm.sdiv %t1, %expr : i3210 %newval = llvm.add %xval, %t2 : i3211 omp.yield(%newval : i32)12 }13 llvm.return14}15 16// -----17 18// Checking translation when the captured variable is not used in the inner19// update operation20llvm.func @omp_atomic_update_multiple_step_update(%x: !llvm.ptr, %expr: i32) {21 // expected-error @+2 {{no atomic update operation with region argument as operand found inside atomic.update region}}22 // expected-error @+1 {{LLVM Translation failed for operation: omp.atomic.update}}23 omp.atomic.update %x : !llvm.ptr {24 ^bb0(%xval: i32):25 %newval = llvm.mul %expr, %expr : i3226 omp.yield(%newval : i32)27 }28 llvm.return29}30 31// -----32 33// Checking translation when the update is carried out by using more than one34// operations in the atomic capture region.35llvm.func @omp_atomic_update_multiple_step_update(%x: !llvm.ptr, %v: !llvm.ptr, %expr: i32) {36 // expected-error @+1 {{LLVM Translation failed for operation: omp.atomic.capture}}37 omp.atomic.capture memory_order(seq_cst) {38 omp.atomic.read %v = %x : !llvm.ptr, !llvm.ptr, i3239 // expected-error @+1 {{no atomic update operation with region argument as operand found inside atomic.update region}}40 omp.atomic.update %x : !llvm.ptr {41 ^bb0(%xval: i32):42 %newval = llvm.mul %expr, %expr : i3243 omp.yield(%newval : i32)44 }45 }46 llvm.return47}48 49// -----50 51// Checking translation when the captured variable is not used in the inner52// update operation53llvm.func @omp_atomic_update_multiple_step_update(%x: !llvm.ptr, %v: !llvm.ptr, %expr: i32) {54 omp.atomic.capture memory_order(seq_cst) {55 omp.atomic.read %v = %x : !llvm.ptr, !llvm.ptr, i3256 omp.atomic.update %x : !llvm.ptr {57 ^bb0(%xval: i32):58 %t1 = llvm.mul %xval, %expr : i3259 %t2 = llvm.sdiv %t1, %expr : i3260 %newval = llvm.add %xval, %t2 : i3261 omp.yield(%newval : i32)62 }63 }64 llvm.return65}66 67// -----68 69llvm.func @omp_threadprivate() {70 %0 = llvm.mlir.constant(1 : i64) : i6471 %1 = llvm.mlir.constant(1 : i32) : i3272 %2 = llvm.mlir.constant(2 : i32) : i3273 %3 = llvm.mlir.constant(3 : i32) : i3274 75 %4 = llvm.alloca %0 x i32 {in_type = i32, name = "a"} : (i64) -> !llvm.ptr76 77 // expected-error @below {{Addressing symbol not found}}78 // expected-error @below {{LLVM Translation failed for operation: omp.threadprivate}}79 %5 = omp.threadprivate %4 : !llvm.ptr -> !llvm.ptr80 81 llvm.store %1, %5 : i32, !llvm.ptr82 83 omp.parallel {84 %6 = omp.threadprivate %4 : !llvm.ptr -> !llvm.ptr85 llvm.store %2, %6 : i32, !llvm.ptr86 omp.terminator87 }88 89 llvm.store %3, %5 : i32, !llvm.ptr90 llvm.return91}92