Skip to content

Commit da94a2b

Browse files
committed
[InstSimplify] Correct icmp_lshr test to use ult instead of slt
1 parent c624027 commit da94a2b

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

llvm/test/Transforms/InstSimplify/compare.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2877,13 +2877,13 @@ define i1 @neg_icmp_lshr_known_non_zero_ult_no_nuw(i8 %x) {
28772877
; CHECK-NEXT: [[OR:%.*]] = or i8 [[X:%.*]], 1
28782878
; CHECK-NEXT: [[X1:%.*]] = shl i8 [[OR]], 1
28792879
; CHECK-NEXT: [[X2:%.*]] = shl i8 [[OR]], 2
2880-
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[X1]], [[X2]]
2880+
; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[X1]], [[X2]]
28812881
; CHECK-NEXT: ret i1 [[CMP]]
28822882
;
28832883
%or = or i8 %x, 1
28842884
%x1 = shl i8 %or, 1
28852885
%x2 = shl i8 %or, 2
2886-
%cmp = icmp slt i8 %x1, %x2
2886+
%cmp = icmp ult i8 %x1, %x2
28872887
ret i1 %cmp
28882888
}
28892889

0 commit comments

Comments
 (0)