I am not sure how this works. Assuming that I have a function like this:
func test_mul(%a:memref<10x10xf32>, %b:memref<10x10xf32>){
... ... ...
return
}
How to represent the cases that %a and %b might point to the same location on caller side; or they are never aliased from the caller.