| Issue |
166973
|
| Summary |
Missed Optimization: fold icmp samesign ugt (x - 18), 7 (with nsw subtract) into icmp sgt x, 25
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
Leo0506
|
```
define i1 @src(i32 %arg0) {
%v0 = add nsw i32 %arg0, -18
%v1 = icmp samesign ugt i32 %v0, 7
ret i1 %v1
}
define i1 @tgt(i32 %arg0) {
%v1 = icmp sgt i32 %arg0, 25
ret i1 %v1
}
```
alive2: https://alive2.llvm.org/ce/z/HsxeWy
godbolt: https://godbolt.org/z/Ts68hfhKn
Pattern found in: https://github.com/dtcxzyw/llvm-opt-benchmark/blob/main/bench/ffmpeg/optimized/mlpenc.ll
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs