[Mlir-commits] [mlir] [MLIR][NFC] Adding a missing option in OneShotBufferizePass (PR #130691)

[lorenzo chelini]

chelini wrote:

> What flag did you set? `copyBeforeWrite` or `enforceAliasingInvariants`? Only `copyBeforeWrite` will force a copy. When we have copies everywhere, some of the aliasing invariants can be relaxed. That's what the `enforceAliasingInvariants` is for. `enforceAliasingInvariants` by itself does not force a copy everywhere.

I am testing with:

```
-one-shot-bufferize="bufferize-function-boundaries enforce-aliasing-invariants=false"
-one-shot-bufferize="bufferize-function-boundaries enforce-aliasing-invariants=true"
```

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