[compiler] Relax an overly strict check in the machine graph verifier

Bug: v8:9717
Change-Id: I2338e11ec8263b18e60eb5206431738a8532c977
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2699248
Auto-Submit: Georg Neis <neis@chromium.org>
Reviewed-by: Santiago Aboy Solanes <solanes@chromium.org>
Commit-Queue: Santiago Aboy Solanes <solanes@chromium.org>
Cr-Commit-Position: refs/heads/master@{#72801}

src/compiler/machine-graph-verifier.cc

@@ -582,7 +582,7 @@ class MachineRepresentationChecker {
               case MachineRepresentation::kTaggedSigned:
                 if (COMPRESS_POINTERS_BOOL &&
                     node->opcode() == IrOpcode::kStore &&
-                    CanBeTaggedPointer(
+                    IsAnyTagged(
                         StoreRepresentationOf(node->op()).representation())) {
                   CheckValueInputIsCompressedOrTagged(node, 2);
                 } else {