I generated a bicg loop (which is a benchmark from polybench) in affine dialect.

The original code is as follows:

```
module {
func @bicg(%arg0: memref<32x32xf64>, %arg1: memref<32xf64>, %arg2: memref<32xf64>, %arg3: memref<32xf64>, %arg4: memref<32xf64>) {
affine.for %arg5 = 0 to 32 {
affine.for %arg6 = 0 to 32 {
%0 = affine.load %arg0[%arg5, %arg6] : memref<32x32xf64>
%1 = affine.load %arg1[%arg6] : memref<32xf64>
%2 = arith.mulf %0, %1 : f64
%3 = affine.load %arg2[%arg5] : memref<32xf64>
%4 = arith.addf %2, %3 : f64
affine.store %4, %arg2[%arg5] : memref<32xf64>
%5 = affine.load %arg0[%arg5, %arg6] : memref<32x32xf64>
%6 = affine.load %arg3[%arg5] : memref<32xf64>
%7 = arith.mulf %5, %6 : f64
%8 = affine.load %arg4[%arg6] : memref<32xf64>
%9 = arith.addf %7, %8 : f64
affine.store %9, %arg4[%arg6] : memref<32xf64>
}
}
return
}
}
```

In order to test the codeâ€™s latency after loop transformations, I split the code into the following format and an error occurs:

```
if (failed(mlir::verify(*module))) {
module->emitError("module verification error");
module->dump();
}
```

```
error: operand #1 does not dominate this use
error: module verification error
```

```
module {
func @bicg(%arg0: memref<32x32xf64>, %arg1: memref<32xf64>, %arg2: memref<32xf64>, %arg3: memref<32xf64>, %arg4: memref<32xf64>) {
affine.for %arg5 = 0 to 32 {
affine.for %arg6 = 0 to 32 {
%0 = affine.load %arg0[%arg5, %arg6] : memref<32x32xf64>
%1 = affine.load %arg3[%arg5] : memref<32xf64>
%2 = arith.mulf %0, %1 : f64
%3 = affine.load %arg4[%arg6] : memref<32xf64>
%4 = arith.addf %2, %3 : f64
affine.store %4, %arg4[%arg6] : memref<32xf64>
}
}
affine.for %arg5 = 0 to 32 {
affine.for %arg6 = 0 to 32 {
%0 = affine.load %arg0[%arg5, %arg6] : memref<32x32xf64>
%1 = affine.load %arg1[%arg6] : memref<32xf64>
%2 = arith.mulf %0, %1 : f64
%3 = affine.load %arg2[%arg5] : memref<32xf64>
%4 = arith.addf %2, %3 : f64
affine.store %4, %arg2[%arg5] : memref<32xf64>
}
}
return
}
}
```

Acutally I can not see any â€śdominance errorsâ€ť in the second picture.

So I want to know what leads to such an error and what should I do to aviod such errors. Thanks!