[mlir][openacc] Update acc.enter_data verifier for dataOperands

[clementval]

Summary

Data operands associated with acc.enter_data should comes
from acc data entry operations.

mlir/lib/Dialect/OpenACC/IR/OpenACC.cpp

LogicalResult acc::EnterDataOp::verify() {
   // The wait attribute represent the wait clause without values. Therefore the
   // attribute and operands cannot appear at the same time.
   if (!getWaitOperands().empty() && getWait())
     return emitError("wait attribute cannot appear with waitOperands");
 
   if (getWaitDevnum() && getWaitOperands().empty())
     return emitError("wait_devnum cannot appear without waitOperands");
 
+  for (mlir::Value operand : getDataClauseOperands())
+    if (!mlir::isa<acc::AttachOp, acc::CreateOp, acc::CopyinOp>(
+            operand.getDefiningOp()))
+      return emitError("expect data entry operation as defining op");
+
   return success();
 }
 
 unsigned EnterDataOp::getNumDataOperands() {
   return getCopyinOperands().size() + getCreateOperands().size() +
          getCreateZeroOperands().size() + getAttachOperands().size() +
          getDataClauseOperands().size();
 }

mlir/test/Dialect/OpenACC/invalid.mlir

 
 %cst = arith.constant 1 : index
 %value = memref.alloc() : memref<10xf32>
 // expected-error@+1 {{wait_devnum cannot appear without waitOperands}}
 acc.enter_data wait_devnum(%cst: index) create(%value : memref<10xf32>)
 
 // -----
 
+%value = memref.alloc() : memref<10xf32>
+// expected-error@+1 {{expect data entry operation as defining op}}
+acc.enter_data dataOperands(%value : memref<10xf32>)
+
+// -----
+
 %0 = arith.constant 1.0 : f32
 // expected-error@+1 {{operand #0 must be integer or index, but got 'f32'}}
 %1 = acc.bounds lowerbound(%0 : f32)