Issue |
159743
|
Summary |
[CF][Canonicalizer] infinite loop trying to simplify control flow
|
Labels |
new issue
|
Assignees |
|
Reporter |
rscottmanley
|
The following test case will result in a compile-time infinite loop if you run `mlir-opt -canonicalizer`
```
module {
func.func @infloop_() {
%false = arith.constant false
cf.cond_br %false, ^bb1, ^bb2
^bb1: // 2 preds: ^bb0, ^bb2
cf.br ^bb2
^bb2: // 2 preds: ^bb0, ^bb1
cf.br ^bb1
}
}
```
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs