[InstCombine][NFCI] Fix test comments.

For fold
(X & (signbit l>> Y)) ==/!= 0 -> (X << Y) >=/< 0
(X & (signbit << Y)) ==/!= 0 -> (X l>> Y) >=/< 0

Test cases of X being constant are positive tests not negative.

Prep work for D62818.

llvm-svn: 364497
This commit is contained in:
Huihui Zhang 2019-06-27 05:46:06 +00:00
parent 490bc46541
commit 9f69052394
2 changed files with 4 additions and 4 deletions

View File

@ -183,8 +183,6 @@ define i1 @scalar_i32_signbit_lshr_and_eq_extra_use_lshr_and(i32 %x, i32 %y, i32
ret i1 %r
}
; Negative tests
; X is constant
define i1 @scalar_i32_signbit_lshr_and_eq_X_is_constant1(i32 %y) {
@ -211,6 +209,8 @@ define i1 @scalar_i32_signbit_lshr_and_eq_X_is_constant2(i32 %y) {
ret i1 %r
}
; Negative tests
; Check 'slt' predicate
define i1 @scalar_i32_signbit_lshr_and_slt(i32 %x, i32 %y) {

View File

@ -183,8 +183,6 @@ define i1 @scalar_i32_signbit_shl_and_eq_extra_use_shl_and(i32 %x, i32 %y, i32 %
ret i1 %r
}
; Negative tests
; X is constant
define i1 @scalar_i32_signbit_shl_and_eq_X_is_constant1(i32 %y) {
@ -213,6 +211,8 @@ define i1 @scalar_i32_signbit_shl_and_eq_X_is_constant2(i32 %y) {
ret i1 %r
}
; Negative tests
; Check 'slt' predicate
define i1 @scalar_i32_signbit_shl_and_slt(i32 %x, i32 %y) {