| Issue |
60970
|
| Summary |
[MLIR]Bug on `-one-shot-bufferize`
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
sweead
|
Executing the following optimization will generate invalid IRs.
cmd:
```
mlir-opt -one-shot-bufferize="allow-unknown-ops" core-ops.mlir
```
IR:
```
func.func @affine_apply() {
%i = "arith.constant"() {value = 0: index} : () -> index
%j = "arith.constant"() {value = 1: index} : () -> index
%a = "affine.apply" (%i) { map = affine_map<(d0) -> (d0 + 1)> } :
(index) -> (index)
%b = affine.apply affine_map<()[x] -> (x+1)>()[%i]
return
}
```
Outputs:
```
module {
func.func @affine_apply1() {
return
}
}
```
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
