[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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@364497 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/InstCombine/signbit-lshr-and-icmpeq-zero.ll b/test/Transforms/InstCombine/signbit-lshr-and-icmpeq-zero.ll
index c80294941e14dbe8f8c27c95e5e572c9d607e409..72c213297080449bfb4055755624ddb663a19ee0 100644 (file)
--- a/test/Transforms/InstCombine/signbit-lshr-and-icmpeq-zero.ll
+++ b/test/Transforms/InstCombine/signbit-lshr-and-icmpeq-zero.ll
@@ -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) {

diff --git a/test/Transforms/InstCombine/signbit-shl-and-icmpeq-zero.ll b/test/Transforms/InstCombine/signbit-shl-and-icmpeq-zero.ll
index 12c06cb49a1f58f2173603ea168f1b43d754d5fc..674d0c28d0185529a1fce168ac7ba5f37ebb6199 100644 (file)
--- a/test/Transforms/InstCombine/signbit-shl-and-icmpeq-zero.ll
+++ b/test/Transforms/InstCombine/signbit-shl-and-icmpeq-zero.ll
@@ -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) {