| Issue |
130100
|
| Summary |
Failure to recognise trunc nsw from assumptions
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
RKSimon
|
Pulled out of #130088
```ll
----------------------------------------
define i8 @src(i16 noundef %x) {
#0:
%add = add i16 noundef %x, 128
%or.cond.i = icmp ult i16 %add, 256
assume i1 %or.cond.i
%conv1 = trunc i16 noundef %x to i8
ret i8 %conv1
}
=>
define i8 @tgt(i16 noundef %x) {
#0:
%conv1 = trunc nsw i16 noundef %x to i8
ret i8 %conv1
}
Transformation seems to be correct!
```
https://alive2.llvm.org/ce/z/2qhZy4
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
