[AArch64][GlobalISel] Port unmerge KnownBits tests to print<gisel-value-tracking>. NFC

This takes the known-bits tests added in llvm#112172 and ports them over to be a
new print<gisel-value-tracking> test.

Author: davemgreen

llvm/test/CodeGen/AArch64/GlobalISel/knownbits-unmerge.mir

@@ -0,0 +1,45 @@
+# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 5
+# RUN: llc -mtriple aarch64 -passes="print<gisel-value-tracking>" %s -o - 2>&1 | FileCheck %s
+
+---
+name:            Scalar
+body:             |
+  bb.1:
+  ; CHECK-LABEL: name: @Scalar
+  ; CHECK-NEXT: %copy_x0:_ KnownBits:???????????????? SignBits:1
+  ; CHECK-NEXT: %maskf:_ KnownBits:0000000000001111 SignBits:12
+  ; CHECK-NEXT: %x0_x1:_ KnownBits:0000000000001111 SignBits:12
+  ; CHECK-NEXT: %and:_ KnownBits:000000000000???? SignBits:12
+  ; CHECK-NEXT: %x0_0:_ KnownBits:000000000000???? SignBits:12
+  ; CHECK-NEXT: %x0_1:_ KnownBits:000000000000???? SignBits:12
+  ; CHECK-NEXT: %result:_ KnownBits:000000000000???? SignBits:12
+   %copy_x0:_(<2 x s16>) = COPY $w0
+   %maskf:_(s16) = G_CONSTANT i16 15
+   %x0_x1:_(<2 x s16>) = G_BUILD_VECTOR %maskf, %maskf
+   %and:_(<2 x s16>) = G_AND %copy_x0, %x0_x1
+   %x0_0:_(s16), %x0_1:_(s16) = G_UNMERGE_VALUES %and
+   %result:_(s16) = COPY %x0_0
+...
+---
+name:            Vector
+body:             |
+  bb.1:
+  ; CHECK-LABEL: name: @Vector
+  ; CHECK-NEXT: %copy_x0:_ KnownBits:???????? SignBits:1
+  ; CHECK-NEXT: %maskff:_ KnownBits:11111111 SignBits:8
+  ; CHECK-NEXT: %maskf:_ KnownBits:00001111 SignBits:4
+  ; CHECK-NEXT: %x0_x1:_ KnownBits:????1111 SignBits:4
+  ; CHECK-NEXT: %and:_ KnownBits:???????? SignBits:1
+  ; CHECK-NEXT: %x0_0:_ KnownBits:0000???? SignBits:4
+  ; CHECK-NEXT: %x0_1:_ KnownBits:???????? SignBits:1
+  ; CHECK-NEXT: %result1:_ KnownBits:0000???? SignBits:4
+  ; CHECK-NEXT: %result2:_ KnownBits:???????? SignBits:1
+   %copy_x0:_(<4 x s8>) = COPY $w0
+   %maskff:_(s8) = G_CONSTANT i8 255
+   %maskf:_(s8) = G_CONSTANT i8 15
+   %x0_x1:_(<4 x s8>) = G_BUILD_VECTOR %maskf, %maskf, %maskff, %maskff
+   %and:_(<4 x s8>) = G_AND %copy_x0, %x0_x1
+   %x0_0:_(<2 x s8>), %x0_1:_(<2 x s8>) = G_UNMERGE_VALUES %and
+   %result1:_(<2 x s8>) = COPY %x0_0
+   %result2:_(<2 x s8>) = COPY %x0_1
+...

llvm/unittests/CodeGen/GlobalISel/KnownBitsVectorTest.cpp

@@ -1548,48 +1548,3 @@ TEST_F(AArch64GISelMITest, TestNumSignBitsUAddoOverflow) {
   // Assert sign-extension from vector boolean
   EXPECT_EQ(32u, Info.computeNumSignBits(CopyOverflow));
 }
-
-TEST_F(AArch64GISelMITest, TestKnwonBitsUnmergeVectorScalar) {
-  StringRef MIRString = R"(
-   %copy_x0:_(<2 x s16>) = COPY $w0
-   %maskf:_(s16) = G_CONSTANT i16 15
-   %x0_x1:_(<2 x s16>) = G_BUILD_VECTOR %maskf, %maskf
-   %and:_(<2 x s16>) = G_AND %copy_x0, %x0_x1
-   %x0_0:_(s16), %x0_1:_(s16) = G_UNMERGE_VALUES %and
-   %result:_(s16) = COPY %x0_0
-)";
-
-  setUp(MIRString);
-  if (!TM)
-    GTEST_SKIP();
-
-  Register CopyOverflow = Copies[Copies.size() - 1];
-
-  GISelValueTracking Info(*MF);
-
-  EXPECT_EQ(0xFFF0u, Info.getKnownBits(CopyOverflow).Zero.getZExtValue());
-}
-
-TEST_F(AArch64GISelMITest, TestKnwonBitsUnmergeVectorVector) {
-  StringRef MIRString = R"(
-   %copy_x0:_(<4 x s8>) = COPY $w0
-   %maskff:_(s8) = G_CONSTANT i8 255
-   %maskf:_(s8) = G_CONSTANT i8 15
-   %x0_x1:_(<4 x s8>) = G_BUILD_VECTOR %maskf, %maskf, %maskff, %maskff
-   %and:_(<4 x s8>) = G_AND %copy_x0, %x0_x1
-   %x0_0:_(<2 x s8>), %x0_1:_(<2 x s8>) = G_UNMERGE_VALUES %and
-   %result1:_(<2 x s8>) = COPY %x0_0
-   %result2:_(<2 x s8>) = COPY %x0_1
-)";
-
-  setUp(MIRString);
-  if (!TM)
-    GTEST_SKIP();
-
-  GISelValueTracking Info(*MF);
-
-  Register CopyOverflow1 = Copies[Copies.size() - 2];
-  EXPECT_EQ(0xF0u, Info.getKnownBits(CopyOverflow1).Zero.getZExtValue());
-  Register CopyOverflow2 = Copies[Copies.size() - 1];
-  EXPECT_EQ(0x00u, Info.getKnownBits(CopyOverflow2).Zero.getZExtValue());
-}