Skip to content

Commit 92a394e

Browse files
committed
[InstCombine] Add pre-commit tests for PR59555. NFC.
1 parent a753045 commit 92a394e

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

llvm/test/Transforms/InstCombine/icmp-range.ll

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1477,6 +1477,22 @@ define <2 x i1> @icmp_ne_sext_eq_otherwise_vec(<2 x i32> %a) {
14771477
ret <2 x i1> %cmp1
14781478
}
14791479

1480+
; tests from PR59555
1481+
define i1 @isFloat(i64 %0) {
1482+
; CHECK-LABEL: @isFloat(
1483+
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt i64 [[TMP0:%.*]], 281474976710655
1484+
; CHECK-NEXT: [[TMP3:%.*]] = and i64 [[TMP0]], -281474976710656
1485+
; CHECK-NEXT: [[TMP4:%.*]] = icmp ne i64 [[TMP3]], 281474976710656
1486+
; CHECK-NEXT: [[TMP5:%.*]] = and i1 [[TMP2]], [[TMP4]]
1487+
; CHECK-NEXT: ret i1 [[TMP5]]
1488+
;
1489+
%2 = icmp ugt i64 %0, 281474976710655
1490+
%3 = and i64 %0, -281474976710656
1491+
%4 = icmp ne i64 %3, 281474976710656
1492+
%5 = and i1 %2, %4
1493+
ret i1 %5
1494+
}
1495+
14801496
!0 = !{i32 1, i32 6}
14811497
!1 = !{i32 0, i32 6}
14821498
!2 = !{i8 0, i8 1}

0 commit comments

Comments
 (0)