Add a test

Author: davemgreen

llvm/test/tools/UpdateTestChecks/lit.local.cfg

@@ -35,6 +35,7 @@ if os.path.isfile(llc_path):
     llc_arg = "--llc-binary " + shell_quote(llc_path)
     add_update_script_substitution("%update_llc_test_checks", extra_args=llc_arg)
     add_update_script_substitution("%update_mir_test_checks", extra_args=llc_arg)
+    add_update_script_substitution("%update_givaluetracking_test_checks", extra_args=llc_arg)
 
 opt_path = os.path.join(config.llvm_tools_dir, "opt")
 if os.path.isfile(opt_path):

llvm/test/tools/UpdateTestChecks/update_givaluetracking_test_checks/Inputs/const.mir

@@ -0,0 +1,20 @@
+# 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 -filetype=null 2>&1 | FileCheck %s
+
+---
+name:            Cst
+body:             |
+  bb.1:
+    %0:_(s8) = G_CONSTANT i8 1
+    %1:_(s8) = COPY %0
+...
+---
+name:            CstWithClass
+body:             |
+  bb.1:
+  ; Note: This comment should not be removed, the check lines below should be updated
+  ; CHECK-LABEL: name: @CstWithClass
+  ; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:1
+    %0:gpr32 = MOVi32imm 1
+    %1:_(s32) = COPY %0
+...

llvm/test/tools/UpdateTestChecks/update_givaluetracking_test_checks/Inputs/const.mir.expected

@@ -0,0 +1,23 @@
+# 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 -filetype=null 2>&1 | FileCheck %s
+
+---
+name:            Cst
+body:             |
+  bb.1:
+  ; CHECK-LABEL: name: @Cst
+  ; CHECK-NEXT: %0:_ KnownBits:00000001 SignBits:7
+  ; CHECK-NEXT: %1:_ KnownBits:00000001 SignBits:7
+    %0:_(s8) = G_CONSTANT i8 1
+    %1:_(s8) = COPY %0
+...
+---
+name:            CstWithClass
+body:             |
+  bb.1:
+  ; Note: This comment should not be removed, the check lines below should be updated
+  ; CHECK-LABEL: name: @CstWithClass
+  ; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:1
+    %0:gpr32 = MOVi32imm 1
+    %1:_(s32) = COPY %0
+...

llvm/test/tools/UpdateTestChecks/update_givaluetracking_test_checks/knownbits-const.test

@@ -0,0 +1,4 @@
+# REQUIRES: aarch64-registered-target
+# RUN: cp -f %S/Inputs/const.mir %t.mir && %update_givaluetracking_test_checks %t.mir
+# RUN: diff -u %S/Inputs/const.mir.expected %t.mir
+# RUN: FileCheck %t.mir < %t.mir

llvm/test/tools/UpdateTestChecks/update_givaluetracking_test_checks/lit.local.cfg

@@ -0,0 +1,3 @@
+# These tests require llc.
+if "llc-binary" not in config.available_features:
+    config.unsupported = True