Skip to content

Commit 0657ae3

Browse files
committed
[MLIR][OpenMP] Minor change to assembly format for Target Data op
Minor reordering of clauses in the assembly format for Target Data op to make it closer to the OpenMP standard. Differential Revision: https://reviews.llvm.org/D152822
1 parent 918a6bb commit 0657ae3

File tree

2 files changed

+7
-7
lines changed

2 files changed

+7
-7
lines changed

mlir/include/mlir/Dialect/OpenMP/OpenMPOps.td

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -978,19 +978,19 @@ def Target_DataOp: OpenMP_Op<"target_data", [AttrSizedOperandSegments]>{
978978

979979
let arguments = (ins Optional<I1>:$if_expr,
980980
Optional<AnyInteger>:$device,
981-
Variadic<AnyType>:$use_device_ptr,
982-
Variadic<AnyType>:$use_device_addr,
981+
Variadic<OpenMP_PointerLikeType>:$use_device_ptr,
982+
Variadic<OpenMP_PointerLikeType>:$use_device_addr,
983983
Variadic<OpenMP_PointerLikeType>:$map_operands,
984984
I64ArrayAttr:$map_types);
985985

986986
let regions = (region AnyRegion:$region);
987987

988988
let assemblyFormat = [{
989989
oilist(`if` `(` $if_expr `:` type($if_expr) `)`
990-
| `device` `(` $device `:` type($device) `)`
991-
| `use_device_ptr` `(` $use_device_ptr `:` type($use_device_ptr) `)`
992-
| `use_device_addr` `(` $use_device_addr `:` type($use_device_addr) `)`)
990+
| `device` `(` $device `:` type($device) `)`)
993991
`map` `(` custom<MapClause>($map_operands, type($map_operands), $map_types) `)`
992+
oilist(`use_device_ptr` `(` $use_device_ptr `:` type($use_device_ptr) `)`
993+
| `use_device_addr` `(` $use_device_addr `:` type($use_device_addr) `)`)
994994
$region attr-dict
995995
}];
996996

mlir/test/Dialect/OpenMP/ops.mlir

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -507,8 +507,8 @@ func.func @omp_target_data (%if_cond : i1, %device : si32, %device_ptr: memref<i
507507
// CHECK: omp.target_data if(%[[VAL_0:.*]] : i1) device(%[[VAL_1:.*]] : si32) map((always, from -> %[[VAL_2:.*]] : memref<?xi32>))
508508
omp.target_data if(%if_cond : i1) device(%device : si32) map((always, from -> %map1 : memref<?xi32>)){}
509509

510-
// CHECK: omp.target_data use_device_ptr(%[[VAL_3:.*]] : memref<i32>) use_device_addr(%[[VAL_4:.*]] : memref<?xi32>) map((close, present, to -> %[[VAL_2:.*]] : memref<?xi32>))
511-
omp.target_data use_device_ptr(%device_ptr : memref<i32>) use_device_addr(%device_addr : memref<?xi32>) map((close, present, to -> %map1 : memref<?xi32>)){}
510+
// CHECK: omp.target_data map((close, present, to -> %[[VAL_2:.*]] : memref<?xi32>)) use_device_ptr(%[[VAL_3:.*]] : memref<i32>) use_device_addr(%[[VAL_4:.*]] : memref<?xi32>)
511+
omp.target_data map((close, present, to -> %map1 : memref<?xi32>)) use_device_ptr(%device_ptr : memref<i32>) use_device_addr(%device_addr : memref<?xi32>) {}
512512

513513
// CHECK: omp.target_data map((tofrom -> %[[VAL_2]] : memref<?xi32>), (alloc -> %[[VAL_5:.*]] : memref<?xi32>))
514514
omp.target_data map((tofrom -> %map1 : memref<?xi32>), (alloc -> %map2 : memref<?xi32>)){}

0 commit comments

Comments
 (0)