mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-04-25 22:06:06 +00:00
Code Issues Projects Releases Wiki Activity

[NFC] Pre commit test for fold trunc nuw X to i1 -> true IFF X != 0

Browse Source
This commit is contained in:
Andreas Jonson 2024-12-08 15:02:51 +01:00
parent 4e0ba801ea
commit 25dcee4042
1 changed files with 48 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
llvm/test/Transforms/InstCombine/trunc.ll
View File

@ -1124,3 +1124,51 @@ loop:
exit:
ret void
}
define i1 @trunc_nuw_i1_non_zero(i8 %1) {
; CHECK-LABEL: @trunc_nuw_i1_non_zero(
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i8 [[TMP0:%.*]], 0
; CHECK-NEXT: tail call void @llvm.assume(i1 [[TMP2]])
; CHECK-NEXT: [[RET:%.*]] = trunc nuw i8 [[TMP0]] to i1
; CHECK-NEXT: ret i1 [[RET]]
;
%3 = icmp ne i8 %1, 0
tail call void @llvm.assume(i1 %3)
%ret = trunc nuw i8 %1 to i1
ret i1 %ret
}
define i1 @neg_trunc_nuw_i1_maybe_zero(i8 %1) {
; CHECK-LABEL: @neg_trunc_nuw_i1_maybe_zero(
; CHECK-NEXT: [[RET:%.*]] = trunc nuw i8 [[TMP0:%.*]] to i1
; CHECK-NEXT: ret i1 [[RET]]
;
%ret = trunc nuw i8 %1 to i1
ret i1 %ret
}
define i2 @neg_trunc_nuw_i2_non_zero(i8 %1) {
; CHECK-LABEL: @neg_trunc_nuw_i2_non_zero(
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i8 [[TMP0:%.*]], 0
; CHECK-NEXT: tail call void @llvm.assume(i1 [[TMP2]])
; CHECK-NEXT: [[RET:%.*]] = trunc nuw i8 [[TMP0]] to i2
; CHECK-NEXT: ret i2 [[RET]]
;
%3 = icmp ne i8 %1, 0
tail call void @llvm.assume(i1 %3)
%ret = trunc nuw i8 %1 to i2
ret i2 %ret
}
define i1 @neg_trunc_i1_non_zero(i8 %1) {
; CHECK-LABEL: @neg_trunc_i1_non_zero(
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i8 [[TMP0:%.*]], 0
; CHECK-NEXT: tail call void @llvm.assume(i1 [[TMP2]])
; CHECK-NEXT: [[RET:%.*]] = trunc i8 [[TMP0]] to i1
; CHECK-NEXT: ret i1 [[RET]]
;
%3 = icmp ne i8 %1, 0
tail call void @llvm.assume(i1 %3)
%ret = trunc i8 %1 to i1
ret i1 %ret
}