| Issue |
154025
|
| Summary |
Missed optimization: fold (x0 | x1 | x2 != 0 ? True : C) ? x0 : 0 -> x0
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
zxt5
|
```
define i32 @src(i32 %arg0, i32 %arg1, i32 %arg2, i32 %arg3) {
%v0 = or i32 %arg3, %arg2
%v1 = icmp ne i32 %arg1, 0
%v2 = or i32 %v0, %arg0
%v3 = icmp ne i32 %v2, 0
%v4 = select i1 %v3, i1 true, i1 %v1
%v5 = select i1 %v4, i32 %arg0, i32 0
ret i32 %v5
}
define i32 @tgt(i32 %arg0, i32 %arg1, i32 %arg2, i32 %arg3) {
ret i32 %arg0
}
```
Alive2: https://alive2.llvm.org/ce/z/sz6mjV
Godbolt: https://godbolt.org/z/PsjjK7Pxz
Pattern found in https://github.com/dtcxzyw/llvm-opt-benchmark/blob/main/bench/ffmpeg/optimized/matroskadec.ll
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
