[Mlir-commits] [mlir] [OpenMP][Flang] Add "IsolatedFromAbove" trait to omp.target (PR #67164)

[Kiran Chandramohan]

================
@@ -1144,14 +1144,13 @@ def DataBoundsOp : OpenMP_Op<"bounds",
 }
 
 def MapInfoOp : OpenMP_Op<"map_info", [AttrSizedOperandSegments]> {
-  let arguments = (ins OpenMP_PointerLikeType:$var_ptr,
-                       Optional<OpenMP_PointerLikeType>:$var_ptr_ptr,
+  let arguments = (ins AnyTypeOf<[IntLikeType, Index, OpenMP_PointerLikeType]>:$var_ptr,
----------------
kiranchandramohan wrote:

Wouldn't the `omp.bounds` operation for `a` have  `%4` for `n`?

One way to extend `omp.map_info` would be to add another optional argument ($val) to `MapInfo` and make $var_ptr optional. Modify the verifier to ensure that one of $val and $var_ptr is always provided but both are not provided.

https://github.com/llvm/llvm-project/pull/67164