Optional<AnyInteger>:$device,
Variadic<AnyType>:$use_device_ptr,
Variadic<AnyType>:$use_device_addr,
- Variadic<AnyType>:$map_operands,
+ Variadic<OpenMP_PointerLikeType>:$map_operands,
I64ArrayAttr:$map_types);
let regions = (region AnyRegion:$region);
let arguments = (ins Optional<I1>:$if_expr,
Optional<AnyInteger>:$device,
UnitAttr:$nowait,
- Variadic<AnyType>:$map_operands,
+ Variadic<OpenMP_PointerLikeType>:$map_operands,
I64ArrayAttr:$map_types);
let assemblyFormat = [{
let arguments = (ins Optional<I1>:$if_expr,
Optional<AnyInteger>:$device,
UnitAttr:$nowait,
- Variadic<AnyType>:$map_operands,
+ Variadic<OpenMP_PointerLikeType>:$map_operands,
I64ArrayAttr:$map_types);
let assemblyFormat = [{